Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2012 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | /* This file contains codegen for the Mips ISA */ |
| 18 | |
| 19 | #include "codegen_mips.h" |
Ian Rogers | d582fa4 | 2014-11-05 23:46:43 -0800 | [diff] [blame] | 20 | |
Andreas Gampe | 0b9203e | 2015-01-22 20:39:27 -0800 | [diff] [blame] | 21 | #include "base/logging.h" |
| 22 | #include "dex/mir_graph.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 23 | #include "dex/quick/mir_to_lir-inl.h" |
Ian Rogers | 166db04 | 2013-07-26 12:05:57 -0700 | [diff] [blame] | 24 | #include "entrypoints/quick/quick_entrypoints.h" |
Ian Rogers | 576ca0c | 2014-06-06 15:58:22 -0700 | [diff] [blame] | 25 | #include "gc/accounting/card_table.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 26 | #include "mips_lir.h" |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 27 | #include "mirror/art_method.h" |
| 28 | #include "mirror/object_array-inl.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 29 | |
| 30 | namespace art { |
| 31 | |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 32 | bool MipsMir2Lir::GenSpecialCase(BasicBlock* bb, MIR* mir, const InlineMethod& special) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 33 | // TODO |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 34 | UNUSED(bb, mir, special); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 35 | return false; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | /* |
| 39 | * The lack of pc-relative loads on Mips presents somewhat of a challenge |
| 40 | * for our PIC switch table strategy. To materialize the current location |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 41 | * we'll do a dummy JAL and reference our tables using rRA as the |
| 42 | * base register. Note that rRA will be used both as the base to |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 43 | * locate the switch table data and as the reference base for the switch |
| 44 | * target offsets stored in the table. We'll use a special pseudo-instruction |
| 45 | * to represent the jal and trigger the construction of the |
| 46 | * switch table offsets (which will happen after final assembly and all |
| 47 | * labels are fixed). |
| 48 | * |
| 49 | * The test loop will look something like: |
| 50 | * |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 51 | * ori r_end, rZERO, #table_size ; size in bytes |
| 52 | * jal BaseLabel ; stores "return address" (BaseLabel) in rRA |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 53 | * nop ; opportunistically fill |
| 54 | * BaseLabel: |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 55 | * addiu r_base, rRA, <table> - <BaseLabel> ; table relative to BaseLabel |
| 56 | addu r_end, r_end, r_base ; end of table |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 57 | * lw r_val, [rSP, v_reg_off] ; Test Value |
| 58 | * loop: |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 59 | * beq r_base, r_end, done |
| 60 | * lw r_key, 0(r_base) |
| 61 | * addu r_base, 8 |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 62 | * bne r_val, r_key, loop |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 63 | * lw r_disp, -4(r_base) |
| 64 | * addu rRA, r_disp |
Andreas Gampe | 8d36591 | 2015-01-13 11:32:32 -0800 | [diff] [blame] | 65 | * jalr rZERO, rRA |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 66 | * done: |
| 67 | * |
| 68 | */ |
Andreas Gampe | 48971b3 | 2014-08-06 10:09:01 -0700 | [diff] [blame] | 69 | void MipsMir2Lir::GenLargeSparseSwitch(MIR* mir, DexOffset table_offset, RegLocation rl_src) { |
Razvan A Lupusoru | 8d0d03e | 2014-06-06 17:04:52 -0700 | [diff] [blame] | 70 | const uint16_t* table = mir_graph_->GetTable(mir, table_offset); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 71 | // Add the table to the list - we'll process it later. |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 72 | SwitchTable* tab_rec = |
Vladimir Marko | 83cc7ae | 2014-02-12 18:02:05 +0000 | [diff] [blame] | 73 | static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); |
Chao-ying Fu | 72f53af | 2014-11-11 16:48:40 -0800 | [diff] [blame] | 74 | tab_rec->switch_mir = mir; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 75 | tab_rec->table = table; |
| 76 | tab_rec->vaddr = current_dalvik_offset_; |
| 77 | int elements = table[1]; |
Vladimir Marko | e39c54e | 2014-09-22 14:50:02 +0100 | [diff] [blame] | 78 | switch_tables_.push_back(tab_rec); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 79 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 80 | // The table is composed of 8-byte key/disp pairs. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 81 | int byte_size = elements * 8; |
| 82 | |
| 83 | int size_hi = byte_size >> 16; |
| 84 | int size_lo = byte_size & 0xffff; |
| 85 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 86 | RegStorage r_end = AllocPtrSizeTemp(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 87 | if (size_hi) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 88 | NewLIR2(kMipsLui, r_end.GetReg(), size_hi); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 89 | } |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 90 | // Must prevent code motion for the curr pc pair. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 91 | GenBarrier(); // Scheduling barrier |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 92 | NewLIR0(kMipsCurrPC); // Really a jal to .+8. |
| 93 | // Now, fill the branch delay slot. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 94 | if (size_hi) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 95 | NewLIR3(kMipsOri, r_end.GetReg(), r_end.GetReg(), size_lo); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 96 | } else { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 97 | NewLIR3(kMipsOri, r_end.GetReg(), rZERO, size_lo); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 98 | } |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 99 | GenBarrier(); // Scheduling barrier. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 100 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 101 | // Construct BaseLabel and set up table base register. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 102 | LIR* base_label = NewLIR0(kPseudoTargetLabel); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 103 | // Remember base label so offsets can be computed later. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 104 | tab_rec->anchor = base_label; |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 105 | RegStorage r_base = AllocPtrSizeTemp(); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 106 | NewLIR4(kMipsDelta, r_base.GetReg(), 0, WrapPointer(base_label), WrapPointer(tab_rec)); |
| 107 | OpRegRegReg(kOpAdd, r_end, r_end, r_base); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 108 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 109 | // Grab switch test value. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 110 | rl_src = LoadValue(rl_src, kCoreReg); |
| 111 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 112 | // Test loop. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 113 | RegStorage r_key = AllocTemp(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 114 | LIR* loop_label = NewLIR0(kPseudoTargetLabel); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 115 | LIR* exit_branch = OpCmpBranch(kCondEq, r_base, r_end, NULL); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 116 | Load32Disp(r_base, 0, r_key); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 117 | OpRegImm(kOpAdd, r_base, 8); |
| 118 | OpCmpBranch(kCondNe, rl_src.reg, r_key, loop_label); |
| 119 | RegStorage r_disp = AllocTemp(); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 120 | Load32Disp(r_base, -4, r_disp); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 121 | const RegStorage rs_ra = TargetPtrReg(kLr); |
| 122 | OpRegRegReg(kOpAdd, rs_ra, rs_ra, r_disp); |
| 123 | OpReg(kOpBx, rs_ra); |
| 124 | // Loop exit. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 125 | LIR* exit_label = NewLIR0(kPseudoTargetLabel); |
| 126 | exit_branch->target = exit_label; |
| 127 | } |
| 128 | |
| 129 | /* |
| 130 | * Code pattern will look something like: |
| 131 | * |
| 132 | * lw r_val |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 133 | * jal BaseLabel ; stores "return address" (BaseLabel) in rRA |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 134 | * nop ; opportunistically fill |
| 135 | * [subiu r_val, bias] ; Remove bias if low_val != 0 |
| 136 | * bound check -> done |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 137 | * lw r_disp, [rRA, r_val] |
| 138 | * addu rRA, r_disp |
Andreas Gampe | 8d36591 | 2015-01-13 11:32:32 -0800 | [diff] [blame] | 139 | * jalr rZERO, rRA |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 140 | * done: |
| 141 | */ |
Andreas Gampe | 48971b3 | 2014-08-06 10:09:01 -0700 | [diff] [blame] | 142 | void MipsMir2Lir::GenLargePackedSwitch(MIR* mir, DexOffset table_offset, RegLocation rl_src) { |
Razvan A Lupusoru | 8d0d03e | 2014-06-06 17:04:52 -0700 | [diff] [blame] | 143 | const uint16_t* table = mir_graph_->GetTable(mir, table_offset); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 144 | // Add the table to the list - we'll process it later. |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 145 | SwitchTable* tab_rec = |
Vladimir Marko | 83cc7ae | 2014-02-12 18:02:05 +0000 | [diff] [blame] | 146 | static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); |
Chao-ying Fu | 72f53af | 2014-11-11 16:48:40 -0800 | [diff] [blame] | 147 | tab_rec->switch_mir = mir; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 148 | tab_rec->table = table; |
| 149 | tab_rec->vaddr = current_dalvik_offset_; |
| 150 | int size = table[1]; |
Vladimir Marko | e39c54e | 2014-09-22 14:50:02 +0100 | [diff] [blame] | 151 | switch_tables_.push_back(tab_rec); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 152 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 153 | // Get the switch value. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 154 | rl_src = LoadValue(rl_src, kCoreReg); |
| 155 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 156 | // Prepare the bias. If too big, handle 1st stage here. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 157 | int low_key = s4FromSwitchData(&table[2]); |
| 158 | bool large_bias = false; |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 159 | RegStorage r_key; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 160 | if (low_key == 0) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 161 | r_key = rl_src.reg; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 162 | } else if ((low_key & 0xffff) != low_key) { |
| 163 | r_key = AllocTemp(); |
| 164 | LoadConstant(r_key, low_key); |
| 165 | large_bias = true; |
| 166 | } else { |
| 167 | r_key = AllocTemp(); |
| 168 | } |
| 169 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 170 | // Must prevent code motion for the curr pc pair. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 171 | GenBarrier(); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 172 | NewLIR0(kMipsCurrPC); // Really a jal to .+8. |
| 173 | // Now, fill the branch delay slot with bias strip. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 174 | if (low_key == 0) { |
| 175 | NewLIR0(kMipsNop); |
| 176 | } else { |
| 177 | if (large_bias) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 178 | OpRegRegReg(kOpSub, r_key, rl_src.reg, r_key); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 179 | } else { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 180 | OpRegRegImm(kOpSub, r_key, rl_src.reg, low_key); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 181 | } |
| 182 | } |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 183 | GenBarrier(); // Scheduling barrier. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 184 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 185 | // Construct BaseLabel and set up table base register. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 186 | LIR* base_label = NewLIR0(kPseudoTargetLabel); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 187 | // Remember base label so offsets can be computed later. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 188 | tab_rec->anchor = base_label; |
| 189 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 190 | // Bounds check - if < 0 or >= size continue following switch. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 191 | LIR* branch_over = OpCmpImmBranch(kCondHi, r_key, size-1, NULL); |
| 192 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 193 | // Materialize the table base pointer. |
| 194 | RegStorage r_base = AllocPtrSizeTemp(); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 195 | NewLIR4(kMipsDelta, r_base.GetReg(), 0, WrapPointer(base_label), WrapPointer(tab_rec)); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 196 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 197 | // Load the displacement from the switch table. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 198 | RegStorage r_disp = AllocTemp(); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 199 | LoadBaseIndexed(r_base, r_key, r_disp, 2, k32); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 200 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 201 | // Add to rRA and go. |
| 202 | const RegStorage rs_ra = TargetPtrReg(kLr); |
| 203 | OpRegRegReg(kOpAdd, rs_ra, rs_ra, r_disp); |
| 204 | OpReg(kOpBx, rs_ra); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 205 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 206 | // Branch_over target here. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 207 | LIR* target = NewLIR0(kPseudoTargetLabel); |
| 208 | branch_over->target = target; |
| 209 | } |
| 210 | |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 211 | void MipsMir2Lir::GenMoveException(RegLocation rl_dest) { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 212 | int ex_offset = cu_->target64 ? Thread::ExceptionOffset<8>().Int32Value() : |
| 213 | Thread::ExceptionOffset<4>().Int32Value(); |
buzbee | a0cd2d7 | 2014-06-01 09:33:49 -0700 | [diff] [blame] | 214 | RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true); |
| 215 | RegStorage reset_reg = AllocTempRef(); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 216 | LoadRefDisp(TargetPtrReg(kSelf), ex_offset, rl_result.reg, kNotVolatile); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 217 | LoadConstant(reset_reg, 0); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 218 | StoreRefDisp(TargetPtrReg(kSelf), ex_offset, reset_reg, kNotVolatile); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 219 | FreeTemp(reset_reg); |
| 220 | StoreValue(rl_dest, rl_result); |
| 221 | } |
| 222 | |
Vladimir Marko | bf535be | 2014-11-19 18:52:35 +0000 | [diff] [blame] | 223 | void MipsMir2Lir::UnconditionallyMarkGCCard(RegStorage tgt_addr_reg) { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 224 | RegStorage reg_card_base = AllocPtrSizeTemp(); |
| 225 | RegStorage reg_card_no = AllocPtrSizeTemp(); |
| 226 | if (cu_->target64) { |
| 227 | // NOTE: native pointer. |
| 228 | LoadWordDisp(TargetPtrReg(kSelf), Thread::CardTableOffset<8>().Int32Value(), reg_card_base); |
| 229 | OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift); |
| 230 | StoreBaseIndexed(reg_card_base, reg_card_no, As32BitReg(reg_card_base), 0, kUnsignedByte); |
| 231 | } else { |
| 232 | // NOTE: native pointer. |
| 233 | LoadWordDisp(TargetPtrReg(kSelf), Thread::CardTableOffset<4>().Int32Value(), reg_card_base); |
| 234 | OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift); |
| 235 | StoreBaseIndexed(reg_card_base, reg_card_no, reg_card_base, 0, kUnsignedByte); |
| 236 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 237 | FreeTemp(reg_card_base); |
| 238 | FreeTemp(reg_card_no); |
| 239 | } |
Ian Rogers | d9c4fc9 | 2013-10-01 19:45:43 -0700 | [diff] [blame] | 240 | |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 241 | static dwarf::Reg DwarfCoreReg(int num) { |
| 242 | return dwarf::Reg::MipsCore(num); |
| 243 | } |
| 244 | |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 245 | void MipsMir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) { |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 246 | DCHECK_EQ(cfi_.GetCurrentCFAOffset(), 0); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 247 | int spill_count = num_core_spills_ + num_fp_spills_; |
| 248 | /* |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 249 | * On entry, A0, A1, A2 & A3 are live. On Mips64, A4, A5, A6 & A7 are also live. |
| 250 | * Let the register allocation mechanism know so it doesn't try to use any of them when |
| 251 | * expanding the frame or flushing. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 252 | */ |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 253 | const RegStorage arg0 = TargetReg(kArg0); |
| 254 | const RegStorage arg1 = TargetReg(kArg1); |
| 255 | const RegStorage arg2 = TargetReg(kArg2); |
| 256 | const RegStorage arg3 = TargetReg(kArg3); |
| 257 | const RegStorage arg4 = TargetReg(kArg4); |
| 258 | const RegStorage arg5 = TargetReg(kArg5); |
| 259 | const RegStorage arg6 = TargetReg(kArg6); |
| 260 | const RegStorage arg7 = TargetReg(kArg7); |
| 261 | |
| 262 | LockTemp(arg0); |
| 263 | LockTemp(arg1); |
| 264 | LockTemp(arg2); |
| 265 | LockTemp(arg3); |
| 266 | if (cu_->target64) { |
| 267 | LockTemp(arg4); |
| 268 | LockTemp(arg5); |
| 269 | LockTemp(arg6); |
| 270 | LockTemp(arg7); |
| 271 | } |
| 272 | |
| 273 | bool skip_overflow_check; |
| 274 | InstructionSet target = (cu_->target64) ? kMips64 : kMips; |
| 275 | int ptr_size = cu_->target64 ? 8 : 4; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 276 | |
| 277 | /* |
| 278 | * We can safely skip the stack overflow check if we're |
| 279 | * a leaf *and* our frame size < fudge factor. |
| 280 | */ |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 281 | |
| 282 | skip_overflow_check = mir_graph_->MethodIsLeaf() && !FrameNeedsStackCheck(frame_size_, target); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 283 | RegStorage check_reg = AllocPtrSizeTemp(); |
| 284 | RegStorage new_sp = AllocPtrSizeTemp(); |
| 285 | const RegStorage rs_sp = TargetPtrReg(kSp); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 286 | if (!skip_overflow_check) { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 287 | // Load stack limit. |
| 288 | if (cu_->target64) { |
| 289 | LoadWordDisp(TargetPtrReg(kSelf), Thread::StackEndOffset<8>().Int32Value(), check_reg); |
| 290 | } else { |
| 291 | Load32Disp(TargetPtrReg(kSelf), Thread::StackEndOffset<4>().Int32Value(), check_reg); |
| 292 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 293 | } |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 294 | // Spill core callee saves. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 295 | SpillCoreRegs(); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 296 | // NOTE: promotion of FP regs currently unsupported, thus no FP spill. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 297 | DCHECK_EQ(num_fp_spills_, 0); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 298 | const int frame_sub = frame_size_ - spill_count * ptr_size; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 299 | if (!skip_overflow_check) { |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 300 | class StackOverflowSlowPath : public LIRSlowPath { |
| 301 | public: |
| 302 | StackOverflowSlowPath(Mir2Lir* m2l, LIR* branch, size_t sp_displace) |
Vladimir Marko | 0b40ecf | 2015-03-20 12:08:03 +0000 | [diff] [blame] | 303 | : LIRSlowPath(m2l, branch), sp_displace_(sp_displace) { |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 304 | } |
| 305 | void Compile() OVERRIDE { |
| 306 | m2l_->ResetRegPool(); |
| 307 | m2l_->ResetDefTracking(); |
Mingyao Yang | 6ffcfa0 | 2014-04-25 11:06:00 -0700 | [diff] [blame] | 308 | GenerateTargetLabel(kPseudoThrowTarget); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 309 | // RA is offset 0 since we push in reverse order. |
| 310 | m2l_->LoadWordDisp(m2l_->TargetPtrReg(kSp), 0, m2l_->TargetPtrReg(kLr)); |
| 311 | m2l_->OpRegImm(kOpAdd, m2l_->TargetPtrReg(kSp), sp_displace_); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 312 | m2l_->cfi().AdjustCFAOffset(-sp_displace_); |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 313 | m2l_->ClobberCallerSave(); |
Andreas Gampe | 9843059 | 2014-07-27 19:44:50 -0700 | [diff] [blame] | 314 | RegStorage r_tgt = m2l_->CallHelperSetup(kQuickThrowStackOverflow); // Doesn't clobber LR. |
| 315 | m2l_->CallHelper(r_tgt, kQuickThrowStackOverflow, false /* MarkSafepointPC */, |
| 316 | false /* UseLink */); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 317 | m2l_->cfi().AdjustCFAOffset(sp_displace_); |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 318 | } |
| 319 | |
| 320 | private: |
| 321 | const size_t sp_displace_; |
| 322 | }; |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 323 | OpRegRegImm(kOpSub, new_sp, rs_sp, frame_sub); |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 324 | LIR* branch = OpCmpBranch(kCondUlt, new_sp, check_reg, nullptr); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 325 | AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, spill_count * ptr_size)); |
Mathieu Chartier | 0d507d1 | 2014-03-19 10:17:28 -0700 | [diff] [blame] | 326 | // TODO: avoid copy for small frame sizes. |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 327 | OpRegCopy(rs_sp, new_sp); // Establish stack. |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 328 | cfi_.AdjustCFAOffset(frame_sub); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 329 | } else { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 330 | OpRegImm(kOpSub, rs_sp, frame_sub); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 331 | cfi_.AdjustCFAOffset(frame_sub); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 332 | } |
| 333 | |
| 334 | FlushIns(ArgLocs, rl_method); |
| 335 | |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 336 | FreeTemp(arg0); |
| 337 | FreeTemp(arg1); |
| 338 | FreeTemp(arg2); |
| 339 | FreeTemp(arg3); |
| 340 | if (cu_->target64) { |
| 341 | FreeTemp(arg4); |
| 342 | FreeTemp(arg5); |
| 343 | FreeTemp(arg6); |
| 344 | FreeTemp(arg7); |
| 345 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 346 | } |
| 347 | |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 348 | void MipsMir2Lir::GenExitSequence() { |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 349 | cfi_.RememberState(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 350 | /* |
| 351 | * In the exit path, rMIPS_RET0/rMIPS_RET1 are live - make sure they aren't |
| 352 | * allocated by the register utilities as temps. |
| 353 | */ |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 354 | LockTemp(TargetPtrReg(kRet0)); |
| 355 | LockTemp(TargetPtrReg(kRet1)); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 356 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 357 | UnSpillCoreRegs(); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 358 | OpReg(kOpBx, TargetPtrReg(kLr)); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 359 | // The CFI should be restored for any code that follows the exit block. |
| 360 | cfi_.RestoreState(); |
| 361 | cfi_.DefCFAOffset(frame_size_); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 362 | } |
| 363 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 364 | void MipsMir2Lir::GenSpecialExitSequence() { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 365 | OpReg(kOpBx, TargetPtrReg(kLr)); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 366 | } |
| 367 | |
Vladimir Marko | 6ce3eba | 2015-02-16 13:05:59 +0000 | [diff] [blame] | 368 | void MipsMir2Lir::GenSpecialEntryForSuspend() { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 369 | // Keep 16-byte stack alignment - push A0, i.e. ArtMethod*, 2 filler words and RA for mips32, |
| 370 | // but A0 and RA for mips64. |
| 371 | core_spill_mask_ = (1u << TargetPtrReg(kLr).GetRegNum()); |
Vladimir Marko | 6ce3eba | 2015-02-16 13:05:59 +0000 | [diff] [blame] | 372 | num_core_spills_ = 1u; |
| 373 | fp_spill_mask_ = 0u; |
| 374 | num_fp_spills_ = 0u; |
| 375 | frame_size_ = 16u; |
| 376 | core_vmap_table_.clear(); |
| 377 | fp_vmap_table_.clear(); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 378 | const RegStorage rs_sp = TargetPtrReg(kSp); |
| 379 | OpRegImm(kOpSub, rs_sp, frame_size_); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 380 | cfi_.AdjustCFAOffset(frame_size_); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 381 | StoreWordDisp(rs_sp, frame_size_ - (cu_->target64 ? 8 : 4), TargetPtrReg(kLr)); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 382 | cfi_.RelOffset(DwarfCoreReg(rRA), frame_size_ - (cu_->target64 ? 8 : 4)); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 383 | StoreWordDisp(rs_sp, 0, TargetPtrReg(kArg0)); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 384 | // Do not generate CFI for scratch register A0. |
Vladimir Marko | 6ce3eba | 2015-02-16 13:05:59 +0000 | [diff] [blame] | 385 | } |
| 386 | |
| 387 | void MipsMir2Lir::GenSpecialExitForSuspend() { |
| 388 | // Pop the frame. Don't pop ArtMethod*, it's no longer needed. |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 389 | const RegStorage rs_sp = TargetPtrReg(kSp); |
| 390 | LoadWordDisp(rs_sp, frame_size_ - (cu_->target64 ? 8 : 4), TargetPtrReg(kLr)); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 391 | cfi_.Restore(DwarfCoreReg(rRA)); |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 392 | OpRegImm(kOpAdd, rs_sp, frame_size_); |
David Srbecky | 1109fb3 | 2015-04-07 20:21:06 +0100 | [diff] [blame] | 393 | cfi_.AdjustCFAOffset(-frame_size_); |
Vladimir Marko | 6ce3eba | 2015-02-16 13:05:59 +0000 | [diff] [blame] | 394 | } |
| 395 | |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 396 | /* |
| 397 | * Bit of a hack here - in the absence of a real scheduling pass, |
| 398 | * emit the next instruction in static & direct invoke sequences. |
| 399 | */ |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 400 | static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info ATTRIBUTE_UNUSED, int state, |
| 401 | const MethodReference& target_method, uint32_t, uintptr_t direct_code, |
| 402 | uintptr_t direct_method, InvokeType type) { |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 403 | Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get()); |
| 404 | if (direct_code != 0 && direct_method != 0) { |
| 405 | switch (state) { |
Andreas Gampe | 8f486f3 | 2015-04-09 15:30:51 -0700 | [diff] [blame] | 406 | case 0: // Get the current Method* [sets kArg0] |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 407 | if (direct_code != static_cast<uintptr_t>(-1)) { |
Goran Jakovljevic | 1095793 | 2015-03-24 18:42:56 +0100 | [diff] [blame] | 408 | if (cu->target64) { |
| 409 | cg->LoadConstantWide(cg->TargetPtrReg(kInvokeTgt), direct_code); |
| 410 | } else { |
| 411 | cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); |
| 412 | } |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 413 | } else { |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 414 | cg->LoadCodeAddress(target_method, type, kInvokeTgt); |
| 415 | } |
Andreas Gampe | 8f486f3 | 2015-04-09 15:30:51 -0700 | [diff] [blame] | 416 | if (direct_method != static_cast<uintptr_t>(-1)) { |
| 417 | if (cu->target64) { |
| 418 | cg->LoadConstantWide(cg->TargetReg(kArg0, kRef), direct_method); |
| 419 | } else { |
| 420 | cg->LoadConstant(cg->TargetReg(kArg0, kRef), direct_method); |
| 421 | } |
| 422 | } else { |
| 423 | cg->LoadMethodAddress(target_method, type, kArg0); |
| 424 | } |
| 425 | break; |
| 426 | default: |
| 427 | return -1; |
| 428 | } |
| 429 | } else { |
| 430 | RegStorage arg0_ref = cg->TargetReg(kArg0, kRef); |
| 431 | switch (state) { |
| 432 | case 0: // Get the current Method* [sets kArg0] |
| 433 | // TUNING: we can save a reg copy if Method* has been promoted. |
| 434 | cg->LoadCurrMethodDirect(arg0_ref); |
| 435 | break; |
| 436 | case 1: // Get method->dex_cache_resolved_methods_ |
| 437 | cg->LoadRefDisp(arg0_ref, |
| 438 | mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(), |
| 439 | arg0_ref, |
| 440 | kNotVolatile); |
| 441 | // Set up direct code if known. |
| 442 | if (direct_code != 0) { |
| 443 | if (direct_code != static_cast<uintptr_t>(-1)) { |
| 444 | if (cu->target64) { |
| 445 | cg->LoadConstantWide(cg->TargetPtrReg(kInvokeTgt), direct_code); |
| 446 | } else { |
| 447 | cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); |
| 448 | } |
| 449 | } else { |
| 450 | CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds()); |
| 451 | cg->LoadCodeAddress(target_method, type, kInvokeTgt); |
| 452 | } |
| 453 | } |
| 454 | break; |
| 455 | case 2: // Grab target method* |
| 456 | CHECK_EQ(cu->dex_file, target_method.dex_file); |
| 457 | cg->LoadRefDisp(arg0_ref, |
| 458 | mirror::ObjectArray<mirror::Object>:: |
| 459 | OffsetOfElement(target_method.dex_method_index).Int32Value(), |
| 460 | arg0_ref, |
| 461 | kNotVolatile); |
| 462 | break; |
| 463 | case 3: // Grab the code from the method* |
| 464 | if (direct_code == 0) { |
| 465 | int32_t offset = mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset( |
| 466 | InstructionSetPointerSize(cu->instruction_set)).Int32Value(); |
| 467 | // Get the compiled code address [use *alt_from or kArg0, set kInvokeTgt] |
| 468 | cg->LoadWordDisp(arg0_ref, offset, cg->TargetPtrReg(kInvokeTgt)); |
| 469 | } |
| 470 | break; |
| 471 | default: |
| 472 | return -1; |
Andreas Gampe | d500b53 | 2015-01-16 22:09:55 -0800 | [diff] [blame] | 473 | } |
| 474 | } |
| 475 | return state + 1; |
| 476 | } |
| 477 | |
| 478 | NextCallInsn MipsMir2Lir::GetNextSDCallInsn() { |
| 479 | return NextSDCallInsn; |
| 480 | } |
| 481 | |
| 482 | LIR* MipsMir2Lir::GenCallInsn(const MirMethodLoweringInfo& method_info ATTRIBUTE_UNUSED) { |
| 483 | return OpReg(kOpBlx, TargetPtrReg(kInvokeTgt)); |
| 484 | } |
| 485 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 486 | } // namespace art |