blob: e8de876d61f872dab02e5bc8e169636eb59c63c7 [file] [log] [blame]
Matteo Franchin43ec8732014-03-31 15:00:14 +01001/*
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/* This file contains codegen for the Thumb2 ISA. */
18
19#include "arm64_lir.h"
20#include "codegen_arm64.h"
21#include "dex/quick/mir_to_lir-inl.h"
Ian Rogers576ca0c2014-06-06 15:58:22 -070022#include "gc/accounting/card_table.h"
Matteo Franchin43ec8732014-03-31 15:00:14 +010023#include "entrypoints/quick/quick_entrypoints.h"
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +010024#include "mirror/art_method.h"
25#include "mirror/object_array-inl.h"
Matteo Franchin43ec8732014-03-31 15:00:14 +010026
27namespace art {
28
29/*
30 * The sparse table in the literal pool is an array of <key,displacement>
Matteo Franchine45fb9e2014-05-06 10:10:30 +010031 * pairs. For each set, we'll load them as a pair using ldp.
Matteo Franchin43ec8732014-03-31 15:00:14 +010032 * The test loop will look something like:
33 *
34 * adr r_base, <table>
Matteo Franchine45fb9e2014-05-06 10:10:30 +010035 * ldr r_val, [rA64_SP, v_reg_off]
Matteo Franchin43ec8732014-03-31 15:00:14 +010036 * mov r_idx, #table_size
Matteo Franchine45fb9e2014-05-06 10:10:30 +010037 * loop:
38 * cbz r_idx, quit
39 * ldp r_key, r_disp, [r_base], #8
Matteo Franchin43ec8732014-03-31 15:00:14 +010040 * sub r_idx, #1
41 * cmp r_val, r_key
Matteo Franchine45fb9e2014-05-06 10:10:30 +010042 * b.ne loop
43 * adr r_base, #0 ; This is the instruction from which we compute displacements
44 * add r_base, r_disp
45 * br r_base
46 * quit:
Matteo Franchin43ec8732014-03-31 15:00:14 +010047 */
Andreas Gampe48971b32014-08-06 10:09:01 -070048void Arm64Mir2Lir::GenLargeSparseSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) {
Razvan A Lupusoru8d0d03e2014-06-06 17:04:52 -070049 const uint16_t* table = mir_graph_->GetTable(mir, table_offset);
Matteo Franchin43ec8732014-03-31 15:00:14 +010050 if (cu_->verbose) {
51 DumpSparseSwitchTable(table);
52 }
53 // Add the table to the list - we'll process it later
54 SwitchTable *tab_rec =
55 static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData));
56 tab_rec->table = table;
57 tab_rec->vaddr = current_dalvik_offset_;
58 uint32_t size = table[1];
59 tab_rec->targets = static_cast<LIR**>(arena_->Alloc(size * sizeof(LIR*), kArenaAllocLIR));
Vladimir Markoe39c54e2014-09-22 14:50:02 +010060 switch_tables_.push_back(tab_rec);
Matteo Franchin43ec8732014-03-31 15:00:14 +010061
62 // Get the switch value
63 rl_src = LoadValue(rl_src, kCoreReg);
Matteo Franchin5acc8b02014-06-05 15:10:35 +010064 RegStorage r_base = AllocTempWide();
Matteo Franchine45fb9e2014-05-06 10:10:30 +010065 // Allocate key and disp temps.
Matteo Franchin43ec8732014-03-31 15:00:14 +010066 RegStorage r_key = AllocTemp();
67 RegStorage r_disp = AllocTemp();
Matteo Franchin43ec8732014-03-31 15:00:14 +010068 // Materialize a pointer to the switch table
Matteo Franchine45fb9e2014-05-06 10:10:30 +010069 NewLIR3(kA64Adr2xd, r_base.GetReg(), 0, WrapPointer(tab_rec));
Matteo Franchin43ec8732014-03-31 15:00:14 +010070 // Set up r_idx
71 RegStorage r_idx = AllocTemp();
72 LoadConstant(r_idx, size);
Matteo Franchine45fb9e2014-05-06 10:10:30 +010073
74 // Entry of loop.
75 LIR* loop_entry = NewLIR0(kPseudoTargetLabel);
76 LIR* branch_out = NewLIR2(kA64Cbz2rt, r_idx.GetReg(), 0);
77
78 // Load next key/disp.
79 NewLIR4(kA64LdpPost4rrXD, r_key.GetReg(), r_disp.GetReg(), r_base.GetReg(), 2);
80 OpRegRegImm(kOpSub, r_idx, r_idx, 1);
81
82 // Go to next case, if key does not match.
Matteo Franchin43ec8732014-03-31 15:00:14 +010083 OpRegReg(kOpCmp, r_key, rl_src.reg);
Matteo Franchine45fb9e2014-05-06 10:10:30 +010084 OpCondBranch(kCondNe, loop_entry);
85
86 // Key does match: branch to case label.
87 LIR* switch_label = NewLIR3(kA64Adr2xd, r_base.GetReg(), 0, -1);
88 tab_rec->anchor = switch_label;
89
90 // Add displacement to base branch address and go!
Andreas Gampe47b31aa2014-06-19 01:10:07 -070091 OpRegRegRegExtend(kOpAdd, r_base, r_base, As64BitReg(r_disp), kA64Sxtw, 0U);
Matteo Franchine45fb9e2014-05-06 10:10:30 +010092 NewLIR1(kA64Br1x, r_base.GetReg());
93
94 // Loop exit label.
95 LIR* loop_exit = NewLIR0(kPseudoTargetLabel);
96 branch_out->target = loop_exit;
Matteo Franchin43ec8732014-03-31 15:00:14 +010097}
98
99
Andreas Gampe48971b32014-08-06 10:09:01 -0700100void Arm64Mir2Lir::GenLargePackedSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) {
Razvan A Lupusoru8d0d03e2014-06-06 17:04:52 -0700101 const uint16_t* table = mir_graph_->GetTable(mir, table_offset);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100102 if (cu_->verbose) {
103 DumpPackedSwitchTable(table);
104 }
105 // Add the table to the list - we'll process it later
106 SwitchTable *tab_rec =
107 static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData));
108 tab_rec->table = table;
109 tab_rec->vaddr = current_dalvik_offset_;
110 uint32_t size = table[1];
111 tab_rec->targets =
112 static_cast<LIR**>(arena_->Alloc(size * sizeof(LIR*), kArenaAllocLIR));
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100113 switch_tables_.push_back(tab_rec);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100114
115 // Get the switch value
116 rl_src = LoadValue(rl_src, kCoreReg);
Matteo Franchin5acc8b02014-06-05 15:10:35 +0100117 RegStorage table_base = AllocTempWide();
Matteo Franchin43ec8732014-03-31 15:00:14 +0100118 // Materialize a pointer to the switch table
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100119 NewLIR3(kA64Adr2xd, table_base.GetReg(), 0, WrapPointer(tab_rec));
Matteo Franchin43ec8732014-03-31 15:00:14 +0100120 int low_key = s4FromSwitchData(&table[2]);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100121 RegStorage key_reg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100122 // Remove the bias, if necessary
123 if (low_key == 0) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100124 key_reg = rl_src.reg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100125 } else {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100126 key_reg = AllocTemp();
127 OpRegRegImm(kOpSub, key_reg, rl_src.reg, low_key);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100128 }
129 // Bounds check - if < 0 or >= size continue following switch
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100130 OpRegImm(kOpCmp, key_reg, size - 1);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100131 LIR* branch_over = OpCondBranch(kCondHi, NULL);
132
133 // Load the displacement from the switch table
134 RegStorage disp_reg = AllocTemp();
Andreas Gampe4b537a82014-06-30 22:24:53 -0700135 LoadBaseIndexed(table_base, As64BitReg(key_reg), disp_reg, 2, k32);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100136
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100137 // Get base branch address.
Matteo Franchin5acc8b02014-06-05 15:10:35 +0100138 RegStorage branch_reg = AllocTempWide();
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100139 LIR* switch_label = NewLIR3(kA64Adr2xd, branch_reg.GetReg(), 0, -1);
140 tab_rec->anchor = switch_label;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100141
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100142 // Add displacement to base branch address and go!
Andreas Gampe47b31aa2014-06-19 01:10:07 -0700143 OpRegRegRegExtend(kOpAdd, branch_reg, branch_reg, As64BitReg(disp_reg), kA64Sxtw, 0U);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100144 NewLIR1(kA64Br1x, branch_reg.GetReg());
145
146 // branch_over target here
Matteo Franchin43ec8732014-03-31 15:00:14 +0100147 LIR* target = NewLIR0(kPseudoTargetLabel);
148 branch_over->target = target;
149}
150
151/*
152 * Array data table format:
153 * ushort ident = 0x0300 magic value
154 * ushort width width of each element in the table
155 * uint size number of elements in the table
156 * ubyte data[size*width] table of data values (may contain a single-byte
157 * padding at the end)
158 *
159 * Total size is 4+(width * size + 1)/2 16-bit code units.
160 */
Razvan A Lupusoru8d0d03e2014-06-06 17:04:52 -0700161void Arm64Mir2Lir::GenFillArrayData(MIR* mir, DexOffset table_offset, RegLocation rl_src) {
162 const uint16_t* table = mir_graph_->GetTable(mir, table_offset);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100163 // Add the table to the list - we'll process it later
164 FillArrayData *tab_rec =
165 static_cast<FillArrayData*>(arena_->Alloc(sizeof(FillArrayData), kArenaAllocData));
166 tab_rec->table = table;
167 tab_rec->vaddr = current_dalvik_offset_;
168 uint16_t width = tab_rec->table[1];
169 uint32_t size = tab_rec->table[2] | ((static_cast<uint32_t>(tab_rec->table[3])) << 16);
170 tab_rec->size = (size * width) + 8;
171
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100172 fill_array_data_.push_back(tab_rec);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100173
174 // Making a call - use explicit registers
175 FlushAllRegs(); /* Everything to home location */
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100176 LoadValueDirectFixed(rl_src, rs_x0);
Zheng Xubaa7c882014-06-30 14:26:50 +0800177 LoadWordDisp(rs_xSELF, QUICK_ENTRYPOINT_OFFSET(8, pHandleFillArrayData).Int32Value(),
178 rs_xLR);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100179 // Materialize a pointer to the fill data image
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100180 NewLIR3(kA64Adr2xd, rx1, 0, WrapPointer(tab_rec));
Matteo Franchin43ec8732014-03-31 15:00:14 +0100181 ClobberCallerSave();
Zheng Xubaa7c882014-06-30 14:26:50 +0800182 LIR* call_inst = OpReg(kOpBlx, rs_xLR);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100183 MarkSafepointPC(call_inst);
184}
185
186/*
187 * Handle unlocked -> thin locked transition inline or else call out to quick entrypoint. For more
188 * details see monitor.cc.
189 */
190void Arm64Mir2Lir::GenMonitorEnter(int opt_flags, RegLocation rl_src) {
Zheng Xuc8304302014-05-15 17:21:01 +0100191 // x0/w0 = object
192 // w1 = thin lock thread id
193 // x2 = address of lock word
194 // w3 = lock word / store failure
195 // TUNING: How much performance we get when we inline this?
196 // Since we've already flush all register.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100197 FlushAllRegs();
Andreas Gampeccc60262014-07-04 18:02:38 -0700198 LoadValueDirectFixed(rl_src, rs_x0); // = TargetReg(kArg0, kRef)
Matteo Franchin43ec8732014-03-31 15:00:14 +0100199 LockCallTemps(); // Prepare for explicit register usage
Zheng Xuc8304302014-05-15 17:21:01 +0100200 LIR* null_check_branch = nullptr;
201 if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) {
202 null_check_branch = nullptr; // No null check.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100203 } else {
Zheng Xuc8304302014-05-15 17:21:01 +0100204 // If the null-check fails its handled by the slow-path to reduce exception related meta-data.
Dave Allison69dfe512014-07-11 17:11:58 +0000205 if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) {
Zheng Xuc8304302014-05-15 17:21:01 +0100206 null_check_branch = OpCmpImmBranch(kCondEq, rs_x0, 0, NULL);
207 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100208 }
Zheng Xubaa7c882014-06-30 14:26:50 +0800209 Load32Disp(rs_xSELF, Thread::ThinLockIdOffset<8>().Int32Value(), rs_w1);
Zheng Xuc8304302014-05-15 17:21:01 +0100210 OpRegRegImm(kOpAdd, rs_x2, rs_x0, mirror::Object::MonitorOffset().Int32Value());
211 NewLIR2(kA64Ldxr2rX, rw3, rx2);
212 MarkPossibleNullPointerException(opt_flags);
buzbee5d13f122014-08-19 16:47:06 -0700213 LIR* not_unlocked_branch = OpCmpImmBranch(kCondNe, rs_w3, 0, NULL);
Zheng Xuc8304302014-05-15 17:21:01 +0100214 NewLIR3(kA64Stxr3wrX, rw3, rw1, rx2);
buzbee5d13f122014-08-19 16:47:06 -0700215 LIR* lock_success_branch = OpCmpImmBranch(kCondEq, rs_w3, 0, NULL);
Zheng Xuc8304302014-05-15 17:21:01 +0100216
217 LIR* slow_path_target = NewLIR0(kPseudoTargetLabel);
218 not_unlocked_branch->target = slow_path_target;
219 if (null_check_branch != nullptr) {
220 null_check_branch->target = slow_path_target;
221 }
222 // TODO: move to a slow path.
223 // Go expensive route - artLockObjectFromCode(obj);
Zheng Xubaa7c882014-06-30 14:26:50 +0800224 LoadWordDisp(rs_xSELF, QUICK_ENTRYPOINT_OFFSET(8, pLockObject).Int32Value(), rs_xLR);
Zheng Xuc8304302014-05-15 17:21:01 +0100225 ClobberCallerSave();
Zheng Xubaa7c882014-06-30 14:26:50 +0800226 LIR* call_inst = OpReg(kOpBlx, rs_xLR);
Zheng Xuc8304302014-05-15 17:21:01 +0100227 MarkSafepointPC(call_inst);
228
229 LIR* success_target = NewLIR0(kPseudoTargetLabel);
230 lock_success_branch->target = success_target;
Hans Boehm48f5c472014-06-27 14:50:10 -0700231 GenMemBarrier(kLoadAny);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100232}
233
234/*
235 * Handle thin locked -> unlocked transition inline or else call out to quick entrypoint. For more
Zheng Xuc8304302014-05-15 17:21:01 +0100236 * details see monitor.cc. Note the code below doesn't use ldxr/stxr as the code holds the lock
Matteo Franchin43ec8732014-03-31 15:00:14 +0100237 * and can only give away ownership if its suspended.
238 */
239void Arm64Mir2Lir::GenMonitorExit(int opt_flags, RegLocation rl_src) {
Zheng Xuc8304302014-05-15 17:21:01 +0100240 // x0/w0 = object
241 // w1 = thin lock thread id
242 // w2 = lock word
243 // TUNING: How much performance we get when we inline this?
244 // Since we've already flush all register.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100245 FlushAllRegs();
Andreas Gampe4b537a82014-06-30 22:24:53 -0700246 LoadValueDirectFixed(rl_src, rs_x0); // Get obj
Matteo Franchin43ec8732014-03-31 15:00:14 +0100247 LockCallTemps(); // Prepare for explicit register usage
248 LIR* null_check_branch = nullptr;
Zheng Xuc8304302014-05-15 17:21:01 +0100249 if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) {
250 null_check_branch = nullptr; // No null check.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100251 } else {
Zheng Xuc8304302014-05-15 17:21:01 +0100252 // If the null-check fails its handled by the slow-path to reduce exception related meta-data.
Dave Allison69dfe512014-07-11 17:11:58 +0000253 if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) {
Zheng Xuc8304302014-05-15 17:21:01 +0100254 null_check_branch = OpCmpImmBranch(kCondEq, rs_x0, 0, NULL);
255 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100256 }
Zheng Xubaa7c882014-06-30 14:26:50 +0800257 Load32Disp(rs_xSELF, Thread::ThinLockIdOffset<8>().Int32Value(), rs_w1);
Zheng Xuc8304302014-05-15 17:21:01 +0100258 Load32Disp(rs_x0, mirror::Object::MonitorOffset().Int32Value(), rs_w2);
259 MarkPossibleNullPointerException(opt_flags);
260 LIR* slow_unlock_branch = OpCmpBranch(kCondNe, rs_w1, rs_w2, NULL);
Hans Boehm48f5c472014-06-27 14:50:10 -0700261 GenMemBarrier(kAnyStore);
Andreas Gampe3c12c512014-06-24 18:46:29 +0000262 Store32Disp(rs_x0, mirror::Object::MonitorOffset().Int32Value(), rs_wzr);
Zheng Xuc8304302014-05-15 17:21:01 +0100263 LIR* unlock_success_branch = OpUnconditionalBranch(NULL);
264
265 LIR* slow_path_target = NewLIR0(kPseudoTargetLabel);
266 slow_unlock_branch->target = slow_path_target;
267 if (null_check_branch != nullptr) {
268 null_check_branch->target = slow_path_target;
269 }
270 // TODO: move to a slow path.
271 // Go expensive route - artUnlockObjectFromCode(obj);
Zheng Xubaa7c882014-06-30 14:26:50 +0800272 LoadWordDisp(rs_xSELF, QUICK_ENTRYPOINT_OFFSET(8, pUnlockObject).Int32Value(), rs_xLR);
Zheng Xuc8304302014-05-15 17:21:01 +0100273 ClobberCallerSave();
Zheng Xubaa7c882014-06-30 14:26:50 +0800274 LIR* call_inst = OpReg(kOpBlx, rs_xLR);
Zheng Xuc8304302014-05-15 17:21:01 +0100275 MarkSafepointPC(call_inst);
276
277 LIR* success_target = NewLIR0(kPseudoTargetLabel);
278 unlock_success_branch->target = success_target;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100279}
280
281void Arm64Mir2Lir::GenMoveException(RegLocation rl_dest) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700282 int ex_offset = Thread::ExceptionOffset<8>().Int32Value();
buzbeea0cd2d72014-06-01 09:33:49 -0700283 RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true);
Zheng Xubaa7c882014-06-30 14:26:50 +0800284 LoadRefDisp(rs_xSELF, ex_offset, rl_result.reg, kNotVolatile);
285 StoreRefDisp(rs_xSELF, ex_offset, rs_xzr, kNotVolatile);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100286 StoreValue(rl_dest, rl_result);
287}
288
289/*
290 * Mark garbage collection card. Skip if the value we're storing is null.
291 */
292void Arm64Mir2Lir::MarkGCCard(RegStorage val_reg, RegStorage tgt_addr_reg) {
Matteo Franchinfd2e2912014-06-06 10:09:56 +0100293 RegStorage reg_card_base = AllocTempWide();
Andreas Gampe4b537a82014-06-30 22:24:53 -0700294 RegStorage reg_card_no = AllocTempWide(); // Needs to be wide as addr is ref=64b
Matteo Franchin43ec8732014-03-31 15:00:14 +0100295 LIR* branch_over = OpCmpImmBranch(kCondEq, val_reg, 0, NULL);
Zheng Xubaa7c882014-06-30 14:26:50 +0800296 LoadWordDisp(rs_xSELF, Thread::CardTableOffset<8>().Int32Value(), reg_card_base);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100297 OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift);
Matteo Franchinfd2e2912014-06-06 10:09:56 +0100298 // TODO(Arm64): generate "strb wB, [xB, wC, uxtw]" rather than "strb wB, [xB, xC]"?
Andreas Gampe4b537a82014-06-30 22:24:53 -0700299 StoreBaseIndexed(reg_card_base, reg_card_no, As32BitReg(reg_card_base),
Matteo Franchinfd2e2912014-06-06 10:09:56 +0100300 0, kUnsignedByte);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100301 LIR* target = NewLIR0(kPseudoTargetLabel);
302 branch_over->target = target;
303 FreeTemp(reg_card_base);
304 FreeTemp(reg_card_no);
305}
306
307void Arm64Mir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100308 /*
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100309 * On entry, x0 to x7 are live. Let the register allocation
Matteo Franchin43ec8732014-03-31 15:00:14 +0100310 * mechanism know so it doesn't try to use any of them when
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100311 * expanding the frame or flushing.
312 * Reserve x8 & x9 for temporaries.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100313 */
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100314 LockTemp(rs_x0);
315 LockTemp(rs_x1);
316 LockTemp(rs_x2);
317 LockTemp(rs_x3);
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100318 LockTemp(rs_x4);
319 LockTemp(rs_x5);
320 LockTemp(rs_x6);
321 LockTemp(rs_x7);
Zheng Xub551fdc2014-07-25 11:49:42 +0800322 LockTemp(rs_xIP0);
323 LockTemp(rs_xIP1);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100324
Stuart Monteithd5c78f42014-06-11 16:44:46 +0100325 /* TUNING:
326 * Use AllocTemp() and reuse LR if possible to give us the freedom on adjusting the number
327 * of temp registers.
328 */
329
Matteo Franchin43ec8732014-03-31 15:00:14 +0100330 /*
331 * We can safely skip the stack overflow check if we're
332 * a leaf *and* our frame size < fudge factor.
333 */
Dave Allison648d7112014-07-25 16:15:27 -0700334 bool skip_overflow_check = mir_graph_->MethodIsLeaf() && !FrameNeedsStackCheck(frame_size_, kArm64);
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100335
Matteo Franchin43ec8732014-03-31 15:00:14 +0100336 NewLIR0(kPseudoMethodEntry);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100337
Dave Allison648d7112014-07-25 16:15:27 -0700338 const size_t kStackOverflowReservedUsableBytes = GetStackOverflowReservedBytes(kArm64);
339 const bool large_frame = static_cast<size_t>(frame_size_) > kStackOverflowReservedUsableBytes;
340 bool generate_explicit_stack_overflow_check = large_frame ||
341 !cu_->compiler_driver->GetCompilerOptions().GetImplicitStackOverflowChecks();
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100342 const int spill_count = num_core_spills_ + num_fp_spills_;
343 const int spill_size = (spill_count * kArm64PointerSize + 15) & ~0xf; // SP 16 byte alignment.
344 const int frame_size_without_spills = frame_size_ - spill_size;
345
Matteo Franchin43ec8732014-03-31 15:00:14 +0100346 if (!skip_overflow_check) {
Dave Allison648d7112014-07-25 16:15:27 -0700347 if (generate_explicit_stack_overflow_check) {
Andreas Gampef29ecd62014-07-29 00:35:00 -0700348 // Load stack limit
349 LoadWordDisp(rs_xSELF, Thread::StackEndOffset<8>().Int32Value(), rs_xIP1);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100350 } else {
351 // Implicit stack overflow check.
352 // Generate a load from [sp, #-framesize]. If this is in the stack
353 // redzone we will get a segmentation fault.
Stuart Monteithd5c78f42014-06-11 16:44:46 +0100354
Andreas Gampef29ecd62014-07-29 00:35:00 -0700355 // TODO: If the frame size is small enough, is it possible to make this a pre-indexed load,
356 // so that we can avoid the following "sub sp" when spilling?
Stuart Monteithd5c78f42014-06-11 16:44:46 +0100357 OpRegRegImm(kOpSub, rs_x8, rs_sp, GetStackOverflowReservedBytes(kArm64));
358 LoadWordDisp(rs_x8, 0, rs_x8);
359 MarkPossibleStackOverflowException();
Matteo Franchin43ec8732014-03-31 15:00:14 +0100360 }
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100361 }
362
Andreas Gampef29ecd62014-07-29 00:35:00 -0700363 int spilled_already = 0;
364 if (spill_size > 0) {
365 spilled_already = SpillRegs(rs_sp, core_spill_mask_, fp_spill_mask_, frame_size_);
366 DCHECK(spill_size == spilled_already || frame_size_ == spilled_already);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100367 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100368
Andreas Gampef29ecd62014-07-29 00:35:00 -0700369 if (spilled_already != frame_size_) {
370 OpRegImm(kOpSub, rs_sp, frame_size_without_spills);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100371 }
372
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100373 if (!skip_overflow_check) {
Dave Allison648d7112014-07-25 16:15:27 -0700374 if (generate_explicit_stack_overflow_check) {
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100375 class StackOverflowSlowPath: public LIRSlowPath {
376 public:
377 StackOverflowSlowPath(Mir2Lir* m2l, LIR* branch, size_t sp_displace) :
378 LIRSlowPath(m2l, m2l->GetCurrentDexPc(), branch, nullptr),
379 sp_displace_(sp_displace) {
380 }
381 void Compile() OVERRIDE {
382 m2l_->ResetRegPool();
383 m2l_->ResetDefTracking();
384 GenerateTargetLabel(kPseudoThrowTarget);
385 // Unwinds stack.
Zheng Xubaa7c882014-06-30 14:26:50 +0800386 m2l_->OpRegImm(kOpAdd, rs_sp, sp_displace_);
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100387 m2l_->ClobberCallerSave();
388 ThreadOffset<8> func_offset = QUICK_ENTRYPOINT_OFFSET(8, pThrowStackOverflow);
Zheng Xub551fdc2014-07-25 11:49:42 +0800389 m2l_->LockTemp(rs_xIP0);
390 m2l_->LoadWordDisp(rs_xSELF, func_offset.Int32Value(), rs_xIP0);
391 m2l_->NewLIR1(kA64Br1x, rs_xIP0.GetReg());
392 m2l_->FreeTemp(rs_xIP0);
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100393 }
394
395 private:
396 const size_t sp_displace_;
397 };
398
Andreas Gampef29ecd62014-07-29 00:35:00 -0700399 LIR* branch = OpCmpBranch(kCondUlt, rs_sp, rs_xIP1, nullptr);
400 AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, frame_size_));
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100401 }
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100402 }
403
Matteo Franchin43ec8732014-03-31 15:00:14 +0100404 FlushIns(ArgLocs, rl_method);
405
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100406 FreeTemp(rs_x0);
407 FreeTemp(rs_x1);
408 FreeTemp(rs_x2);
409 FreeTemp(rs_x3);
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100410 FreeTemp(rs_x4);
411 FreeTemp(rs_x5);
412 FreeTemp(rs_x6);
413 FreeTemp(rs_x7);
Zheng Xub551fdc2014-07-25 11:49:42 +0800414 FreeTemp(rs_xIP0);
415 FreeTemp(rs_xIP1);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100416}
417
418void Arm64Mir2Lir::GenExitSequence() {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100419 /*
420 * In the exit path, r0/r1 are live - make sure they aren't
421 * allocated by the register utilities as temps.
422 */
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100423 LockTemp(rs_x0);
424 LockTemp(rs_x1);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100425
426 NewLIR0(kPseudoMethodExit);
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100427
Andreas Gampef29ecd62014-07-29 00:35:00 -0700428 UnspillRegs(rs_sp, core_spill_mask_, fp_spill_mask_, frame_size_);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100429
buzbeeb5860fb2014-06-21 15:31:01 -0700430 // Finally return.
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100431 NewLIR0(kA64Ret);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100432}
433
434void Arm64Mir2Lir::GenSpecialExitSequence() {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100435 NewLIR0(kA64Ret);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100436}
437
Vladimir Marko7c2ad5a2014-09-24 12:42:55 +0100438static bool Arm64UseRelativeCall(CompilationUnit* cu, const MethodReference& target_method) {
439 // Always emit relative calls.
440 return true;
441}
442
443/*
444 * Bit of a hack here - in the absence of a real scheduling pass,
445 * emit the next instruction in static & direct invoke sequences.
446 */
447static int Arm64NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
448 int state, const MethodReference& target_method,
449 uint32_t unused,
450 uintptr_t direct_code, uintptr_t direct_method,
451 InvokeType type) {
452 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
453 if (direct_code != 0 && direct_method != 0) {
454 switch (state) {
455 case 0: // Get the current Method* [sets kArg0]
456 if (direct_code != static_cast<uintptr_t>(-1)) {
457 cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code);
458 } else if (Arm64UseRelativeCall(cu, target_method)) {
459 // Defer to linker patch.
460 } else {
461 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
462 }
463 if (direct_method != static_cast<uintptr_t>(-1)) {
464 cg->LoadConstant(cg->TargetReg(kArg0, kRef), direct_method);
465 } else {
466 cg->LoadMethodAddress(target_method, type, kArg0);
467 }
468 break;
469 default:
470 return -1;
471 }
472 } else {
473 RegStorage arg0_ref = cg->TargetReg(kArg0, kRef);
474 switch (state) {
475 case 0: // Get the current Method* [sets kArg0]
476 // TUNING: we can save a reg copy if Method* has been promoted.
477 cg->LoadCurrMethodDirect(arg0_ref);
478 break;
479 case 1: // Get method->dex_cache_resolved_methods_
480 cg->LoadRefDisp(arg0_ref,
481 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
482 arg0_ref,
483 kNotVolatile);
484 // Set up direct code if known.
485 if (direct_code != 0) {
486 if (direct_code != static_cast<uintptr_t>(-1)) {
487 cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code);
488 } else if (Arm64UseRelativeCall(cu, target_method)) {
489 // Defer to linker patch.
490 } else {
491 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
492 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
493 }
494 }
495 break;
496 case 2: // Grab target method*
497 CHECK_EQ(cu->dex_file, target_method.dex_file);
498 cg->LoadRefDisp(arg0_ref,
499 mirror::ObjectArray<mirror::Object>::OffsetOfElement(
500 target_method.dex_method_index).Int32Value(),
501 arg0_ref,
502 kNotVolatile);
503 break;
504 case 3: // Grab the code from the method*
505 if (direct_code == 0) {
506 // kInvokeTgt := arg0_ref->entrypoint
507 cg->LoadWordDisp(arg0_ref,
508 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
509 cg->TargetPtrReg(kInvokeTgt));
510 }
511 break;
512 default:
513 return -1;
514 }
515 }
516 return state + 1;
517}
518
519NextCallInsn Arm64Mir2Lir::GetNextSDCallInsn() {
520 return Arm64NextSDCallInsn;
521}
522
523LIR* Arm64Mir2Lir::CallWithLinkerFixup(const MethodReference& target_method, InvokeType type) {
524 // For ARM64, just generate a relative BL instruction that will be filled in at 'link time'.
525 // If the target turns out to be too far, the linker will generate a thunk for dispatch.
526 int target_method_idx = target_method.dex_method_index;
527 const DexFile* target_dex_file = target_method.dex_file;
528
529 // Generate the call instruction and save index, dex_file, and type.
530 // NOTE: Method deduplication takes linker patches into account, so we can just pass 0
531 // as a placeholder for the offset.
532 LIR* call = RawLIR(current_dalvik_offset_, kA64Bl1t, 0,
533 target_method_idx, WrapPointer(const_cast<DexFile*>(target_dex_file)), type);
534 AppendLIR(call);
535 call_method_insns_.push_back(call);
536 return call;
537}
538
539LIR* Arm64Mir2Lir::GenCallInsn(const MirMethodLoweringInfo& method_info) {
540 LIR* call_insn;
541 if (method_info.FastPath() && Arm64UseRelativeCall(cu_, method_info.GetTargetMethod()) &&
542 (method_info.GetSharpType() == kDirect || method_info.GetSharpType() == kStatic) &&
543 method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
544 call_insn = CallWithLinkerFixup(method_info.GetTargetMethod(), method_info.GetSharpType());
545 } else {
546 call_insn = OpReg(kOpBlx, TargetPtrReg(kInvokeTgt));
547 }
548 return call_insn;
549}
550
Matteo Franchin43ec8732014-03-31 15:00:14 +0100551} // namespace art