1efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 2efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Copyright (C) 2012 The Android Open Source Project 3efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 4efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Licensed under the Apache License, Version 2.0 (the "License"); 5efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * you may not use this file except in compliance with the License. 6efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * You may obtain a copy of the License at 7efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 8efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * http://www.apache.org/licenses/LICENSE-2.0 9efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 10efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Unless required by applicable law or agreed to in writing, software 11efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * distributed under the License is distributed on an "AS IS" BASIS, 12efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * See the License for the specific language governing permissions and 14efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * limitations under the License. 15efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 16efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 17efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* This file contains codegen for the Mips ISA */ 18efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 1902031b185b4653e6c72e21f7a51238b903f6d638buzbee#include "codegen_mips.h" 207940e44f4517de5e2634a7e07d58d0fb26160513Brian Carlstrom#include "dex/quick/mir_to_lir-inl.h" 21166db04e259ca51838c311891598664deeed85adIan Rogers#include "entrypoints/quick/quick_entrypoints.h" 22641ce0371c2f0dc95d26be02d8366124c8b66653Brian Carlstrom#include "mips_lir.h" 23efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 24efc6369224b036a1fb77849f7ae65b3492c832c0buzbeenamespace art { 25efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 261fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid MipsMir2Lir::GenSpecialCase(BasicBlock* bb, MIR* mir, 272ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom SpecialCaseHandler special_case) { 28efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // TODO 29efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 30efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 31efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 32efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The lack of pc-relative loads on Mips presents somewhat of a challenge 33efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * for our PIC switch table strategy. To materialize the current location 34efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * we'll do a dummy JAL and reference our tables using r_RA as the 35efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * base register. Note that r_RA will be used both as the base to 36efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * locate the switch table data and as the reference base for the switch 37efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * target offsets stored in the table. We'll use a special pseudo-instruction 38efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * to represent the jal and trigger the construction of the 39efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * switch table offsets (which will happen after final assembly and all 40efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * labels are fixed). 41efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 42efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The test loop will look something like: 43efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 44fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * ori rEnd, r_ZERO, #table_size ; size in bytes 45efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * jal BaseLabel ; stores "return address" (BaseLabel) in r_RA 46efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * nop ; opportunistically fill 47efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * BaseLabel: 48efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * addiu rBase, r_RA, <table> - <BaseLabel> ; table relative to BaseLabel 49efc6369224b036a1fb77849f7ae65b3492c832c0buzbee addu rEnd, rEnd, rBase ; end of table 50fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * lw r_val, [rSP, v_reg_off] ; Test Value 51efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * loop: 52efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * beq rBase, rEnd, done 53fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * lw r_key, 0(rBase) 54efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * addu rBase, 8 55fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * bne r_val, r_key, loop 56fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * lw r_disp, -4(rBase) 57fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * addu r_RA, r_disp 58efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * jr r_RA 59efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * done: 60efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 61efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 621fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid MipsMir2Lir::GenSparseSwitch(MIR* mir, uint32_t table_offset, 632ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom RegLocation rl_src) { 641fd3346740dfb7f47be9922312b68a4227fada96buzbee const uint16_t* table = cu_->insns + current_dalvik_offset_ + table_offset; 651fd3346740dfb7f47be9922312b68a4227fada96buzbee if (cu_->verbose) { 6652a77fc135f0e0df57ee24641c3f5ae415ff7bd6buzbee DumpSparseSwitchTable(table); 67efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 68efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 69fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 70f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), ArenaAllocator::kAllocData)); 71fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 721fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 73efc6369224b036a1fb77849f7ae65b3492c832c0buzbee int elements = table[1]; 74fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->targets = 75f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier static_cast<LIR**>(arena_->Alloc(elements * sizeof(LIR*), ArenaAllocator::kAllocLIR)); 76862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee switch_tables_.Insert(tab_rec); 77efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 78efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // The table is composed of 8-byte key/disp pairs 79fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int byte_size = elements * 8; 80efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 81fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int size_hi = byte_size >> 16; 82fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int size_lo = byte_size & 0xffff; 83efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 841fd3346740dfb7f47be9922312b68a4227fada96buzbee int rEnd = AllocTemp(); 85fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (size_hi) { 861fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR2(kMipsLui, rEnd, size_hi); 87efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 88efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Must prevent code motion for the curr pc pair 891fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); // Scheduling barrier 901fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kMipsCurrPC); // Really a jal to .+8 91efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Now, fill the branch delay slot 92fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (size_hi) { 931fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR3(kMipsOri, rEnd, rEnd, size_lo); 94efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 951fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR3(kMipsOri, rEnd, r_ZERO, size_lo); 96efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 971fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); // Scheduling barrier 98efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 99efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Construct BaseLabel and set up table base register 1001fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* base_label = NewLIR0(kPseudoTargetLabel); 101efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Remember base label so offsets can be computed later 102fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = base_label; 1031fd3346740dfb7f47be9922312b68a4227fada96buzbee int rBase = AllocTemp(); 1041fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR4(kMipsDelta, rBase, 0, reinterpret_cast<uintptr_t>(base_label), 105fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee reinterpret_cast<uintptr_t>(tab_rec)); 1061fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegReg(kOpAdd, rEnd, rEnd, rBase); 107efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 108efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Grab switch test value 1091fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 110efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 111efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Test loop 1121fd3346740dfb7f47be9922312b68a4227fada96buzbee int r_key = AllocTemp(); 1131fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* loop_label = NewLIR0(kPseudoTargetLabel); 1141fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* exit_branch = OpCmpBranch(kCondEq, rBase, rEnd, NULL); 1151fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadWordDisp(rBase, 0, r_key); 1161fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegImm(kOpAdd, rBase, 8); 1171fd3346740dfb7f47be9922312b68a4227fada96buzbee OpCmpBranch(kCondNe, rl_src.low_reg, r_key, loop_label); 1181fd3346740dfb7f47be9922312b68a4227fada96buzbee int r_disp = AllocTemp(); 1191fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadWordDisp(rBase, -4, r_disp); 1201fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegReg(kOpAdd, r_RA, r_RA, r_disp); 1211fd3346740dfb7f47be9922312b68a4227fada96buzbee OpReg(kOpBx, r_RA); 122efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 123efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Loop exit 1241fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* exit_label = NewLIR0(kPseudoTargetLabel); 125fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee exit_branch->target = exit_label; 126efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 127efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 128efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 129efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Code pattern will look something like: 130efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 131fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * lw r_val 132efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * jal BaseLabel ; stores "return address" (BaseLabel) in r_RA 133efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * nop ; opportunistically fill 134fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * [subiu r_val, bias] ; Remove bias if low_val != 0 135efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * bound check -> done 136fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * lw r_disp, [r_RA, r_val] 137fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * addu r_RA, r_disp 138efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * jr r_RA 139efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * done: 140efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 1411fd3346740dfb7f47be9922312b68a4227fada96buzbeevoid MipsMir2Lir::GenPackedSwitch(MIR* mir, uint32_t table_offset, 1422ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom RegLocation rl_src) { 1431fd3346740dfb7f47be9922312b68a4227fada96buzbee const uint16_t* table = cu_->insns + current_dalvik_offset_ + table_offset; 1441fd3346740dfb7f47be9922312b68a4227fada96buzbee if (cu_->verbose) { 14552a77fc135f0e0df57ee24641c3f5ae415ff7bd6buzbee DumpPackedSwitchTable(table); 146efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 147efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 148fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 149f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), ArenaAllocator::kAllocData)); 150fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 1511fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 152efc6369224b036a1fb77849f7ae65b3492c832c0buzbee int size = table[1]; 153f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier tab_rec->targets = static_cast<LIR**>(arena_->Alloc(size * sizeof(LIR*), 154862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee ArenaAllocator::kAllocLIR)); 155862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee switch_tables_.Insert(tab_rec); 156efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 157efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Get the switch value 1581fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 159efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 160efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Prepare the bias. If too big, handle 1st stage here 161fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int low_key = s4FromSwitchData(&table[2]); 162fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee bool large_bias = false; 163fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int r_key; 164fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (low_key == 0) { 165fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee r_key = rl_src.low_reg; 166fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee } else if ((low_key & 0xffff) != low_key) { 1671fd3346740dfb7f47be9922312b68a4227fada96buzbee r_key = AllocTemp(); 1681fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(r_key, low_key); 169fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee large_bias = true; 170efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 1711fd3346740dfb7f47be9922312b68a4227fada96buzbee r_key = AllocTemp(); 172efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 173efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 174efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Must prevent code motion for the curr pc pair 1751fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); 1761fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kMipsCurrPC); // Really a jal to .+8 177efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Now, fill the branch delay slot with bias strip 178fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (low_key == 0) { 1791fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kMipsNop); 180efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 181fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (large_bias) { 1821fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegReg(kOpSub, r_key, rl_src.low_reg, r_key); 183efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 1841fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegImm(kOpSub, r_key, rl_src.low_reg, low_key); 185efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 186efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 1871fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); // Scheduling barrier 188efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 189efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Construct BaseLabel and set up table base register 1901fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* base_label = NewLIR0(kPseudoTargetLabel); 191efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Remember base label so offsets can be computed later 192fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = base_label; 193efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 194efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Bounds check - if < 0 or >= size continue following switch 1951fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* branch_over = OpCmpImmBranch(kCondHi, r_key, size-1, NULL); 196efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 197efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize the table base pointer 1981fd3346740dfb7f47be9922312b68a4227fada96buzbee int rBase = AllocTemp(); 1991fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR4(kMipsDelta, rBase, 0, reinterpret_cast<uintptr_t>(base_label), 200fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee reinterpret_cast<uintptr_t>(tab_rec)); 201efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 202efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Load the displacement from the switch table 2031fd3346740dfb7f47be9922312b68a4227fada96buzbee int r_disp = AllocTemp(); 2041fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadBaseIndexed(rBase, r_key, r_disp, 2, kWord); 205efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 206efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add to r_AP and go 2071fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegReg(kOpAdd, r_RA, r_RA, r_disp); 2081fd3346740dfb7f47be9922312b68a4227fada96buzbee OpReg(kOpBx, r_RA); 209efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 210fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee /* branch_over target here */ 2111fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 212fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee branch_over->target = target; 213efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 214efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 215efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 216efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Array data table format: 217efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * ushort ident = 0x0300 magic value 218efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * ushort width width of each element in the table 219efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * uint size number of elements in the table 220efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * ubyte data[size*width] table of data values (may contain a single-byte 221efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * padding at the end) 222efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 223efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Total size is 4+(width * size + 1)/2 16-bit code units. 224efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2252ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenFillArrayData(uint32_t table_offset, RegLocation rl_src) { 2261fd3346740dfb7f47be9922312b68a4227fada96buzbee const uint16_t* table = cu_->insns + current_dalvik_offset_ + table_offset; 227efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 228fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee FillArrayData *tab_rec = 229f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier reinterpret_cast<FillArrayData*>(arena_->Alloc(sizeof(FillArrayData), 230f6c4b3ba3825de1dbb3e747a68b809c6cc8eb4dbMathieu Chartier ArenaAllocator::kAllocData)); 231fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 2321fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 233fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee uint16_t width = tab_rec->table[1]; 234fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee uint32_t size = tab_rec->table[2] | ((static_cast<uint32_t>(tab_rec->table[3])) << 16); 235fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->size = (size * width) + 8; 236efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 237862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee fill_array_data_.Insert(tab_rec); 238efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 239efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Making a call - use explicit registers 2401fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); /* Everything to home location */ 2411fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); 2421fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadValueDirectFixed(rl_src, rMIPS_ARG0); 243efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 244efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Must prevent code motion for the curr pc pair 2451fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); 2461fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kMipsCurrPC); // Really a jal to .+8 247efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Now, fill the branch delay slot with the helper load 248468532ea115657709bc32ee498e701a4c71762d4Ian Rogers int r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(pHandleFillArrayData)); 2491fd3346740dfb7f47be9922312b68a4227fada96buzbee GenBarrier(); // Scheduling barrier 250efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 251efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Construct BaseLabel and set up table base register 2521fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* base_label = NewLIR0(kPseudoTargetLabel); 253efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 254efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize a pointer to the fill data image 2551fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR4(kMipsDelta, rMIPS_ARG1, 0, reinterpret_cast<uintptr_t>(base_label), 256fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee reinterpret_cast<uintptr_t>(tab_rec)); 257efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 258efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // And go... 2591fd3346740dfb7f47be9922312b68a4227fada96buzbee ClobberCalleeSave(); 2607934ac288acfb2552bb0b06ec1f61e5820d924a4Brian Carlstrom LIR* call_inst = OpReg(kOpBlx, r_tgt); // ( array*, fill_data* ) 2611fd3346740dfb7f47be9922312b68a4227fada96buzbee MarkSafepointPC(call_inst); 262efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 263efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 264efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 265efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * TODO: implement fast path to short-circuit thin-lock case 266efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2672ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenMonitorEnter(int opt_flags, RegLocation rl_src) { 2681fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 2691fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadValueDirectFixed(rl_src, rMIPS_ARG0); // Get obj 2701fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 2711fd3346740dfb7f47be9922312b68a4227fada96buzbee GenNullCheck(rl_src.s_reg_low, rMIPS_ARG0, opt_flags); 272efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Go expensive route - artLockObjectFromCode(self, obj); 273468532ea115657709bc32ee498e701a4c71762d4Ian Rogers int r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(pLockObject)); 2741fd3346740dfb7f47be9922312b68a4227fada96buzbee ClobberCalleeSave(); 2751fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* call_inst = OpReg(kOpBlx, r_tgt); 2761fd3346740dfb7f47be9922312b68a4227fada96buzbee MarkSafepointPC(call_inst); 277efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 278efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 279efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 280efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * TODO: implement fast path to short-circuit thin-lock case 281efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2822ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenMonitorExit(int opt_flags, RegLocation rl_src) { 2831fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 2841fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadValueDirectFixed(rl_src, rMIPS_ARG0); // Get obj 2851fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 2861fd3346740dfb7f47be9922312b68a4227fada96buzbee GenNullCheck(rl_src.s_reg_low, rMIPS_ARG0, opt_flags); 287efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Go expensive route - UnlockObjectFromCode(obj); 288468532ea115657709bc32ee498e701a4c71762d4Ian Rogers int r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(pUnlockObject)); 2891fd3346740dfb7f47be9922312b68a4227fada96buzbee ClobberCalleeSave(); 2901fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* call_inst = OpReg(kOpBlx, r_tgt); 2911fd3346740dfb7f47be9922312b68a4227fada96buzbee MarkSafepointPC(call_inst); 292efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 293efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 2942ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenMoveException(RegLocation rl_dest) { 2951eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao int ex_offset = Thread::ExceptionOffset().Int32Value(); 2961fd3346740dfb7f47be9922312b68a4227fada96buzbee RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true); 2971fd3346740dfb7f47be9922312b68a4227fada96buzbee int reset_reg = AllocTemp(); 2981fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadWordDisp(rMIPS_SELF, ex_offset, rl_result.low_reg); 2991fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(reset_reg, 0); 3001fd3346740dfb7f47be9922312b68a4227fada96buzbee StoreWordDisp(rMIPS_SELF, ex_offset, reset_reg); 3011fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reset_reg); 3021fd3346740dfb7f47be9922312b68a4227fada96buzbee StoreValue(rl_dest, rl_result); 3031eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao} 3041eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao 305efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 306efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Mark garbage collection card. Skip if the value we're storing is null. 307efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3082ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::MarkGCCard(int val_reg, int tgt_addr_reg) { 3091fd3346740dfb7f47be9922312b68a4227fada96buzbee int reg_card_base = AllocTemp(); 3101fd3346740dfb7f47be9922312b68a4227fada96buzbee int reg_card_no = AllocTemp(); 3111fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* branch_over = OpCmpImmBranch(kCondEq, val_reg, 0, NULL); 3121fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadWordDisp(rMIPS_SELF, Thread::CardTableOffset().Int32Value(), reg_card_base); 3131d54e73444e017d3a65234e0f193846f3e27472bIan Rogers OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift); 3141fd3346740dfb7f47be9922312b68a4227fada96buzbee StoreBaseIndexed(reg_card_base, reg_card_no, reg_card_base, 0, 315efc6369224b036a1fb77849f7ae65b3492c832c0buzbee kUnsignedByte); 3161fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 317fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee branch_over->target = target; 3181fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_base); 3191fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_no); 320efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 3212ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) { 3221fd3346740dfb7f47be9922312b68a4227fada96buzbee int spill_count = num_core_spills_ + num_fp_spills_; 323efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 324efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * On entry, rMIPS_ARG0, rMIPS_ARG1, rMIPS_ARG2 & rMIPS_ARG3 are live. Let the register 325efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * allocation mechanism know so it doesn't try to use any of them when 326efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * expanding the frame or flushing. This leaves the utility 327efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * code with a single temp: r12. This should be enough. 328efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3291fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_ARG0); 3301fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_ARG1); 3311fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_ARG2); 3321fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_ARG3); 333efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 334efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 335efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * We can safely skip the stack overflow check if we're 336efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * a leaf *and* our frame size < fudge factor. 337efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3381fd3346740dfb7f47be9922312b68a4227fada96buzbee bool skip_overflow_check = (mir_graph_->MethodIsLeaf() && 3391fd3346740dfb7f47be9922312b68a4227fada96buzbee (static_cast<size_t>(frame_size_) < Thread::kStackOverflowReservedBytes)); 3401fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodEntry); 3411fd3346740dfb7f47be9922312b68a4227fada96buzbee int check_reg = AllocTemp(); 3421fd3346740dfb7f47be9922312b68a4227fada96buzbee int new_sp = AllocTemp(); 343fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 344efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Load stack limit */ 3451fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadWordDisp(rMIPS_SELF, Thread::StackEndOffset().Int32Value(), check_reg); 346efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 347efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Spill core callee saves */ 3481fd3346740dfb7f47be9922312b68a4227fada96buzbee SpillCoreRegs(); 349efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* NOTE: promotion of FP regs currently unsupported, thus no FP spill */ 3501fd3346740dfb7f47be9922312b68a4227fada96buzbee DCHECK_EQ(num_fp_spills_, 0); 351fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 3521fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegRegImm(kOpSub, new_sp, rMIPS_SP, frame_size_ - (spill_count * 4)); 3531fd3346740dfb7f47be9922312b68a4227fada96buzbee GenRegRegCheck(kCondCc, new_sp, check_reg, kThrowStackOverflow); 3541fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegCopy(rMIPS_SP, new_sp); // Establish stack 355efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 3561fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegImm(kOpSub, rMIPS_SP, frame_size_ - (spill_count * 4)); 357efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 358efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 3591fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushIns(ArgLocs, rl_method); 360efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 3611fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(rMIPS_ARG0); 3621fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(rMIPS_ARG1); 3631fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(rMIPS_ARG2); 3641fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(rMIPS_ARG3); 365efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 366efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 3672ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid MipsMir2Lir::GenExitSequence() { 368efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 369efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * In the exit path, rMIPS_RET0/rMIPS_RET1 are live - make sure they aren't 370efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * allocated by the register utilities as temps. 371efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3721fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_RET0); 3731fd3346740dfb7f47be9922312b68a4227fada96buzbee LockTemp(rMIPS_RET1); 374efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 3751fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodExit); 3761fd3346740dfb7f47be9922312b68a4227fada96buzbee UnSpillCoreRegs(); 3771fd3346740dfb7f47be9922312b68a4227fada96buzbee OpReg(kOpBx, r_RA); 378efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 379efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 380efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} // namespace art 381