buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [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 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 19 | #include "codegen_mips.h" |
buzbee | 395116c | 2013-02-27 14:30:25 -0800 | [diff] [blame] | 20 | #include "compiler/dex/quick/codegen_util.h" |
| 21 | #include "compiler/dex/quick/ralloc_util.h" |
Brian Carlstrom | 641ce03 | 2013-01-31 15:21:37 -0800 | [diff] [blame] | 22 | #include "mips_lir.h" |
| 23 | #include "oat/runtime/oat_support_entrypoints.h" |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 24 | |
| 25 | namespace art { |
| 26 | |
| 27 | /* |
| 28 | * Compare two 64-bit values |
| 29 | * x = y return 0 |
| 30 | * x < y return -1 |
| 31 | * x > y return 1 |
| 32 | * |
| 33 | * slt t0, x.hi, y.hi; # (x.hi < y.hi) ? 1:0 |
| 34 | * sgt t1, x.hi, y.hi; # (y.hi > x.hi) ? 1:0 |
| 35 | * subu res, t0, t1 # res = -1:1:0 for [ < > = ] |
| 36 | * bnez res, finish |
| 37 | * sltu t0, x.lo, y.lo |
| 38 | * sgtu r1, x.lo, y.lo |
| 39 | * subu res, t0, t1 |
| 40 | * finish: |
| 41 | * |
| 42 | */ |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 43 | void MipsCodegen::GenCmpLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
| 44 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 45 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 46 | rl_src1 = LoadValueWide(cu, rl_src1, kCoreReg); |
| 47 | rl_src2 = LoadValueWide(cu, rl_src2, kCoreReg); |
| 48 | int t0 = AllocTemp(cu); |
| 49 | int t1 = AllocTemp(cu); |
| 50 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
| 51 | NewLIR3(cu, kMipsSlt, t0, rl_src1.high_reg, rl_src2.high_reg); |
| 52 | NewLIR3(cu, kMipsSlt, t1, rl_src2.high_reg, rl_src1.high_reg); |
| 53 | NewLIR3(cu, kMipsSubu, rl_result.low_reg, t1, t0); |
| 54 | LIR* branch = OpCmpImmBranch(cu, kCondNe, rl_result.low_reg, 0, NULL); |
| 55 | NewLIR3(cu, kMipsSltu, t0, rl_src1.low_reg, rl_src2.low_reg); |
| 56 | NewLIR3(cu, kMipsSltu, t1, rl_src2.low_reg, rl_src1.low_reg); |
| 57 | NewLIR3(cu, kMipsSubu, rl_result.low_reg, t1, t0); |
| 58 | FreeTemp(cu, t0); |
| 59 | FreeTemp(cu, t1); |
| 60 | LIR* target = NewLIR0(cu, kPseudoTargetLabel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 61 | branch->target = target; |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 62 | StoreValue(cu, rl_dest, rl_result); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 63 | } |
| 64 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 65 | LIR* MipsCodegen::OpCmpBranch(CompilationUnit* cu, ConditionCode cond, int src1, int src2, |
| 66 | LIR* target) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 67 | { |
| 68 | LIR* branch; |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 69 | MipsOpCode slt_op; |
| 70 | MipsOpCode br_op; |
| 71 | bool cmp_zero = false; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 72 | bool swapped = false; |
| 73 | switch (cond) { |
| 74 | case kCondEq: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 75 | br_op = kMipsBeq; |
| 76 | cmp_zero = true; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 77 | break; |
| 78 | case kCondNe: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 79 | br_op = kMipsBne; |
| 80 | cmp_zero = true; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 81 | break; |
| 82 | case kCondCc: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 83 | slt_op = kMipsSltu; |
| 84 | br_op = kMipsBnez; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 85 | break; |
| 86 | case kCondCs: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 87 | slt_op = kMipsSltu; |
| 88 | br_op = kMipsBeqz; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 89 | break; |
| 90 | case kCondGe: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 91 | slt_op = kMipsSlt; |
| 92 | br_op = kMipsBeqz; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 93 | break; |
| 94 | case kCondGt: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 95 | slt_op = kMipsSlt; |
| 96 | br_op = kMipsBnez; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 97 | swapped = true; |
| 98 | break; |
| 99 | case kCondLe: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 100 | slt_op = kMipsSlt; |
| 101 | br_op = kMipsBeqz; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 102 | swapped = true; |
| 103 | break; |
| 104 | case kCondLt: |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 105 | slt_op = kMipsSlt; |
| 106 | br_op = kMipsBnez; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 107 | break; |
| 108 | case kCondHi: // Gtu |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 109 | slt_op = kMipsSltu; |
| 110 | br_op = kMipsBnez; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 111 | swapped = true; |
| 112 | break; |
| 113 | default: |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 114 | LOG(FATAL) << "No support for ConditionCode: " << cond; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 115 | return NULL; |
| 116 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 117 | if (cmp_zero) { |
| 118 | branch = NewLIR2(cu, br_op, src1, src2); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 119 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 120 | int t_reg = AllocTemp(cu); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 121 | if (swapped) { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 122 | NewLIR3(cu, slt_op, t_reg, src2, src1); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 123 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 124 | NewLIR3(cu, slt_op, t_reg, src1, src2); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 125 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 126 | branch = NewLIR1(cu, br_op, t_reg); |
| 127 | FreeTemp(cu, t_reg); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 128 | } |
| 129 | branch->target = target; |
| 130 | return branch; |
| 131 | } |
| 132 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 133 | LIR* MipsCodegen::OpCmpImmBranch(CompilationUnit* cu, ConditionCode cond, int reg, |
| 134 | int check_value, LIR* target) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 135 | { |
| 136 | LIR* branch; |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 137 | if (check_value != 0) { |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 138 | // TUNING: handle s16 & kCondLt/Mi case using slti |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 139 | int t_reg = AllocTemp(cu); |
| 140 | LoadConstant(cu, t_reg, check_value); |
| 141 | branch = OpCmpBranch(cu, cond, reg, t_reg, target); |
| 142 | FreeTemp(cu, t_reg); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 143 | return branch; |
| 144 | } |
| 145 | MipsOpCode opc; |
| 146 | switch (cond) { |
| 147 | case kCondEq: opc = kMipsBeqz; break; |
| 148 | case kCondGe: opc = kMipsBgez; break; |
| 149 | case kCondGt: opc = kMipsBgtz; break; |
| 150 | case kCondLe: opc = kMipsBlez; break; |
| 151 | //case KCondMi: |
| 152 | case kCondLt: opc = kMipsBltz; break; |
| 153 | case kCondNe: opc = kMipsBnez; break; |
| 154 | default: |
| 155 | // Tuning: use slti when applicable |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 156 | int t_reg = AllocTemp(cu); |
| 157 | LoadConstant(cu, t_reg, check_value); |
| 158 | branch = OpCmpBranch(cu, cond, reg, t_reg, target); |
| 159 | FreeTemp(cu, t_reg); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 160 | return branch; |
| 161 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 162 | branch = NewLIR1(cu, opc, reg); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 163 | branch->target = target; |
| 164 | return branch; |
| 165 | } |
| 166 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 167 | LIR* MipsCodegen::OpRegCopyNoInsert(CompilationUnit *cu, int r_dest, int r_src) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 168 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 169 | if (MIPS_FPREG(r_dest) || MIPS_FPREG(r_src)) |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 170 | return OpFpRegCopy(cu, r_dest, r_src); |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 171 | LIR* res = RawLIR(cu, cu->current_dalvik_offset, kMipsMove, |
| 172 | r_dest, r_src); |
| 173 | if (!(cu->disable_opt & (1 << kSafeOptimizations)) && r_dest == r_src) { |
| 174 | res->flags.is_nop = true; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 175 | } |
| 176 | return res; |
| 177 | } |
| 178 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 179 | LIR* MipsCodegen::OpRegCopy(CompilationUnit *cu, int r_dest, int r_src) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 180 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 181 | LIR *res = OpRegCopyNoInsert(cu, r_dest, r_src); |
| 182 | AppendLIR(cu, res); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 183 | return res; |
| 184 | } |
| 185 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 186 | void MipsCodegen::OpRegCopyWide(CompilationUnit *cu, int dest_lo, int dest_hi, int src_lo, |
| 187 | int src_hi) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 188 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 189 | bool dest_fp = MIPS_FPREG(dest_lo) && MIPS_FPREG(dest_hi); |
| 190 | bool src_fp = MIPS_FPREG(src_lo) && MIPS_FPREG(src_hi); |
| 191 | assert(MIPS_FPREG(src_lo) == MIPS_FPREG(src_hi)); |
| 192 | assert(MIPS_FPREG(dest_lo) == MIPS_FPREG(dest_hi)); |
| 193 | if (dest_fp) { |
| 194 | if (src_fp) { |
| 195 | OpRegCopy(cu, S2d(dest_lo, dest_hi), S2d(src_lo, src_hi)); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 196 | } else { |
| 197 | /* note the operands are swapped for the mtc1 instr */ |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 198 | NewLIR2(cu, kMipsMtc1, src_lo, dest_lo); |
| 199 | NewLIR2(cu, kMipsMtc1, src_hi, dest_hi); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 200 | } |
| 201 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 202 | if (src_fp) { |
| 203 | NewLIR2(cu, kMipsMfc1, dest_lo, src_lo); |
| 204 | NewLIR2(cu, kMipsMfc1, dest_hi, src_hi); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 205 | } else { |
| 206 | // Handle overlap |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 207 | if (src_hi == dest_lo) { |
| 208 | OpRegCopy(cu, dest_hi, src_hi); |
| 209 | OpRegCopy(cu, dest_lo, src_lo); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 210 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 211 | OpRegCopy(cu, dest_lo, src_lo); |
| 212 | OpRegCopy(cu, dest_hi, src_hi); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 213 | } |
| 214 | } |
| 215 | } |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 216 | } |
| 217 | |
buzbee | f662a7c | 2013-02-12 16:19:43 -0800 | [diff] [blame] | 218 | void MipsCodegen::GenSelect(CompilationUnit* cu, BasicBlock* bb, MIR* mir) |
| 219 | { |
| 220 | UNIMPLEMENTED(FATAL) << "Need codegen for select"; |
| 221 | } |
| 222 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 223 | void MipsCodegen::GenFusedLongCmpBranch(CompilationUnit* cu, BasicBlock* bb, MIR* mir) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 224 | { |
| 225 | UNIMPLEMENTED(FATAL) << "Need codegen for fused long cmp branch"; |
| 226 | } |
| 227 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 228 | LIR* MipsCodegen::GenRegMemCheck(CompilationUnit* cu, ConditionCode c_code, |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 229 | int reg1, int base, int offset, ThrowKind kind) |
| 230 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 231 | LOG(FATAL) << "Unexpected use of GenRegMemCheck for Arm"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 232 | return NULL; |
| 233 | } |
| 234 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 235 | RegLocation MipsCodegen::GenDivRem(CompilationUnit* cu, RegLocation rl_dest, int reg1, int reg2, |
| 236 | bool is_div) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 237 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 238 | NewLIR4(cu, kMipsDiv, r_HI, r_LO, reg1, reg2); |
| 239 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
| 240 | if (is_div) { |
| 241 | NewLIR2(cu, kMipsMflo, rl_result.low_reg, r_LO); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 242 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 243 | NewLIR2(cu, kMipsMfhi, rl_result.low_reg, r_HI); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 244 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 245 | return rl_result; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 246 | } |
| 247 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 248 | RegLocation MipsCodegen::GenDivRemLit(CompilationUnit* cu, RegLocation rl_dest, int reg1, int lit, |
| 249 | bool is_div) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 250 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 251 | int t_reg = AllocTemp(cu); |
| 252 | NewLIR3(cu, kMipsAddiu, t_reg, r_ZERO, lit); |
| 253 | NewLIR4(cu, kMipsDiv, r_HI, r_LO, reg1, t_reg); |
| 254 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
| 255 | if (is_div) { |
| 256 | NewLIR2(cu, kMipsMflo, rl_result.low_reg, r_LO); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 257 | } else { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 258 | NewLIR2(cu, kMipsMfhi, rl_result.low_reg, r_HI); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 259 | } |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 260 | FreeTemp(cu, t_reg); |
| 261 | return rl_result; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 262 | } |
| 263 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 264 | void MipsCodegen::OpLea(CompilationUnit* cu, int rBase, int reg1, int reg2, int scale, int offset) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 265 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 266 | LOG(FATAL) << "Unexpected use of OpLea for Arm"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 267 | } |
| 268 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 269 | void MipsCodegen::OpTlsCmp(CompilationUnit* cu, int offset, int val) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 270 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 271 | LOG(FATAL) << "Unexpected use of OpTlsCmp for Arm"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 272 | } |
| 273 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 274 | bool MipsCodegen::GenInlinedCas32(CompilationUnit* cu, CallInfo* info, bool need_write_barrier) { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 275 | DCHECK_NE(cu->instruction_set, kThumb2); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 276 | return false; |
| 277 | } |
| 278 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 279 | bool MipsCodegen::GenInlinedSqrt(CompilationUnit* cu, CallInfo* info) { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 280 | DCHECK_NE(cu->instruction_set, kThumb2); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 281 | return false; |
| 282 | } |
| 283 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 284 | LIR* MipsCodegen::OpPcRelLoad(CompilationUnit* cu, int reg, LIR* target) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 285 | LOG(FATAL) << "Unexpected use of OpPcRelLoad for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 286 | return NULL; |
| 287 | } |
| 288 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 289 | LIR* MipsCodegen::OpVldm(CompilationUnit* cu, int rBase, int count) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 290 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 291 | LOG(FATAL) << "Unexpected use of OpVldm for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 292 | return NULL; |
| 293 | } |
| 294 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 295 | LIR* MipsCodegen::OpVstm(CompilationUnit* cu, int rBase, int count) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 296 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 297 | LOG(FATAL) << "Unexpected use of OpVstm for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 298 | return NULL; |
| 299 | } |
| 300 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 301 | void MipsCodegen::GenMultiplyByTwoBitMultiplier(CompilationUnit* cu, RegLocation rl_src, |
| 302 | RegLocation rl_result, int lit, |
| 303 | int first_bit, int second_bit) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 304 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 305 | int t_reg = AllocTemp(cu); |
| 306 | OpRegRegImm(cu, kOpLsl, t_reg, rl_src.low_reg, second_bit - first_bit); |
| 307 | OpRegRegReg(cu, kOpAdd, rl_result.low_reg, rl_src.low_reg, t_reg); |
| 308 | FreeTemp(cu, t_reg); |
| 309 | if (first_bit != 0) { |
| 310 | OpRegRegImm(cu, kOpLsl, rl_result.low_reg, rl_result.low_reg, first_bit); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 311 | } |
| 312 | } |
| 313 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 314 | void MipsCodegen::GenDivZeroCheck(CompilationUnit* cu, int reg_lo, int reg_hi) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 315 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 316 | int t_reg = AllocTemp(cu); |
| 317 | OpRegRegReg(cu, kOpOr, t_reg, reg_lo, reg_hi); |
| 318 | GenImmedCheck(cu, kCondEq, t_reg, 0, kThrowDivZero); |
| 319 | FreeTemp(cu, t_reg); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 320 | } |
| 321 | |
| 322 | // Test suspend flag, return target of taken suspend branch |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 323 | LIR* MipsCodegen::OpTestSuspend(CompilationUnit* cu, LIR* target) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 324 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 325 | OpRegImm(cu, kOpSub, rMIPS_SUSPEND, 1); |
| 326 | return OpCmpImmBranch(cu, (target == NULL) ? kCondEq : kCondNe, rMIPS_SUSPEND, 0, target); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 327 | } |
| 328 | |
| 329 | // Decrement register and branch on condition |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 330 | LIR* MipsCodegen::OpDecAndBranch(CompilationUnit* cu, ConditionCode c_code, int reg, LIR* target) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 331 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 332 | OpRegImm(cu, kOpSub, reg, 1); |
| 333 | return OpCmpImmBranch(cu, c_code, reg, 0, target); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 334 | } |
| 335 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 336 | bool MipsCodegen::SmallLiteralDivide(CompilationUnit* cu, Instruction::Code dalvik_opcode, |
| 337 | RegLocation rl_src, RegLocation rl_dest, int lit) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 338 | { |
| 339 | LOG(FATAL) << "Unexpected use of smallLiteralDive in Mips"; |
| 340 | return false; |
| 341 | } |
| 342 | |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 343 | LIR* MipsCodegen::OpIT(CompilationUnit* cu, ConditionCode cond, const char* guide) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 344 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 345 | LOG(FATAL) << "Unexpected use of OpIT in Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 346 | return NULL; |
| 347 | } |
| 348 | |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 349 | void MipsCodegen::GenMulLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
| 350 | RegLocation rl_src2) |
| 351 | { |
| 352 | LOG(FATAL) << "Unexpected use of GenMulLong for Mips"; |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 353 | } |
| 354 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 355 | void MipsCodegen::GenAddLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 356 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 357 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 358 | rl_src1 = LoadValueWide(cu, rl_src1, kCoreReg); |
| 359 | rl_src2 = LoadValueWide(cu, rl_src2, kCoreReg); |
| 360 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 361 | /* |
| 362 | * [v1 v0] = [a1 a0] + [a3 a2]; |
| 363 | * addu v0,a2,a0 |
| 364 | * addu t1,a3,a1 |
| 365 | * sltu v1,v0,a2 |
| 366 | * addu v1,v1,t1 |
| 367 | */ |
| 368 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 369 | OpRegRegReg(cu, kOpAdd, rl_result.low_reg, rl_src2.low_reg, rl_src1.low_reg); |
| 370 | int t_reg = AllocTemp(cu); |
| 371 | OpRegRegReg(cu, kOpAdd, t_reg, rl_src2.high_reg, rl_src1.high_reg); |
| 372 | NewLIR3(cu, kMipsSltu, rl_result.high_reg, rl_result.low_reg, rl_src2.low_reg); |
| 373 | OpRegRegReg(cu, kOpAdd, rl_result.high_reg, rl_result.high_reg, t_reg); |
| 374 | FreeTemp(cu, t_reg); |
| 375 | StoreValueWide(cu, rl_dest, rl_result); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 376 | } |
| 377 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 378 | void MipsCodegen::GenSubLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 379 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 380 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 381 | rl_src1 = LoadValueWide(cu, rl_src1, kCoreReg); |
| 382 | rl_src2 = LoadValueWide(cu, rl_src2, kCoreReg); |
| 383 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 384 | /* |
| 385 | * [v1 v0] = [a1 a0] - [a3 a2]; |
| 386 | * sltu t1,a0,a2 |
| 387 | * subu v0,a0,a2 |
| 388 | * subu v1,a1,a3 |
| 389 | * subu v1,v1,t1 |
| 390 | */ |
| 391 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 392 | int t_reg = AllocTemp(cu); |
| 393 | NewLIR3(cu, kMipsSltu, t_reg, rl_src1.low_reg, rl_src2.low_reg); |
| 394 | OpRegRegReg(cu, kOpSub, rl_result.low_reg, rl_src1.low_reg, rl_src2.low_reg); |
| 395 | OpRegRegReg(cu, kOpSub, rl_result.high_reg, rl_src1.high_reg, rl_src2.high_reg); |
| 396 | OpRegRegReg(cu, kOpSub, rl_result.high_reg, rl_result.high_reg, t_reg); |
| 397 | FreeTemp(cu, t_reg); |
| 398 | StoreValueWide(cu, rl_dest, rl_result); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 399 | } |
| 400 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 401 | void MipsCodegen::GenNegLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 402 | { |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 403 | rl_src = LoadValueWide(cu, rl_src, kCoreReg); |
| 404 | RegLocation rl_result = EvalLoc(cu, rl_dest, kCoreReg, true); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 405 | /* |
| 406 | * [v1 v0] = -[a1 a0] |
| 407 | * negu v0,a0 |
| 408 | * negu v1,a1 |
| 409 | * sltu t1,r_zero |
| 410 | * subu v1,v1,t1 |
| 411 | */ |
| 412 | |
buzbee | fa57c47 | 2012-11-21 12:06:18 -0800 | [diff] [blame] | 413 | OpRegReg(cu, kOpNeg, rl_result.low_reg, rl_src.low_reg); |
| 414 | OpRegReg(cu, kOpNeg, rl_result.high_reg, rl_src.high_reg); |
| 415 | int t_reg = AllocTemp(cu); |
| 416 | NewLIR3(cu, kMipsSltu, t_reg, r_ZERO, rl_result.low_reg); |
| 417 | OpRegRegReg(cu, kOpSub, rl_result.high_reg, rl_result.high_reg, t_reg); |
| 418 | FreeTemp(cu, t_reg); |
| 419 | StoreValueWide(cu, rl_dest, rl_result); |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 420 | } |
| 421 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 422 | void MipsCodegen::GenAndLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 423 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 424 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 425 | LOG(FATAL) << "Unexpected use of GenAndLong for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 426 | } |
| 427 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 428 | void MipsCodegen::GenOrLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 429 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 430 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 431 | LOG(FATAL) << "Unexpected use of GenOrLong for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 432 | } |
| 433 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 434 | void MipsCodegen::GenXorLong(CompilationUnit* cu, RegLocation rl_dest, RegLocation rl_src1, |
buzbee | 02031b1 | 2012-11-23 09:41:35 -0800 | [diff] [blame] | 435 | RegLocation rl_src2) |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 436 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 437 | LOG(FATAL) << "Unexpected use of GenXorLong for Mips"; |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 438 | } |
| 439 | |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 440 | /* |
| 441 | * Generate array load |
| 442 | */ |
| 443 | void MipsCodegen::GenArrayGet(CompilationUnit* cu, int opt_flags, OpSize size, RegLocation rl_array, |
| 444 | RegLocation rl_index, RegLocation rl_dest, int scale) |
| 445 | { |
| 446 | RegisterClass reg_class = oat_reg_class_by_size(size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 447 | int len_offset = mirror::Array::LengthOffset().Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 448 | int data_offset; |
| 449 | RegLocation rl_result; |
| 450 | rl_array = LoadValue(cu, rl_array, kCoreReg); |
| 451 | rl_index = LoadValue(cu, rl_index, kCoreReg); |
| 452 | |
| 453 | if (size == kLong || size == kDouble) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 454 | data_offset = mirror::Array::DataOffset(sizeof(int64_t)).Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 455 | } else { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 456 | data_offset = mirror::Array::DataOffset(sizeof(int32_t)).Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 457 | } |
| 458 | |
| 459 | /* null object? */ |
| 460 | GenNullCheck(cu, rl_array.s_reg_low, rl_array.low_reg, opt_flags); |
| 461 | |
| 462 | int reg_ptr = AllocTemp(cu); |
| 463 | bool needs_range_check = (!(opt_flags & MIR_IGNORE_RANGE_CHECK)); |
| 464 | int reg_len = INVALID_REG; |
| 465 | if (needs_range_check) { |
| 466 | reg_len = AllocTemp(cu); |
| 467 | /* Get len */ |
| 468 | LoadWordDisp(cu, rl_array.low_reg, len_offset, reg_len); |
| 469 | } |
| 470 | /* reg_ptr -> array data */ |
| 471 | OpRegRegImm(cu, kOpAdd, reg_ptr, rl_array.low_reg, data_offset); |
| 472 | FreeTemp(cu, rl_array.low_reg); |
| 473 | if ((size == kLong) || (size == kDouble)) { |
| 474 | if (scale) { |
| 475 | int r_new_index = AllocTemp(cu); |
| 476 | OpRegRegImm(cu, kOpLsl, r_new_index, rl_index.low_reg, scale); |
| 477 | OpRegReg(cu, kOpAdd, reg_ptr, r_new_index); |
| 478 | FreeTemp(cu, r_new_index); |
| 479 | } else { |
| 480 | OpRegReg(cu, kOpAdd, reg_ptr, rl_index.low_reg); |
| 481 | } |
| 482 | FreeTemp(cu, rl_index.low_reg); |
| 483 | rl_result = EvalLoc(cu, rl_dest, reg_class, true); |
| 484 | |
| 485 | if (needs_range_check) { |
| 486 | // TODO: change kCondCS to a more meaningful name, is the sense of |
| 487 | // carry-set/clear flipped? |
| 488 | GenRegRegCheck(cu, kCondCs, rl_index.low_reg, reg_len, kThrowArrayBounds); |
| 489 | FreeTemp(cu, reg_len); |
| 490 | } |
| 491 | LoadBaseDispWide(cu, reg_ptr, 0, rl_result.low_reg, rl_result.high_reg, INVALID_SREG); |
| 492 | |
| 493 | FreeTemp(cu, reg_ptr); |
| 494 | StoreValueWide(cu, rl_dest, rl_result); |
| 495 | } else { |
| 496 | rl_result = EvalLoc(cu, rl_dest, reg_class, true); |
| 497 | |
| 498 | if (needs_range_check) { |
| 499 | // TODO: change kCondCS to a more meaningful name, is the sense of |
| 500 | // carry-set/clear flipped? |
| 501 | GenRegRegCheck(cu, kCondCs, rl_index.low_reg, reg_len, kThrowArrayBounds); |
| 502 | FreeTemp(cu, reg_len); |
| 503 | } |
| 504 | LoadBaseIndexed(cu, reg_ptr, rl_index.low_reg, rl_result.low_reg, scale, size); |
| 505 | |
| 506 | FreeTemp(cu, reg_ptr); |
| 507 | StoreValue(cu, rl_dest, rl_result); |
| 508 | } |
| 509 | } |
| 510 | |
| 511 | /* |
| 512 | * Generate array store |
| 513 | * |
| 514 | */ |
| 515 | void MipsCodegen::GenArrayPut(CompilationUnit* cu, int opt_flags, OpSize size, RegLocation rl_array, |
| 516 | RegLocation rl_index, RegLocation rl_src, int scale) |
| 517 | { |
| 518 | RegisterClass reg_class = oat_reg_class_by_size(size); |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 519 | int len_offset = mirror::Array::LengthOffset().Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 520 | int data_offset; |
| 521 | |
| 522 | if (size == kLong || size == kDouble) { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 523 | data_offset = mirror::Array::DataOffset(sizeof(int64_t)).Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 524 | } else { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 525 | data_offset = mirror::Array::DataOffset(sizeof(int32_t)).Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 526 | } |
| 527 | |
| 528 | rl_array = LoadValue(cu, rl_array, kCoreReg); |
| 529 | rl_index = LoadValue(cu, rl_index, kCoreReg); |
| 530 | int reg_ptr = INVALID_REG; |
| 531 | if (IsTemp(cu, rl_array.low_reg)) { |
| 532 | Clobber(cu, rl_array.low_reg); |
| 533 | reg_ptr = rl_array.low_reg; |
| 534 | } else { |
| 535 | reg_ptr = AllocTemp(cu); |
| 536 | OpRegCopy(cu, reg_ptr, rl_array.low_reg); |
| 537 | } |
| 538 | |
| 539 | /* null object? */ |
| 540 | GenNullCheck(cu, rl_array.s_reg_low, rl_array.low_reg, opt_flags); |
| 541 | |
| 542 | bool needs_range_check = (!(opt_flags & MIR_IGNORE_RANGE_CHECK)); |
| 543 | int reg_len = INVALID_REG; |
| 544 | if (needs_range_check) { |
| 545 | reg_len = AllocTemp(cu); |
| 546 | //NOTE: max live temps(4) here. |
| 547 | /* Get len */ |
| 548 | LoadWordDisp(cu, rl_array.low_reg, len_offset, reg_len); |
| 549 | } |
| 550 | /* reg_ptr -> array data */ |
| 551 | OpRegImm(cu, kOpAdd, reg_ptr, data_offset); |
| 552 | /* at this point, reg_ptr points to array, 2 live temps */ |
| 553 | if ((size == kLong) || (size == kDouble)) { |
| 554 | //TUNING: specific wide routine that can handle fp regs |
| 555 | if (scale) { |
| 556 | int r_new_index = AllocTemp(cu); |
| 557 | OpRegRegImm(cu, kOpLsl, r_new_index, rl_index.low_reg, scale); |
| 558 | OpRegReg(cu, kOpAdd, reg_ptr, r_new_index); |
| 559 | FreeTemp(cu, r_new_index); |
| 560 | } else { |
| 561 | OpRegReg(cu, kOpAdd, reg_ptr, rl_index.low_reg); |
| 562 | } |
| 563 | rl_src = LoadValueWide(cu, rl_src, reg_class); |
| 564 | |
| 565 | if (needs_range_check) { |
| 566 | GenRegRegCheck(cu, kCondCs, rl_index.low_reg, reg_len, kThrowArrayBounds); |
| 567 | FreeTemp(cu, reg_len); |
| 568 | } |
| 569 | |
| 570 | StoreBaseDispWide(cu, reg_ptr, 0, rl_src.low_reg, rl_src.high_reg); |
| 571 | |
| 572 | FreeTemp(cu, reg_ptr); |
| 573 | } else { |
| 574 | rl_src = LoadValue(cu, rl_src, reg_class); |
| 575 | if (needs_range_check) { |
| 576 | GenRegRegCheck(cu, kCondCs, rl_index.low_reg, reg_len, kThrowArrayBounds); |
| 577 | FreeTemp(cu, reg_len); |
| 578 | } |
| 579 | StoreBaseIndexed(cu, reg_ptr, rl_index.low_reg, rl_src.low_reg, |
| 580 | scale, size); |
| 581 | } |
| 582 | } |
| 583 | |
| 584 | /* |
| 585 | * Generate array store |
| 586 | * |
| 587 | */ |
| 588 | void MipsCodegen::GenArrayObjPut(CompilationUnit* cu, int opt_flags, RegLocation rl_array, |
| 589 | RegLocation rl_index, RegLocation rl_src, int scale) |
| 590 | { |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 591 | int len_offset = mirror::Array::LengthOffset().Int32Value(); |
| 592 | int data_offset = mirror::Array::DataOffset(sizeof(mirror::Object*)).Int32Value(); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 593 | |
| 594 | FlushAllRegs(cu); // Use explicit registers |
| 595 | LockCallTemps(cu); |
| 596 | |
| 597 | int r_value = TargetReg(kArg0); // Register holding value |
| 598 | int r_array_class = TargetReg(kArg1); // Register holding array's Class |
| 599 | int r_array = TargetReg(kArg2); // Register holding array |
| 600 | int r_index = TargetReg(kArg3); // Register holding index into array |
| 601 | |
| 602 | LoadValueDirectFixed(cu, rl_array, r_array); // Grab array |
| 603 | LoadValueDirectFixed(cu, rl_src, r_value); // Grab value |
| 604 | LoadValueDirectFixed(cu, rl_index, r_index); // Grab index |
| 605 | |
| 606 | GenNullCheck(cu, rl_array.s_reg_low, r_array, opt_flags); // NPE? |
| 607 | |
| 608 | // Store of null? |
| 609 | LIR* null_value_check = OpCmpImmBranch(cu, kCondEq, r_value, 0, NULL); |
| 610 | |
| 611 | // Get the array's class. |
Ian Rogers | 2dd0e2c | 2013-01-24 12:42:14 -0800 | [diff] [blame] | 612 | LoadWordDisp(cu, r_array, mirror::Object::ClassOffset().Int32Value(), r_array_class); |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 613 | CallRuntimeHelperRegReg(cu, ENTRYPOINT_OFFSET(pCanPutArrayElementFromCode), r_value, |
| 614 | r_array_class, true); |
| 615 | // Redo LoadValues in case they didn't survive the call. |
| 616 | LoadValueDirectFixed(cu, rl_array, r_array); // Reload array |
| 617 | LoadValueDirectFixed(cu, rl_index, r_index); // Reload index |
| 618 | LoadValueDirectFixed(cu, rl_src, r_value); // Reload value |
| 619 | r_array_class = INVALID_REG; |
| 620 | |
| 621 | // Branch here if value to be stored == null |
| 622 | LIR* target = NewLIR0(cu, kPseudoTargetLabel); |
| 623 | null_value_check->target = target; |
| 624 | |
| 625 | bool needs_range_check = (!(opt_flags & MIR_IGNORE_RANGE_CHECK)); |
| 626 | int reg_len = INVALID_REG; |
| 627 | if (needs_range_check) { |
| 628 | reg_len = TargetReg(kArg1); |
| 629 | LoadWordDisp(cu, r_array, len_offset, reg_len); // Get len |
| 630 | } |
| 631 | /* r_ptr -> array data */ |
| 632 | int r_ptr = AllocTemp(cu); |
| 633 | OpRegRegImm(cu, kOpAdd, r_ptr, r_array, data_offset); |
| 634 | if (needs_range_check) { |
| 635 | GenRegRegCheck(cu, kCondCs, r_index, reg_len, kThrowArrayBounds); |
| 636 | } |
| 637 | StoreBaseIndexed(cu, r_ptr, r_index, r_value, scale, kWord); |
| 638 | FreeTemp(cu, r_ptr); |
| 639 | FreeTemp(cu, r_index); |
buzbee | 311ca16 | 2013-02-28 15:56:43 -0800 | [diff] [blame^] | 640 | if (!cu->mir_graph->IsConstantNullRef(rl_src)) { |
buzbee | 6a791b2 | 2013-02-07 05:35:08 -0800 | [diff] [blame] | 641 | MarkGCCard(cu, r_value, r_array); |
| 642 | } |
buzbee | e6285f9 | 2012-12-06 15:57:46 -0800 | [diff] [blame] | 643 | } |
| 644 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 645 | void MipsCodegen::GenShiftImmOpLong(CompilationUnit* cu, Instruction::Code opcode, RegLocation rl_dest, |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 646 | RegLocation rl_src1, RegLocation rl_shift) |
| 647 | { |
| 648 | // Default implementation is just to ignore the constant case. |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 649 | GenShiftOpLong(cu, opcode, rl_dest, rl_src1, rl_shift); |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 650 | } |
| 651 | |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 652 | void MipsCodegen::GenArithImmOpLong(CompilationUnit* cu, Instruction::Code opcode, |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 653 | RegLocation rl_dest, RegLocation rl_src1, RegLocation rl_src2) |
| 654 | { |
| 655 | // Default - bail to non-const handler. |
buzbee | a5954be | 2013-02-07 10:41:40 -0800 | [diff] [blame] | 656 | GenArithOpLong(cu, opcode, rl_dest, rl_src1, rl_src2); |
buzbee | 4ef3e45 | 2012-12-14 13:35:28 -0800 | [diff] [blame] | 657 | } |
| 658 | |
buzbee | efc6369 | 2012-11-14 16:31:52 -0800 | [diff] [blame] | 659 | } // namespace art |