Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #include "dex/compiler_internals.h" |
| 18 | #include "dex/dataflow_iterator-inl.h" |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 19 | #include "dex/quick/dex_file_method_inliner.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 20 | #include "mir_to_lir-inl.h" |
| 21 | #include "object_utils.h" |
Ian Rogers | 02ed4c0 | 2013-09-06 13:10:04 -0700 | [diff] [blame] | 22 | #include "thread-inl.h" |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 23 | |
| 24 | namespace art { |
| 25 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 26 | void Mir2Lir::LockArg(int in_position, bool wide) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 27 | RegStorage reg_arg_low = GetArgMappingToPhysicalReg(in_position); |
| 28 | RegStorage reg_arg_high = wide ? GetArgMappingToPhysicalReg(in_position + 1) : |
| 29 | RegStorage::InvalidReg(); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 30 | |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 31 | if (reg_arg_low.Valid()) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 32 | LockTemp(reg_arg_low); |
| 33 | } |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 34 | if (reg_arg_high.Valid() && reg_arg_low != reg_arg_high) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 35 | LockTemp(reg_arg_high); |
| 36 | } |
| 37 | } |
| 38 | |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 39 | // TODO: needs revisit for 64-bit. |
| 40 | RegStorage Mir2Lir::LoadArg(int in_position, bool wide) { |
| 41 | RegStorage reg_arg_low = GetArgMappingToPhysicalReg(in_position); |
| 42 | RegStorage reg_arg_high = wide ? GetArgMappingToPhysicalReg(in_position + 1) : |
| 43 | RegStorage::InvalidReg(); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 44 | |
Nicolas Geoffray | 42fcd98 | 2014-04-22 11:03:52 +0000 | [diff] [blame] | 45 | int offset = StackVisitor::GetOutVROffset(in_position, cu_->instruction_set); |
Dmitry Petrochenko | 6a58cb1 | 2014-04-02 17:27:59 +0700 | [diff] [blame] | 46 | if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 47 | /* |
| 48 | * When doing a call for x86, it moves the stack pointer in order to push return. |
| 49 | * Thus, we add another 4 bytes to figure out the out of caller (in of callee). |
| 50 | * TODO: This needs revisited for 64-bit. |
| 51 | */ |
| 52 | offset += sizeof(uint32_t); |
| 53 | } |
| 54 | |
| 55 | // If the VR is wide and there is no register for high part, we need to load it. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 56 | if (wide && !reg_arg_high.Valid()) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 57 | // If the low part is not in a reg, we allocate a pair. Otherwise, we just load to high reg. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 58 | if (!reg_arg_low.Valid()) { |
Bill Buzbee | 00e1ec6 | 2014-02-27 23:44:13 +0000 | [diff] [blame] | 59 | RegStorage new_regs = AllocTypedTempWide(false, kAnyReg); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 60 | reg_arg_low = new_regs.GetLow(); |
| 61 | reg_arg_high = new_regs.GetHigh(); |
| 62 | LoadBaseDispWide(TargetReg(kSp), offset, new_regs, INVALID_SREG); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 63 | } else { |
| 64 | reg_arg_high = AllocTemp(); |
| 65 | int offset_high = offset + sizeof(uint32_t); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 66 | Load32Disp(TargetReg(kSp), offset_high, reg_arg_high); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 67 | } |
| 68 | } |
| 69 | |
| 70 | // If the low part is not in a register yet, we need to load it. |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 71 | if (!reg_arg_low.Valid()) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 72 | reg_arg_low = AllocTemp(); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 73 | Load32Disp(TargetReg(kSp), offset, reg_arg_low); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 74 | } |
| 75 | |
| 76 | if (wide) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 77 | return RegStorage::MakeRegPair(reg_arg_low, reg_arg_high); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 78 | } else { |
| 79 | return reg_arg_low; |
| 80 | } |
| 81 | } |
| 82 | |
| 83 | void Mir2Lir::LoadArgDirect(int in_position, RegLocation rl_dest) { |
Nicolas Geoffray | 42fcd98 | 2014-04-22 11:03:52 +0000 | [diff] [blame] | 84 | int offset = StackVisitor::GetOutVROffset(in_position, cu_->instruction_set); |
Dmitry Petrochenko | 6a58cb1 | 2014-04-02 17:27:59 +0700 | [diff] [blame] | 85 | if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 86 | /* |
| 87 | * When doing a call for x86, it moves the stack pointer in order to push return. |
| 88 | * Thus, we add another 4 bytes to figure out the out of caller (in of callee). |
| 89 | * TODO: This needs revisited for 64-bit. |
| 90 | */ |
| 91 | offset += sizeof(uint32_t); |
| 92 | } |
| 93 | |
| 94 | if (!rl_dest.wide) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 95 | RegStorage reg = GetArgMappingToPhysicalReg(in_position); |
| 96 | if (reg.Valid()) { |
| 97 | OpRegCopy(rl_dest.reg, reg); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 98 | } else { |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 99 | Load32Disp(TargetReg(kSp), offset, rl_dest.reg); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 100 | } |
| 101 | } else { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 102 | RegStorage reg_arg_low = GetArgMappingToPhysicalReg(in_position); |
| 103 | RegStorage reg_arg_high = GetArgMappingToPhysicalReg(in_position + 1); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 104 | |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 105 | if (reg_arg_low.Valid() && reg_arg_high.Valid()) { |
| 106 | OpRegCopyWide(rl_dest.reg, RegStorage::MakeRegPair(reg_arg_low, reg_arg_high)); |
| 107 | } else if (reg_arg_low.Valid() && !reg_arg_high.Valid()) { |
| 108 | OpRegCopy(rl_dest.reg, reg_arg_low); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 109 | int offset_high = offset + sizeof(uint32_t); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 110 | Load32Disp(TargetReg(kSp), offset_high, rl_dest.reg.GetHigh()); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 111 | } else if (!reg_arg_low.Valid() && reg_arg_high.Valid()) { |
| 112 | OpRegCopy(rl_dest.reg.GetHigh(), reg_arg_high); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 113 | Load32Disp(TargetReg(kSp), offset, rl_dest.reg.GetLow()); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 114 | } else { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 115 | LoadBaseDispWide(TargetReg(kSp), offset, rl_dest.reg, INVALID_SREG); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 116 | } |
| 117 | } |
| 118 | } |
| 119 | |
| 120 | bool Mir2Lir::GenSpecialIGet(MIR* mir, const InlineMethod& special) { |
| 121 | // FastInstance() already checked by DexFileMethodInliner. |
| 122 | const InlineIGetIPutData& data = special.d.ifield_data; |
Vladimir Marko | e1fced1 | 2014-04-04 14:52:53 +0100 | [diff] [blame] | 123 | if (data.method_is_static != 0u || data.object_arg != 0u) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 124 | // The object is not "this" and has to be null-checked. |
| 125 | return false; |
| 126 | } |
| 127 | |
Vladimir Marko | e3e0260 | 2014-03-12 15:42:41 +0000 | [diff] [blame] | 128 | bool wide = (data.op_variant == InlineMethodAnalyser::IGetVariant(Instruction::IGET_WIDE)); |
| 129 | // The inliner doesn't distinguish kDouble or kFloat, use shorty. |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 130 | bool double_or_float = cu_->shorty[0] == 'F' || cu_->shorty[0] == 'D'; |
| 131 | |
| 132 | // Point of no return - no aborts after this |
| 133 | GenPrintLabel(mir); |
| 134 | LockArg(data.object_arg); |
| 135 | RegLocation rl_dest = wide ? GetReturnWide(double_or_float) : GetReturn(double_or_float); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 136 | RegStorage reg_obj = LoadArg(data.object_arg); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 137 | if (wide) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 138 | LoadBaseDispWide(reg_obj, data.field_offset, rl_dest.reg, INVALID_SREG); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 139 | } else { |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 140 | Load32Disp(reg_obj, data.field_offset, rl_dest.reg); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 141 | } |
| 142 | if (data.is_volatile) { |
Razvan A Lupusoru | 99ad723 | 2014-02-25 17:41:08 -0800 | [diff] [blame] | 143 | // Without context sensitive analysis, we must issue the most conservative barriers. |
| 144 | // In this case, either a load or store may follow so we issue both barriers. |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 145 | GenMemBarrier(kLoadLoad); |
Razvan A Lupusoru | 99ad723 | 2014-02-25 17:41:08 -0800 | [diff] [blame] | 146 | GenMemBarrier(kLoadStore); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 147 | } |
| 148 | return true; |
| 149 | } |
| 150 | |
| 151 | bool Mir2Lir::GenSpecialIPut(MIR* mir, const InlineMethod& special) { |
| 152 | // FastInstance() already checked by DexFileMethodInliner. |
| 153 | const InlineIGetIPutData& data = special.d.ifield_data; |
Vladimir Marko | e1fced1 | 2014-04-04 14:52:53 +0100 | [diff] [blame] | 154 | if (data.method_is_static != 0u || data.object_arg != 0u) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 155 | // The object is not "this" and has to be null-checked. |
| 156 | return false; |
| 157 | } |
Vladimir Marko | e1fced1 | 2014-04-04 14:52:53 +0100 | [diff] [blame] | 158 | if (data.return_arg_plus1 != 0u) { |
| 159 | // The setter returns a method argument which we don't support here. |
| 160 | return false; |
| 161 | } |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 162 | |
Vladimir Marko | e3e0260 | 2014-03-12 15:42:41 +0000 | [diff] [blame] | 163 | bool wide = (data.op_variant == InlineMethodAnalyser::IPutVariant(Instruction::IPUT_WIDE)); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 164 | |
| 165 | // Point of no return - no aborts after this |
| 166 | GenPrintLabel(mir); |
| 167 | LockArg(data.object_arg); |
| 168 | LockArg(data.src_arg, wide); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 169 | RegStorage reg_obj = LoadArg(data.object_arg); |
| 170 | RegStorage reg_src = LoadArg(data.src_arg, wide); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 171 | if (data.is_volatile) { |
Razvan A Lupusoru | 99ad723 | 2014-02-25 17:41:08 -0800 | [diff] [blame] | 172 | // There might have been a store before this volatile one so insert StoreStore barrier. |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 173 | GenMemBarrier(kStoreStore); |
| 174 | } |
| 175 | if (wide) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 176 | StoreBaseDispWide(reg_obj, data.field_offset, reg_src); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 177 | } else { |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 178 | Store32Disp(reg_obj, data.field_offset, reg_src); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 179 | } |
| 180 | if (data.is_volatile) { |
Razvan A Lupusoru | 99ad723 | 2014-02-25 17:41:08 -0800 | [diff] [blame] | 181 | // A load might follow the volatile store so insert a StoreLoad barrier. |
| 182 | GenMemBarrier(kStoreLoad); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 183 | } |
Vladimir Marko | e3e0260 | 2014-03-12 15:42:41 +0000 | [diff] [blame] | 184 | if (data.op_variant == InlineMethodAnalyser::IPutVariant(Instruction::IPUT_OBJECT)) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 185 | MarkGCCard(reg_src, reg_obj); |
| 186 | } |
| 187 | return true; |
| 188 | } |
| 189 | |
| 190 | bool Mir2Lir::GenSpecialIdentity(MIR* mir, const InlineMethod& special) { |
| 191 | const InlineReturnArgData& data = special.d.return_data; |
Vladimir Marko | e3e0260 | 2014-03-12 15:42:41 +0000 | [diff] [blame] | 192 | bool wide = (data.is_wide != 0u); |
| 193 | // The inliner doesn't distinguish kDouble or kFloat, use shorty. |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 194 | bool double_or_float = cu_->shorty[0] == 'F' || cu_->shorty[0] == 'D'; |
| 195 | |
| 196 | // Point of no return - no aborts after this |
| 197 | GenPrintLabel(mir); |
| 198 | LockArg(data.arg, wide); |
| 199 | RegLocation rl_dest = wide ? GetReturnWide(double_or_float) : GetReturn(double_or_float); |
| 200 | LoadArgDirect(data.arg, rl_dest); |
| 201 | return true; |
| 202 | } |
| 203 | |
| 204 | /* |
| 205 | * Special-case code generation for simple non-throwing leaf methods. |
| 206 | */ |
| 207 | bool Mir2Lir::GenSpecialCase(BasicBlock* bb, MIR* mir, const InlineMethod& special) { |
| 208 | DCHECK(special.flags & kInlineSpecial); |
| 209 | current_dalvik_offset_ = mir->offset; |
| 210 | MIR* return_mir = nullptr; |
| 211 | bool successful = false; |
| 212 | |
| 213 | switch (special.opcode) { |
| 214 | case kInlineOpNop: |
| 215 | successful = true; |
| 216 | DCHECK_EQ(mir->dalvikInsn.opcode, Instruction::RETURN_VOID); |
| 217 | return_mir = mir; |
| 218 | break; |
| 219 | case kInlineOpNonWideConst: { |
| 220 | successful = true; |
| 221 | RegLocation rl_dest = GetReturn(cu_->shorty[0] == 'F'); |
| 222 | GenPrintLabel(mir); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 223 | LoadConstant(rl_dest.reg, static_cast<int>(special.d.data)); |
Jean Christophe Beyler | cdacac4 | 2014-03-13 14:54:59 -0700 | [diff] [blame] | 224 | return_mir = bb->GetNextUnconditionalMir(mir_graph_, mir); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 225 | break; |
| 226 | } |
| 227 | case kInlineOpReturnArg: |
| 228 | successful = GenSpecialIdentity(mir, special); |
| 229 | return_mir = mir; |
| 230 | break; |
| 231 | case kInlineOpIGet: |
| 232 | successful = GenSpecialIGet(mir, special); |
Jean Christophe Beyler | cdacac4 | 2014-03-13 14:54:59 -0700 | [diff] [blame] | 233 | return_mir = bb->GetNextUnconditionalMir(mir_graph_, mir); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 234 | break; |
| 235 | case kInlineOpIPut: |
| 236 | successful = GenSpecialIPut(mir, special); |
Jean Christophe Beyler | cdacac4 | 2014-03-13 14:54:59 -0700 | [diff] [blame] | 237 | return_mir = bb->GetNextUnconditionalMir(mir_graph_, mir); |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 238 | break; |
| 239 | default: |
| 240 | break; |
| 241 | } |
| 242 | |
| 243 | if (successful) { |
Vladimir Marko | 39d95e6 | 2014-02-28 12:51:24 +0000 | [diff] [blame] | 244 | if (kIsDebugBuild) { |
| 245 | // Clear unreachable catch entries. |
| 246 | mir_graph_->catches_.clear(); |
| 247 | } |
| 248 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 249 | // Handle verbosity for return MIR. |
| 250 | if (return_mir != nullptr) { |
| 251 | current_dalvik_offset_ = return_mir->offset; |
| 252 | // Not handling special identity case because it already generated code as part |
| 253 | // of the return. The label should have been added before any code was generated. |
| 254 | if (special.opcode != kInlineOpReturnArg) { |
| 255 | GenPrintLabel(return_mir); |
| 256 | } |
| 257 | } |
| 258 | GenSpecialExitSequence(); |
| 259 | |
| 260 | core_spill_mask_ = 0; |
| 261 | num_core_spills_ = 0; |
| 262 | fp_spill_mask_ = 0; |
| 263 | num_fp_spills_ = 0; |
| 264 | frame_size_ = 0; |
| 265 | core_vmap_table_.clear(); |
| 266 | fp_vmap_table_.clear(); |
| 267 | } |
| 268 | |
| 269 | return successful; |
| 270 | } |
| 271 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 272 | /* |
| 273 | * Target-independent code generation. Use only high-level |
| 274 | * load/store utilities here, or target-dependent genXX() handlers |
| 275 | * when necessary. |
| 276 | */ |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 277 | void Mir2Lir::CompileDalvikInstruction(MIR* mir, BasicBlock* bb, LIR* label_list) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 278 | RegLocation rl_src[3]; |
| 279 | RegLocation rl_dest = mir_graph_->GetBadLoc(); |
| 280 | RegLocation rl_result = mir_graph_->GetBadLoc(); |
| 281 | Instruction::Code opcode = mir->dalvikInsn.opcode; |
| 282 | int opt_flags = mir->optimization_flags; |
| 283 | uint32_t vB = mir->dalvikInsn.vB; |
| 284 | uint32_t vC = mir->dalvikInsn.vC; |
| 285 | |
| 286 | // Prep Src and Dest locations. |
| 287 | int next_sreg = 0; |
| 288 | int next_loc = 0; |
Jean Christophe Beyler | cc794c3 | 2014-05-02 09:34:13 -0700 | [diff] [blame^] | 289 | uint64_t attrs = MIRGraph::GetDataFlowAttributes(opcode); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 290 | rl_src[0] = rl_src[1] = rl_src[2] = mir_graph_->GetBadLoc(); |
| 291 | if (attrs & DF_UA) { |
| 292 | if (attrs & DF_A_WIDE) { |
| 293 | rl_src[next_loc++] = mir_graph_->GetSrcWide(mir, next_sreg); |
| 294 | next_sreg+= 2; |
| 295 | } else { |
| 296 | rl_src[next_loc++] = mir_graph_->GetSrc(mir, next_sreg); |
| 297 | next_sreg++; |
| 298 | } |
| 299 | } |
| 300 | if (attrs & DF_UB) { |
| 301 | if (attrs & DF_B_WIDE) { |
| 302 | rl_src[next_loc++] = mir_graph_->GetSrcWide(mir, next_sreg); |
| 303 | next_sreg+= 2; |
| 304 | } else { |
| 305 | rl_src[next_loc++] = mir_graph_->GetSrc(mir, next_sreg); |
| 306 | next_sreg++; |
| 307 | } |
| 308 | } |
| 309 | if (attrs & DF_UC) { |
| 310 | if (attrs & DF_C_WIDE) { |
| 311 | rl_src[next_loc++] = mir_graph_->GetSrcWide(mir, next_sreg); |
| 312 | } else { |
| 313 | rl_src[next_loc++] = mir_graph_->GetSrc(mir, next_sreg); |
| 314 | } |
| 315 | } |
| 316 | if (attrs & DF_DA) { |
| 317 | if (attrs & DF_A_WIDE) { |
| 318 | rl_dest = mir_graph_->GetDestWide(mir); |
| 319 | } else { |
| 320 | rl_dest = mir_graph_->GetDest(mir); |
| 321 | } |
| 322 | } |
| 323 | switch (opcode) { |
| 324 | case Instruction::NOP: |
| 325 | break; |
| 326 | |
| 327 | case Instruction::MOVE_EXCEPTION: |
| 328 | GenMoveException(rl_dest); |
| 329 | break; |
| 330 | |
| 331 | case Instruction::RETURN_VOID: |
| 332 | if (((cu_->access_flags & kAccConstructor) != 0) && |
| 333 | cu_->compiler_driver->RequiresConstructorBarrier(Thread::Current(), cu_->dex_file, |
| 334 | cu_->class_def_idx)) { |
| 335 | GenMemBarrier(kStoreStore); |
| 336 | } |
| 337 | if (!mir_graph_->MethodIsLeaf()) { |
| 338 | GenSuspendTest(opt_flags); |
| 339 | } |
| 340 | break; |
| 341 | |
| 342 | case Instruction::RETURN: |
| 343 | case Instruction::RETURN_OBJECT: |
| 344 | if (!mir_graph_->MethodIsLeaf()) { |
| 345 | GenSuspendTest(opt_flags); |
| 346 | } |
| 347 | StoreValue(GetReturn(cu_->shorty[0] == 'F'), rl_src[0]); |
| 348 | break; |
| 349 | |
| 350 | case Instruction::RETURN_WIDE: |
| 351 | if (!mir_graph_->MethodIsLeaf()) { |
| 352 | GenSuspendTest(opt_flags); |
| 353 | } |
| 354 | StoreValueWide(GetReturnWide(cu_->shorty[0] == 'D'), rl_src[0]); |
| 355 | break; |
| 356 | |
| 357 | case Instruction::MOVE_RESULT_WIDE: |
Vladimir Marko | 9820b7c | 2014-01-02 16:40:37 +0000 | [diff] [blame] | 358 | if ((opt_flags & MIR_INLINED) != 0) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 359 | break; // Nop - combined w/ previous invoke. |
Vladimir Marko | 9820b7c | 2014-01-02 16:40:37 +0000 | [diff] [blame] | 360 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 361 | StoreValueWide(rl_dest, GetReturnWide(rl_dest.fp)); |
| 362 | break; |
| 363 | |
| 364 | case Instruction::MOVE_RESULT: |
| 365 | case Instruction::MOVE_RESULT_OBJECT: |
Vladimir Marko | 9820b7c | 2014-01-02 16:40:37 +0000 | [diff] [blame] | 366 | if ((opt_flags & MIR_INLINED) != 0) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 367 | break; // Nop - combined w/ previous invoke. |
Vladimir Marko | 9820b7c | 2014-01-02 16:40:37 +0000 | [diff] [blame] | 368 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 369 | StoreValue(rl_dest, GetReturn(rl_dest.fp)); |
| 370 | break; |
| 371 | |
| 372 | case Instruction::MOVE: |
| 373 | case Instruction::MOVE_OBJECT: |
| 374 | case Instruction::MOVE_16: |
| 375 | case Instruction::MOVE_OBJECT_16: |
| 376 | case Instruction::MOVE_FROM16: |
| 377 | case Instruction::MOVE_OBJECT_FROM16: |
| 378 | StoreValue(rl_dest, rl_src[0]); |
| 379 | break; |
| 380 | |
| 381 | case Instruction::MOVE_WIDE: |
| 382 | case Instruction::MOVE_WIDE_16: |
| 383 | case Instruction::MOVE_WIDE_FROM16: |
| 384 | StoreValueWide(rl_dest, rl_src[0]); |
| 385 | break; |
| 386 | |
| 387 | case Instruction::CONST: |
| 388 | case Instruction::CONST_4: |
| 389 | case Instruction::CONST_16: |
| 390 | rl_result = EvalLoc(rl_dest, kAnyReg, true); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 391 | LoadConstantNoClobber(rl_result.reg, vB); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 392 | StoreValue(rl_dest, rl_result); |
| 393 | if (vB == 0) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 394 | Workaround7250540(rl_dest, rl_result.reg); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 395 | } |
| 396 | break; |
| 397 | |
| 398 | case Instruction::CONST_HIGH16: |
| 399 | rl_result = EvalLoc(rl_dest, kAnyReg, true); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 400 | LoadConstantNoClobber(rl_result.reg, vB << 16); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 401 | StoreValue(rl_dest, rl_result); |
| 402 | if (vB == 0) { |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 403 | Workaround7250540(rl_dest, rl_result.reg); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 404 | } |
| 405 | break; |
| 406 | |
| 407 | case Instruction::CONST_WIDE_16: |
| 408 | case Instruction::CONST_WIDE_32: |
Bill Buzbee | d61ba4b | 2014-01-13 21:44:01 +0000 | [diff] [blame] | 409 | GenConstWide(rl_dest, static_cast<int64_t>(static_cast<int32_t>(vB))); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 410 | break; |
| 411 | |
| 412 | case Instruction::CONST_WIDE: |
Bill Buzbee | d61ba4b | 2014-01-13 21:44:01 +0000 | [diff] [blame] | 413 | GenConstWide(rl_dest, mir->dalvikInsn.vB_wide); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 414 | break; |
| 415 | |
| 416 | case Instruction::CONST_WIDE_HIGH16: |
| 417 | rl_result = EvalLoc(rl_dest, kAnyReg, true); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 418 | LoadConstantWide(rl_result.reg, static_cast<int64_t>(vB) << 48); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 419 | StoreValueWide(rl_dest, rl_result); |
| 420 | break; |
| 421 | |
| 422 | case Instruction::MONITOR_ENTER: |
| 423 | GenMonitorEnter(opt_flags, rl_src[0]); |
| 424 | break; |
| 425 | |
| 426 | case Instruction::MONITOR_EXIT: |
| 427 | GenMonitorExit(opt_flags, rl_src[0]); |
| 428 | break; |
| 429 | |
| 430 | case Instruction::CHECK_CAST: { |
| 431 | GenCheckCast(mir->offset, vB, rl_src[0]); |
| 432 | break; |
| 433 | } |
| 434 | case Instruction::INSTANCE_OF: |
| 435 | GenInstanceof(vC, rl_dest, rl_src[0]); |
| 436 | break; |
| 437 | |
| 438 | case Instruction::NEW_INSTANCE: |
| 439 | GenNewInstance(vB, rl_dest); |
| 440 | break; |
| 441 | |
| 442 | case Instruction::THROW: |
| 443 | GenThrow(rl_src[0]); |
| 444 | break; |
| 445 | |
| 446 | case Instruction::ARRAY_LENGTH: |
| 447 | int len_offset; |
| 448 | len_offset = mirror::Array::LengthOffset().Int32Value(); |
| 449 | rl_src[0] = LoadValue(rl_src[0], kCoreReg); |
buzbee | 2700f7e | 2014-03-07 09:46:20 -0800 | [diff] [blame] | 450 | GenNullCheck(rl_src[0].reg, opt_flags); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 451 | rl_result = EvalLoc(rl_dest, kCoreReg, true); |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 452 | Load32Disp(rl_src[0].reg, len_offset, rl_result.reg); |
Dave Allison | f943914 | 2014-03-27 15:10:22 -0700 | [diff] [blame] | 453 | MarkPossibleNullPointerException(opt_flags); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 454 | StoreValue(rl_dest, rl_result); |
| 455 | break; |
| 456 | |
| 457 | case Instruction::CONST_STRING: |
| 458 | case Instruction::CONST_STRING_JUMBO: |
| 459 | GenConstString(vB, rl_dest); |
| 460 | break; |
| 461 | |
| 462 | case Instruction::CONST_CLASS: |
| 463 | GenConstClass(vB, rl_dest); |
| 464 | break; |
| 465 | |
| 466 | case Instruction::FILL_ARRAY_DATA: |
| 467 | GenFillArrayData(vB, rl_src[0]); |
| 468 | break; |
| 469 | |
| 470 | case Instruction::FILLED_NEW_ARRAY: |
| 471 | GenFilledNewArray(mir_graph_->NewMemCallInfo(bb, mir, kStatic, |
| 472 | false /* not range */)); |
| 473 | break; |
| 474 | |
| 475 | case Instruction::FILLED_NEW_ARRAY_RANGE: |
| 476 | GenFilledNewArray(mir_graph_->NewMemCallInfo(bb, mir, kStatic, |
| 477 | true /* range */)); |
| 478 | break; |
| 479 | |
| 480 | case Instruction::NEW_ARRAY: |
| 481 | GenNewArray(vC, rl_dest, rl_src[0]); |
| 482 | break; |
| 483 | |
| 484 | case Instruction::GOTO: |
| 485 | case Instruction::GOTO_16: |
| 486 | case Instruction::GOTO_32: |
buzbee | 9329e6d | 2013-08-19 12:55:10 -0700 | [diff] [blame] | 487 | if (mir_graph_->IsBackedge(bb, bb->taken)) { |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 488 | GenSuspendTestAndBranch(opt_flags, &label_list[bb->taken]); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 489 | } else { |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 490 | OpUnconditionalBranch(&label_list[bb->taken]); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 491 | } |
| 492 | break; |
| 493 | |
| 494 | case Instruction::PACKED_SWITCH: |
| 495 | GenPackedSwitch(mir, vB, rl_src[0]); |
| 496 | break; |
| 497 | |
| 498 | case Instruction::SPARSE_SWITCH: |
| 499 | GenSparseSwitch(mir, vB, rl_src[0]); |
| 500 | break; |
| 501 | |
| 502 | case Instruction::CMPL_FLOAT: |
| 503 | case Instruction::CMPG_FLOAT: |
| 504 | case Instruction::CMPL_DOUBLE: |
| 505 | case Instruction::CMPG_DOUBLE: |
| 506 | GenCmpFP(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 507 | break; |
| 508 | |
| 509 | case Instruction::CMP_LONG: |
| 510 | GenCmpLong(rl_dest, rl_src[0], rl_src[1]); |
| 511 | break; |
| 512 | |
| 513 | case Instruction::IF_EQ: |
| 514 | case Instruction::IF_NE: |
| 515 | case Instruction::IF_LT: |
| 516 | case Instruction::IF_GE: |
| 517 | case Instruction::IF_GT: |
| 518 | case Instruction::IF_LE: { |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 519 | LIR* taken = &label_list[bb->taken]; |
| 520 | LIR* fall_through = &label_list[bb->fall_through]; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 521 | // Result known at compile time? |
| 522 | if (rl_src[0].is_const && rl_src[1].is_const) { |
| 523 | bool is_taken = EvaluateBranch(opcode, mir_graph_->ConstantValue(rl_src[0].orig_sreg), |
| 524 | mir_graph_->ConstantValue(rl_src[1].orig_sreg)); |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 525 | BasicBlockId target_id = is_taken ? bb->taken : bb->fall_through; |
| 526 | if (mir_graph_->IsBackedge(bb, target_id)) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 527 | GenSuspendTest(opt_flags); |
| 528 | } |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 529 | OpUnconditionalBranch(&label_list[target_id]); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 530 | } else { |
buzbee | 9329e6d | 2013-08-19 12:55:10 -0700 | [diff] [blame] | 531 | if (mir_graph_->IsBackwardsBranch(bb)) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 532 | GenSuspendTest(opt_flags); |
| 533 | } |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 534 | GenCompareAndBranch(opcode, rl_src[0], rl_src[1], taken, fall_through); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 535 | } |
| 536 | break; |
| 537 | } |
| 538 | |
| 539 | case Instruction::IF_EQZ: |
| 540 | case Instruction::IF_NEZ: |
| 541 | case Instruction::IF_LTZ: |
| 542 | case Instruction::IF_GEZ: |
| 543 | case Instruction::IF_GTZ: |
| 544 | case Instruction::IF_LEZ: { |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 545 | LIR* taken = &label_list[bb->taken]; |
| 546 | LIR* fall_through = &label_list[bb->fall_through]; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 547 | // Result known at compile time? |
| 548 | if (rl_src[0].is_const) { |
| 549 | bool is_taken = EvaluateBranch(opcode, mir_graph_->ConstantValue(rl_src[0].orig_sreg), 0); |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 550 | BasicBlockId target_id = is_taken ? bb->taken : bb->fall_through; |
| 551 | if (mir_graph_->IsBackedge(bb, target_id)) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 552 | GenSuspendTest(opt_flags); |
| 553 | } |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 554 | OpUnconditionalBranch(&label_list[target_id]); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 555 | } else { |
buzbee | 9329e6d | 2013-08-19 12:55:10 -0700 | [diff] [blame] | 556 | if (mir_graph_->IsBackwardsBranch(bb)) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 557 | GenSuspendTest(opt_flags); |
| 558 | } |
| 559 | GenCompareZeroAndBranch(opcode, rl_src[0], taken, fall_through); |
| 560 | } |
| 561 | break; |
| 562 | } |
| 563 | |
| 564 | case Instruction::AGET_WIDE: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 565 | GenArrayGet(opt_flags, k64, rl_src[0], rl_src[1], rl_dest, 3); |
| 566 | break; |
| 567 | case Instruction::AGET_OBJECT: |
| 568 | GenArrayGet(opt_flags, kReference, rl_src[0], rl_src[1], rl_dest, 2); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 569 | break; |
| 570 | case Instruction::AGET: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 571 | GenArrayGet(opt_flags, k32, rl_src[0], rl_src[1], rl_dest, 2); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 572 | break; |
| 573 | case Instruction::AGET_BOOLEAN: |
| 574 | GenArrayGet(opt_flags, kUnsignedByte, rl_src[0], rl_src[1], rl_dest, 0); |
| 575 | break; |
| 576 | case Instruction::AGET_BYTE: |
| 577 | GenArrayGet(opt_flags, kSignedByte, rl_src[0], rl_src[1], rl_dest, 0); |
| 578 | break; |
| 579 | case Instruction::AGET_CHAR: |
| 580 | GenArrayGet(opt_flags, kUnsignedHalf, rl_src[0], rl_src[1], rl_dest, 1); |
| 581 | break; |
| 582 | case Instruction::AGET_SHORT: |
| 583 | GenArrayGet(opt_flags, kSignedHalf, rl_src[0], rl_src[1], rl_dest, 1); |
| 584 | break; |
| 585 | case Instruction::APUT_WIDE: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 586 | GenArrayPut(opt_flags, k64, rl_src[1], rl_src[2], rl_src[0], 3, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 587 | break; |
| 588 | case Instruction::APUT: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 589 | GenArrayPut(opt_flags, k32, rl_src[1], rl_src[2], rl_src[0], 2, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 590 | break; |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 591 | case Instruction::APUT_OBJECT: { |
| 592 | bool is_null = mir_graph_->IsConstantNullRef(rl_src[0]); |
| 593 | bool is_safe = is_null; // Always safe to store null. |
| 594 | if (!is_safe) { |
| 595 | // Check safety from verifier type information. |
Vladimir Marko | 2730db0 | 2014-01-27 11:15:17 +0000 | [diff] [blame] | 596 | const DexCompilationUnit* unit = mir_graph_->GetCurrentDexCompilationUnit(); |
| 597 | is_safe = cu_->compiler_driver->IsSafeCast(unit, mir->offset); |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 598 | } |
| 599 | if (is_null || is_safe) { |
| 600 | // Store of constant null doesn't require an assignability test and can be generated inline |
| 601 | // without fixed register usage or a card mark. |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 602 | GenArrayPut(opt_flags, kReference, rl_src[1], rl_src[2], rl_src[0], 2, !is_null); |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 603 | } else { |
| 604 | GenArrayObjPut(opt_flags, rl_src[1], rl_src[2], rl_src[0]); |
| 605 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 606 | break; |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 607 | } |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 608 | case Instruction::APUT_SHORT: |
| 609 | case Instruction::APUT_CHAR: |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 610 | GenArrayPut(opt_flags, kUnsignedHalf, rl_src[1], rl_src[2], rl_src[0], 1, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 611 | break; |
| 612 | case Instruction::APUT_BYTE: |
| 613 | case Instruction::APUT_BOOLEAN: |
Ian Rogers | a9a8254 | 2013-10-04 11:17:26 -0700 | [diff] [blame] | 614 | GenArrayPut(opt_flags, kUnsignedByte, rl_src[1], rl_src[2], rl_src[0], 0, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 615 | break; |
| 616 | |
| 617 | case Instruction::IGET_OBJECT: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 618 | GenIGet(mir, opt_flags, kReference, rl_dest, rl_src[0], false, true); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 619 | break; |
| 620 | |
| 621 | case Instruction::IGET_WIDE: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 622 | GenIGet(mir, opt_flags, k64, rl_dest, rl_src[0], true, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 623 | break; |
| 624 | |
| 625 | case Instruction::IGET: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 626 | GenIGet(mir, opt_flags, k32, rl_dest, rl_src[0], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 627 | break; |
| 628 | |
| 629 | case Instruction::IGET_CHAR: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 630 | GenIGet(mir, opt_flags, kUnsignedHalf, rl_dest, rl_src[0], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 631 | break; |
| 632 | |
| 633 | case Instruction::IGET_SHORT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 634 | GenIGet(mir, opt_flags, kSignedHalf, rl_dest, rl_src[0], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 635 | break; |
| 636 | |
| 637 | case Instruction::IGET_BOOLEAN: |
| 638 | case Instruction::IGET_BYTE: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 639 | GenIGet(mir, opt_flags, kUnsignedByte, rl_dest, rl_src[0], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 640 | break; |
| 641 | |
| 642 | case Instruction::IPUT_WIDE: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 643 | GenIPut(mir, opt_flags, k64, rl_src[0], rl_src[1], true, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 644 | break; |
| 645 | |
| 646 | case Instruction::IPUT_OBJECT: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 647 | GenIPut(mir, opt_flags, kReference, rl_src[0], rl_src[1], false, true); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 648 | break; |
| 649 | |
| 650 | case Instruction::IPUT: |
buzbee | 695d13a | 2014-04-19 13:32:20 -0700 | [diff] [blame] | 651 | GenIPut(mir, opt_flags, k32, rl_src[0], rl_src[1], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 652 | break; |
| 653 | |
| 654 | case Instruction::IPUT_BOOLEAN: |
| 655 | case Instruction::IPUT_BYTE: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 656 | GenIPut(mir, opt_flags, kUnsignedByte, rl_src[0], rl_src[1], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 657 | break; |
| 658 | |
| 659 | case Instruction::IPUT_CHAR: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 660 | GenIPut(mir, opt_flags, kUnsignedHalf, rl_src[0], rl_src[1], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 661 | break; |
| 662 | |
| 663 | case Instruction::IPUT_SHORT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 664 | GenIPut(mir, opt_flags, kSignedHalf, rl_src[0], rl_src[1], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 665 | break; |
| 666 | |
| 667 | case Instruction::SGET_OBJECT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 668 | GenSget(mir, rl_dest, false, true); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 669 | break; |
| 670 | case Instruction::SGET: |
| 671 | case Instruction::SGET_BOOLEAN: |
| 672 | case Instruction::SGET_BYTE: |
| 673 | case Instruction::SGET_CHAR: |
| 674 | case Instruction::SGET_SHORT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 675 | GenSget(mir, rl_dest, false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 676 | break; |
| 677 | |
| 678 | case Instruction::SGET_WIDE: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 679 | GenSget(mir, rl_dest, true, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 680 | break; |
| 681 | |
| 682 | case Instruction::SPUT_OBJECT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 683 | GenSput(mir, rl_src[0], false, true); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 684 | break; |
| 685 | |
| 686 | case Instruction::SPUT: |
| 687 | case Instruction::SPUT_BOOLEAN: |
| 688 | case Instruction::SPUT_BYTE: |
| 689 | case Instruction::SPUT_CHAR: |
| 690 | case Instruction::SPUT_SHORT: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 691 | GenSput(mir, rl_src[0], false, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 692 | break; |
| 693 | |
| 694 | case Instruction::SPUT_WIDE: |
Vladimir Marko | be0e546 | 2014-02-26 11:24:15 +0000 | [diff] [blame] | 695 | GenSput(mir, rl_src[0], true, false); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 696 | break; |
| 697 | |
| 698 | case Instruction::INVOKE_STATIC_RANGE: |
| 699 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kStatic, true)); |
| 700 | break; |
| 701 | case Instruction::INVOKE_STATIC: |
| 702 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kStatic, false)); |
| 703 | break; |
| 704 | |
| 705 | case Instruction::INVOKE_DIRECT: |
| 706 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kDirect, false)); |
| 707 | break; |
| 708 | case Instruction::INVOKE_DIRECT_RANGE: |
| 709 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kDirect, true)); |
| 710 | break; |
| 711 | |
| 712 | case Instruction::INVOKE_VIRTUAL: |
| 713 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kVirtual, false)); |
| 714 | break; |
| 715 | case Instruction::INVOKE_VIRTUAL_RANGE: |
| 716 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kVirtual, true)); |
| 717 | break; |
| 718 | |
| 719 | case Instruction::INVOKE_SUPER: |
| 720 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kSuper, false)); |
| 721 | break; |
| 722 | case Instruction::INVOKE_SUPER_RANGE: |
| 723 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kSuper, true)); |
| 724 | break; |
| 725 | |
| 726 | case Instruction::INVOKE_INTERFACE: |
| 727 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kInterface, false)); |
| 728 | break; |
| 729 | case Instruction::INVOKE_INTERFACE_RANGE: |
| 730 | GenInvoke(mir_graph_->NewMemCallInfo(bb, mir, kInterface, true)); |
| 731 | break; |
| 732 | |
| 733 | case Instruction::NEG_INT: |
| 734 | case Instruction::NOT_INT: |
| 735 | GenArithOpInt(opcode, rl_dest, rl_src[0], rl_src[0]); |
| 736 | break; |
| 737 | |
| 738 | case Instruction::NEG_LONG: |
| 739 | case Instruction::NOT_LONG: |
| 740 | GenArithOpLong(opcode, rl_dest, rl_src[0], rl_src[0]); |
| 741 | break; |
| 742 | |
| 743 | case Instruction::NEG_FLOAT: |
| 744 | GenArithOpFloat(opcode, rl_dest, rl_src[0], rl_src[0]); |
| 745 | break; |
| 746 | |
| 747 | case Instruction::NEG_DOUBLE: |
| 748 | GenArithOpDouble(opcode, rl_dest, rl_src[0], rl_src[0]); |
| 749 | break; |
| 750 | |
| 751 | case Instruction::INT_TO_LONG: |
| 752 | GenIntToLong(rl_dest, rl_src[0]); |
| 753 | break; |
| 754 | |
| 755 | case Instruction::LONG_TO_INT: |
| 756 | rl_src[0] = UpdateLocWide(rl_src[0]); |
| 757 | rl_src[0] = WideToNarrow(rl_src[0]); |
| 758 | StoreValue(rl_dest, rl_src[0]); |
| 759 | break; |
| 760 | |
| 761 | case Instruction::INT_TO_BYTE: |
| 762 | case Instruction::INT_TO_SHORT: |
| 763 | case Instruction::INT_TO_CHAR: |
| 764 | GenIntNarrowing(opcode, rl_dest, rl_src[0]); |
| 765 | break; |
| 766 | |
| 767 | case Instruction::INT_TO_FLOAT: |
| 768 | case Instruction::INT_TO_DOUBLE: |
| 769 | case Instruction::LONG_TO_FLOAT: |
| 770 | case Instruction::LONG_TO_DOUBLE: |
| 771 | case Instruction::FLOAT_TO_INT: |
| 772 | case Instruction::FLOAT_TO_LONG: |
| 773 | case Instruction::FLOAT_TO_DOUBLE: |
| 774 | case Instruction::DOUBLE_TO_INT: |
| 775 | case Instruction::DOUBLE_TO_LONG: |
| 776 | case Instruction::DOUBLE_TO_FLOAT: |
| 777 | GenConversion(opcode, rl_dest, rl_src[0]); |
| 778 | break; |
| 779 | |
| 780 | |
| 781 | case Instruction::ADD_INT: |
| 782 | case Instruction::ADD_INT_2ADDR: |
| 783 | case Instruction::MUL_INT: |
| 784 | case Instruction::MUL_INT_2ADDR: |
| 785 | case Instruction::AND_INT: |
| 786 | case Instruction::AND_INT_2ADDR: |
| 787 | case Instruction::OR_INT: |
| 788 | case Instruction::OR_INT_2ADDR: |
| 789 | case Instruction::XOR_INT: |
| 790 | case Instruction::XOR_INT_2ADDR: |
| 791 | if (rl_src[0].is_const && |
| 792 | InexpensiveConstantInt(mir_graph_->ConstantValue(rl_src[0]))) { |
| 793 | GenArithOpIntLit(opcode, rl_dest, rl_src[1], |
| 794 | mir_graph_->ConstantValue(rl_src[0].orig_sreg)); |
| 795 | } else if (rl_src[1].is_const && |
| 796 | InexpensiveConstantInt(mir_graph_->ConstantValue(rl_src[1]))) { |
| 797 | GenArithOpIntLit(opcode, rl_dest, rl_src[0], |
| 798 | mir_graph_->ConstantValue(rl_src[1].orig_sreg)); |
| 799 | } else { |
| 800 | GenArithOpInt(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 801 | } |
| 802 | break; |
| 803 | |
| 804 | case Instruction::SUB_INT: |
| 805 | case Instruction::SUB_INT_2ADDR: |
| 806 | case Instruction::DIV_INT: |
| 807 | case Instruction::DIV_INT_2ADDR: |
| 808 | case Instruction::REM_INT: |
| 809 | case Instruction::REM_INT_2ADDR: |
| 810 | case Instruction::SHL_INT: |
| 811 | case Instruction::SHL_INT_2ADDR: |
| 812 | case Instruction::SHR_INT: |
| 813 | case Instruction::SHR_INT_2ADDR: |
| 814 | case Instruction::USHR_INT: |
| 815 | case Instruction::USHR_INT_2ADDR: |
| 816 | if (rl_src[1].is_const && |
| 817 | InexpensiveConstantInt(mir_graph_->ConstantValue(rl_src[1]))) { |
| 818 | GenArithOpIntLit(opcode, rl_dest, rl_src[0], mir_graph_->ConstantValue(rl_src[1])); |
| 819 | } else { |
| 820 | GenArithOpInt(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 821 | } |
| 822 | break; |
| 823 | |
| 824 | case Instruction::ADD_LONG: |
| 825 | case Instruction::SUB_LONG: |
| 826 | case Instruction::AND_LONG: |
| 827 | case Instruction::OR_LONG: |
| 828 | case Instruction::XOR_LONG: |
| 829 | case Instruction::ADD_LONG_2ADDR: |
| 830 | case Instruction::SUB_LONG_2ADDR: |
| 831 | case Instruction::AND_LONG_2ADDR: |
| 832 | case Instruction::OR_LONG_2ADDR: |
| 833 | case Instruction::XOR_LONG_2ADDR: |
| 834 | if (rl_src[0].is_const || rl_src[1].is_const) { |
| 835 | GenArithImmOpLong(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 836 | break; |
| 837 | } |
| 838 | // Note: intentional fallthrough. |
| 839 | |
| 840 | case Instruction::MUL_LONG: |
| 841 | case Instruction::DIV_LONG: |
| 842 | case Instruction::REM_LONG: |
| 843 | case Instruction::MUL_LONG_2ADDR: |
| 844 | case Instruction::DIV_LONG_2ADDR: |
| 845 | case Instruction::REM_LONG_2ADDR: |
| 846 | GenArithOpLong(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 847 | break; |
| 848 | |
| 849 | case Instruction::SHL_LONG: |
| 850 | case Instruction::SHR_LONG: |
| 851 | case Instruction::USHR_LONG: |
| 852 | case Instruction::SHL_LONG_2ADDR: |
| 853 | case Instruction::SHR_LONG_2ADDR: |
| 854 | case Instruction::USHR_LONG_2ADDR: |
| 855 | if (rl_src[1].is_const) { |
| 856 | GenShiftImmOpLong(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 857 | } else { |
| 858 | GenShiftOpLong(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 859 | } |
| 860 | break; |
| 861 | |
| 862 | case Instruction::ADD_FLOAT: |
| 863 | case Instruction::SUB_FLOAT: |
| 864 | case Instruction::MUL_FLOAT: |
| 865 | case Instruction::DIV_FLOAT: |
| 866 | case Instruction::REM_FLOAT: |
| 867 | case Instruction::ADD_FLOAT_2ADDR: |
| 868 | case Instruction::SUB_FLOAT_2ADDR: |
| 869 | case Instruction::MUL_FLOAT_2ADDR: |
| 870 | case Instruction::DIV_FLOAT_2ADDR: |
| 871 | case Instruction::REM_FLOAT_2ADDR: |
| 872 | GenArithOpFloat(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 873 | break; |
| 874 | |
| 875 | case Instruction::ADD_DOUBLE: |
| 876 | case Instruction::SUB_DOUBLE: |
| 877 | case Instruction::MUL_DOUBLE: |
| 878 | case Instruction::DIV_DOUBLE: |
| 879 | case Instruction::REM_DOUBLE: |
| 880 | case Instruction::ADD_DOUBLE_2ADDR: |
| 881 | case Instruction::SUB_DOUBLE_2ADDR: |
| 882 | case Instruction::MUL_DOUBLE_2ADDR: |
| 883 | case Instruction::DIV_DOUBLE_2ADDR: |
| 884 | case Instruction::REM_DOUBLE_2ADDR: |
| 885 | GenArithOpDouble(opcode, rl_dest, rl_src[0], rl_src[1]); |
| 886 | break; |
| 887 | |
| 888 | case Instruction::RSUB_INT: |
| 889 | case Instruction::ADD_INT_LIT16: |
| 890 | case Instruction::MUL_INT_LIT16: |
| 891 | case Instruction::DIV_INT_LIT16: |
| 892 | case Instruction::REM_INT_LIT16: |
| 893 | case Instruction::AND_INT_LIT16: |
| 894 | case Instruction::OR_INT_LIT16: |
| 895 | case Instruction::XOR_INT_LIT16: |
| 896 | case Instruction::ADD_INT_LIT8: |
| 897 | case Instruction::RSUB_INT_LIT8: |
| 898 | case Instruction::MUL_INT_LIT8: |
| 899 | case Instruction::DIV_INT_LIT8: |
| 900 | case Instruction::REM_INT_LIT8: |
| 901 | case Instruction::AND_INT_LIT8: |
| 902 | case Instruction::OR_INT_LIT8: |
| 903 | case Instruction::XOR_INT_LIT8: |
| 904 | case Instruction::SHL_INT_LIT8: |
| 905 | case Instruction::SHR_INT_LIT8: |
| 906 | case Instruction::USHR_INT_LIT8: |
| 907 | GenArithOpIntLit(opcode, rl_dest, rl_src[0], vC); |
| 908 | break; |
| 909 | |
| 910 | default: |
| 911 | LOG(FATAL) << "Unexpected opcode: " << opcode; |
| 912 | } |
Brian Carlstrom | 1895ea3 | 2013-07-18 13:28:37 -0700 | [diff] [blame] | 913 | } // NOLINT(readability/fn_size) |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 914 | |
| 915 | // Process extended MIR instructions |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 916 | void Mir2Lir::HandleExtendedMethodMIR(BasicBlock* bb, MIR* mir) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 917 | switch (static_cast<ExtendedMIROpcode>(mir->dalvikInsn.opcode)) { |
| 918 | case kMirOpCopy: { |
| 919 | RegLocation rl_src = mir_graph_->GetSrc(mir, 0); |
| 920 | RegLocation rl_dest = mir_graph_->GetDest(mir); |
| 921 | StoreValue(rl_dest, rl_src); |
| 922 | break; |
| 923 | } |
| 924 | case kMirOpFusedCmplFloat: |
| 925 | GenFusedFPCmpBranch(bb, mir, false /*gt bias*/, false /*double*/); |
| 926 | break; |
| 927 | case kMirOpFusedCmpgFloat: |
| 928 | GenFusedFPCmpBranch(bb, mir, true /*gt bias*/, false /*double*/); |
| 929 | break; |
| 930 | case kMirOpFusedCmplDouble: |
| 931 | GenFusedFPCmpBranch(bb, mir, false /*gt bias*/, true /*double*/); |
| 932 | break; |
| 933 | case kMirOpFusedCmpgDouble: |
| 934 | GenFusedFPCmpBranch(bb, mir, true /*gt bias*/, true /*double*/); |
| 935 | break; |
| 936 | case kMirOpFusedCmpLong: |
| 937 | GenFusedLongCmpBranch(bb, mir); |
| 938 | break; |
| 939 | case kMirOpSelect: |
| 940 | GenSelect(bb, mir); |
| 941 | break; |
| 942 | default: |
| 943 | break; |
| 944 | } |
| 945 | } |
| 946 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 947 | void Mir2Lir::GenPrintLabel(MIR* mir) { |
| 948 | // Mark the beginning of a Dalvik instruction for line tracking. |
| 949 | if (cu_->verbose) { |
| 950 | char* inst_str = mir_graph_->GetDalvikDisassembly(mir); |
| 951 | MarkBoundary(mir->offset, inst_str); |
| 952 | } |
| 953 | } |
| 954 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 955 | // Handle the content in each basic block. |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 956 | bool Mir2Lir::MethodBlockCodeGen(BasicBlock* bb) { |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 957 | if (bb->block_type == kDead) return false; |
| 958 | current_dalvik_offset_ = bb->start_offset; |
| 959 | MIR* mir; |
| 960 | int block_id = bb->id; |
| 961 | |
| 962 | block_label_list_[block_id].operands[0] = bb->start_offset; |
| 963 | |
| 964 | // Insert the block label. |
| 965 | block_label_list_[block_id].opcode = kPseudoNormalBlockLabel; |
buzbee | b48819d | 2013-09-14 16:15:25 -0700 | [diff] [blame] | 966 | block_label_list_[block_id].flags.fixup = kFixupLabel; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 967 | AppendLIR(&block_label_list_[block_id]); |
| 968 | |
| 969 | LIR* head_lir = NULL; |
| 970 | |
| 971 | // If this is a catch block, export the start address. |
| 972 | if (bb->catch_entry) { |
| 973 | head_lir = NewLIR0(kPseudoExportedPC); |
| 974 | } |
| 975 | |
| 976 | // Free temp registers and reset redundant store tracking. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 977 | ClobberAllRegs(); |
| 978 | |
| 979 | if (bb->block_type == kEntryBlock) { |
buzbee | 56c7178 | 2013-09-05 17:13:19 -0700 | [diff] [blame] | 980 | ResetRegPool(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 981 | int start_vreg = cu_->num_dalvik_registers - cu_->num_ins; |
| 982 | GenEntrySequence(&mir_graph_->reg_location_[start_vreg], |
| 983 | mir_graph_->reg_location_[mir_graph_->GetMethodSReg()]); |
| 984 | } else if (bb->block_type == kExitBlock) { |
buzbee | 56c7178 | 2013-09-05 17:13:19 -0700 | [diff] [blame] | 985 | ResetRegPool(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 986 | GenExitSequence(); |
| 987 | } |
| 988 | |
| 989 | for (mir = bb->first_mir_insn; mir != NULL; mir = mir->next) { |
| 990 | ResetRegPool(); |
| 991 | if (cu_->disable_opt & (1 << kTrackLiveTemps)) { |
| 992 | ClobberAllRegs(); |
buzbee | 7a11ab0 | 2014-04-28 20:02:38 -0700 | [diff] [blame] | 993 | // Reset temp allocation to minimize differences when A/B testing. |
| 994 | reg_pool_->next_core_reg = 0; |
| 995 | reg_pool_->next_fp_reg = 0; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 996 | } |
| 997 | |
| 998 | if (cu_->disable_opt & (1 << kSuppressLoads)) { |
| 999 | ResetDefTracking(); |
| 1000 | } |
| 1001 | |
| 1002 | // Reset temp tracking sanity check. |
| 1003 | if (kIsDebugBuild) { |
| 1004 | live_sreg_ = INVALID_SREG; |
| 1005 | } |
| 1006 | |
| 1007 | current_dalvik_offset_ = mir->offset; |
| 1008 | int opcode = mir->dalvikInsn.opcode; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1009 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 1010 | GenPrintLabel(mir); |
| 1011 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1012 | // Remember the first LIR for this block. |
| 1013 | if (head_lir == NULL) { |
buzbee | 252254b | 2013-09-08 16:20:53 -0700 | [diff] [blame] | 1014 | head_lir = &block_label_list_[bb->id]; |
| 1015 | // Set the first label as a scheduling barrier. |
buzbee | b48819d | 2013-09-14 16:15:25 -0700 | [diff] [blame] | 1016 | DCHECK(!head_lir->flags.use_def_invalid); |
| 1017 | head_lir->u.m.def_mask = ENCODE_ALL; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1018 | } |
| 1019 | |
| 1020 | if (opcode == kMirOpCheck) { |
| 1021 | // Combine check and work halves of throwing instruction. |
| 1022 | MIR* work_half = mir->meta.throw_insn; |
| 1023 | mir->dalvikInsn.opcode = work_half->dalvikInsn.opcode; |
Vladimir Marko | 4376c87 | 2014-01-23 12:39:29 +0000 | [diff] [blame] | 1024 | mir->meta = work_half->meta; // Whatever the work_half had, we need to copy it. |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1025 | opcode = work_half->dalvikInsn.opcode; |
| 1026 | SSARepresentation* ssa_rep = work_half->ssa_rep; |
| 1027 | work_half->ssa_rep = mir->ssa_rep; |
| 1028 | mir->ssa_rep = ssa_rep; |
| 1029 | work_half->dalvikInsn.opcode = static_cast<Instruction::Code>(kMirOpCheckPart2); |
Vladimir Marko | 4376c87 | 2014-01-23 12:39:29 +0000 | [diff] [blame] | 1030 | work_half->meta.throw_insn = mir; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1031 | } |
| 1032 | |
| 1033 | if (opcode >= kMirOpFirst) { |
| 1034 | HandleExtendedMethodMIR(bb, mir); |
| 1035 | continue; |
| 1036 | } |
| 1037 | |
| 1038 | CompileDalvikInstruction(mir, bb, block_label_list_); |
| 1039 | } |
| 1040 | |
| 1041 | if (head_lir) { |
| 1042 | // Eliminate redundant loads/stores and delay stores into later slots. |
| 1043 | ApplyLocalOptimizations(head_lir, last_lir_insn_); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1044 | } |
| 1045 | return false; |
| 1046 | } |
| 1047 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 1048 | bool Mir2Lir::SpecialMIR2LIR(const InlineMethod& special) { |
Vladimir Marko | 5816ed4 | 2013-11-27 17:04:20 +0000 | [diff] [blame] | 1049 | cu_->NewTimingSplit("SpecialMIR2LIR"); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1050 | // Find the first DalvikByteCode block. |
| 1051 | int num_reachable_blocks = mir_graph_->GetNumReachableBlocks(); |
| 1052 | BasicBlock*bb = NULL; |
| 1053 | for (int idx = 0; idx < num_reachable_blocks; idx++) { |
| 1054 | // TODO: no direct access of growable lists. |
| 1055 | int dfs_index = mir_graph_->GetDfsOrder()->Get(idx); |
| 1056 | bb = mir_graph_->GetBasicBlock(dfs_index); |
| 1057 | if (bb->block_type == kDalvikByteCode) { |
| 1058 | break; |
| 1059 | } |
| 1060 | } |
| 1061 | if (bb == NULL) { |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 1062 | return false; |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1063 | } |
| 1064 | DCHECK_EQ(bb->start_offset, 0); |
| 1065 | DCHECK(bb->first_mir_insn != NULL); |
| 1066 | |
| 1067 | // Get the first instruction. |
| 1068 | MIR* mir = bb->first_mir_insn; |
| 1069 | |
| 1070 | // Free temp registers and reset redundant store tracking. |
| 1071 | ResetRegPool(); |
| 1072 | ResetDefTracking(); |
| 1073 | ClobberAllRegs(); |
| 1074 | |
Razvan A Lupusoru | 3bc0174 | 2014-02-06 13:18:43 -0800 | [diff] [blame] | 1075 | return GenSpecialCase(bb, mir, special); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1076 | } |
| 1077 | |
Brian Carlstrom | 2ce745c | 2013-07-17 17:44:30 -0700 | [diff] [blame] | 1078 | void Mir2Lir::MethodMIR2LIR() { |
buzbee | a61f495 | 2013-08-23 14:27:06 -0700 | [diff] [blame] | 1079 | cu_->NewTimingSplit("MIR2LIR"); |
| 1080 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1081 | // Hold the labels of each block. |
| 1082 | block_label_list_ = |
Mathieu Chartier | f6c4b3b | 2013-08-24 16:11:37 -0700 | [diff] [blame] | 1083 | static_cast<LIR*>(arena_->Alloc(sizeof(LIR) * mir_graph_->GetNumBlocks(), |
Vladimir Marko | 83cc7ae | 2014-02-12 18:02:05 +0000 | [diff] [blame] | 1084 | kArenaAllocLIR)); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1085 | |
buzbee | 56c7178 | 2013-09-05 17:13:19 -0700 | [diff] [blame] | 1086 | PreOrderDfsIterator iter(mir_graph_); |
buzbee | 252254b | 2013-09-08 16:20:53 -0700 | [diff] [blame] | 1087 | BasicBlock* curr_bb = iter.Next(); |
| 1088 | BasicBlock* next_bb = iter.Next(); |
| 1089 | while (curr_bb != NULL) { |
| 1090 | MethodBlockCodeGen(curr_bb); |
| 1091 | // If the fall_through block is no longer laid out consecutively, drop in a branch. |
buzbee | 0d82948 | 2013-10-11 15:24:55 -0700 | [diff] [blame] | 1092 | BasicBlock* curr_bb_fall_through = mir_graph_->GetBasicBlock(curr_bb->fall_through); |
| 1093 | if ((curr_bb_fall_through != NULL) && (curr_bb_fall_through != next_bb)) { |
| 1094 | OpUnconditionalBranch(&block_label_list_[curr_bb->fall_through]); |
buzbee | 252254b | 2013-09-08 16:20:53 -0700 | [diff] [blame] | 1095 | } |
| 1096 | curr_bb = next_bb; |
| 1097 | do { |
| 1098 | next_bb = iter.Next(); |
| 1099 | } while ((next_bb != NULL) && (next_bb->block_type == kDead)); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1100 | } |
Dave Allison | bcec6fb | 2014-01-17 12:52:22 -0800 | [diff] [blame] | 1101 | HandleSlowPaths(); |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1102 | } |
| 1103 | |
Dave Allison | bcec6fb | 2014-01-17 12:52:22 -0800 | [diff] [blame] | 1104 | // |
| 1105 | // LIR Slow Path |
| 1106 | // |
| 1107 | |
Mingyao Yang | 6ffcfa0 | 2014-04-25 11:06:00 -0700 | [diff] [blame] | 1108 | LIR* Mir2Lir::LIRSlowPath::GenerateTargetLabel(int opcode) { |
Dave Allison | bcec6fb | 2014-01-17 12:52:22 -0800 | [diff] [blame] | 1109 | m2l_->SetCurrentDexPc(current_dex_pc_); |
Mingyao Yang | 6ffcfa0 | 2014-04-25 11:06:00 -0700 | [diff] [blame] | 1110 | LIR* target = m2l_->NewLIR0(opcode); |
Vladimir Marko | 3bc8615 | 2014-03-13 14:11:28 +0000 | [diff] [blame] | 1111 | fromfast_->target = target; |
Dave Allison | bcec6fb | 2014-01-17 12:52:22 -0800 | [diff] [blame] | 1112 | return target; |
| 1113 | } |
Vladimir Marko | 3bc8615 | 2014-03-13 14:11:28 +0000 | [diff] [blame] | 1114 | |
Brian Carlstrom | 7940e44 | 2013-07-12 13:46:57 -0700 | [diff] [blame] | 1115 | } // namespace art |