call_arm.cc revision 2d7210188805292e463be4bcf7a133b654d7e0ea
1efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 2efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Copyright (C) 2011 The Android Open Source Project 3efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 4efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Licensed under the Apache License, Version 2.0 (the "License"); 5efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * you may not use this file except in compliance with the License. 6efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * You may obtain a copy of the License at 7efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 8efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * http://www.apache.org/licenses/LICENSE-2.0 9efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 10efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Unless required by applicable law or agreed to in writing, software 11efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * distributed under the License is distributed on an "AS IS" BASIS, 12efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * See the License for the specific language governing permissions and 14efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * limitations under the License. 15efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 16efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 17efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* This file contains codegen for the Thumb2 ISA. */ 18efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 191bc37c60da71c923ea9a2e99d31ba1b3d76d79a8buzbee#include "arm_lir.h" 2002031b185b4653e6c72e21f7a51238b903f6d638buzbee#include "codegen_arm.h" 217940e44f4517de5e2634a7e07d58d0fb26160513Brian Carlstrom#include "dex/quick/mir_to_lir-inl.h" 22576ca0cd692c0b6ae70e776de91015b8ff000a08Ian Rogers#include "gc/accounting/card_table.h" 23f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko#include "mirror/art_method.h" 24f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko#include "mirror/object_array-inl.h" 25166db04e259ca51838c311891598664deeed85adIan Rogers#include "entrypoints/quick/quick_entrypoints.h" 26efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 27efc6369224b036a1fb77849f7ae65b3492c832c0buzbeenamespace art { 28efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 29efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 30efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The sparse table in the literal pool is an array of <key,displacement> 31efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * pairs. For each set, we'll load them as a pair using ldmia. 32efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * This means that the register number of the temp we use for the key 33efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * must be lower than the reg for the displacement. 34efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 35efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The test loop will look something like: 36efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 372700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee * adr r_base, <table> 38fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * ldr r_val, [rARM_SP, v_reg_off] 39fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * mov r_idx, #table_size 40efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * lp: 412700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee * ldmia r_base!, {r_key, r_disp} 42fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * sub r_idx, #1 43fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * cmp r_val, r_key 44efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * ifeq 45fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * add rARM_PC, r_disp ; This is the branch from which we compute displacement 46fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * cbnz r_idx, lp 47efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 4848971b3242e5126bcd800cc9c68df64596b43d13Andreas Gampevoid ArmMir2Lir::GenLargeSparseSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) { 498d0d03e24325463f0060abfd05dba5598044e9b1Razvan A Lupusoru const uint16_t* table = mir_graph_->GetTable(mir, table_offset); 501fd3346740dfb7f47be9922312b68a4227fada96buzbee if (cu_->verbose) { 5152a77fc135f0e0df57ee24641c3f5ae415ff7bd6buzbee DumpSparseSwitchTable(table); 52efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 53efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 54fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 5583cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); 56fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 571fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 580d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee uint32_t size = table[1]; 59091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee tab_rec->targets = static_cast<LIR**>(arena_->Alloc(size * sizeof(LIR*), kArenaAllocLIR)); 60e39c54ea575ec710d5e84277fcdcc049f8acb3c9Vladimir Marko switch_tables_.push_back(tab_rec); 61efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 62efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Get the switch value 631fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 642700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_base = AllocTemp(); 65efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Allocate key and disp temps */ 662700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_key = AllocTemp(); 672700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_disp = AllocTemp(); 68fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee // Make sure r_key's register number is less than r_disp's number for ldmia 692700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee if (r_key.GetReg() > r_disp.GetReg()) { 702700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage tmp = r_disp; 71fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee r_disp = r_key; 72fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee r_key = tmp; 73efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 74efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize a pointer to the switch table 752700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee NewLIR3(kThumb2Adr, r_base.GetReg(), 0, WrapPointer(tab_rec)); 76fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee // Set up r_idx 772700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_idx = AllocTemp(); 781fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(r_idx, size); 79efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Establish loop branch target 801fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 81efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Load next key/disp 82091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR2(kThumb2LdmiaWB, r_base.GetReg(), (1 << r_key.GetRegNum()) | (1 << r_disp.GetRegNum())); 832700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegReg(kOpCmp, r_key, rl_src.reg); 84efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Go if match. NOTE: No instruction set switch here - must stay Thumb2 853da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison LIR* it = OpIT(kCondEq, ""); 862700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* switch_branch = NewLIR1(kThumb2AddPCR, r_disp.GetReg()); 873da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 88fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = switch_branch; 89efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Needs to use setflags encoding here 90dbb8c49d540edd2a39076093163c7218f03aa502Vladimir Marko OpRegRegImm(kOpSub, r_idx, r_idx, 1); // For value == 1, this should set flags. 918dea81ca9c0201ceaa88086b927a5838a06a3e69Vladimir Marko DCHECK(last_lir_insn_->u.m.def_mask->HasBit(ResourceMask::kCCode)); 921fd3346740dfb7f47be9922312b68a4227fada96buzbee OpCondBranch(kCondNe, target); 93efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 94efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 95efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 9648971b3242e5126bcd800cc9c68df64596b43d13Andreas Gampevoid ArmMir2Lir::GenLargePackedSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) { 978d0d03e24325463f0060abfd05dba5598044e9b1Razvan A Lupusoru const uint16_t* table = mir_graph_->GetTable(mir, table_offset); 981fd3346740dfb7f47be9922312b68a4227fada96buzbee if (cu_->verbose) { 9952a77fc135f0e0df57ee24641c3f5ae415ff7bd6buzbee DumpPackedSwitchTable(table); 100efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 101efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 102fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 10383cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); 104fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 1051fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 1060d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee uint32_t size = table[1]; 107862a76027076c341c26aa6cd4a30a7cdd6dc2143buzbee tab_rec->targets = 10883cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko static_cast<LIR**>(arena_->Alloc(size * sizeof(LIR*), kArenaAllocLIR)); 109e39c54ea575ec710d5e84277fcdcc049f8acb3c9Vladimir Marko switch_tables_.push_back(tab_rec); 110efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 111efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Get the switch value 1121fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 1132700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage table_base = AllocTemp(); 114efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize a pointer to the switch table 1152700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee NewLIR3(kThumb2Adr, table_base.GetReg(), 0, WrapPointer(tab_rec)); 116fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int low_key = s4FromSwitchData(&table[2]); 1172700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage keyReg; 118efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Remove the bias, if necessary 119fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (low_key == 0) { 1202700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee keyReg = rl_src.reg; 121efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 1221fd3346740dfb7f47be9922312b68a4227fada96buzbee keyReg = AllocTemp(); 1232700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, keyReg, rl_src.reg, low_key); 124efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 125efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Bounds check - if < 0 or >= size continue following switch 1261fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegImm(kOpCmp, keyReg, size-1); 1271fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* branch_over = OpCondBranch(kCondHi, NULL); 128efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 129efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Load the displacement from the switch table 1302700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage disp_reg = AllocTemp(); 131695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee LoadBaseIndexed(table_base, keyReg, disp_reg, 2, k32); 132efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 133efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // ..and go! NOTE: No instruction set switch here - must stay Thumb2 1342700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* switch_branch = NewLIR1(kThumb2AddPCR, disp_reg.GetReg()); 135fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = switch_branch; 136efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 137fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee /* branch_over target here */ 1381fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 139fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee branch_over->target = target; 140efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 141efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 142efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 143d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * Handle unlocked -> thin locked transition inline or else call out to quick entrypoint. For more 144d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * details see monitor.cc. 145efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 1462ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMonitorEnter(int opt_flags, RegLocation rl_src) { 1471fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 148695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee // FIXME: need separate LoadValues for object references. 1492700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadValueDirectFixed(rl_src, rs_r0); // Get obj 1501fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 151d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers constexpr bool kArchVariantHasGoodBranchPredictor = false; // TODO: true if cortex-A15. 152d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (kArchVariantHasGoodBranchPredictor) { 153f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison LIR* null_check_branch = nullptr; 154d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) { 155d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch = nullptr; // No null check. 156d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 157d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // If the null-check fails its handled by the slow-path to reduce exception related meta-data. 15869dfe51b684dd9d510dbcb63295fe180f998efdeDave Allison if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) { 159f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison null_check_branch = OpCmpImmBranch(kCondEq, rs_r0, 0, NULL); 160f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison } 161d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 162695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 163091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR3(kThumb2Ldrex, rs_r1.GetReg(), rs_r0.GetReg(), 164091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 165f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 1662700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* not_unlocked_branch = OpCmpImmBranch(kCondNe, rs_r1, 0, NULL); 167091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR4(kThumb2Strex, rs_r1.GetReg(), rs_r2.GetReg(), rs_r0.GetReg(), 168091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 1692700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* lock_success_branch = OpCmpImmBranch(kCondEq, rs_r1, 0, NULL); 170d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 171d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 172d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* slow_path_target = NewLIR0(kPseudoTargetLabel); 173d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers not_unlocked_branch->target = slow_path_target; 174d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (null_check_branch != nullptr) { 175d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch->target = slow_path_target; 176d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 177d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // TODO: move to a slow path. 178d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artLockObjectFromCode(obj); 179dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pLockObject).Int32Value(), rs_rARM_LR); 18031c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 1812700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx, rs_rARM_LR); 182d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 183d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 184d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* success_target = NewLIR0(kPseudoTargetLabel); 185d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers lock_success_branch->target = success_target; 18648f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kLoadAny); 187d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 188d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Explicit null-check as slow-path is entered using an IT. 1892700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee GenNullCheck(rs_r0, opt_flags); 190695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 191091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR3(kThumb2Ldrex, rs_r1.GetReg(), rs_r0.GetReg(), 192091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 193f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 1942700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpCmp, rs_r1, 0); 1953da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison LIR* it = OpIT(kCondEq, ""); 196091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR4(kThumb2Strex/*eq*/, rs_r1.GetReg(), rs_r2.GetReg(), rs_r0.GetReg(), 197091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 1983da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 1992700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpCmp, rs_r1, 0); 2003da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison it = OpIT(kCondNe, "T"); 201d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artLockObjectFromCode(self, obj); 202091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LoadWordDisp/*ne*/(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pLockObject).Int32Value(), 203091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee rs_rARM_LR); 20431c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2052700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx/*ne*/, rs_rARM_LR); 2063da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 207d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 20848f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kLoadAny); 209d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 210efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 211efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 212efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 213d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * Handle thin locked -> unlocked transition inline or else call out to quick entrypoint. For more 214d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * details see monitor.cc. Note the code below doesn't use ldrex/strex as the code holds the lock 215d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * and can only give away ownership if its suspended. 216efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2172ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMonitorExit(int opt_flags, RegLocation rl_src) { 2181fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 2192700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadValueDirectFixed(rl_src, rs_r0); // Get obj 2201fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 221f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison LIR* null_check_branch = nullptr; 222695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 223d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers constexpr bool kArchVariantHasGoodBranchPredictor = false; // TODO: true if cortex-A15. 224d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (kArchVariantHasGoodBranchPredictor) { 225d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) { 226d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch = nullptr; // No null check. 227d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 228d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // If the null-check fails its handled by the slow-path to reduce exception related meta-data. 22969dfe51b684dd9d510dbcb63295fe180f998efdeDave Allison if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) { 230f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison null_check_branch = OpCmpImmBranch(kCondEq, rs_r0, 0, NULL); 231f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison } 232d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 233695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r1); 234f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 2352700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadConstantNoClobber(rs_r3, 0); 2362700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* slow_unlock_branch = OpCmpBranch(kCondNe, rs_r1, rs_r2, NULL); 23748f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kAnyStore); 238695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Store32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r3); 239d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* unlock_success_branch = OpUnconditionalBranch(NULL); 240d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 241d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* slow_path_target = NewLIR0(kPseudoTargetLabel); 242d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers slow_unlock_branch->target = slow_path_target; 243d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (null_check_branch != nullptr) { 244d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch->target = slow_path_target; 245d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 246d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // TODO: move to a slow path. 247d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artUnlockObjectFromCode(obj); 248dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pUnlockObject).Int32Value(), rs_rARM_LR); 24931c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2502700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx, rs_rARM_LR); 251d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 252d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 253d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* success_target = NewLIR0(kPseudoTargetLabel); 254d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers unlock_success_branch->target = success_target; 255d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 256d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Explicit null-check as slow-path is entered using an IT. 2572700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee GenNullCheck(rs_r0, opt_flags); 258695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r1); // Get lock 259b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison MarkPossibleNullPointerException(opt_flags); 260695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 2612700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadConstantNoClobber(rs_r3, 0); 262d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Is lock unheld on lock or held by us (==thread_id) on unlock? 2632700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegReg(kOpCmp, rs_r1, rs_r2); 264b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe 265b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe LIR* it = OpIT(kCondEq, "EE"); 26648f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm if (GenMemBarrier(kAnyStore)) { 267b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe UpdateIT(it, "TEE"); 268b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe } 269695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Store32Disp/*eq*/(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r3); 270d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - UnlockObjectFromCode(obj); 271dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp/*ne*/(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pUnlockObject).Int32Value(), 2722700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee rs_rARM_LR); 27331c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2742700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx/*ne*/, rs_rARM_LR); 2753da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 276d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 277d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 278efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 279efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 2802ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMoveException(RegLocation rl_dest) { 281dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers int ex_offset = Thread::ExceptionOffset<4>().Int32Value(); 282a0cd2d701f29e0bc6275f1b13c0edfd4ec391879buzbee RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true); 283a0cd2d701f29e0bc6275f1b13c0edfd4ec391879buzbee RegStorage reset_reg = AllocTempRef(); 2843c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe LoadRefDisp(rs_rARM_SELF, ex_offset, rl_result.reg, kNotVolatile); 2851fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(reset_reg, 0); 2863c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe StoreRefDisp(rs_rARM_SELF, ex_offset, reset_reg, kNotVolatile); 2871fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reset_reg); 2881fd3346740dfb7f47be9922312b68a4227fada96buzbee StoreValue(rl_dest, rl_result); 2891eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao} 2901eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao 291efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 292efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * Mark garbage collection card. Skip if the value we're storing is null. 293efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2942700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbeevoid ArmMir2Lir::MarkGCCard(RegStorage val_reg, RegStorage tgt_addr_reg) { 2952700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage reg_card_base = AllocTemp(); 2962700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage reg_card_no = AllocTemp(); 2971fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* branch_over = OpCmpImmBranch(kCondEq, val_reg, 0, NULL); 298dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, Thread::CardTableOffset<4>().Int32Value(), reg_card_base); 2991d54e73444e017d3a65234e0f193846f3e27472bIan Rogers OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift); 3002700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee StoreBaseIndexed(reg_card_base, reg_card_no, reg_card_base, 0, kUnsignedByte); 3011fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 302fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee branch_over->target = target; 3031fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_base); 3041fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_no); 305efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 306efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 3072ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) { 3081fd3346740dfb7f47be9922312b68a4227fada96buzbee int spill_count = num_core_spills_ + num_fp_spills_; 309efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 310efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * On entry, r0, r1, r2 & r3 are live. Let the register allocation 311efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * mechanism know so it doesn't try to use any of them when 312efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * expanding the frame or flushing. This leaves the utility 313efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * code with a single temp: r12. This should be enough. 314efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 315091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r0); 316091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r1); 317091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r2); 318091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r3); 319efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 320efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 321efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * We can safely skip the stack overflow check if we're 322efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * a leaf *and* our frame size < fudge factor. 323efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 324648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison bool skip_overflow_check = mir_graph_->MethodIsLeaf() && !FrameNeedsStackCheck(frame_size_, kArm); 3251fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodEntry); 326648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison const size_t kStackOverflowReservedUsableBytes = GetStackOverflowReservedBytes(kArm); 3277cd26f355ba83be75b72ed628ed5ee84a3245c4fAndreas Gampe bool large_frame = (static_cast<size_t>(frame_size_) > kStackOverflowReservedUsableBytes); 328648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison bool generate_explicit_stack_overflow_check = large_frame || 329648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison !cu_->compiler_driver->GetCompilerOptions().GetImplicitStackOverflowChecks(); 330fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 331648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison if (generate_explicit_stack_overflow_check) { 332fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee if (!large_frame) { 333fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee /* Load stack limit */ 334fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee LockTemp(rs_r12); 335fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Load32Disp(rs_rARM_SELF, Thread::StackEndOffset<4>().Int32Value(), rs_r12); 336fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee } 3375cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison } else { 3385cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Implicit stack overflow check. 3395cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Generate a load from [sp, #-overflowsize]. If this is in the stack 3405cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // redzone we will get a segmentation fault. 3415cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // 3425cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Caveat coder: if someone changes the kStackOverflowReservedBytes value 3435cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // we need to make sure that it's loadable in an immediate field of 3445cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // a sub instruction. Otherwise we will get a temp allocation and the 3455cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // code size will increase. 3465cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // 3475cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // This is done before the callee save instructions to avoid any possibility 3485cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // of these overflowing. This uses r12 and that's never saved in a callee 3495cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // save. 3507ea6f79bbddd69d5db86a8656a31aaaf64ae2582Andreas Gampe OpRegRegImm(kOpSub, rs_r12, rs_rARM_SP, GetStackOverflowReservedBytes(kArm)); 3515cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison Load32Disp(rs_r12, 0, rs_r12); 3525cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison MarkPossibleStackOverflowException(); 353b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } 354efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 355efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Spill core callee saves */ 3561fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2Push, core_spill_mask_); 357efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Need to spill any FP regs? */ 3581fd3346740dfb7f47be9922312b68a4227fada96buzbee if (num_fp_spills_) { 359efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 360efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * NOTE: fp spills are a little different from core spills in that 361efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * they are pushed as a contiguous block. When promoting from 362efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * the fp set, we must allocate all singles from s16..highest-promoted 363efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3641fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2VPushCS, num_fp_spills_); 365efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 3660d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier 36705a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier const int spill_size = spill_count * 4; 36805a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier const int frame_size_without_spills = frame_size_ - spill_size; 369fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 370648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison if (generate_explicit_stack_overflow_check) { 3710d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier class StackOverflowSlowPath : public LIRSlowPath { 3720d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier public: 3730d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier StackOverflowSlowPath(Mir2Lir* m2l, LIR* branch, bool restore_lr, size_t sp_displace) 3740d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier : LIRSlowPath(m2l, m2l->GetCurrentDexPc(), branch, nullptr), restore_lr_(restore_lr), 3750d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier sp_displace_(sp_displace) { 3760d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3770d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier void Compile() OVERRIDE { 3780d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ResetRegPool(); 3790d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ResetDefTracking(); 3806ffcfa04ebb2660e238742a6000f5ccebdd5df15Mingyao Yang GenerateTargetLabel(kPseudoThrowTarget); 3810d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier if (restore_lr_) { 3822700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->LoadWordDisp(rs_rARM_SP, sp_displace_ - 4, rs_rARM_LR); 3830d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3842700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->OpRegImm(kOpAdd, rs_rARM_SP, sp_displace_); 3850d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ClobberCallerSave(); 386dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers ThreadOffset<4> func_offset = QUICK_ENTRYPOINT_OFFSET(4, pThrowStackOverflow); 3870d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // Load the entrypoint directly into the pc instead of doing a load + branch. Assumes 3880d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // codegen and target are in thumb2 mode. 389695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee // NOTE: native pointer. 3902700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->LoadWordDisp(rs_rARM_SELF, func_offset.Int32Value(), rs_rARM_PC); 3910d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3920d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier 3930d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier private: 3940d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier const bool restore_lr_; 3950d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier const size_t sp_displace_; 3960d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier }; 397fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee if (large_frame) { 398fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee // Note: may need a temp reg, and we only have r12 free at this point. 3992700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, rs_rARM_LR, rs_rARM_SP, frame_size_without_spills); 400fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Load32Disp(rs_rARM_SELF, Thread::StackEndOffset<4>().Int32Value(), rs_r12); 4012700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* branch = OpCmpBranch(kCondUlt, rs_rARM_LR, rs_r12, nullptr); 4020d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // Need to restore LR since we used it as a temp. 40305a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, true, spill_size)); 4042700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegCopy(rs_rARM_SP, rs_rARM_LR); // Establish stack 4050d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } else { 406fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee /* 407fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * If the frame is small enough we are guaranteed to have enough space that remains to 408fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * handle signals on the user stack. However, we may not have any free temp 409fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * registers at this point, so we'll temporarily add LR to the temp pool. 410fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee */ 411fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee DCHECK(!GetRegInfo(rs_rARM_LR)->IsTemp()); 412fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee MarkTemp(rs_rARM_LR); 413fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee FreeTemp(rs_rARM_LR); 4142700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, rs_rARM_SP, rs_rARM_SP, frame_size_without_spills); 415fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Clobber(rs_rARM_LR); 416fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee UnmarkTemp(rs_rARM_LR); 4172700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* branch = OpCmpBranch(kCondUlt, rs_rARM_SP, rs_r12, nullptr); 4180d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, false, frame_size_)); 4190d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 420b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } else { 4215cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Implicit stack overflow check has already been done. Just make room on the 4225cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // stack for the frame now. 423f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison OpRegImm(kOpSub, rs_rARM_SP, frame_size_without_spills); 424b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } 425efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 4262700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpSub, rs_rARM_SP, frame_size_without_spills); 427efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 428efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4291fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushIns(ArgLocs, rl_method); 430efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 431091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r0); 432091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r1); 433091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r2); 434091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r3); 435fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee FreeTemp(rs_r12); 436efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 437efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4382ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenExitSequence() { 4391fd3346740dfb7f47be9922312b68a4227fada96buzbee int spill_count = num_core_spills_ + num_fp_spills_; 440efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 441efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * In the exit path, r0/r1 are live - make sure they aren't 442efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * allocated by the register utilities as temps. 443efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 444091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r0); 445091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r1); 446efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4471fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodExit); 4482700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpAdd, rs_rARM_SP, frame_size_ - (spill_count * 4)); 449efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Need to restore any FP callee saves? */ 4501fd3346740dfb7f47be9922312b68a4227fada96buzbee if (num_fp_spills_) { 4511fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2VPopCS, num_fp_spills_); 452efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 453091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee if (core_spill_mask_ & (1 << rs_rARM_LR.GetRegNum())) { 454efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Unspill rARM_LR to rARM_PC */ 455091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee core_spill_mask_ &= ~(1 << rs_rARM_LR.GetRegNum()); 456091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee core_spill_mask_ |= (1 << rs_rARM_PC.GetRegNum()); 457efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 4581fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2Pop, core_spill_mask_); 459091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee if (!(core_spill_mask_ & (1 << rs_rARM_PC.GetRegNum()))) { 460efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* We didn't pop to rARM_PC, so must do a bv rARM_LR */ 461091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR1(kThumbBx, rs_rARM_LR.GetReg()); 462efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 463efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 464efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4653bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoruvoid ArmMir2Lir::GenSpecialExitSequence() { 466091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR1(kThumbBx, rs_rARM_LR.GetReg()); 4673bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru} 4683bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru 469f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Markostatic bool ArmUseRelativeCall(CompilationUnit* cu, const MethodReference& target_method) { 470f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Emit relative calls only within a dex file due to the limited range of the BL insn. 471f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return cu->dex_file == target_method.dex_file; 472f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 473f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 474f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko/* 475f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko * Bit of a hack here - in the absence of a real scheduling pass, 476f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko * emit the next instruction in static & direct invoke sequences. 477f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko */ 4786a3c1fcb4ba42ad4d5d142c17a3712a6ddd3866fIan Rogersstatic int ArmNextSDCallInsn(CompilationUnit* cu, CallInfo* info ATTRIBUTE_UNUSED, 479f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko int state, const MethodReference& target_method, 4806a3c1fcb4ba42ad4d5d142c17a3712a6ddd3866fIan Rogers uint32_t unused_idx ATTRIBUTE_UNUSED, 481f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko uintptr_t direct_code, uintptr_t direct_method, 482f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko InvokeType type) { 483f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get()); 484f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != 0 && direct_method != 0) { 485f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko switch (state) { 486f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 0: // Get the current Method* [sets kArg0] 487f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != static_cast<uintptr_t>(-1)) { 488f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); 489f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else if (ArmUseRelativeCall(cu, target_method)) { 490f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Defer to linker patch. 491f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 492f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCodeAddress(target_method, type, kInvokeTgt); 493f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 494f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_method != static_cast<uintptr_t>(-1)) { 495f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetReg(kArg0, kRef), direct_method); 496f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 497f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadMethodAddress(target_method, type, kArg0); 498f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 499f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 500f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko default: 501f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return -1; 502f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 503f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 504f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko RegStorage arg0_ref = cg->TargetReg(kArg0, kRef); 505f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko switch (state) { 506f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 0: // Get the current Method* [sets kArg0] 507f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // TUNING: we can save a reg copy if Method* has been promoted. 508f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCurrMethodDirect(arg0_ref); 509f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 510f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 1: // Get method->dex_cache_resolved_methods_ 511f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadRefDisp(arg0_ref, 512f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(), 513f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko arg0_ref, 514f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko kNotVolatile); 515f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Set up direct code if known. 516f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != 0) { 517f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != static_cast<uintptr_t>(-1)) { 518f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); 519f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else if (ArmUseRelativeCall(cu, target_method)) { 520f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Defer to linker patch. 521f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 522f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds()); 523f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCodeAddress(target_method, type, kInvokeTgt); 524f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 525f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 526f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 527f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 2: // Grab target method* 528f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko CHECK_EQ(cu->dex_file, target_method.dex_file); 529f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadRefDisp(arg0_ref, 530f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko mirror::ObjectArray<mirror::Object>::OffsetOfElement( 531f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko target_method.dex_method_index).Int32Value(), 532f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko arg0_ref, 533f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko kNotVolatile); 534f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 535f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 3: // Grab the code from the method* 536f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code == 0) { 537f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // kInvokeTgt := arg0_ref->entrypoint 538f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadWordDisp(arg0_ref, 5392d7210188805292e463be4bcf7a133b654d7e0eaMathieu Chartier mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset( 5402d7210188805292e463be4bcf7a133b654d7e0eaMathieu Chartier kArmPointerSize).Int32Value(), cg->TargetPtrReg(kInvokeTgt)); 541f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 542f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 543f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko default: 544f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return -1; 545f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 546f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 547f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return state + 1; 548f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 549f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 550f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoNextCallInsn ArmMir2Lir::GetNextSDCallInsn() { 551f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return ArmNextSDCallInsn; 552f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 553f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 554f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoLIR* ArmMir2Lir::CallWithLinkerFixup(const MethodReference& target_method, InvokeType type) { 555f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // For ARM, just generate a relative BL instruction that will be filled in at 'link time'. 556f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // If the target turns out to be too far, the linker will generate a thunk for dispatch. 557f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko int target_method_idx = target_method.dex_method_index; 558f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko const DexFile* target_dex_file = target_method.dex_file; 559f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 560f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Generate the call instruction and save index, dex_file, and type. 561f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // NOTE: Method deduplication takes linker patches into account, so we can just pass 0 562f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // as a placeholder for the offset. 563f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko LIR* call = RawLIR(current_dalvik_offset_, kThumb2Bl, 0, 564f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko target_method_idx, WrapPointer(const_cast<DexFile*>(target_dex_file)), type); 565f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko AppendLIR(call); 566f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_method_insns_.push_back(call); 567f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return call; 568f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 569f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 570f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoLIR* ArmMir2Lir::GenCallInsn(const MirMethodLoweringInfo& method_info) { 571f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko LIR* call_insn; 572f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (method_info.FastPath() && ArmUseRelativeCall(cu_, method_info.GetTargetMethod()) && 573f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko (method_info.GetSharpType() == kDirect || method_info.GetSharpType() == kStatic) && 574f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko method_info.DirectCode() == static_cast<uintptr_t>(-1)) { 575f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_insn = CallWithLinkerFixup(method_info.GetTargetMethod(), method_info.GetSharpType()); 576f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 577f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_insn = OpReg(kOpBlx, TargetPtrReg(kInvokeTgt)); 578f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 579f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return call_insn; 580f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 581f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 582efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} // namespace art 583