buzbee | 31a4a6f | 2012-02-28 15:36:15 -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 | |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 17 | #include "oat/runtime/oat_support_entrypoints.h" |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 18 | #include "../compiler_ir.h" |
| 19 | #include "ralloc_util.h" |
| 20 | #include "codegen_util.h" |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 21 | |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 22 | namespace art { |
| 23 | |
| 24 | /* |
| 25 | * This source files contains "gen" codegen routines that should |
| 26 | * be applicable to most targets. Only mid-level support utilities |
| 27 | * and "op" calls may be used here. |
| 28 | */ |
| 29 | |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 30 | /* |
| 31 | * If there are any ins passed in registers that have not been promoted |
| 32 | * to a callee-save register, flush them to the frame. Perform intial |
| 33 | * assignment of promoted arguments. |
buzbee | ad8f15e | 2012-06-18 14:49:45 -0700 | [diff] [blame] | 34 | * |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 35 | * ArgLocs is an array of location records describing the incoming arguments |
buzbee | ad8f15e | 2012-06-18 14:49:45 -0700 | [diff] [blame] | 36 | * with one location record per word of argument. |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 37 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 38 | void FlushIns(CompilationUnit* cUnit, RegLocation* ArgLocs, RegLocation rlMethod) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 39 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 40 | /* |
| 41 | * Dummy up a RegLocation for the incoming Method* |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 42 | * It will attempt to keep kArg0 live (or copy it to home location |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 43 | * if promoted). |
| 44 | */ |
buzbee | ad8f15e | 2012-06-18 14:49:45 -0700 | [diff] [blame] | 45 | RegLocation rlSrc = rlMethod; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 46 | rlSrc.location = kLocPhysReg; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 47 | rlSrc.lowReg = TargetReg(kArg0); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 48 | rlSrc.home = false; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 49 | MarkLive(cUnit, rlSrc.lowReg, rlSrc.sRegLow); |
| 50 | StoreValue(cUnit, rlMethod, rlSrc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 51 | // If Method* has been promoted, explicitly flush |
| 52 | if (rlMethod.location == kLocPhysReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 53 | StoreWordDisp(cUnit, TargetReg(kSp), 0, TargetReg(kArg0)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 54 | } |
buzbee | 9c044ce | 2012-03-18 13:24:07 -0700 | [diff] [blame] | 55 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 56 | if (cUnit->numIns == 0) |
| 57 | return; |
| 58 | const int numArgRegs = 3; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 59 | static SpecialTargetRegister argRegs[] = {kArg1, kArg2, kArg3}; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 60 | int startVReg = cUnit->numDalvikRegisters - cUnit->numIns; |
| 61 | /* |
| 62 | * Copy incoming arguments to their proper home locations. |
| 63 | * NOTE: an older version of dx had an issue in which |
| 64 | * it would reuse static method argument registers. |
| 65 | * This could result in the same Dalvik virtual register |
| 66 | * being promoted to both core and fp regs. To account for this, |
| 67 | * we only copy to the corresponding promoted physical register |
| 68 | * if it matches the type of the SSA name for the incoming |
| 69 | * argument. It is also possible that long and double arguments |
| 70 | * end up half-promoted. In those cases, we must flush the promoted |
| 71 | * half to memory as well. |
| 72 | */ |
| 73 | for (int i = 0; i < cUnit->numIns; i++) { |
| 74 | PromotionMap* vMap = &cUnit->promotionMap[startVReg + i]; |
| 75 | if (i < numArgRegs) { |
| 76 | // If arriving in register |
| 77 | bool needFlush = true; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 78 | RegLocation* tLoc = &ArgLocs[i]; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 79 | if ((vMap->coreLocation == kLocPhysReg) && !tLoc->fp) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 80 | OpRegCopy(cUnit, vMap->coreReg, TargetReg(argRegs[i])); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 81 | needFlush = false; |
| 82 | } else if ((vMap->fpLocation == kLocPhysReg) && tLoc->fp) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 83 | OpRegCopy(cUnit, vMap->FpReg, TargetReg(argRegs[i])); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 84 | needFlush = false; |
| 85 | } else { |
| 86 | needFlush = true; |
| 87 | } |
buzbee | 86a4bce | 2012-03-06 18:15:00 -0800 | [diff] [blame] | 88 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 89 | // For wide args, force flush if only half is promoted |
| 90 | if (tLoc->wide) { |
| 91 | PromotionMap* pMap = vMap + (tLoc->highWord ? -1 : +1); |
| 92 | needFlush |= (pMap->coreLocation != vMap->coreLocation) || |
| 93 | (pMap->fpLocation != vMap->fpLocation); |
| 94 | } |
| 95 | if (needFlush) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 96 | StoreBaseDisp(cUnit, TargetReg(kSp), SRegOffset(cUnit, startVReg + i), |
| 97 | TargetReg(argRegs[i]), kWord); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 98 | } |
| 99 | } else { |
| 100 | // If arriving in frame & promoted |
| 101 | if (vMap->coreLocation == kLocPhysReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 102 | LoadWordDisp(cUnit, TargetReg(kSp), SRegOffset(cUnit, startVReg + i), |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 103 | vMap->coreReg); |
| 104 | } |
| 105 | if (vMap->fpLocation == kLocPhysReg) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 106 | LoadWordDisp(cUnit, TargetReg(kSp), SRegOffset(cUnit, startVReg + i), |
| 107 | vMap->FpReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 108 | } |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 109 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 110 | } |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 111 | } |
| 112 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 113 | void ScanMethodLiteralPool(CompilationUnit* cUnit, LIR** methodTarget, LIR** codeTarget, |
buzbee | eaf09bc | 2012-11-15 14:51:41 -0800 | [diff] [blame] | 114 | const DexFile* dexFile, uint32_t dexMethodIdx) |
Ian Rogers | 3fa1379 | 2012-03-18 15:53:45 -0700 | [diff] [blame] | 115 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 116 | LIR* curTarget = cUnit->methodLiteralList; |
| 117 | LIR* nextTarget = curTarget != NULL ? curTarget->next : NULL; |
| 118 | while (curTarget != NULL && nextTarget != NULL) { |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 119 | if (curTarget->operands[0] == reinterpret_cast<intptr_t>(dexFile) && |
| 120 | nextTarget->operands[0] == static_cast<int>(dexMethodIdx)) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 121 | *codeTarget = curTarget; |
| 122 | *methodTarget = nextTarget; |
| 123 | DCHECK((*codeTarget)->next == *methodTarget); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 124 | DCHECK_EQ((*codeTarget)->operands[0], reinterpret_cast<intptr_t>(dexFile)); |
| 125 | DCHECK_EQ((*methodTarget)->operands[0], static_cast<int>(dexMethodIdx)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 126 | break; |
Ian Rogers | 3fa1379 | 2012-03-18 15:53:45 -0700 | [diff] [blame] | 127 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 128 | curTarget = nextTarget->next; |
| 129 | nextTarget = curTarget != NULL ? curTarget->next : NULL; |
| 130 | } |
Ian Rogers | 3fa1379 | 2012-03-18 15:53:45 -0700 | [diff] [blame] | 131 | } |
| 132 | |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 133 | /* |
Elliott Hughes | bdf6c3d | 2012-03-20 13:43:53 -0700 | [diff] [blame] | 134 | * Bit of a hack here - in the absence of a real scheduling pass, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 135 | * emit the next instruction in static & direct invoke sequences. |
| 136 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 137 | int NextSDCallInsn(CompilationUnit* cUnit, CallInfo* info, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 138 | int state, uint32_t dexIdx, uint32_t unused, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 139 | uintptr_t directCode, uintptr_t directMethod, |
| 140 | InvokeType type) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 141 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 142 | if (cUnit->instructionSet != kThumb2) { |
| 143 | // Disable sharpening |
| 144 | directCode = 0; |
| 145 | directMethod = 0; |
| 146 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 147 | if (directCode != 0 && directMethod != 0) { |
| 148 | switch (state) { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 149 | case 0: // Get the current Method* [sets kArg0] |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 150 | if (directCode != static_cast<unsigned int>(-1)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 151 | LoadConstant(cUnit, TargetReg(kInvokeTgt), directCode); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 152 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 153 | LIR* dataTarget = ScanLiteralPool(cUnit->codeLiteralList, dexIdx, 0); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 154 | if (dataTarget == NULL) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 155 | dataTarget = AddWordData(cUnit, &cUnit->codeLiteralList, dexIdx); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 156 | dataTarget->operands[1] = type; |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 157 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 158 | LIR* loadPcRel = OpPcRelLoad(cUnit, TargetReg(kInvokeTgt), dataTarget); |
| 159 | AppendLIR(cUnit, loadPcRel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 160 | DCHECK_EQ(cUnit->instructionSet, kThumb2) << reinterpret_cast<void*>(dataTarget); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 161 | } |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 162 | if (directMethod != static_cast<unsigned int>(-1)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 163 | LoadConstant(cUnit, TargetReg(kArg0), directMethod); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 164 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 165 | LIR* dataTarget = ScanLiteralPool(cUnit->methodLiteralList, dexIdx, 0); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 166 | if (dataTarget == NULL) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 167 | dataTarget = AddWordData(cUnit, &cUnit->methodLiteralList, dexIdx); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 168 | dataTarget->operands[1] = type; |
| 169 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 170 | LIR* loadPcRel = OpPcRelLoad(cUnit, TargetReg(kArg0), dataTarget); |
| 171 | AppendLIR(cUnit, loadPcRel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 172 | DCHECK_EQ(cUnit->instructionSet, kThumb2) << reinterpret_cast<void*>(dataTarget); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 173 | } |
| 174 | break; |
| 175 | default: |
| 176 | return -1; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 177 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 178 | } else { |
| 179 | switch (state) { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 180 | case 0: // Get the current Method* [sets kArg0] |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 181 | // TUNING: we can save a reg copy if Method* has been promoted. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 182 | LoadCurrMethodDirect(cUnit, TargetReg(kArg0)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 183 | break; |
| 184 | case 1: // Get method->dex_cache_resolved_methods_ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 185 | LoadWordDisp(cUnit, TargetReg(kArg0), |
| 186 | AbstractMethod::DexCacheResolvedMethodsOffset().Int32Value(), TargetReg(kArg0)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 187 | // Set up direct code if known. |
| 188 | if (directCode != 0) { |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 189 | if (directCode != static_cast<unsigned int>(-1)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 190 | LoadConstant(cUnit, TargetReg(kInvokeTgt), directCode); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 191 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 192 | LIR* dataTarget = ScanLiteralPool(cUnit->codeLiteralList, dexIdx, 0); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 193 | if (dataTarget == NULL) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 194 | dataTarget = AddWordData(cUnit, &cUnit->codeLiteralList, dexIdx); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 195 | dataTarget->operands[1] = type; |
| 196 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 197 | LIR* loadPcRel = OpPcRelLoad(cUnit, TargetReg(kInvokeTgt), dataTarget); |
| 198 | AppendLIR(cUnit, loadPcRel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 199 | DCHECK_EQ(cUnit->instructionSet, kThumb2) << reinterpret_cast<void*>(dataTarget); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 200 | } |
| 201 | } |
| 202 | break; |
| 203 | case 2: // Grab target method* |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 204 | LoadWordDisp(cUnit, TargetReg(kArg0), |
| 205 | Array::DataOffset(sizeof(Object*)).Int32Value() + dexIdx * 4, TargetReg(kArg0)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 206 | break; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 207 | case 3: // Grab the code from the method* |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 208 | if (cUnit->instructionSet != kX86) { |
| 209 | if (directCode == 0) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 210 | LoadWordDisp(cUnit, TargetReg(kArg0), AbstractMethod::GetCodeOffset().Int32Value(), |
| 211 | TargetReg(kInvokeTgt)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 212 | } |
| 213 | break; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 214 | } |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 215 | // Intentional fallthrough for x86 |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 216 | default: |
| 217 | return -1; |
| 218 | } |
| 219 | } |
| 220 | return state + 1; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | /* |
Elliott Hughes | bdf6c3d | 2012-03-20 13:43:53 -0700 | [diff] [blame] | 224 | * Bit of a hack here - in the absence of a real scheduling pass, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 225 | * emit the next instruction in a virtual invoke sequence. |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 226 | * We can use kLr as a temp prior to target address loading |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 227 | * Note also that we'll load the first argument ("this") into |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 228 | * kArg1 here rather than the standard LoadArgRegs. |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 229 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 230 | int NextVCallInsn(CompilationUnit* cUnit, CallInfo* info, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 231 | int state, uint32_t dexIdx, uint32_t methodIdx, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 232 | uintptr_t unused, uintptr_t unused2, InvokeType unused3) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 233 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 234 | /* |
| 235 | * This is the fast path in which the target virtual method is |
| 236 | * fully resolved at compile time. |
| 237 | */ |
| 238 | switch (state) { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 239 | case 0: { // Get "this" [set kArg1] |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 240 | RegLocation rlArg = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 241 | LoadValueDirectFixed(cUnit, rlArg, TargetReg(kArg1)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 242 | break; |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 243 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 244 | case 1: // Is "this" null? [use kArg1] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 245 | GenNullCheck(cUnit, info->args[0].sRegLow, TargetReg(kArg1), info->optFlags); |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 246 | // get this->klass_ [use kArg1, set kInvokeTgt] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 247 | LoadWordDisp(cUnit, TargetReg(kArg1), Object::ClassOffset().Int32Value(), |
| 248 | TargetReg(kInvokeTgt)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 249 | break; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 250 | case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 251 | LoadWordDisp(cUnit, TargetReg(kInvokeTgt), Class::VTableOffset().Int32Value(), |
| 252 | TargetReg(kInvokeTgt)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 253 | break; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 254 | case 3: // Get target method [use kInvokeTgt, set kArg0] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 255 | LoadWordDisp(cUnit, TargetReg(kInvokeTgt), (methodIdx * 4) + |
| 256 | Array::DataOffset(sizeof(Object*)).Int32Value(), TargetReg(kArg0)); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 257 | break; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 258 | case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt] |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 259 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 260 | LoadWordDisp(cUnit, TargetReg(kArg0), AbstractMethod::GetCodeOffset().Int32Value(), |
| 261 | TargetReg(kInvokeTgt)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 262 | break; |
| 263 | } |
| 264 | // Intentional fallthrough for X86 |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 265 | default: |
| 266 | return -1; |
| 267 | } |
| 268 | return state + 1; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 269 | } |
| 270 | |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 271 | /* |
| 272 | * All invoke-interface calls bounce off of art_invoke_interface_trampoline, |
| 273 | * which will locate the target and continue on via a tail call. |
| 274 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 275 | int NextInterfaceCallInsn(CompilationUnit* cUnit, CallInfo* info, int state, |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 276 | uint32_t dexIdx, uint32_t unused, uintptr_t unused2, |
| 277 | uintptr_t directMethod, InvokeType unused4) |
| 278 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 279 | if (cUnit->instructionSet != kThumb2) { |
| 280 | // Disable sharpening |
| 281 | directMethod = 0; |
| 282 | } |
| 283 | int trampoline = (cUnit->instructionSet == kX86) ? 0 |
| 284 | : ENTRYPOINT_OFFSET(pInvokeInterfaceTrampoline); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 285 | |
| 286 | if (directMethod != 0) { |
| 287 | switch (state) { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 288 | case 0: // Load the trampoline target [sets kInvokeTgt]. |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 289 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 290 | LoadWordDisp(cUnit, TargetReg(kSelf), trampoline, TargetReg(kInvokeTgt)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 291 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 292 | // Get the interface Method* [sets kArg0] |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 293 | if (directMethod != static_cast<unsigned int>(-1)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 294 | LoadConstant(cUnit, TargetReg(kArg0), directMethod); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 295 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 296 | LIR* dataTarget = ScanLiteralPool(cUnit->methodLiteralList, dexIdx, 0); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 297 | if (dataTarget == NULL) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 298 | dataTarget = AddWordData(cUnit, &cUnit->methodLiteralList, dexIdx); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 299 | dataTarget->operands[1] = kInterface; |
| 300 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 301 | LIR* loadPcRel = OpPcRelLoad(cUnit, TargetReg(kArg0), dataTarget); |
| 302 | AppendLIR(cUnit, loadPcRel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 303 | DCHECK_EQ(cUnit->instructionSet, kThumb2) << reinterpret_cast<void*>(dataTarget); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 304 | } |
| 305 | break; |
| 306 | default: |
| 307 | return -1; |
| 308 | } |
| 309 | } else { |
| 310 | switch (state) { |
| 311 | case 0: |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 312 | // Get the current Method* [sets kArg0] - TUNING: remove copy of method if it is promoted. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 313 | LoadCurrMethodDirect(cUnit, TargetReg(kArg0)); |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 314 | // Load the trampoline target [sets kInvokeTgt]. |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 315 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 316 | LoadWordDisp(cUnit, TargetReg(kSelf), trampoline, TargetReg(kInvokeTgt)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 317 | } |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 318 | break; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 319 | case 1: // Get method->dex_cache_resolved_methods_ [set/use kArg0] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 320 | LoadWordDisp(cUnit, TargetReg(kArg0), |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 321 | AbstractMethod::DexCacheResolvedMethodsOffset().Int32Value(), |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 322 | TargetReg(kArg0)); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 323 | break; |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 324 | case 2: // Grab target method* [set/use kArg0] |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 325 | LoadWordDisp(cUnit, TargetReg(kArg0), |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 326 | Array::DataOffset(sizeof(Object*)).Int32Value() + dexIdx * 4, |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 327 | TargetReg(kArg0)); |
Ian Rogers | 137e88f | 2012-10-08 17:46:47 -0700 | [diff] [blame] | 328 | break; |
| 329 | default: |
| 330 | return -1; |
| 331 | } |
| 332 | } |
| 333 | return state + 1; |
| 334 | } |
| 335 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 336 | int NextInvokeInsnSP(CompilationUnit* cUnit, CallInfo* info, int trampoline, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 337 | int state, uint32_t dexIdx, uint32_t methodIdx) |
| 338 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 339 | /* |
| 340 | * This handles the case in which the base method is not fully |
| 341 | * resolved at compile time, we bail to a runtime helper. |
| 342 | */ |
| 343 | if (state == 0) { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 344 | if (cUnit->instructionSet != kX86) { |
| 345 | // Load trampoline target |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 346 | LoadWordDisp(cUnit, TargetReg(kSelf), trampoline, TargetReg(kInvokeTgt)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 347 | } |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 348 | // Load kArg0 with method index |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 349 | LoadConstant(cUnit, TargetReg(kArg0), dexIdx); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 350 | return 1; |
| 351 | } |
| 352 | return -1; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 353 | } |
| 354 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 355 | int NextStaticCallInsnSP(CompilationUnit* cUnit, CallInfo* info, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 356 | int state, uint32_t dexIdx, uint32_t methodIdx, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 357 | uintptr_t unused, uintptr_t unused2, |
| 358 | InvokeType unused3) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 359 | { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 360 | int trampoline = ENTRYPOINT_OFFSET(pInvokeStaticTrampolineWithAccessCheck); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 361 | return NextInvokeInsnSP(cUnit, info, trampoline, state, dexIdx, 0); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 362 | } |
| 363 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 364 | int NextDirectCallInsnSP(CompilationUnit* cUnit, CallInfo* info, int state, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 365 | uint32_t dexIdx, uint32_t methodIdx, uintptr_t unused, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 366 | uintptr_t unused2, InvokeType unused3) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 367 | { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 368 | int trampoline = ENTRYPOINT_OFFSET(pInvokeDirectTrampolineWithAccessCheck); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 369 | return NextInvokeInsnSP(cUnit, info, trampoline, state, dexIdx, 0); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 370 | } |
| 371 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 372 | int NextSuperCallInsnSP(CompilationUnit* cUnit, CallInfo* info, int state, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 373 | uint32_t dexIdx, uint32_t methodIdx, uintptr_t unused, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 374 | uintptr_t unused2, InvokeType unused3) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 375 | { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 376 | int trampoline = ENTRYPOINT_OFFSET(pInvokeSuperTrampolineWithAccessCheck); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 377 | return NextInvokeInsnSP(cUnit, info, trampoline, state, dexIdx, 0); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 378 | } |
| 379 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 380 | int NextVCallInsnSP(CompilationUnit* cUnit, CallInfo* info, int state, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 381 | uint32_t dexIdx, uint32_t methodIdx, uintptr_t unused, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 382 | uintptr_t unused2, InvokeType unused3) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 383 | { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 384 | int trampoline = ENTRYPOINT_OFFSET(pInvokeVirtualTrampolineWithAccessCheck); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 385 | return NextInvokeInsnSP(cUnit, info, trampoline, state, dexIdx, 0); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 386 | } |
| 387 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 388 | int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cUnit, |
buzbee | 3b3dbdd | 2012-06-13 13:39:34 -0700 | [diff] [blame] | 389 | CallInfo* info, int state, |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 390 | uint32_t dexIdx, uint32_t unused, |
| 391 | uintptr_t unused2, uintptr_t unused3, |
| 392 | InvokeType unused4) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 393 | { |
Ian Rogers | 57b86d4 | 2012-03-27 16:05:41 -0700 | [diff] [blame] | 394 | int trampoline = ENTRYPOINT_OFFSET(pInvokeInterfaceTrampolineWithAccessCheck); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 395 | return NextInvokeInsnSP(cUnit, info, trampoline, state, dexIdx, 0); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 396 | } |
| 397 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 398 | int LoadArgRegs(CompilationUnit* cUnit, CallInfo* info, int callState, |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 399 | NextCallInsn nextCallInsn, uint32_t dexIdx, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 400 | uint32_t methodIdx, uintptr_t directCode, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 401 | uintptr_t directMethod, InvokeType type, bool skipThis) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 402 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 403 | int lastArgReg = TargetReg(kArg3); |
| 404 | int nextReg = TargetReg(kArg1); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 405 | int nextArg = 0; |
| 406 | if (skipThis) { |
| 407 | nextReg++; |
| 408 | nextArg++; |
| 409 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 410 | for (; (nextReg <= lastArgReg) && (nextArg < info->numArgWords); nextReg++) { |
| 411 | RegLocation rlArg = info->args[nextArg++]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 412 | rlArg = UpdateRawLoc(cUnit, rlArg); |
| 413 | if (rlArg.wide && (nextReg <= TargetReg(kArg2))) { |
| 414 | LoadValueDirectWideFixed(cUnit, rlArg, nextReg, nextReg + 1); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 415 | nextReg++; |
| 416 | nextArg++; |
| 417 | } else { |
| 418 | rlArg.wide = false; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 419 | LoadValueDirectFixed(cUnit, rlArg, nextReg); |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 420 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 421 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 422 | directCode, directMethod, type); |
| 423 | } |
| 424 | return callState; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 425 | } |
| 426 | |
| 427 | /* |
| 428 | * Load up to 5 arguments, the first three of which will be in |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 429 | * kArg1 .. kArg3. On entry kArg0 contains the current method pointer, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 430 | * and as part of the load sequence, it must be replaced with |
| 431 | * the target method pointer. Note, this may also be called |
| 432 | * for "range" variants if the number of arguments is 5 or fewer. |
| 433 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 434 | int GenDalvikArgsNoRange(CompilationUnit* cUnit, CallInfo* info, |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 435 | int callState, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 436 | LIR** pcrLabel, NextCallInsn nextCallInsn, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 437 | uint32_t dexIdx, uint32_t methodIdx, |
| 438 | uintptr_t directCode, uintptr_t directMethod, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 439 | InvokeType type, bool skipThis) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 440 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 441 | RegLocation rlArg; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 442 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 443 | /* If no arguments, just return */ |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 444 | if (info->numArgWords == 0) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 445 | return callState; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 446 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 447 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 448 | directCode, directMethod, type); |
| 449 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 450 | DCHECK_LE(info->numArgWords, 5); |
| 451 | if (info->numArgWords > 3) { |
| 452 | int32_t nextUse = 3; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 453 | //Detect special case of wide arg spanning arg3/arg4 |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 454 | RegLocation rlUse0 = info->args[0]; |
| 455 | RegLocation rlUse1 = info->args[1]; |
| 456 | RegLocation rlUse2 = info->args[2]; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 457 | if (((!rlUse0.wide && !rlUse1.wide) || rlUse0.wide) && |
| 458 | rlUse2.wide) { |
| 459 | int reg = -1; |
| 460 | // Wide spans, we need the 2nd half of uses[2]. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 461 | rlArg = UpdateLocWide(cUnit, rlUse2); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 462 | if (rlArg.location == kLocPhysReg) { |
| 463 | reg = rlArg.highReg; |
| 464 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 465 | // kArg2 & rArg3 can safely be used here |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 466 | reg = TargetReg(kArg3); |
| 467 | LoadWordDisp(cUnit, TargetReg(kSp), SRegOffset(cUnit, rlArg.sRegLow) + 4, reg); |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 468 | callState = nextCallInsn(cUnit, info, callState, dexIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 469 | methodIdx, directCode, directMethod, type); |
| 470 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 471 | StoreBaseDisp(cUnit, TargetReg(kSp), (nextUse + 1) * 4, reg, kWord); |
| 472 | StoreBaseDisp(cUnit, TargetReg(kSp), 16 /* (3+1)*4 */, reg, kWord); |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 473 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 474 | directCode, directMethod, type); |
| 475 | nextUse++; |
| 476 | } |
| 477 | // Loop through the rest |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 478 | while (nextUse < info->numArgWords) { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 479 | int lowReg; |
| 480 | int highReg = -1; |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 481 | rlArg = info->args[nextUse]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 482 | rlArg = UpdateRawLoc(cUnit, rlArg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 483 | if (rlArg.location == kLocPhysReg) { |
| 484 | lowReg = rlArg.lowReg; |
| 485 | highReg = rlArg.highReg; |
| 486 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 487 | lowReg = TargetReg(kArg2); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 488 | if (rlArg.wide) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 489 | highReg = TargetReg(kArg3); |
| 490 | LoadValueDirectWideFixed(cUnit, rlArg, lowReg, highReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 491 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 492 | LoadValueDirectFixed(cUnit, rlArg, lowReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 493 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 494 | callState = nextCallInsn(cUnit, info, callState, dexIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 495 | methodIdx, directCode, directMethod, type); |
| 496 | } |
| 497 | int outsOffset = (nextUse + 1) * 4; |
| 498 | if (rlArg.wide) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 499 | StoreBaseDispWide(cUnit, TargetReg(kSp), outsOffset, lowReg, highReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 500 | nextUse += 2; |
| 501 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 502 | StoreWordDisp(cUnit, TargetReg(kSp), outsOffset, lowReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 503 | nextUse++; |
| 504 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 505 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 506 | directCode, directMethod, type); |
| 507 | } |
| 508 | } |
| 509 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 510 | callState = LoadArgRegs(cUnit, info, callState, nextCallInsn, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 511 | dexIdx, methodIdx, directCode, directMethod, |
| 512 | type, skipThis); |
| 513 | |
| 514 | if (pcrLabel) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 515 | *pcrLabel = GenNullCheck(cUnit, info->args[0].sRegLow, TargetReg(kArg1), info->optFlags); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 516 | } |
| 517 | return callState; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 518 | } |
| 519 | |
| 520 | /* |
| 521 | * May have 0+ arguments (also used for jumbo). Note that |
| 522 | * source virtual registers may be in physical registers, so may |
| 523 | * need to be flushed to home location before copying. This |
| 524 | * applies to arg3 and above (see below). |
| 525 | * |
| 526 | * Two general strategies: |
| 527 | * If < 20 arguments |
| 528 | * Pass args 3-18 using vldm/vstm block copy |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 529 | * Pass arg0, arg1 & arg2 in kArg1-kArg3 |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 530 | * If 20+ arguments |
| 531 | * Pass args arg19+ using memcpy block copy |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 532 | * Pass arg0, arg1 & arg2 in kArg1-kArg3 |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 533 | * |
| 534 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 535 | int GenDalvikArgsRange(CompilationUnit* cUnit, CallInfo* info, int callState, |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 536 | LIR** pcrLabel, NextCallInsn nextCallInsn, |
Ian Rogers | 2ed3b95 | 2012-03-17 11:49:39 -0700 | [diff] [blame] | 537 | uint32_t dexIdx, uint32_t methodIdx, |
| 538 | uintptr_t directCode, uintptr_t directMethod, |
Brian Carlstrom | f582258 | 2012-03-19 22:34:31 -0700 | [diff] [blame] | 539 | InvokeType type, bool skipThis) |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 540 | { |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 541 | |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 542 | // If we can treat it as non-range (Jumbo ops will use range form) |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 543 | if (info->numArgWords <= 5) |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 544 | return GenDalvikArgsNoRange(cUnit, info, callState, pcrLabel, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 545 | nextCallInsn, dexIdx, methodIdx, |
| 546 | directCode, directMethod, type, skipThis); |
| 547 | /* |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 548 | * First load the non-register arguments. Both forms expect all |
| 549 | * of the source arguments to be in their home frame location, so |
| 550 | * scan the sReg names and flush any that have been promoted to |
| 551 | * frame backing storage. |
| 552 | */ |
| 553 | // Scan the rest of the args - if in physReg flush to memory |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 554 | for (int nextArg = 0; nextArg < info->numArgWords;) { |
| 555 | RegLocation loc = info->args[nextArg]; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 556 | if (loc.wide) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 557 | loc = UpdateLocWide(cUnit, loc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 558 | if ((nextArg >= 2) && (loc.location == kLocPhysReg)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 559 | StoreBaseDispWide(cUnit, TargetReg(kSp), SRegOffset(cUnit, loc.sRegLow), |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 560 | loc.lowReg, loc.highReg); |
| 561 | } |
| 562 | nextArg += 2; |
| 563 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 564 | loc = UpdateLoc(cUnit, loc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 565 | if ((nextArg >= 3) && (loc.location == kLocPhysReg)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 566 | StoreBaseDisp(cUnit, TargetReg(kSp), SRegOffset(cUnit, loc.sRegLow), |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 567 | loc.lowReg, kWord); |
| 568 | } |
| 569 | nextArg++; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 570 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 571 | } |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 572 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 573 | int startOffset = SRegOffset(cUnit, info->args[3].sRegLow); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 574 | int outsOffset = 4 /* Method* */ + (3 * 4); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 575 | if (cUnit->instructionSet != kThumb2) { |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 576 | // Generate memcpy |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 577 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg0), TargetReg(kSp), outsOffset); |
| 578 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg1), TargetReg(kSp), startOffset); |
| 579 | CallRuntimeHelperRegRegImm(cUnit, ENTRYPOINT_OFFSET(pMemcpy), TargetReg(kArg0), |
| 580 | TargetReg(kArg1), (info->numArgWords - 3) * 4, false); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 581 | } else { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 582 | if (info->numArgWords >= 20) { |
| 583 | // Generate memcpy |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 584 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg0), TargetReg(kSp), outsOffset); |
| 585 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg1), TargetReg(kSp), startOffset); |
| 586 | CallRuntimeHelperRegRegImm(cUnit, ENTRYPOINT_OFFSET(pMemcpy), TargetReg(kArg0), |
| 587 | TargetReg(kArg1), (info->numArgWords - 3) * 4, false); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 588 | } else { |
buzbee | f0504cd | 2012-11-13 16:31:10 -0800 | [diff] [blame] | 589 | // Use vldm/vstm pair using kArg3 as a temp |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 590 | int regsLeft = std::min(info->numArgWords - 3, 16); |
| 591 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
| 592 | directCode, directMethod, type); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 593 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg3), TargetReg(kSp), startOffset); |
| 594 | LIR* ld = OpVldm(cUnit, TargetReg(kArg3), regsLeft); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 595 | //TUNING: loosen barrier |
| 596 | ld->defMask = ENCODE_ALL; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 597 | SetMemRefType(ld, true /* isLoad */, kDalvikReg); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 598 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
| 599 | directCode, directMethod, type); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 600 | OpRegRegImm(cUnit, kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 601 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
| 602 | directCode, directMethod, type); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 603 | LIR* st = OpVstm(cUnit, TargetReg(kArg3), regsLeft); |
| 604 | SetMemRefType(st, false /* isLoad */, kDalvikReg); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 605 | st->defMask = ENCODE_ALL; |
| 606 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
| 607 | directCode, directMethod, type); |
| 608 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 609 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 610 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 611 | callState = LoadArgRegs(cUnit, info, callState, nextCallInsn, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 612 | dexIdx, methodIdx, directCode, directMethod, |
| 613 | type, skipThis); |
| 614 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 615 | callState = nextCallInsn(cUnit, info, callState, dexIdx, methodIdx, |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 616 | directCode, directMethod, type); |
| 617 | if (pcrLabel) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 618 | *pcrLabel = GenNullCheck(cUnit, info->args[0].sRegLow, TargetReg(kArg1), |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 619 | info->optFlags); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 620 | } |
| 621 | return callState; |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 622 | } |
| 623 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 624 | RegLocation InlineTarget(CompilationUnit* cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 625 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 626 | RegLocation res; |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 627 | if (info->result.location == kLocInvalid) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 628 | res = GetReturn(cUnit, false); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 629 | } else { |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 630 | res = info->result; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 631 | } |
| 632 | return res; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 633 | } |
| 634 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 635 | RegLocation InlineTargetWide(CompilationUnit* cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 636 | { |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 637 | RegLocation res; |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 638 | if (info->result.location == kLocInvalid) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 639 | res = GetReturnWide(cUnit, false); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 640 | } else { |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 641 | res = info->result; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 642 | } |
| 643 | return res; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 644 | } |
| 645 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 646 | bool GenInlinedCharAt(CompilationUnit* cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 647 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 648 | if (cUnit->instructionSet == kMips) { |
| 649 | // TODO - add Mips implementation |
| 650 | return false; |
| 651 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 652 | // Location of reference to data array |
| 653 | int valueOffset = String::ValueOffset().Int32Value(); |
| 654 | // Location of count |
| 655 | int countOffset = String::CountOffset().Int32Value(); |
| 656 | // Starting offset within data array |
| 657 | int offsetOffset = String::OffsetOffset().Int32Value(); |
| 658 | // Start of char data with array_ |
| 659 | int dataOffset = Array::DataOffset(sizeof(uint16_t)).Int32Value(); |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 660 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 661 | RegLocation rlObj = info->args[0]; |
| 662 | RegLocation rlIdx = info->args[1]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 663 | rlObj = LoadValue(cUnit, rlObj, kCoreReg); |
| 664 | rlIdx = LoadValue(cUnit, rlIdx, kCoreReg); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 665 | int regMax; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 666 | GenNullCheck(cUnit, rlObj.sRegLow, rlObj.lowReg, info->optFlags); |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 667 | bool rangeCheck = (!(info->optFlags & MIR_IGNORE_RANGE_CHECK)); |
jeffhao | 634ea28 | 2012-08-10 13:04:01 -0700 | [diff] [blame] | 668 | LIR* launchPad = NULL; |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 669 | int regOff = INVALID_REG; |
| 670 | int regPtr = INVALID_REG; |
| 671 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 672 | regOff = AllocTemp(cUnit); |
| 673 | regPtr = AllocTemp(cUnit); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 674 | if (rangeCheck) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 675 | regMax = AllocTemp(cUnit); |
| 676 | LoadWordDisp(cUnit, rlObj.lowReg, countOffset, regMax); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 677 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 678 | LoadWordDisp(cUnit, rlObj.lowReg, offsetOffset, regOff); |
| 679 | LoadWordDisp(cUnit, rlObj.lowReg, valueOffset, regPtr); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 680 | if (rangeCheck) { |
| 681 | // Set up a launch pad to allow retry in case of bounds violation */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 682 | launchPad = RawLIR(cUnit, 0, kPseudoIntrinsicRetry, reinterpret_cast<uintptr_t>(info)); |
| 683 | InsertGrowableList(cUnit, &cUnit->intrinsicLaunchpads, |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 684 | reinterpret_cast<uintptr_t>(launchPad)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 685 | OpRegReg(cUnit, kOpCmp, rlIdx.lowReg, regMax); |
| 686 | FreeTemp(cUnit, regMax); |
| 687 | OpCondBranch(cUnit, kCondCs, launchPad); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 688 | } |
| 689 | } else { |
| 690 | if (rangeCheck) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 691 | regMax = AllocTemp(cUnit); |
| 692 | LoadWordDisp(cUnit, rlObj.lowReg, countOffset, regMax); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 693 | // Set up a launch pad to allow retry in case of bounds violation */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 694 | launchPad = RawLIR(cUnit, 0, kPseudoIntrinsicRetry, reinterpret_cast<uintptr_t>(info)); |
| 695 | InsertGrowableList(cUnit, &cUnit->intrinsicLaunchpads, |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 696 | reinterpret_cast<uintptr_t>(launchPad)); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 697 | OpRegReg(cUnit, kOpCmp, rlIdx.lowReg, regMax); |
| 698 | FreeTemp(cUnit, regMax); |
| 699 | OpCondBranch(cUnit, kCondCc, launchPad); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 700 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 701 | regOff = AllocTemp(cUnit); |
| 702 | regPtr = AllocTemp(cUnit); |
| 703 | LoadWordDisp(cUnit, rlObj.lowReg, offsetOffset, regOff); |
| 704 | LoadWordDisp(cUnit, rlObj.lowReg, valueOffset, regPtr); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 705 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 706 | OpRegImm(cUnit, kOpAdd, regPtr, dataOffset); |
| 707 | OpRegReg(cUnit, kOpAdd, regOff, rlIdx.lowReg); |
| 708 | FreeTemp(cUnit, rlObj.lowReg); |
| 709 | FreeTemp(cUnit, rlIdx.lowReg); |
| 710 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 711 | RegLocation rlResult = EvalLoc(cUnit, rlDest, kCoreReg, true); |
| 712 | LoadBaseIndexed(cUnit, regPtr, regOff, rlResult.lowReg, 1, kUnsignedHalf); |
| 713 | FreeTemp(cUnit, regOff); |
| 714 | FreeTemp(cUnit, regPtr); |
| 715 | StoreValue(cUnit, rlDest, rlResult); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 716 | if (rangeCheck) { |
Elliott Hughes | 6023456 | 2012-06-01 12:25:59 -0700 | [diff] [blame] | 717 | launchPad->operands[2] = 0; // no resumption |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 718 | } |
| 719 | // Record that we've already inlined & null checked |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 720 | info->optFlags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 721 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 722 | } |
| 723 | |
| 724 | // Generates an inlined String.isEmpty or String.length. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 725 | bool GenInlinedStringIsEmptyOrLength(CompilationUnit* cUnit, CallInfo* info, |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 726 | bool isEmpty) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 727 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 728 | if (cUnit->instructionSet == kMips) { |
| 729 | // TODO - add Mips implementation |
| 730 | return false; |
| 731 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 732 | // dst = src.length(); |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 733 | RegLocation rlObj = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 734 | rlObj = LoadValue(cUnit, rlObj, kCoreReg); |
| 735 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 736 | RegLocation rlResult = EvalLoc(cUnit, rlDest, kCoreReg, true); |
| 737 | GenNullCheck(cUnit, rlObj.sRegLow, rlObj.lowReg, info->optFlags); |
| 738 | LoadWordDisp(cUnit, rlObj.lowReg, String::CountOffset().Int32Value(), |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 739 | rlResult.lowReg); |
| 740 | if (isEmpty) { |
| 741 | // dst = (dst == 0); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 742 | if (cUnit->instructionSet == kThumb2) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 743 | int tReg = AllocTemp(cUnit); |
| 744 | OpRegReg(cUnit, kOpNeg, tReg, rlResult.lowReg); |
| 745 | OpRegRegReg(cUnit, kOpAdc, rlResult.lowReg, rlResult.lowReg, tReg); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 746 | } else { |
| 747 | DCHECK_EQ(cUnit->instructionSet, kX86); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 748 | OpRegImm(cUnit, kOpSub, rlResult.lowReg, 1); |
| 749 | OpRegImm(cUnit, kOpLsr, rlResult.lowReg, 31); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 750 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 751 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 752 | StoreValue(cUnit, rlDest, rlResult); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 753 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 754 | } |
| 755 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 756 | bool GenInlinedAbsInt(CompilationUnit *cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 757 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 758 | if (cUnit->instructionSet == kMips) { |
| 759 | // TODO - add Mips implementation |
| 760 | return false; |
| 761 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 762 | RegLocation rlSrc = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 763 | rlSrc = LoadValue(cUnit, rlSrc, kCoreReg); |
| 764 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 765 | RegLocation rlResult = EvalLoc(cUnit, rlDest, kCoreReg, true); |
| 766 | int signReg = AllocTemp(cUnit); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 767 | // abs(x) = y<=x>>31, (x+y)^y. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 768 | OpRegRegImm(cUnit, kOpAsr, signReg, rlSrc.lowReg, 31); |
| 769 | OpRegRegReg(cUnit, kOpAdd, rlResult.lowReg, rlSrc.lowReg, signReg); |
| 770 | OpRegReg(cUnit, kOpXor, rlResult.lowReg, signReg); |
| 771 | StoreValue(cUnit, rlDest, rlResult); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 772 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 773 | } |
| 774 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 775 | bool GenInlinedAbsLong(CompilationUnit *cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 776 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 777 | if (cUnit->instructionSet == kMips) { |
| 778 | // TODO - add Mips implementation |
| 779 | return false; |
| 780 | } |
| 781 | if (cUnit->instructionSet == kThumb2) { |
| 782 | RegLocation rlSrc = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 783 | rlSrc = LoadValueWide(cUnit, rlSrc, kCoreReg); |
| 784 | RegLocation rlDest = InlineTargetWide(cUnit, info); |
| 785 | RegLocation rlResult = EvalLoc(cUnit, rlDest, kCoreReg, true); |
| 786 | int signReg = AllocTemp(cUnit); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 787 | // abs(x) = y<=x>>31, (x+y)^y. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 788 | OpRegRegImm(cUnit, kOpAsr, signReg, rlSrc.highReg, 31); |
| 789 | OpRegRegReg(cUnit, kOpAdd, rlResult.lowReg, rlSrc.lowReg, signReg); |
| 790 | OpRegRegReg(cUnit, kOpAdc, rlResult.highReg, rlSrc.highReg, signReg); |
| 791 | OpRegReg(cUnit, kOpXor, rlResult.lowReg, signReg); |
| 792 | OpRegReg(cUnit, kOpXor, rlResult.highReg, signReg); |
| 793 | StoreValueWide(cUnit, rlDest, rlResult); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 794 | return true; |
| 795 | } else { |
| 796 | DCHECK_EQ(cUnit->instructionSet, kX86); |
| 797 | // Reuse source registers to avoid running out of temps |
| 798 | RegLocation rlSrc = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 799 | rlSrc = LoadValueWide(cUnit, rlSrc, kCoreReg); |
| 800 | RegLocation rlDest = InlineTargetWide(cUnit, info); |
| 801 | RegLocation rlResult = EvalLoc(cUnit, rlDest, kCoreReg, true); |
| 802 | OpRegCopyWide(cUnit, rlResult.lowReg, rlResult.highReg, rlSrc.lowReg, rlSrc.highReg); |
| 803 | FreeTemp(cUnit, rlSrc.lowReg); |
| 804 | FreeTemp(cUnit, rlSrc.highReg); |
| 805 | int signReg = AllocTemp(cUnit); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 806 | // abs(x) = y<=x>>31, (x+y)^y. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 807 | OpRegRegImm(cUnit, kOpAsr, signReg, rlResult.highReg, 31); |
| 808 | OpRegReg(cUnit, kOpAdd, rlResult.lowReg, signReg); |
| 809 | OpRegReg(cUnit, kOpAdc, rlResult.highReg, signReg); |
| 810 | OpRegReg(cUnit, kOpXor, rlResult.lowReg, signReg); |
| 811 | OpRegReg(cUnit, kOpXor, rlResult.highReg, signReg); |
| 812 | StoreValueWide(cUnit, rlDest, rlResult); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 813 | return true; |
| 814 | } |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 815 | } |
| 816 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 817 | bool GenInlinedFloatCvt(CompilationUnit *cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 818 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 819 | if (cUnit->instructionSet == kMips) { |
| 820 | // TODO - add Mips implementation |
| 821 | return false; |
| 822 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 823 | RegLocation rlSrc = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 824 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 825 | StoreValue(cUnit, rlDest, rlSrc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 826 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 827 | } |
| 828 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 829 | bool GenInlinedDoubleCvt(CompilationUnit *cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 830 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 831 | if (cUnit->instructionSet == kMips) { |
| 832 | // TODO - add Mips implementation |
| 833 | return false; |
| 834 | } |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 835 | RegLocation rlSrc = info->args[0]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 836 | RegLocation rlDest = InlineTargetWide(cUnit, info); |
| 837 | StoreValueWide(cUnit, rlDest, rlSrc); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 838 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 839 | } |
| 840 | |
| 841 | /* |
| 842 | * Fast string.indexOf(I) & (II). Tests for simple case of char <= 0xffff, |
| 843 | * otherwise bails to standard library code. |
| 844 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 845 | bool GenInlinedIndexOf(CompilationUnit* cUnit, CallInfo* info, |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 846 | bool zeroBased) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 847 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 848 | if (cUnit->instructionSet == kMips) { |
| 849 | // TODO - add Mips implementation |
| 850 | return false; |
| 851 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 852 | ClobberCalleeSave(cUnit); |
| 853 | LockCallTemps(cUnit); // Using fixed registers |
| 854 | int regPtr = TargetReg(kArg0); |
| 855 | int regChar = TargetReg(kArg1); |
| 856 | int regStart = TargetReg(kArg2); |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 857 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 858 | RegLocation rlObj = info->args[0]; |
| 859 | RegLocation rlChar = info->args[1]; |
| 860 | RegLocation rlStart = info->args[2]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 861 | LoadValueDirectFixed(cUnit, rlObj, regPtr); |
| 862 | LoadValueDirectFixed(cUnit, rlChar, regChar); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 863 | if (zeroBased) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 864 | LoadConstant(cUnit, regStart, 0); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 865 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 866 | LoadValueDirectFixed(cUnit, rlStart, regStart); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 867 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 868 | int rTgt = (cUnit->instructionSet != kX86) ? LoadHelper(cUnit, ENTRYPOINT_OFFSET(pIndexOf)) : 0; |
| 869 | GenNullCheck(cUnit, rlObj.sRegLow, regPtr, info->optFlags); |
| 870 | LIR* launchPad = RawLIR(cUnit, 0, kPseudoIntrinsicRetry, reinterpret_cast<uintptr_t>(info)); |
| 871 | InsertGrowableList(cUnit, &cUnit->intrinsicLaunchpads, reinterpret_cast<uintptr_t>(launchPad)); |
| 872 | OpCmpImmBranch(cUnit, kCondGt, regChar, 0xFFFF, launchPad); |
buzbee | 8320f38 | 2012-09-11 16:29:42 -0700 | [diff] [blame] | 873 | // NOTE: not a safepoint |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 874 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 875 | OpReg(cUnit, kOpBlx, rTgt); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 876 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 877 | OpThreadMem(cUnit, kOpBlx, ENTRYPOINT_OFFSET(pIndexOf)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 878 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 879 | LIR* resumeTgt = NewLIR0(cUnit, kPseudoTargetLabel); |
buzbee | cbd6d44 | 2012-11-17 14:11:25 -0800 | [diff] [blame] | 880 | launchPad->operands[2] = reinterpret_cast<uintptr_t>(resumeTgt); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 881 | // Record that we've already inlined & null checked |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 882 | info->optFlags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 883 | RegLocation rlReturn = GetReturn(cUnit, false); |
| 884 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 885 | StoreValue(cUnit, rlDest, rlReturn); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 886 | return true; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 887 | } |
| 888 | |
| 889 | /* Fast string.compareTo(Ljava/lang/string;)I. */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 890 | bool GenInlinedStringCompareTo(CompilationUnit* cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 891 | { |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 892 | if (cUnit->instructionSet == kMips) { |
| 893 | // TODO - add Mips implementation |
| 894 | return false; |
| 895 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 896 | ClobberCalleeSave(cUnit); |
| 897 | LockCallTemps(cUnit); // Using fixed registers |
| 898 | int regThis = TargetReg(kArg0); |
| 899 | int regCmp = TargetReg(kArg1); |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 900 | |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 901 | RegLocation rlThis = info->args[0]; |
| 902 | RegLocation rlCmp = info->args[1]; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 903 | LoadValueDirectFixed(cUnit, rlThis, regThis); |
| 904 | LoadValueDirectFixed(cUnit, rlCmp, regCmp); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 905 | int rTgt = (cUnit->instructionSet != kX86) ? |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 906 | LoadHelper(cUnit, ENTRYPOINT_OFFSET(pStringCompareTo)) : 0; |
| 907 | GenNullCheck(cUnit, rlThis.sRegLow, regThis, info->optFlags); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 908 | //TUNING: check if rlCmp.sRegLow is already null checked |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 909 | LIR* launchPad = RawLIR(cUnit, 0, kPseudoIntrinsicRetry, reinterpret_cast<uintptr_t>(info)); |
| 910 | InsertGrowableList(cUnit, &cUnit->intrinsicLaunchpads, reinterpret_cast<uintptr_t>(launchPad)); |
| 911 | OpCmpImmBranch(cUnit, kCondEq, regCmp, 0, launchPad); |
buzbee | 8320f38 | 2012-09-11 16:29:42 -0700 | [diff] [blame] | 912 | // NOTE: not a safepoint |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 913 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 914 | OpReg(cUnit, kOpBlx, rTgt); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 915 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 916 | OpThreadMem(cUnit, kOpBlx, ENTRYPOINT_OFFSET(pStringCompareTo)); |
buzbee | b046e16 | 2012-10-30 15:48:42 -0700 | [diff] [blame] | 917 | } |
Elliott Hughes | 6023456 | 2012-06-01 12:25:59 -0700 | [diff] [blame] | 918 | launchPad->operands[2] = 0; // No return possible |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 919 | // Record that we've already inlined & null checked |
buzbee | 15bf980 | 2012-06-12 17:49:27 -0700 | [diff] [blame] | 920 | info->optFlags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 921 | RegLocation rlReturn = GetReturn(cUnit, false); |
| 922 | RegLocation rlDest = InlineTarget(cUnit, info); |
| 923 | StoreValue(cUnit, rlDest, rlReturn); |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 924 | return true; |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 925 | } |
| 926 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 927 | bool GenIntrinsic(CompilationUnit* cUnit, CallInfo* info) |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 928 | { |
Ian Rogers | e13eafa | 2012-09-07 11:24:27 -0700 | [diff] [blame] | 929 | if (info->optFlags & MIR_INLINED) { |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 930 | return false; |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 931 | } |
| 932 | /* |
| 933 | * TODO: move these to a target-specific structured constant array |
| 934 | * and use a generic match function. The list of intrinsics may be |
| 935 | * slightly different depending on target. |
| 936 | * TODO: Fold this into a matching function that runs during |
| 937 | * basic block building. This should be part of the action for |
| 938 | * small method inlining and recognition of the special object init |
| 939 | * method. By doing this during basic block construction, we can also |
| 940 | * take advantage of/generate new useful dataflow info. |
| 941 | */ |
buzbee | 3b3dbdd | 2012-06-13 13:39:34 -0700 | [diff] [blame] | 942 | std::string tgtMethod(PrettyMethod(info->index, *cUnit->dex_file)); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 943 | if (tgtMethod.find(" java.lang") != std::string::npos) { |
| 944 | if (tgtMethod == "long java.lang.Double.doubleToRawLongBits(double)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 945 | return GenInlinedDoubleCvt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 946 | } |
| 947 | if (tgtMethod == "double java.lang.Double.longBitsToDouble(long)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 948 | return GenInlinedDoubleCvt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 949 | } |
| 950 | if (tgtMethod == "int java.lang.Float.floatToRawIntBits(float)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 951 | return GenInlinedFloatCvt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 952 | } |
| 953 | if (tgtMethod == "float java.lang.Float.intBitsToFloat(int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 954 | return GenInlinedFloatCvt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 955 | } |
| 956 | if (tgtMethod == "int java.lang.Math.abs(int)" || |
| 957 | tgtMethod == "int java.lang.StrictMath.abs(int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 958 | return GenInlinedAbsInt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 959 | } |
| 960 | if (tgtMethod == "long java.lang.Math.abs(long)" || |
| 961 | tgtMethod == "long java.lang.StrictMath.abs(long)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 962 | return GenInlinedAbsLong(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 963 | } |
| 964 | if (tgtMethod == "int java.lang.Math.max(int, int)" || |
| 965 | tgtMethod == "int java.lang.StrictMath.max(int, int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 966 | return GenInlinedMinMaxInt(cUnit, info, false /* isMin */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 967 | } |
| 968 | if (tgtMethod == "int java.lang.Math.min(int, int)" || |
| 969 | tgtMethod == "int java.lang.StrictMath.min(int, int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 970 | return GenInlinedMinMaxInt(cUnit, info, true /* isMin */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 971 | } |
| 972 | if (tgtMethod == "double java.lang.Math.sqrt(double)" || |
| 973 | tgtMethod == "double java.lang.StrictMath.sqrt(double)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 974 | return GenInlinedSqrt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 975 | } |
| 976 | if (tgtMethod == "char java.lang.String.charAt(int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 977 | return GenInlinedCharAt(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 978 | } |
| 979 | if (tgtMethod == "int java.lang.String.compareTo(java.lang.String)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 980 | return GenInlinedStringCompareTo(cUnit, info); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 981 | } |
| 982 | if (tgtMethod == "boolean java.lang.String.isEmpty()") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 983 | return GenInlinedStringIsEmptyOrLength(cUnit, info, true /* isEmpty */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 984 | } |
| 985 | if (tgtMethod == "int java.lang.String.indexOf(int, int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 986 | return GenInlinedIndexOf(cUnit, info, false /* base 0 */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 987 | } |
| 988 | if (tgtMethod == "int java.lang.String.indexOf(int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 989 | return GenInlinedIndexOf(cUnit, info, true /* base 0 */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 990 | } |
| 991 | if (tgtMethod == "int java.lang.String.length()") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 992 | return GenInlinedStringIsEmptyOrLength(cUnit, info, false /* isEmpty */); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 993 | } |
| 994 | } else if (tgtMethod.find("boolean sun.misc.Unsafe.compareAndSwap") != std::string::npos) { |
| 995 | if (tgtMethod == "boolean sun.misc.Unsafe.compareAndSwapInt(java.lang.Object, long, int, int)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 996 | return GenInlinedCas32(cUnit, info, false); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 997 | } |
| 998 | if (tgtMethod == "boolean sun.misc.Unsafe.compareAndSwapObject(java.lang.Object, long, java.lang.Object, java.lang.Object)") { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 999 | return GenInlinedCas32(cUnit, info, true); |
Ian Rogers | 0183dd7 | 2012-09-17 23:06:51 -0700 | [diff] [blame] | 1000 | } |
Ian Rogers | e13eafa | 2012-09-07 11:24:27 -0700 | [diff] [blame] | 1001 | } |
Bill Buzbee | a114add | 2012-05-03 15:00:40 -0700 | [diff] [blame] | 1002 | return false; |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 1003 | } |
| 1004 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1005 | void GenInvoke(CompilationUnit* cUnit, CallInfo* info) |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1006 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1007 | if (GenIntrinsic(cUnit, info)) { |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1008 | return; |
| 1009 | } |
| 1010 | InvokeType originalType = info->type; // avoiding mutation by ComputeInvokeInfo |
| 1011 | int callState = 0; |
| 1012 | LIR* nullCk; |
| 1013 | LIR** pNullCk = NULL; |
| 1014 | NextCallInsn nextCallInsn; |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1015 | FlushAllRegs(cUnit); /* Everything to home location */ |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1016 | // Explicit register usage |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1017 | LockCallTemps(cUnit); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1018 | |
| 1019 | OatCompilationUnit mUnit(cUnit->class_loader, cUnit->class_linker, |
| 1020 | *cUnit->dex_file, |
| 1021 | cUnit->code_item, cUnit->method_idx, |
| 1022 | cUnit->access_flags); |
| 1023 | |
| 1024 | uint32_t dexMethodIdx = info->index; |
| 1025 | int vtableIdx; |
| 1026 | uintptr_t directCode; |
| 1027 | uintptr_t directMethod; |
| 1028 | bool skipThis; |
| 1029 | bool fastPath = |
| 1030 | cUnit->compiler->ComputeInvokeInfo(dexMethodIdx, &mUnit, info->type, |
| 1031 | vtableIdx, directCode, |
| 1032 | directMethod) |
| 1033 | && !SLOW_INVOKE_PATH; |
| 1034 | if (info->type == kInterface) { |
| 1035 | if (fastPath) { |
| 1036 | pNullCk = &nullCk; |
| 1037 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1038 | nextCallInsn = fastPath ? NextInterfaceCallInsn |
| 1039 | : NextInterfaceCallInsnWithAccessCheck; |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1040 | skipThis = false; |
| 1041 | } else if (info->type == kDirect) { |
| 1042 | if (fastPath) { |
| 1043 | pNullCk = &nullCk; |
| 1044 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1045 | nextCallInsn = fastPath ? NextSDCallInsn : NextDirectCallInsnSP; |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1046 | skipThis = false; |
| 1047 | } else if (info->type == kStatic) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1048 | nextCallInsn = fastPath ? NextSDCallInsn : NextStaticCallInsnSP; |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1049 | skipThis = false; |
| 1050 | } else if (info->type == kSuper) { |
| 1051 | DCHECK(!fastPath); // Fast path is a direct call. |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1052 | nextCallInsn = NextSuperCallInsnSP; |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1053 | skipThis = false; |
| 1054 | } else { |
| 1055 | DCHECK_EQ(info->type, kVirtual); |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1056 | nextCallInsn = fastPath ? NextVCallInsn : NextVCallInsnSP; |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1057 | skipThis = fastPath; |
| 1058 | } |
| 1059 | if (!info->isRange) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1060 | callState = GenDalvikArgsNoRange(cUnit, info, callState, pNullCk, |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1061 | nextCallInsn, dexMethodIdx, |
| 1062 | vtableIdx, directCode, directMethod, |
| 1063 | originalType, skipThis); |
| 1064 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1065 | callState = GenDalvikArgsRange(cUnit, info, callState, pNullCk, |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1066 | nextCallInsn, dexMethodIdx, vtableIdx, |
| 1067 | directCode, directMethod, originalType, |
| 1068 | skipThis); |
| 1069 | } |
| 1070 | // Finish up any of the call sequence not interleaved in arg loading |
| 1071 | while (callState >= 0) { |
| 1072 | callState = nextCallInsn(cUnit, info, callState, dexMethodIdx, |
| 1073 | vtableIdx, directCode, directMethod, |
| 1074 | originalType); |
| 1075 | } |
| 1076 | if (cUnit->enableDebug & (1 << kDebugDisplayMissingTargets)) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1077 | GenShowTarget(cUnit); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1078 | } |
| 1079 | LIR* callInst; |
| 1080 | if (cUnit->instructionSet != kX86) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1081 | callInst = OpReg(cUnit, kOpBlx, TargetReg(kInvokeTgt)); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1082 | } else { |
| 1083 | if (fastPath && info->type != kInterface) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1084 | callInst = OpMem(cUnit, kOpBlx, TargetReg(kArg0), |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1085 | AbstractMethod::GetCodeOffset().Int32Value()); |
| 1086 | } else { |
| 1087 | int trampoline = 0; |
| 1088 | switch (info->type) { |
| 1089 | case kInterface: |
| 1090 | trampoline = fastPath ? ENTRYPOINT_OFFSET(pInvokeInterfaceTrampoline) |
| 1091 | : ENTRYPOINT_OFFSET(pInvokeInterfaceTrampolineWithAccessCheck); |
| 1092 | break; |
| 1093 | case kDirect: |
| 1094 | trampoline = ENTRYPOINT_OFFSET(pInvokeDirectTrampolineWithAccessCheck); |
| 1095 | break; |
| 1096 | case kStatic: |
| 1097 | trampoline = ENTRYPOINT_OFFSET(pInvokeStaticTrampolineWithAccessCheck); |
| 1098 | break; |
| 1099 | case kSuper: |
| 1100 | trampoline = ENTRYPOINT_OFFSET(pInvokeSuperTrampolineWithAccessCheck); |
| 1101 | break; |
| 1102 | case kVirtual: |
| 1103 | trampoline = ENTRYPOINT_OFFSET(pInvokeVirtualTrampolineWithAccessCheck); |
| 1104 | break; |
| 1105 | default: |
| 1106 | LOG(FATAL) << "Unexpected invoke type"; |
| 1107 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1108 | callInst = OpThreadMem(cUnit, kOpBlx, trampoline); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1109 | } |
| 1110 | } |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1111 | MarkSafepointPC(cUnit, callInst); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1112 | |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1113 | ClobberCalleeSave(cUnit); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1114 | if (info->result.location != kLocInvalid) { |
| 1115 | // We have a following MOVE_RESULT - do it now. |
| 1116 | if (info->result.wide) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1117 | RegLocation retLoc = GetReturnWide(cUnit, info->result.fp); |
| 1118 | StoreValueWide(cUnit, info->result, retLoc); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1119 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1120 | RegLocation retLoc = GetReturn(cUnit, info->result.fp); |
| 1121 | StoreValue(cUnit, info->result, retLoc); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1122 | } |
| 1123 | } |
| 1124 | } |
| 1125 | |
| 1126 | /* |
| 1127 | * Build an array of location records for the incoming arguments. |
| 1128 | * Note: one location record per word of arguments, with dummy |
| 1129 | * high-word loc for wide arguments. Also pull up any following |
| 1130 | * MOVE_RESULT and incorporate it into the invoke. |
| 1131 | */ |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1132 | CallInfo* NewMemCallInfo(CompilationUnit* cUnit, BasicBlock* bb, MIR* mir, |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1133 | InvokeType type, bool isRange) |
| 1134 | { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1135 | CallInfo* info = static_cast<CallInfo*>(NewMem(cUnit, sizeof(CallInfo), true, kAllocMisc)); |
| 1136 | MIR* moveResultMIR = FindMoveResult(cUnit, bb, mir); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1137 | if (moveResultMIR == NULL) { |
| 1138 | info->result.location = kLocInvalid; |
| 1139 | } else { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1140 | info->result = GetRawDest(cUnit, moveResultMIR); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1141 | moveResultMIR->dalvikInsn.opcode = Instruction::NOP; |
| 1142 | } |
| 1143 | info->numArgWords = mir->ssaRep->numUses; |
| 1144 | info->args = (info->numArgWords == 0) ? NULL : static_cast<RegLocation*> |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1145 | (NewMem(cUnit, sizeof(RegLocation) * info->numArgWords, false, kAllocMisc)); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1146 | for (int i = 0; i < info->numArgWords; i++) { |
buzbee | 52a77fc | 2012-11-20 19:50:46 -0800 | [diff] [blame^] | 1147 | info->args[i] = GetRawSrc(cUnit, mir, i); |
buzbee | 1bc37c6 | 2012-11-20 13:35:41 -0800 | [diff] [blame] | 1148 | } |
| 1149 | info->optFlags = mir->optimizationFlags; |
| 1150 | info->type = type; |
| 1151 | info->isRange = isRange; |
| 1152 | info->index = mir->dalvikInsn.vB; |
| 1153 | info->offset = mir->offset; |
| 1154 | return info; |
| 1155 | } |
| 1156 | |
buzbee | fc9e6fa | 2012-03-23 15:14:29 -0700 | [diff] [blame] | 1157 | |
buzbee | 31a4a6f | 2012-02-28 15:36:15 -0800 | [diff] [blame] | 1158 | } // namespace art |