buzbee | e3acd07 | 2012-02-25 17:03:10 -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 | |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 17 | #include "mips_lir.h" |
| 18 | #include "../codegen_util.h" |
| 19 | #include "../ralloc_util.h" |
| 20 | |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 21 | namespace art { |
| 22 | |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 23 | /* This file contains codegen for the MIPS32 ISA. */ |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 24 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 25 | void GenBarrier(CompilationUnit *cUnit); |
| 26 | void LoadPair(CompilationUnit *cUnit, int base, int lowReg, int highReg); |
| 27 | LIR *LoadWordDisp(CompilationUnit *cUnit, int rBase, int displacement, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 28 | int rDest); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 29 | LIR *StoreWordDisp(CompilationUnit *cUnit, int rBase, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 30 | int displacement, int rSrc); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 31 | LIR *LoadConstant(CompilationUnit *cUnit, int rDest, int value); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 32 | |
| 33 | #ifdef __mips_hard_float |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 34 | LIR *FpRegCopy(CompilationUnit *cUnit, int rDest, int rSrc) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 35 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 36 | int opcode; |
| 37 | /* must be both DOUBLE or both not DOUBLE */ |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 38 | DCHECK_EQ(MIPS_DOUBLEREG(rDest),MIPS_DOUBLEREG(rSrc)); |
| 39 | if (MIPS_DOUBLEREG(rDest)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 40 | opcode = kMipsFmovd; |
| 41 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 42 | if (MIPS_SINGLEREG(rDest)) { |
| 43 | if (MIPS_SINGLEREG(rSrc)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 44 | opcode = kMipsFmovs; |
| 45 | } else { |
| 46 | /* note the operands are swapped for the mtc1 instr */ |
| 47 | int tOpnd = rSrc; |
| 48 | rSrc = rDest; |
| 49 | rDest = tOpnd; |
| 50 | opcode = kMipsMtc1; |
| 51 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 52 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 53 | DCHECK(MIPS_SINGLEREG(rSrc)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 54 | opcode = kMipsMfc1; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 55 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 56 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 57 | LIR* res = RawLIR(cUnit, cUnit->currentDalvikOffset, opcode, rSrc, rDest); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 58 | if (!(cUnit->disableOpt & (1 << kSafeOptimizations)) && rDest == rSrc) { |
| 59 | res->flags.isNop = true; |
| 60 | } |
| 61 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 62 | } |
| 63 | #endif |
| 64 | |
| 65 | /* |
| 66 | * Load a immediate using a shortcut if possible; otherwise |
| 67 | * grab from the per-translation literal pool. If target is |
| 68 | * a high register, build constant into a low register and copy. |
| 69 | * |
| 70 | * No additional register clobbering operation performed. Use this version when |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 71 | * 1) rDest is freshly returned from AllocTemp or |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 72 | * 2) The codegen is under fixed register usage |
| 73 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 74 | LIR *LoadConstantNoClobber(CompilationUnit *cUnit, int rDest, int value) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 75 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 76 | LIR *res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 77 | |
| 78 | #ifdef __mips_hard_float |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 79 | int rDestSave = rDest; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 80 | int isFpReg = MIPS_FPREG(rDest); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 81 | if (isFpReg) { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 82 | DCHECK(MIPS_SINGLEREG(rDest)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 83 | rDest = AllocTemp(cUnit); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 84 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 85 | #endif |
| 86 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 87 | /* See if the value can be constructed cheaply */ |
| 88 | if (value == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 89 | res = NewLIR2(cUnit, kMipsMove, rDest, r_ZERO); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 90 | } else if ((value > 0) && (value <= 65535)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 91 | res = NewLIR3(cUnit, kMipsOri, rDest, r_ZERO, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 92 | } else if ((value < 0) && (value >= -32768)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 93 | res = NewLIR3(cUnit, kMipsAddiu, rDest, r_ZERO, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 94 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 95 | res = NewLIR2(cUnit, kMipsLui, rDest, value>>16); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 96 | if (value & 0xffff) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 97 | NewLIR3(cUnit, kMipsOri, rDest, rDest, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 98 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 99 | |
| 100 | #ifdef __mips_hard_float |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 101 | if (isFpReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 102 | NewLIR2(cUnit, kMipsMtc1, rDest, rDestSave); |
| 103 | FreeTemp(cUnit, rDest); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 104 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 105 | #endif |
| 106 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 107 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 108 | } |
| 109 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 110 | LIR *OpBranchUnconditional(CompilationUnit *cUnit, OpKind op) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 111 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 112 | DCHECK_EQ(op, kOpUncondBr); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 113 | return NewLIR1(cUnit, kMipsB, 0 /* offset to be patched */ ); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 114 | } |
| 115 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 116 | LIR *LoadMultiple(CompilationUnit *cUnit, int rBase, int rMask); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 117 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 118 | LIR *OpReg(CompilationUnit *cUnit, OpKind op, int rDestSrc) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 119 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 120 | MipsOpCode opcode = kMipsNop; |
| 121 | switch (op) { |
| 122 | case kOpBlx: |
| 123 | opcode = kMipsJalr; |
| 124 | break; |
| 125 | case kOpBx: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 126 | return NewLIR1(cUnit, kMipsJr, rDestSrc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 127 | break; |
| 128 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 129 | LOG(FATAL) << "Bad case in OpReg"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 130 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 131 | return NewLIR2(cUnit, opcode, r_RA, rDestSrc); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 132 | } |
| 133 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 134 | LIR *OpRegRegImm(CompilationUnit *cUnit, OpKind op, int rDest, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 135 | int rSrc1, int value); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 136 | LIR *OpRegImm(CompilationUnit *cUnit, OpKind op, int rDestSrc1, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 137 | int value) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 138 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 139 | LIR *res; |
| 140 | bool neg = (value < 0); |
| 141 | int absValue = (neg) ? -value : value; |
| 142 | bool shortForm = (absValue & 0xff) == absValue; |
| 143 | MipsOpCode opcode = kMipsNop; |
| 144 | switch (op) { |
| 145 | case kOpAdd: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 146 | return OpRegRegImm(cUnit, op, rDestSrc1, rDestSrc1, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 147 | break; |
| 148 | case kOpSub: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 149 | return OpRegRegImm(cUnit, op, rDestSrc1, rDestSrc1, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 150 | break; |
| 151 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 152 | LOG(FATAL) << "Bad case in OpRegImm"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 153 | break; |
| 154 | } |
| 155 | if (shortForm) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 156 | res = NewLIR2(cUnit, opcode, rDestSrc1, absValue); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 157 | else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 158 | int rScratch = AllocTemp(cUnit); |
| 159 | res = LoadConstant(cUnit, rScratch, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 160 | if (op == kOpCmp) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 161 | NewLIR2(cUnit, opcode, rDestSrc1, rScratch); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 162 | else |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 163 | NewLIR3(cUnit, opcode, rDestSrc1, rDestSrc1, rScratch); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 164 | } |
| 165 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 166 | } |
| 167 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 168 | LIR *OpRegRegReg(CompilationUnit *cUnit, OpKind op, int rDest, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 169 | int rSrc1, int rSrc2) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 170 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 171 | MipsOpCode opcode = kMipsNop; |
| 172 | switch (op) { |
| 173 | case kOpAdd: |
| 174 | opcode = kMipsAddu; |
| 175 | break; |
| 176 | case kOpSub: |
| 177 | opcode = kMipsSubu; |
| 178 | break; |
| 179 | case kOpAnd: |
| 180 | opcode = kMipsAnd; |
| 181 | break; |
| 182 | case kOpMul: |
| 183 | opcode = kMipsMul; |
| 184 | break; |
| 185 | case kOpOr: |
| 186 | opcode = kMipsOr; |
| 187 | break; |
| 188 | case kOpXor: |
| 189 | opcode = kMipsXor; |
| 190 | break; |
| 191 | case kOpLsl: |
| 192 | opcode = kMipsSllv; |
| 193 | break; |
| 194 | case kOpLsr: |
| 195 | opcode = kMipsSrlv; |
| 196 | break; |
| 197 | case kOpAsr: |
| 198 | opcode = kMipsSrav; |
| 199 | break; |
| 200 | case kOpAdc: |
| 201 | case kOpSbc: |
| 202 | LOG(FATAL) << "No carry bit on MIPS"; |
| 203 | break; |
| 204 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 205 | LOG(FATAL) << "bad case in OpRegRegReg"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 206 | break; |
| 207 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 208 | return NewLIR3(cUnit, opcode, rDest, rSrc1, rSrc2); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 209 | } |
| 210 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 211 | LIR *OpRegRegImm(CompilationUnit *cUnit, OpKind op, int rDest, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 212 | int rSrc1, int value) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 213 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 214 | LIR *res; |
| 215 | MipsOpCode opcode = kMipsNop; |
| 216 | bool shortForm = true; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 217 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 218 | switch (op) { |
| 219 | case kOpAdd: |
| 220 | if (IS_SIMM16(value)) { |
| 221 | opcode = kMipsAddiu; |
| 222 | } |
| 223 | else { |
| 224 | shortForm = false; |
| 225 | opcode = kMipsAddu; |
| 226 | } |
| 227 | break; |
| 228 | case kOpSub: |
| 229 | if (IS_SIMM16((-value))) { |
| 230 | value = -value; |
| 231 | opcode = kMipsAddiu; |
| 232 | } |
| 233 | else { |
| 234 | shortForm = false; |
| 235 | opcode = kMipsSubu; |
| 236 | } |
| 237 | break; |
| 238 | case kOpLsl: |
| 239 | DCHECK(value >= 0 && value <= 31); |
| 240 | opcode = kMipsSll; |
| 241 | break; |
| 242 | case kOpLsr: |
| 243 | DCHECK(value >= 0 && value <= 31); |
| 244 | opcode = kMipsSrl; |
| 245 | break; |
| 246 | case kOpAsr: |
| 247 | DCHECK(value >= 0 && value <= 31); |
| 248 | opcode = kMipsSra; |
| 249 | break; |
| 250 | case kOpAnd: |
| 251 | if (IS_UIMM16((value))) { |
| 252 | opcode = kMipsAndi; |
| 253 | } |
| 254 | else { |
| 255 | shortForm = false; |
| 256 | opcode = kMipsAnd; |
| 257 | } |
| 258 | break; |
| 259 | case kOpOr: |
| 260 | if (IS_UIMM16((value))) { |
| 261 | opcode = kMipsOri; |
| 262 | } |
| 263 | else { |
| 264 | shortForm = false; |
| 265 | opcode = kMipsOr; |
| 266 | } |
| 267 | break; |
| 268 | case kOpXor: |
| 269 | if (IS_UIMM16((value))) { |
| 270 | opcode = kMipsXori; |
| 271 | } |
| 272 | else { |
| 273 | shortForm = false; |
| 274 | opcode = kMipsXor; |
| 275 | } |
| 276 | break; |
| 277 | case kOpMul: |
| 278 | shortForm = false; |
| 279 | opcode = kMipsMul; |
| 280 | break; |
| 281 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 282 | LOG(FATAL) << "Bad case in OpRegRegImm"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 283 | break; |
| 284 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 285 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 286 | if (shortForm) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 287 | res = NewLIR3(cUnit, opcode, rDest, rSrc1, value); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 288 | else { |
| 289 | if (rDest != rSrc1) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 290 | res = LoadConstant(cUnit, rDest, value); |
| 291 | NewLIR3(cUnit, opcode, rDest, rSrc1, rDest); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 292 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 293 | int rScratch = AllocTemp(cUnit); |
| 294 | res = LoadConstant(cUnit, rScratch, value); |
| 295 | NewLIR3(cUnit, opcode, rDest, rSrc1, rScratch); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 296 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 297 | } |
| 298 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 299 | } |
| 300 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 301 | LIR *OpRegReg(CompilationUnit *cUnit, OpKind op, int rDestSrc1, int rSrc2) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 302 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 303 | MipsOpCode opcode = kMipsNop; |
| 304 | LIR *res; |
| 305 | switch (op) { |
| 306 | case kOpMov: |
| 307 | opcode = kMipsMove; |
| 308 | break; |
| 309 | case kOpMvn: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 310 | return NewLIR3(cUnit, kMipsNor, rDestSrc1, rSrc2, r_ZERO); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 311 | case kOpNeg: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 312 | return NewLIR3(cUnit, kMipsSubu, rDestSrc1, r_ZERO, rSrc2); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 313 | case kOpAdd: |
| 314 | case kOpAnd: |
| 315 | case kOpMul: |
| 316 | case kOpOr: |
| 317 | case kOpSub: |
| 318 | case kOpXor: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 319 | return OpRegRegReg(cUnit, op, rDestSrc1, rDestSrc1, rSrc2); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 320 | case kOp2Byte: |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 321 | #if __mips_isa_rev>=2 |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 322 | res = NewLIR2(cUnit, kMipsSeb, rDestSrc1, rSrc2); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 323 | #else |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 324 | res = OpRegRegImm(cUnit, kOpLsl, rDestSrc1, rSrc2, 24); |
| 325 | OpRegRegImm(cUnit, kOpAsr, rDestSrc1, rDestSrc1, 24); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 326 | #endif |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 327 | return res; |
| 328 | case kOp2Short: |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 329 | #if __mips_isa_rev>=2 |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 330 | res = NewLIR2(cUnit, kMipsSeh, rDestSrc1, rSrc2); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 331 | #else |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 332 | res = OpRegRegImm(cUnit, kOpLsl, rDestSrc1, rSrc2, 16); |
| 333 | OpRegRegImm(cUnit, kOpAsr, rDestSrc1, rDestSrc1, 16); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 334 | #endif |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 335 | return res; |
| 336 | case kOp2Char: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 337 | return NewLIR3(cUnit, kMipsAndi, rDestSrc1, rSrc2, 0xFFFF); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 338 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 339 | LOG(FATAL) << "Bad case in OpRegReg"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 340 | break; |
| 341 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 342 | return NewLIR2(cUnit, opcode, rDestSrc1, rSrc2); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 343 | } |
| 344 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 345 | LIR *LoadConstantValueWide(CompilationUnit *cUnit, int rDestLo, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 346 | int rDestHi, int valLo, int valHi) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 347 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 348 | LIR *res; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 349 | res = LoadConstantNoClobber(cUnit, rDestLo, valLo); |
| 350 | LoadConstantNoClobber(cUnit, rDestHi, valHi); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 351 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 352 | } |
| 353 | |
| 354 | /* Load value from base + scaled index. */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 355 | LIR *LoadBaseIndexed(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 356 | int rIndex, int rDest, int scale, OpSize size) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 357 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 358 | LIR *first = NULL; |
| 359 | LIR *res; |
| 360 | MipsOpCode opcode = kMipsNop; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 361 | int tReg = AllocTemp(cUnit); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 362 | |
| 363 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 364 | if (MIPS_FPREG(rDest)) { |
| 365 | DCHECK(MIPS_SINGLEREG(rDest)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 366 | DCHECK((size == kWord) || (size == kSingle)); |
| 367 | size = kSingle; |
| 368 | } else { |
| 369 | if (size == kSingle) |
| 370 | size = kWord; |
| 371 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 372 | #endif |
| 373 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 374 | if (!scale) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 375 | first = NewLIR3(cUnit, kMipsAddu, tReg , rBase, rIndex); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 376 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 377 | first = OpRegRegImm(cUnit, kOpLsl, tReg, rIndex, scale); |
| 378 | NewLIR3(cUnit, kMipsAddu, tReg , rBase, tReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 379 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 380 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 381 | switch (size) { |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 382 | #ifdef __mips_hard_float |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 383 | case kSingle: |
| 384 | opcode = kMipsFlwc1; |
| 385 | break; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 386 | #endif |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 387 | case kWord: |
| 388 | opcode = kMipsLw; |
| 389 | break; |
| 390 | case kUnsignedHalf: |
| 391 | opcode = kMipsLhu; |
| 392 | break; |
| 393 | case kSignedHalf: |
| 394 | opcode = kMipsLh; |
| 395 | break; |
| 396 | case kUnsignedByte: |
| 397 | opcode = kMipsLbu; |
| 398 | break; |
| 399 | case kSignedByte: |
| 400 | opcode = kMipsLb; |
| 401 | break; |
| 402 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 403 | LOG(FATAL) << "Bad case in LoadBaseIndexed"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 404 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 405 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 406 | res = NewLIR3(cUnit, opcode, rDest, 0, tReg); |
| 407 | FreeTemp(cUnit, tReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 408 | return (first) ? first : res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 409 | } |
| 410 | |
| 411 | /* store value base base + scaled index. */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 412 | LIR *StoreBaseIndexed(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 413 | int rIndex, int rSrc, int scale, OpSize size) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 414 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 415 | LIR *first = NULL; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 416 | MipsOpCode opcode = kMipsNop; |
| 417 | int rNewIndex = rIndex; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 418 | int tReg = AllocTemp(cUnit); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 419 | |
| 420 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 421 | if (MIPS_FPREG(rSrc)) { |
| 422 | DCHECK(MIPS_SINGLEREG(rSrc)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 423 | DCHECK((size == kWord) || (size == kSingle)); |
| 424 | size = kSingle; |
| 425 | } else { |
| 426 | if (size == kSingle) |
| 427 | size = kWord; |
| 428 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 429 | #endif |
| 430 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 431 | if (!scale) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 432 | first = NewLIR3(cUnit, kMipsAddu, tReg , rBase, rIndex); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 433 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 434 | first = OpRegRegImm(cUnit, kOpLsl, tReg, rIndex, scale); |
| 435 | NewLIR3(cUnit, kMipsAddu, tReg , rBase, tReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 436 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 437 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 438 | switch (size) { |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 439 | #ifdef __mips_hard_float |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 440 | case kSingle: |
| 441 | opcode = kMipsFswc1; |
| 442 | break; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 443 | #endif |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 444 | case kWord: |
| 445 | opcode = kMipsSw; |
| 446 | break; |
| 447 | case kUnsignedHalf: |
| 448 | case kSignedHalf: |
| 449 | opcode = kMipsSh; |
| 450 | break; |
| 451 | case kUnsignedByte: |
| 452 | case kSignedByte: |
| 453 | opcode = kMipsSb; |
| 454 | break; |
| 455 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 456 | LOG(FATAL) << "Bad case in StoreBaseIndexed"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 457 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 458 | NewLIR3(cUnit, opcode, rSrc, 0, tReg); |
| 459 | FreeTemp(cUnit, rNewIndex); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 460 | return first; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 461 | } |
| 462 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 463 | LIR *LoadMultiple(CompilationUnit *cUnit, int rBase, int rMask) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 464 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 465 | int i; |
| 466 | int loadCnt = 0; |
| 467 | LIR *res = NULL ; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 468 | GenBarrier(cUnit); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 469 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 470 | for (i = 0; i < 8; i++, rMask >>= 1) { |
| 471 | if (rMask & 0x1) { /* map r0 to MIPS r_A0 */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 472 | NewLIR3(cUnit, kMipsLw, i+r_A0, loadCnt*4, rBase); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 473 | loadCnt++; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 474 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 475 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 476 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 477 | if (loadCnt) {/* increment after */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 478 | NewLIR3(cUnit, kMipsAddiu, rBase, rBase, loadCnt*4); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 479 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 480 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 481 | GenBarrier(cUnit); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 482 | return res; /* NULL always returned which should be ok since no callers use it */ |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 483 | } |
| 484 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 485 | LIR *StoreMultiple(CompilationUnit *cUnit, int rBase, int rMask) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 486 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 487 | int i; |
| 488 | int storeCnt = 0; |
| 489 | LIR *res = NULL ; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 490 | GenBarrier(cUnit); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 491 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 492 | for (i = 0; i < 8; i++, rMask >>= 1) { |
| 493 | if (rMask & 0x1) { /* map r0 to MIPS r_A0 */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 494 | NewLIR3(cUnit, kMipsSw, i+r_A0, storeCnt*4, rBase); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 495 | storeCnt++; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 496 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 497 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 498 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 499 | if (storeCnt) { /* increment after */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 500 | NewLIR3(cUnit, kMipsAddiu, rBase, rBase, storeCnt*4); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 501 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 502 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 503 | GenBarrier(cUnit); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 504 | return res; /* NULL always returned which should be ok since no callers use it */ |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 505 | } |
| 506 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 507 | LIR *LoadBaseDispBody(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 508 | int displacement, int rDest, int rDestHi, |
| 509 | OpSize size, int sReg) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 510 | /* |
| 511 | * Load value from base + displacement. Optionally perform null check |
| 512 | * on base (which must have an associated sReg and MIR). If not |
| 513 | * performing null check, incoming MIR can be null. IMPORTANT: this |
| 514 | * code must not allocate any new temps. If a new register is needed |
| 515 | * and base and dest are the same, spill some other register to |
| 516 | * rlp and then restore. |
| 517 | */ |
| 518 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 519 | LIR *res; |
| 520 | LIR *load = NULL; |
| 521 | LIR *load2 = NULL; |
| 522 | MipsOpCode opcode = kMipsNop; |
| 523 | bool shortForm = IS_SIMM16(displacement); |
| 524 | bool pair = false; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 525 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 526 | switch (size) { |
| 527 | case kLong: |
| 528 | case kDouble: |
| 529 | pair = true; |
| 530 | opcode = kMipsLw; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 531 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 532 | if (MIPS_FPREG(rDest)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 533 | opcode = kMipsFlwc1; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 534 | if (MIPS_DOUBLEREG(rDest)) { |
| 535 | rDest = rDest - MIPS_FP_DOUBLE; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 536 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 537 | DCHECK(MIPS_FPREG(rDestHi)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 538 | DCHECK(rDest == (rDestHi - 1)); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 539 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 540 | rDestHi = rDest + 1; |
| 541 | } |
| 542 | #endif |
| 543 | shortForm = IS_SIMM16_2WORD(displacement); |
| 544 | DCHECK_EQ((displacement & 0x3), 0); |
| 545 | break; |
| 546 | case kWord: |
| 547 | case kSingle: |
| 548 | opcode = kMipsLw; |
| 549 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 550 | if (MIPS_FPREG(rDest)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 551 | opcode = kMipsFlwc1; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 552 | DCHECK(MIPS_SINGLEREG(rDest)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 553 | } |
| 554 | #endif |
| 555 | DCHECK_EQ((displacement & 0x3), 0); |
| 556 | break; |
| 557 | case kUnsignedHalf: |
| 558 | opcode = kMipsLhu; |
| 559 | DCHECK_EQ((displacement & 0x1), 0); |
| 560 | break; |
| 561 | case kSignedHalf: |
| 562 | opcode = kMipsLh; |
| 563 | DCHECK_EQ((displacement & 0x1), 0); |
| 564 | break; |
| 565 | case kUnsignedByte: |
| 566 | opcode = kMipsLbu; |
| 567 | break; |
| 568 | case kSignedByte: |
| 569 | opcode = kMipsLb; |
| 570 | break; |
| 571 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 572 | LOG(FATAL) << "Bad case in LoadBaseIndexedBody"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 573 | } |
| 574 | |
| 575 | if (shortForm) { |
| 576 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 577 | load = res = NewLIR3(cUnit, opcode, rDest, displacement, rBase); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 578 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 579 | load = res = NewLIR3(cUnit, opcode, rDest, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 580 | displacement + LOWORD_OFFSET, rBase); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 581 | load2 = NewLIR3(cUnit, opcode, rDestHi, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 582 | displacement + HIWORD_OFFSET, rBase); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 583 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 584 | } else { |
| 585 | if (pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 586 | int rTmp = AllocFreeTemp(cUnit); |
| 587 | res = OpRegRegImm(cUnit, kOpAdd, rTmp, rBase, displacement); |
| 588 | load = NewLIR3(cUnit, opcode, rDest, LOWORD_OFFSET, rTmp); |
| 589 | load2 = NewLIR3(cUnit, opcode, rDestHi, HIWORD_OFFSET, rTmp); |
| 590 | FreeTemp(cUnit, rTmp); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 591 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 592 | int rTmp = (rBase == rDest) ? AllocFreeTemp(cUnit) : rDest; |
| 593 | res = OpRegRegImm(cUnit, kOpAdd, rTmp, rBase, displacement); |
| 594 | load = NewLIR3(cUnit, opcode, rDest, 0, rTmp); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 595 | if (rTmp != rDest) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 596 | FreeTemp(cUnit, rTmp); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 597 | } |
| 598 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 599 | |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 600 | if (rBase == rMIPS_SP) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 601 | AnnotateDalvikRegAccess(load, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 602 | (displacement + (pair ? LOWORD_OFFSET : 0)) >> 2, |
| 603 | true /* isLoad */, pair /* is64bit */); |
| 604 | if (pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 605 | AnnotateDalvikRegAccess(load2, (displacement + HIWORD_OFFSET) >> 2, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 606 | true /* isLoad */, pair /* is64bit */); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 607 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 608 | } |
| 609 | return load; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 610 | } |
| 611 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 612 | LIR *LoadBaseDisp(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 613 | int displacement, int rDest, OpSize size, int sReg) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 614 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 615 | return LoadBaseDispBody(cUnit, rBase, displacement, rDest, -1, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 616 | size, sReg); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 617 | } |
| 618 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 619 | LIR *LoadBaseDispWide(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 620 | int displacement, int rDestLo, int rDestHi, int sReg) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 621 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 622 | return LoadBaseDispBody(cUnit, rBase, displacement, rDestLo, rDestHi, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 623 | kLong, sReg); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 624 | } |
| 625 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 626 | LIR *StoreBaseDispBody(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 627 | int displacement, int rSrc, int rSrcHi, OpSize size) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 628 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 629 | LIR *res; |
| 630 | LIR *store = NULL; |
| 631 | LIR *store2 = NULL; |
| 632 | MipsOpCode opcode = kMipsNop; |
| 633 | bool shortForm = IS_SIMM16(displacement); |
| 634 | bool pair = false; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 635 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 636 | switch (size) { |
| 637 | case kLong: |
| 638 | case kDouble: |
| 639 | pair = true; |
| 640 | opcode = kMipsSw; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 641 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 642 | if (MIPS_FPREG(rSrc)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 643 | opcode = kMipsFswc1; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 644 | if (MIPS_DOUBLEREG(rSrc)) { |
| 645 | rSrc = rSrc - MIPS_FP_DOUBLE; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 646 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 647 | DCHECK(MIPS_FPREG(rSrcHi)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 648 | DCHECK_EQ(rSrc, (rSrcHi - 1)); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 649 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 650 | rSrcHi = rSrc + 1; |
| 651 | } |
| 652 | #endif |
| 653 | shortForm = IS_SIMM16_2WORD(displacement); |
| 654 | DCHECK_EQ((displacement & 0x3), 0); |
| 655 | break; |
| 656 | case kWord: |
| 657 | case kSingle: |
| 658 | opcode = kMipsSw; |
| 659 | #ifdef __mips_hard_float |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 660 | if (MIPS_FPREG(rSrc)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 661 | opcode = kMipsFswc1; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 662 | DCHECK(MIPS_SINGLEREG(rSrc)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 663 | } |
| 664 | #endif |
| 665 | DCHECK_EQ((displacement & 0x3), 0); |
| 666 | break; |
| 667 | case kUnsignedHalf: |
| 668 | case kSignedHalf: |
| 669 | opcode = kMipsSh; |
| 670 | DCHECK_EQ((displacement & 0x1), 0); |
| 671 | break; |
| 672 | case kUnsignedByte: |
| 673 | case kSignedByte: |
| 674 | opcode = kMipsSb; |
| 675 | break; |
| 676 | default: |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 677 | LOG(FATAL) << "Bad case in StoreBaseIndexedBody"; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 678 | } |
| 679 | |
| 680 | if (shortForm) { |
| 681 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 682 | store = res = NewLIR3(cUnit, opcode, rSrc, displacement, rBase); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 683 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 684 | store = res = NewLIR3(cUnit, opcode, rSrc, displacement + LOWORD_OFFSET, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 685 | rBase); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 686 | store2 = NewLIR3(cUnit, opcode, rSrcHi, displacement + HIWORD_OFFSET, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 687 | rBase); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 688 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 689 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 690 | int rScratch = AllocTemp(cUnit); |
| 691 | res = OpRegRegImm(cUnit, kOpAdd, rScratch, rBase, displacement); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 692 | if (!pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 693 | store = NewLIR3(cUnit, opcode, rSrc, 0, rScratch); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 694 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 695 | store = NewLIR3(cUnit, opcode, rSrc, LOWORD_OFFSET, rScratch); |
| 696 | store2 = NewLIR3(cUnit, opcode, rSrcHi, HIWORD_OFFSET, rScratch); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 697 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 698 | FreeTemp(cUnit, rScratch); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 699 | } |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 700 | |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 701 | if (rBase == rMIPS_SP) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 702 | AnnotateDalvikRegAccess(store, (displacement + (pair ? LOWORD_OFFSET : 0)) |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 703 | >> 2, false /* isLoad */, pair /* is64bit */); |
| 704 | if (pair) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 705 | AnnotateDalvikRegAccess(store2, (displacement + HIWORD_OFFSET) >> 2, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 706 | false /* isLoad */, pair /* is64bit */); |
| 707 | } |
| 708 | } |
| 709 | |
| 710 | return res; |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 711 | } |
| 712 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 713 | LIR *StoreBaseDisp(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 714 | int displacement, int rSrc, OpSize size) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 715 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 716 | return StoreBaseDispBody(cUnit, rBase, displacement, rSrc, -1, size); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 717 | } |
| 718 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 719 | LIR *StoreBaseDispWide(CompilationUnit *cUnit, int rBase, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 720 | int displacement, int rSrcLo, int rSrcHi) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 721 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 722 | return StoreBaseDispBody(cUnit, rBase, displacement, rSrcLo, rSrcHi, kLong); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 723 | } |
| 724 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 725 | void LoadPair(CompilationUnit *cUnit, int base, int lowReg, int highReg) |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 726 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 727 | LoadWordDisp(cUnit, base, LOWORD_OFFSET , lowReg); |
| 728 | LoadWordDisp(cUnit, base, HIWORD_OFFSET , highReg); |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 729 | } |
| 730 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 731 | LIR* OpThreadMem(CompilationUnit* cUnit, OpKind op, int threadOffset) |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 732 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 733 | LOG(FATAL) << "Unexpected use of OpThreadMem for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 734 | return NULL; |
| 735 | } |
| 736 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 737 | LIR* OpMem(CompilationUnit* cUnit, OpKind op, int rBase, int disp) |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 738 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 739 | LOG(FATAL) << "Unexpected use of OpMem for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 740 | return NULL; |
| 741 | } |
| 742 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 743 | LIR* StoreBaseIndexedDisp(CompilationUnit *cUnit, |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 744 | int rBase, int rIndex, int scale, int displacement, |
| 745 | int rSrc, int rSrcHi, |
| 746 | OpSize size, int sReg) |
| 747 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 748 | LOG(FATAL) << "Unexpected use of StoreBaseIndexedDisp for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 749 | return NULL; |
| 750 | } |
| 751 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 752 | LIR* OpRegMem(CompilationUnit *cUnit, OpKind op, int rDest, int rBase, |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 753 | int offset) |
| 754 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 755 | LOG(FATAL) << "Unexpected use of OpRegMem for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 756 | return NULL; |
| 757 | } |
| 758 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 759 | LIR* LoadBaseIndexedDisp(CompilationUnit *cUnit, |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 760 | int rBase, int rIndex, int scale, int displacement, |
| 761 | int rDest, int rDestHi, |
| 762 | OpSize size, int sReg) |
| 763 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 764 | LOG(FATAL) << "Unexpected use of LoadBaseIndexedDisp for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 765 | return NULL; |
| 766 | } |
| 767 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 768 | LIR* OpCondBranch(CompilationUnit* cUnit, ConditionCode cc, LIR* target) |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 769 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame] | 770 | LOG(FATAL) << "Unexpected use of OpCondBranch for MIPS"; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 771 | return NULL; |
| 772 | } |
| 773 | |
buzbee | e3acd07 | 2012-02-25 17:03:10 -0800 | [diff] [blame] | 774 | } // namespace art |