blob: d7a5eb04dbf74993e9f872858ecfc61b942eaf62 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17/* This file contains codegen for the X86 ISA */
18
19#include "codegen_x86.h"
Andreas Gampe0b9203e2015-01-22 20:39:27 -080020
21#include "base/logging.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070022#include "dex/quick/mir_to_lir-inl.h"
Andreas Gampe0b9203e2015-01-22 20:39:27 -080023#include "driver/compiler_driver.h"
Vladimir Marko20f85592015-03-19 10:07:02 +000024#include "driver/compiler_options.h"
Ian Rogers576ca0c2014-06-06 15:58:22 -070025#include "gc/accounting/card_table.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010026#include "mirror/art_method.h"
27#include "mirror/object_array-inl.h"
Vladimir Markodc56cc52015-03-27 18:18:36 +000028#include "utils/dex_cache_arrays_layout-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070029#include "x86_lir.h"
30
31namespace art {
32
Brian Carlstrom7940e442013-07-12 13:46:57 -070033/*
34 * The sparse table in the literal pool is an array of <key,displacement>
35 * pairs.
36 */
Andreas Gampe48971b32014-08-06 10:09:01 -070037void X86Mir2Lir::GenLargeSparseSwitch(MIR* mir, DexOffset table_offset, RegLocation rl_src) {
Chao-ying Fuda96aed2014-10-27 14:42:00 -070038 GenSmallSparseSwitch(mir, table_offset, rl_src);
39}
40
41/*
Brian Carlstrom7940e442013-07-12 13:46:57 -070042 * Code pattern will look something like:
43 *
44 * mov r_val, ..
45 * call 0
46 * pop r_start_of_method
47 * sub r_start_of_method, ..
48 * mov r_key_reg, r_val
49 * sub r_key_reg, low_key
50 * cmp r_key_reg, size-1 ; bound check
51 * ja done
52 * mov r_disp, [r_start_of_method + r_key_reg * 4 + table_offset]
53 * add r_start_of_method, r_disp
54 * jmp r_start_of_method
55 * done:
56 */
Andreas Gampe48971b32014-08-06 10:09:01 -070057void X86Mir2Lir::GenLargePackedSwitch(MIR* mir, DexOffset table_offset, RegLocation rl_src) {
Chao-ying Fu72f53af2014-11-11 16:48:40 -080058 const uint16_t* table = mir_graph_->GetTable(mir, table_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -070059 // Add the table to the list - we'll process it later
buzbee0d829482013-10-11 15:24:55 -070060 SwitchTable* tab_rec =
Vladimir Marko83cc7ae2014-02-12 18:02:05 +000061 static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData));
Chao-ying Fu72f53af2014-11-11 16:48:40 -080062 tab_rec->switch_mir = mir;
Brian Carlstrom7940e442013-07-12 13:46:57 -070063 tab_rec->table = table;
64 tab_rec->vaddr = current_dalvik_offset_;
65 int size = table[1];
Vladimir Markoe39c54e2014-09-22 14:50:02 +010066 switch_tables_.push_back(tab_rec);
Brian Carlstrom7940e442013-07-12 13:46:57 -070067
68 // Get the switch value
69 rl_src = LoadValue(rl_src, kCoreReg);
Mark Mendell67c39c42014-01-31 17:28:00 -080070
Brian Carlstrom7940e442013-07-12 13:46:57 -070071 int low_key = s4FromSwitchData(&table[2]);
buzbee2700f7e2014-03-07 09:46:20 -080072 RegStorage keyReg;
Brian Carlstrom7940e442013-07-12 13:46:57 -070073 // Remove the bias, if necessary
74 if (low_key == 0) {
buzbee2700f7e2014-03-07 09:46:20 -080075 keyReg = rl_src.reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -070076 } else {
77 keyReg = AllocTemp();
buzbee2700f7e2014-03-07 09:46:20 -080078 OpRegRegImm(kOpSub, keyReg, rl_src.reg, low_key);
Brian Carlstrom7940e442013-07-12 13:46:57 -070079 }
Mark Mendell27dee8b2014-12-01 19:06:12 -050080
Brian Carlstrom7940e442013-07-12 13:46:57 -070081 // Bounds check - if < 0 or >= size continue following switch
Serguei Katkov407a9d22014-07-05 03:09:32 +070082 OpRegImm(kOpCmp, keyReg, size - 1);
Brian Carlstrom7940e442013-07-12 13:46:57 -070083 LIR* branch_over = OpCondBranch(kCondHi, NULL);
84
Mark Mendell27dee8b2014-12-01 19:06:12 -050085 RegStorage addr_for_jump;
86 if (cu_->target64) {
87 RegStorage table_base = AllocTempWide();
88 // Load the address of the table into table_base.
89 LIR* lea = RawLIR(current_dalvik_offset_, kX86Lea64RM, table_base.GetReg(), kRIPReg,
90 256, 0, WrapPointer(tab_rec));
91 lea->flags.fixup = kFixupSwitchTable;
92 AppendLIR(lea);
93
94 // Load the offset from the table out of the table.
95 addr_for_jump = AllocTempWide();
96 NewLIR5(kX86MovsxdRA, addr_for_jump.GetReg(), table_base.GetReg(), keyReg.GetReg(), 2, 0);
97
98 // Add the offset from the table to the table base.
99 OpRegReg(kOpAdd, addr_for_jump, table_base);
Vladimir Marko1961b602015-04-08 20:51:48 +0100100 tab_rec->anchor = nullptr; // Unused for x86-64.
Mark Mendell27dee8b2014-12-01 19:06:12 -0500101 } else {
Vladimir Marko1961b602015-04-08 20:51:48 +0100102 // Get the PC to a register and get the anchor.
103 LIR* anchor;
104 RegStorage r_pc = GetPcAndAnchor(&anchor);
105
Mark Mendell27dee8b2014-12-01 19:06:12 -0500106 // Load the displacement from the switch table.
107 addr_for_jump = AllocTemp();
Vladimir Marko1961b602015-04-08 20:51:48 +0100108 NewLIR5(kX86PcRelLoadRA, addr_for_jump.GetReg(), r_pc.GetReg(), keyReg.GetReg(),
Mark Mendell27dee8b2014-12-01 19:06:12 -0500109 2, WrapPointer(tab_rec));
Vladimir Marko1961b602015-04-08 20:51:48 +0100110 // Add displacement and r_pc to get the address.
111 OpRegReg(kOpAdd, addr_for_jump, r_pc);
112 tab_rec->anchor = anchor;
Mark Mendell27dee8b2014-12-01 19:06:12 -0500113 }
114
Brian Carlstrom7940e442013-07-12 13:46:57 -0700115 // ..and go!
Vladimir Marko1961b602015-04-08 20:51:48 +0100116 NewLIR1(kX86JmpR, addr_for_jump.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700117
118 /* branch_over target here */
119 LIR* target = NewLIR0(kPseudoTargetLabel);
120 branch_over->target = target;
121}
122
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700123void X86Mir2Lir::GenMoveException(RegLocation rl_dest) {
buzbee33ae5582014-06-12 14:56:32 -0700124 int ex_offset = cu_->target64 ?
Andreas Gampe2f244e92014-05-08 03:35:25 -0700125 Thread::ExceptionOffset<8>().Int32Value() :
126 Thread::ExceptionOffset<4>().Int32Value();
buzbeea0cd2d72014-06-01 09:33:49 -0700127 RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true);
Serguei Katkov407a9d22014-07-05 03:09:32 +0700128 NewLIR2(cu_->target64 ? kX86Mov64RT : kX86Mov32RT, rl_result.reg.GetReg(), ex_offset);
129 NewLIR2(cu_->target64 ? kX86Mov64TI : kX86Mov32TI, ex_offset, 0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700130 StoreValue(rl_dest, rl_result);
131}
132
Vladimir Markobf535be2014-11-19 18:52:35 +0000133void X86Mir2Lir::UnconditionallyMarkGCCard(RegStorage tgt_addr_reg) {
Serguei Katkov407a9d22014-07-05 03:09:32 +0700134 DCHECK_EQ(tgt_addr_reg.Is64Bit(), cu_->target64);
Serguei Katkov407a9d22014-07-05 03:09:32 +0700135 RegStorage reg_card_base = AllocTempRef();
136 RegStorage reg_card_no = AllocTempRef();
buzbee33ae5582014-06-12 14:56:32 -0700137 int ct_offset = cu_->target64 ?
Andreas Gampe2f244e92014-05-08 03:35:25 -0700138 Thread::CardTableOffset<8>().Int32Value() :
139 Thread::CardTableOffset<4>().Int32Value();
Serguei Katkov407a9d22014-07-05 03:09:32 +0700140 NewLIR2(cu_->target64 ? kX86Mov64RT : kX86Mov32RT, reg_card_base.GetReg(), ct_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700141 OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift);
buzbee2700f7e2014-03-07 09:46:20 -0800142 StoreBaseIndexed(reg_card_base, reg_card_no, reg_card_base, 0, kUnsignedByte);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700143 FreeTemp(reg_card_base);
144 FreeTemp(reg_card_no);
145}
146
David Srbecky1109fb32015-04-07 20:21:06 +0100147static dwarf::Reg DwarfCoreReg(bool is_x86_64, int num) {
148 return is_x86_64 ? dwarf::Reg::X86_64Core(num) : dwarf::Reg::X86Core(num);
149}
150
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700151void X86Mir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700152 /*
153 * On entry, rX86_ARG0, rX86_ARG1, rX86_ARG2 are live. Let the register
154 * allocation mechanism know so it doesn't try to use any of them when
155 * expanding the frame or flushing. This leaves the utility
156 * code with no spare temps.
157 */
Ian Rogersb28c1c02014-11-08 11:21:21 -0800158 const RegStorage arg0 = TargetReg32(kArg0);
159 const RegStorage arg1 = TargetReg32(kArg1);
160 const RegStorage arg2 = TargetReg32(kArg2);
161 LockTemp(arg0);
162 LockTemp(arg1);
163 LockTemp(arg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700164
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165 /*
166 * We can safely skip the stack overflow check if we're
167 * a leaf *and* our frame size < fudge factor.
168 */
Ian Rogersb28c1c02014-11-08 11:21:21 -0800169 const InstructionSet isa = cu_->target64 ? kX86_64 : kX86;
Dave Allison648d7112014-07-25 16:15:27 -0700170 bool skip_overflow_check = mir_graph_->MethodIsLeaf() && !FrameNeedsStackCheck(frame_size_, isa);
Ian Rogersb28c1c02014-11-08 11:21:21 -0800171 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
Dave Allison69dfe512014-07-11 17:11:58 +0000172
173 // If we doing an implicit stack overflow check, perform the load immediately
174 // before the stack pointer is decremented and anything is saved.
175 if (!skip_overflow_check &&
176 cu_->compiler_driver->GetCompilerOptions().GetImplicitStackOverflowChecks()) {
177 // Implicit stack overflow check.
178 // test eax,[esp + -overflow]
179 int overflow = GetStackOverflowReservedBytes(isa);
Ian Rogersb28c1c02014-11-08 11:21:21 -0800180 NewLIR3(kX86Test32RM, rs_rAX.GetReg(), rs_rSP.GetReg(), -overflow);
Dave Allison69dfe512014-07-11 17:11:58 +0000181 MarkPossibleStackOverflowException();
182 }
183
184 /* Build frame, return address already on stack */
David Srbecky1109fb32015-04-07 20:21:06 +0100185 cfi_.SetCurrentCFAOffset(GetInstructionSetPointerSize(cu_->instruction_set));
David Srbecky8c578312015-04-07 19:46:22 +0100186 OpRegImm(kOpSub, rs_rSP, frame_size_ - GetInstructionSetPointerSize(cu_->instruction_set));
David Srbecky1109fb32015-04-07 20:21:06 +0100187 cfi_.DefCFAOffset(frame_size_);
Dave Allison69dfe512014-07-11 17:11:58 +0000188
Brian Carlstrom7940e442013-07-12 13:46:57 -0700189 /* Spill core callee saves */
190 SpillCoreRegs();
Serguei Katkovc3801912014-07-08 17:21:53 +0700191 SpillFPRegs();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700192 if (!skip_overflow_check) {
Mathieu Chartier0d507d12014-03-19 10:17:28 -0700193 class StackOverflowSlowPath : public LIRSlowPath {
194 public:
195 StackOverflowSlowPath(Mir2Lir* m2l, LIR* branch, size_t sp_displace)
Vladimir Marko0b40ecf2015-03-20 12:08:03 +0000196 : LIRSlowPath(m2l, branch), sp_displace_(sp_displace) {
Mathieu Chartier0d507d12014-03-19 10:17:28 -0700197 }
198 void Compile() OVERRIDE {
199 m2l_->ResetRegPool();
200 m2l_->ResetDefTracking();
Mingyao Yang6ffcfa02014-04-25 11:06:00 -0700201 GenerateTargetLabel(kPseudoThrowTarget);
Ian Rogersb28c1c02014-11-08 11:21:21 -0800202 const RegStorage local_rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
203 m2l_->OpRegImm(kOpAdd, local_rs_rSP, sp_displace_);
David Srbecky1109fb32015-04-07 20:21:06 +0100204 m2l_->cfi().AdjustCFAOffset(-sp_displace_);
Mathieu Chartier0d507d12014-03-19 10:17:28 -0700205 m2l_->ClobberCallerSave();
Mathieu Chartier0d507d12014-03-19 10:17:28 -0700206 // Assumes codegen and target are in thumb2 mode.
Andreas Gampe98430592014-07-27 19:44:50 -0700207 m2l_->CallHelper(RegStorage::InvalidReg(), kQuickThrowStackOverflow,
208 false /* MarkSafepointPC */, false /* UseLink */);
David Srbecky1109fb32015-04-07 20:21:06 +0100209 m2l_->cfi().AdjustCFAOffset(sp_displace_);
Mathieu Chartier0d507d12014-03-19 10:17:28 -0700210 }
211
212 private:
213 const size_t sp_displace_;
214 };
Dave Allison69dfe512014-07-11 17:11:58 +0000215 if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitStackOverflowChecks()) {
216 // TODO: for large frames we should do something like:
217 // spill ebp
218 // lea ebp, [esp + frame_size]
219 // cmp ebp, fs:[stack_end_]
220 // jcc stack_overflow_exception
221 // mov esp, ebp
222 // in case a signal comes in that's not using an alternate signal stack and the large frame
223 // may have moved us outside of the reserved area at the end of the stack.
224 // cmp rs_rX86_SP, fs:[stack_end_]; jcc throw_slowpath
225 if (cu_->target64) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800226 OpRegThreadMem(kOpCmp, rs_rX86_SP_64, Thread::StackEndOffset<8>());
Dave Allison69dfe512014-07-11 17:11:58 +0000227 } else {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800228 OpRegThreadMem(kOpCmp, rs_rX86_SP_32, Thread::StackEndOffset<4>());
Dave Allison69dfe512014-07-11 17:11:58 +0000229 }
230 LIR* branch = OpCondBranch(kCondUlt, nullptr);
231 AddSlowPath(
Chao-ying Fue0ccdc02014-06-06 17:32:37 -0700232 new(arena_)StackOverflowSlowPath(this, branch,
233 frame_size_ -
234 GetInstructionSetPointerSize(cu_->instruction_set)));
Dave Allison69dfe512014-07-11 17:11:58 +0000235 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700236 }
237
238 FlushIns(ArgLocs, rl_method);
239
Vladimir Marko1961b602015-04-08 20:51:48 +0100240 // We can promote the PC of an anchor for PC-relative addressing to a register
241 // if it's used at least twice. Without investigating where we should lazily
242 // load the reference, we conveniently load it after flushing inputs.
243 if (pc_rel_base_reg_.Valid()) {
244 DCHECK(!cu_->target64);
245 setup_pc_rel_base_reg_ = OpLoadPc(pc_rel_base_reg_);
Mark Mendell67c39c42014-01-31 17:28:00 -0800246 }
247
Ian Rogersb28c1c02014-11-08 11:21:21 -0800248 FreeTemp(arg0);
249 FreeTemp(arg1);
250 FreeTemp(arg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700251}
252
253void X86Mir2Lir::GenExitSequence() {
David Srbecky1109fb32015-04-07 20:21:06 +0100254 cfi_.RememberState();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700255 /*
256 * In the exit path, rX86_RET0/rX86_RET1 are live - make sure they aren't
257 * allocated by the register utilities as temps.
258 */
buzbee091cc402014-03-31 10:14:40 -0700259 LockTemp(rs_rX86_RET0);
260 LockTemp(rs_rX86_RET1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700261
Brian Carlstrom7940e442013-07-12 13:46:57 -0700262 UnSpillCoreRegs();
Serguei Katkovc3801912014-07-08 17:21:53 +0700263 UnSpillFPRegs();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700264 /* Remove frame except for return address */
Ian Rogersb28c1c02014-11-08 11:21:21 -0800265 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
David Srbecky8c578312015-04-07 19:46:22 +0100266 int adjust = frame_size_ - GetInstructionSetPointerSize(cu_->instruction_set);
267 OpRegImm(kOpAdd, rs_rSP, adjust);
David Srbecky1109fb32015-04-07 20:21:06 +0100268 cfi_.AdjustCFAOffset(-adjust);
269 // There is only the return PC on the stack now.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700270 NewLIR0(kX86Ret);
David Srbecky1109fb32015-04-07 20:21:06 +0100271 // The CFI should be restored for any code that follows the exit block.
272 cfi_.RestoreState();
273 cfi_.DefCFAOffset(frame_size_);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700274}
275
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800276void X86Mir2Lir::GenSpecialExitSequence() {
277 NewLIR0(kX86Ret);
278}
279
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000280void X86Mir2Lir::GenSpecialEntryForSuspend() {
281 // Keep 16-byte stack alignment, there's already the return address, so
282 // - for 32-bit push EAX, i.e. ArtMethod*, ESI, EDI,
283 // - for 64-bit push RAX, i.e. ArtMethod*.
David Srbecky1109fb32015-04-07 20:21:06 +0100284 const int kRegSize = cu_->target64 ? 8 : 4;
285 cfi_.SetCurrentCFAOffset(kRegSize); // Return address.
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000286 if (!cu_->target64) {
287 DCHECK(!IsTemp(rs_rSI));
288 DCHECK(!IsTemp(rs_rDI));
289 core_spill_mask_ =
Vladimir Markod7a5e552015-02-20 14:53:53 +0000290 (1u << rs_rDI.GetRegNum()) | (1u << rs_rSI.GetRegNum()) | (1u << rs_rRET.GetRegNum());
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000291 num_core_spills_ = 3u;
292 } else {
293 core_spill_mask_ = (1u << rs_rRET.GetRegNum());
294 num_core_spills_ = 1u;
295 }
296 fp_spill_mask_ = 0u;
297 num_fp_spills_ = 0u;
298 frame_size_ = 16u;
299 core_vmap_table_.clear();
300 fp_vmap_table_.clear();
301 if (!cu_->target64) {
302 NewLIR1(kX86Push32R, rs_rDI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +0100303 cfi_.AdjustCFAOffset(kRegSize);
304 cfi_.RelOffset(DwarfCoreReg(cu_->target64, rs_rDI.GetRegNum()), 0);
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000305 NewLIR1(kX86Push32R, rs_rSI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +0100306 cfi_.AdjustCFAOffset(kRegSize);
307 cfi_.RelOffset(DwarfCoreReg(cu_->target64, rs_rSI.GetRegNum()), 0);
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000308 }
309 NewLIR1(kX86Push32R, TargetReg(kArg0, kRef).GetReg()); // ArtMethod*
David Srbecky1109fb32015-04-07 20:21:06 +0100310 cfi_.AdjustCFAOffset(kRegSize);
311 // Do not generate CFI for scratch register.
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000312}
313
314void X86Mir2Lir::GenSpecialExitForSuspend() {
David Srbecky1109fb32015-04-07 20:21:06 +0100315 const int kRegSize = cu_->target64 ? 8 : 4;
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000316 // Pop the frame. (ArtMethod* no longer needed but restore it anyway.)
317 NewLIR1(kX86Pop32R, TargetReg(kArg0, kRef).GetReg()); // ArtMethod*
David Srbecky1109fb32015-04-07 20:21:06 +0100318 cfi_.AdjustCFAOffset(-kRegSize);
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000319 if (!cu_->target64) {
320 NewLIR1(kX86Pop32R, rs_rSI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +0100321 cfi_.AdjustCFAOffset(-kRegSize);
322 cfi_.Restore(DwarfCoreReg(cu_->target64, rs_rSI.GetRegNum()));
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000323 NewLIR1(kX86Pop32R, rs_rDI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +0100324 cfi_.AdjustCFAOffset(-kRegSize);
325 cfi_.Restore(DwarfCoreReg(cu_->target64, rs_rDI.GetRegNum()));
Vladimir Marko6ce3eba2015-02-16 13:05:59 +0000326 }
327}
328
Dave Allison69dfe512014-07-11 17:11:58 +0000329void X86Mir2Lir::GenImplicitNullCheck(RegStorage reg, int opt_flags) {
330 if (!(cu_->disable_opt & (1 << kNullCheckElimination)) && (opt_flags & MIR_IGNORE_NULL_CHECK)) {
331 return;
332 }
333 // Implicit null pointer check.
334 // test eax,[arg1+0]
335 NewLIR3(kX86Test32RM, rs_rAX.GetReg(), reg.GetReg(), 0);
336 MarkPossibleNullPointerException(opt_flags);
337}
338
Vladimir Markof4da6752014-08-01 19:04:18 +0100339/*
340 * Bit of a hack here - in the absence of a real scheduling pass,
341 * emit the next instruction in static & direct invoke sequences.
342 */
Vladimir Markodc56cc52015-03-27 18:18:36 +0000343int X86Mir2Lir::X86NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
344 int state, const MethodReference& target_method,
345 uint32_t,
346 uintptr_t direct_code, uintptr_t direct_method,
347 InvokeType type) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700348 UNUSED(info, direct_code);
Vladimir Markodc56cc52015-03-27 18:18:36 +0000349 X86Mir2Lir* cg = static_cast<X86Mir2Lir*>(cu->cg.get());
Vladimir Markof4da6752014-08-01 19:04:18 +0100350 if (direct_method != 0) {
351 switch (state) {
352 case 0: // Get the current Method* [sets kArg0]
353 if (direct_method != static_cast<uintptr_t>(-1)) {
Mathieu Chartier921d6eb2015-03-13 16:32:44 -0700354 auto target_reg = cg->TargetReg(kArg0, kRef);
355 if (target_reg.Is64Bit()) {
356 cg->LoadConstantWide(target_reg, direct_method);
357 } else {
358 cg->LoadConstant(target_reg, direct_method);
359 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100360 } else {
361 cg->LoadMethodAddress(target_method, type, kArg0);
362 }
363 break;
364 default:
365 return -1;
366 }
Vladimir Markodc56cc52015-03-27 18:18:36 +0000367 } else if (cg->CanUseOpPcRelDexCacheArrayLoad()) {
368 switch (state) {
369 case 0: {
370 CHECK_EQ(cu->dex_file, target_method.dex_file);
371 size_t offset = cg->dex_cache_arrays_layout_.MethodOffset(target_method.dex_method_index);
372 cg->OpPcRelDexCacheArrayLoad(cu->dex_file, offset, cg->TargetReg(kArg0, kRef));
373 break;
374 }
375 default:
376 return -1;
377 }
Vladimir Markof4da6752014-08-01 19:04:18 +0100378 } else {
379 RegStorage arg0_ref = cg->TargetReg(kArg0, kRef);
380 switch (state) {
381 case 0: // Get the current Method* [sets kArg0]
382 // TUNING: we can save a reg copy if Method* has been promoted.
383 cg->LoadCurrMethodDirect(arg0_ref);
384 break;
385 case 1: // Get method->dex_cache_resolved_methods_
386 cg->LoadRefDisp(arg0_ref,
387 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
388 arg0_ref,
389 kNotVolatile);
390 break;
391 case 2: // Grab target method*
392 CHECK_EQ(cu->dex_file, target_method.dex_file);
393 cg->LoadRefDisp(arg0_ref,
394 mirror::ObjectArray<mirror::Object>::OffsetOfElement(
395 target_method.dex_method_index).Int32Value(),
396 arg0_ref,
397 kNotVolatile);
398 break;
399 default:
400 return -1;
401 }
402 }
403 return state + 1;
404}
405
406NextCallInsn X86Mir2Lir::GetNextSDCallInsn() {
407 return X86NextSDCallInsn;
408}
409
Brian Carlstrom7940e442013-07-12 13:46:57 -0700410} // namespace art