call_arm.cc revision 72f53af0307b9109a1cfc0671675ce5d45c66d3a
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 1902031b185b4653e6c72e21f7a51238b903f6d638buzbee#include "codegen_arm.h" 200b9203e7996ee1856f620f95d95d8a273c43a3dfAndreas Gampe 210b9203e7996ee1856f620f95d95d8a273c43a3dfAndreas Gampe#include "arm_lir.h" 220b9203e7996ee1856f620f95d95d8a273c43a3dfAndreas Gampe#include "base/logging.h" 230b9203e7996ee1856f620f95d95d8a273c43a3dfAndreas Gampe#include "dex/mir_graph.h" 247940e44f4517de5e2634a7e07d58d0fb26160513Brian Carlstrom#include "dex/quick/mir_to_lir-inl.h" 250b9203e7996ee1856f620f95d95d8a273c43a3dfAndreas Gampe#include "driver/compiler_driver.h" 26576ca0cd692c0b6ae70e776de91015b8ff000a08Ian Rogers#include "gc/accounting/card_table.h" 27f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko#include "mirror/art_method.h" 28f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko#include "mirror/object_array-inl.h" 29166db04e259ca51838c311891598664deeed85adIan Rogers#include "entrypoints/quick/quick_entrypoints.h" 307e499925f8b4da46ae51040e9322690f3df992e6Andreas Gampe#include "utils.h" 31efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 32efc6369224b036a1fb77849f7ae65b3492c832c0buzbeenamespace art { 33efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 34efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 35efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The sparse table in the literal pool is an array of <key,displacement> 36efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * pairs. For each set, we'll load them as a pair using ldmia. 37efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * This means that the register number of the temp we use for the key 38efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * must be lower than the reg for the displacement. 39efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 40efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * The test loop will look something like: 41efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * 422700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee * adr r_base, <table> 43fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * ldr r_val, [rARM_SP, v_reg_off] 44fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * mov r_idx, #table_size 45efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * lp: 462700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee * ldmia r_base!, {r_key, r_disp} 47fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * sub r_idx, #1 48fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * cmp r_val, r_key 49efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * ifeq 50fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * add rARM_PC, r_disp ; This is the branch from which we compute displacement 51fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee * cbnz r_idx, lp 52efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 5348971b3242e5126bcd800cc9c68df64596b43d13Andreas Gampevoid ArmMir2Lir::GenLargeSparseSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) { 548d0d03e24325463f0060abfd05dba5598044e9b1Razvan A Lupusoru const uint16_t* table = mir_graph_->GetTable(mir, table_offset); 55efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 56fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 5783cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); 5872f53af0307b9109a1cfc0671675ce5d45c66d3aChao-ying Fu tab_rec->switch_mir = mir; 59fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 601fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 610d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee uint32_t size = table[1]; 62e39c54ea575ec710d5e84277fcdcc049f8acb3c9Vladimir Marko switch_tables_.push_back(tab_rec); 63efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 64efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Get the switch value 651fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 662700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_base = AllocTemp(); 67efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Allocate key and disp temps */ 682700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_key = AllocTemp(); 692700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_disp = AllocTemp(); 70fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee // Make sure r_key's register number is less than r_disp's number for ldmia 712700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee if (r_key.GetReg() > r_disp.GetReg()) { 722700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage tmp = r_disp; 73fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee r_disp = r_key; 74fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee r_key = tmp; 75efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 76efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize a pointer to the switch table 772700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee NewLIR3(kThumb2Adr, r_base.GetReg(), 0, WrapPointer(tab_rec)); 78fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee // Set up r_idx 792700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage r_idx = AllocTemp(); 801fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(r_idx, size); 81efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Establish loop branch target 821fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 83efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Load next key/disp 84091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR2(kThumb2LdmiaWB, r_base.GetReg(), (1 << r_key.GetRegNum()) | (1 << r_disp.GetRegNum())); 852700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegReg(kOpCmp, r_key, rl_src.reg); 86efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Go if match. NOTE: No instruction set switch here - must stay Thumb2 873da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison LIR* it = OpIT(kCondEq, ""); 882700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* switch_branch = NewLIR1(kThumb2AddPCR, r_disp.GetReg()); 893da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 90fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = switch_branch; 91efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Needs to use setflags encoding here 92dbb8c49d540edd2a39076093163c7218f03aa502Vladimir Marko OpRegRegImm(kOpSub, r_idx, r_idx, 1); // For value == 1, this should set flags. 938dea81ca9c0201ceaa88086b927a5838a06a3e69Vladimir Marko DCHECK(last_lir_insn_->u.m.def_mask->HasBit(ResourceMask::kCCode)); 941fd3346740dfb7f47be9922312b68a4227fada96buzbee OpCondBranch(kCondNe, target); 95efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 96efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 97efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 9848971b3242e5126bcd800cc9c68df64596b43d13Andreas Gampevoid ArmMir2Lir::GenLargePackedSwitch(MIR* mir, uint32_t table_offset, RegLocation rl_src) { 998d0d03e24325463f0060abfd05dba5598044e9b1Razvan A Lupusoru const uint16_t* table = mir_graph_->GetTable(mir, table_offset); 100efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Add the table to the list - we'll process it later 101fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee SwitchTable *tab_rec = 10283cc7ae96d4176533dd0391a1591d321b0a87f4fVladimir Marko static_cast<SwitchTable*>(arena_->Alloc(sizeof(SwitchTable), kArenaAllocData)); 10372f53af0307b9109a1cfc0671675ce5d45c66d3aChao-ying Fu tab_rec->switch_mir = mir; 104fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->table = table; 1051fd3346740dfb7f47be9922312b68a4227fada96buzbee tab_rec->vaddr = current_dalvik_offset_; 1060d82948094d9a198e01aa95f64012bdedd5b6fc9buzbee uint32_t size = table[1]; 107e39c54ea575ec710d5e84277fcdcc049f8acb3c9Vladimir Marko switch_tables_.push_back(tab_rec); 108efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 109efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Get the switch value 1101fd3346740dfb7f47be9922312b68a4227fada96buzbee rl_src = LoadValue(rl_src, kCoreReg); 1112700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage table_base = AllocTemp(); 112efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Materialize a pointer to the switch table 1132700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee NewLIR3(kThumb2Adr, table_base.GetReg(), 0, WrapPointer(tab_rec)); 114fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee int low_key = s4FromSwitchData(&table[2]); 1152700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage keyReg; 116efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Remove the bias, if necessary 117fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (low_key == 0) { 1182700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee keyReg = rl_src.reg; 119efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 1201fd3346740dfb7f47be9922312b68a4227fada96buzbee keyReg = AllocTemp(); 1212700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, keyReg, rl_src.reg, low_key); 122efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 123efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Bounds check - if < 0 or >= size continue following switch 1241fd3346740dfb7f47be9922312b68a4227fada96buzbee OpRegImm(kOpCmp, keyReg, size-1); 1251fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* branch_over = OpCondBranch(kCondHi, NULL); 126efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 127efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // Load the displacement from the switch table 1282700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage disp_reg = AllocTemp(); 129695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee LoadBaseIndexed(table_base, keyReg, disp_reg, 2, k32); 130efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 131efc6369224b036a1fb77849f7ae65b3492c832c0buzbee // ..and go! NOTE: No instruction set switch here - must stay Thumb2 1322700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* switch_branch = NewLIR1(kThumb2AddPCR, disp_reg.GetReg()); 133fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee tab_rec->anchor = switch_branch; 134efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 135fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee /* branch_over target here */ 1361fd3346740dfb7f47be9922312b68a4227fada96buzbee LIR* target = NewLIR0(kPseudoTargetLabel); 137fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee branch_over->target = target; 138efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 139efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 140efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 141d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * Handle unlocked -> thin locked transition inline or else call out to quick entrypoint. For more 142d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * details see monitor.cc. 143efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 1442ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMonitorEnter(int opt_flags, RegLocation rl_src) { 1451fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 146695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee // FIXME: need separate LoadValues for object references. 1472700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadValueDirectFixed(rl_src, rs_r0); // Get obj 1481fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 149d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers constexpr bool kArchVariantHasGoodBranchPredictor = false; // TODO: true if cortex-A15. 150d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (kArchVariantHasGoodBranchPredictor) { 151f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison LIR* null_check_branch = nullptr; 152d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) { 153d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch = nullptr; // No null check. 154d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 155d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // If the null-check fails its handled by the slow-path to reduce exception related meta-data. 15669dfe51b684dd9d510dbcb63295fe180f998efdeDave Allison if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) { 157f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison null_check_branch = OpCmpImmBranch(kCondEq, rs_r0, 0, NULL); 158f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison } 159d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 160695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 161091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR3(kThumb2Ldrex, rs_r1.GetReg(), rs_r0.GetReg(), 162091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 163f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 1642700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* not_unlocked_branch = OpCmpImmBranch(kCondNe, rs_r1, 0, NULL); 165091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR4(kThumb2Strex, rs_r1.GetReg(), rs_r2.GetReg(), rs_r0.GetReg(), 166091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 1672700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* lock_success_branch = OpCmpImmBranch(kCondEq, rs_r1, 0, NULL); 168d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 169d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 170d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* slow_path_target = NewLIR0(kPseudoTargetLabel); 171d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers not_unlocked_branch->target = slow_path_target; 172d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (null_check_branch != nullptr) { 173d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch->target = slow_path_target; 174d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 175d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // TODO: move to a slow path. 176d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artLockObjectFromCode(obj); 177dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pLockObject).Int32Value(), rs_rARM_LR); 17831c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 1792700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx, rs_rARM_LR); 180d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 181d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 182d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* success_target = NewLIR0(kPseudoTargetLabel); 183d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers lock_success_branch->target = success_target; 18448f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kLoadAny); 185d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 186d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Explicit null-check as slow-path is entered using an IT. 1872700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee GenNullCheck(rs_r0, opt_flags); 188695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 189091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR3(kThumb2Ldrex, rs_r1.GetReg(), rs_r0.GetReg(), 190091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 191f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 1922700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpCmp, rs_r1, 0); 1933da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison LIR* it = OpIT(kCondEq, ""); 194091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR4(kThumb2Strex/*eq*/, rs_r1.GetReg(), rs_r2.GetReg(), rs_r0.GetReg(), 195091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee mirror::Object::MonitorOffset().Int32Value() >> 2); 1963da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 1972700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpCmp, rs_r1, 0); 1983da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison it = OpIT(kCondNe, "T"); 199d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artLockObjectFromCode(self, obj); 200091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LoadWordDisp/*ne*/(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pLockObject).Int32Value(), 201091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee rs_rARM_LR); 20231c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2032700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx/*ne*/, rs_rARM_LR); 2043da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 205d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 20648f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kLoadAny); 207d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 208efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 209efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 210efc6369224b036a1fb77849f7ae65b3492c832c0buzbee/* 211d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * Handle thin locked -> unlocked transition inline or else call out to quick entrypoint. For more 212d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * details see monitor.cc. Note the code below doesn't use ldrex/strex as the code holds the lock 213d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers * and can only give away ownership if its suspended. 214efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 2152ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMonitorExit(int opt_flags, RegLocation rl_src) { 2161fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushAllRegs(); 2172700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadValueDirectFixed(rl_src, rs_r0); // Get obj 2181fd3346740dfb7f47be9922312b68a4227fada96buzbee LockCallTemps(); // Prepare for explicit register usage 219f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison LIR* null_check_branch = nullptr; 220695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 221d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers constexpr bool kArchVariantHasGoodBranchPredictor = false; // TODO: true if cortex-A15. 222d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (kArchVariantHasGoodBranchPredictor) { 223d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if ((opt_flags & MIR_IGNORE_NULL_CHECK) && !(cu_->disable_opt & (1 << kNullCheckElimination))) { 224d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch = nullptr; // No null check. 225d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 226d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // If the null-check fails its handled by the slow-path to reduce exception related meta-data. 22769dfe51b684dd9d510dbcb63295fe180f998efdeDave Allison if (!cu_->compiler_driver->GetCompilerOptions().GetImplicitNullChecks()) { 228f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison null_check_branch = OpCmpImmBranch(kCondEq, rs_r0, 0, NULL); 229f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison } 230d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 231695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r1); 232f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison MarkPossibleNullPointerException(opt_flags); 2332700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadConstantNoClobber(rs_r3, 0); 2342700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* slow_unlock_branch = OpCmpBranch(kCondNe, rs_r1, rs_r2, NULL); 23548f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm GenMemBarrier(kAnyStore); 236695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Store32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r3); 237d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* unlock_success_branch = OpUnconditionalBranch(NULL); 238d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 239d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* slow_path_target = NewLIR0(kPseudoTargetLabel); 240d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers slow_unlock_branch->target = slow_path_target; 241d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers if (null_check_branch != nullptr) { 242d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers null_check_branch->target = slow_path_target; 243d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 244d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // TODO: move to a slow path. 245d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - artUnlockObjectFromCode(obj); 246dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pUnlockObject).Int32Value(), rs_rARM_LR); 24731c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2482700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx, rs_rARM_LR); 249d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 250d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers 251d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers LIR* success_target = NewLIR0(kPseudoTargetLabel); 252d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers unlock_success_branch->target = success_target; 253d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } else { 254d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Explicit null-check as slow-path is entered using an IT. 2552700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee GenNullCheck(rs_r0, opt_flags); 256695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r1); // Get lock 257b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison MarkPossibleNullPointerException(opt_flags); 258695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Load32Disp(rs_rARM_SELF, Thread::ThinLockIdOffset<4>().Int32Value(), rs_r2); 2592700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LoadConstantNoClobber(rs_r3, 0); 260d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Is lock unheld on lock or held by us (==thread_id) on unlock? 2612700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegReg(kOpCmp, rs_r1, rs_r2); 262b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe 263b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe LIR* it = OpIT(kCondEq, "EE"); 26448f5c47907654350ce30a8dfdda0e977f5d3d39fHans Boehm if (GenMemBarrier(kAnyStore)) { 265b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe UpdateIT(it, "TEE"); 266b14329f90f725af0f67c45dfcb94933a426d63ceAndreas Gampe } 267695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee Store32Disp/*eq*/(rs_r0, mirror::Object::MonitorOffset().Int32Value(), rs_r3); 268d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers // Go expensive route - UnlockObjectFromCode(obj); 269dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp/*ne*/(rs_rARM_SELF, QUICK_ENTRYPOINT_OFFSET(4, pUnlockObject).Int32Value(), 2702700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee rs_rARM_LR); 27131c2aac7137b69d5622eea09597500731fbee2efVladimir Marko ClobberCallerSave(); 2722700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* call_inst = OpReg(kOpBlx/*ne*/, rs_rARM_LR); 2733da67a558f1fd3d8a157d8044d521753f3f99ac8Dave Allison OpEndIT(it); 274d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers MarkSafepointPC(call_inst); 275d9c4fc94fa618617f94e1de9af5f034549100753Ian Rogers } 276efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 277efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 2782ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenMoveException(RegLocation rl_dest) { 279dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers int ex_offset = Thread::ExceptionOffset<4>().Int32Value(); 280a0cd2d701f29e0bc6275f1b13c0edfd4ec391879buzbee RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true); 281a0cd2d701f29e0bc6275f1b13c0edfd4ec391879buzbee RegStorage reset_reg = AllocTempRef(); 2823c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe LoadRefDisp(rs_rARM_SELF, ex_offset, rl_result.reg, kNotVolatile); 2831fd3346740dfb7f47be9922312b68a4227fada96buzbee LoadConstant(reset_reg, 0); 2843c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe StoreRefDisp(rs_rARM_SELF, ex_offset, reset_reg, kNotVolatile); 2851fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reset_reg); 2861fd3346740dfb7f47be9922312b68a4227fada96buzbee StoreValue(rl_dest, rl_result); 2871eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao} 2881eab958cde39a7e2f0e5ce01730f4e2e75c72519jeffhao 289bf535be514570fc33fc0a6347a87dcd9097d9bfdVladimir Markovoid ArmMir2Lir::UnconditionallyMarkGCCard(RegStorage tgt_addr_reg) { 2902700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage reg_card_base = AllocTemp(); 2912700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee RegStorage reg_card_no = AllocTemp(); 292dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers LoadWordDisp(rs_rARM_SELF, Thread::CardTableOffset<4>().Int32Value(), reg_card_base); 2931d54e73444e017d3a65234e0f193846f3e27472bIan Rogers OpRegRegImm(kOpLsr, reg_card_no, tgt_addr_reg, gc::accounting::CardTable::kCardShift); 2942700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee StoreBaseIndexed(reg_card_base, reg_card_no, reg_card_base, 0, kUnsignedByte); 2951fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_base); 2961fd3346740dfb7f47be9922312b68a4227fada96buzbee FreeTemp(reg_card_no); 297efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 298efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 2992ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenEntrySequence(RegLocation* ArgLocs, RegLocation rl_method) { 3001fd3346740dfb7f47be9922312b68a4227fada96buzbee int spill_count = num_core_spills_ + num_fp_spills_; 301efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 302efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * On entry, r0, r1, r2 & r3 are live. Let the register allocation 303efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * mechanism know so it doesn't try to use any of them when 304efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * expanding the frame or flushing. This leaves the utility 305efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * code with a single temp: r12. This should be enough. 306efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 307091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r0); 308091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r1); 309091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r2); 310091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r3); 311efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 312efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 313efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * We can safely skip the stack overflow check if we're 314efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * a leaf *and* our frame size < fudge factor. 315efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 316648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison bool skip_overflow_check = mir_graph_->MethodIsLeaf() && !FrameNeedsStackCheck(frame_size_, kArm); 3171fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodEntry); 318648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison const size_t kStackOverflowReservedUsableBytes = GetStackOverflowReservedBytes(kArm); 3197cd26f355ba83be75b72ed628ed5ee84a3245c4fAndreas Gampe bool large_frame = (static_cast<size_t>(frame_size_) > kStackOverflowReservedUsableBytes); 320648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison bool generate_explicit_stack_overflow_check = large_frame || 321648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison !cu_->compiler_driver->GetCompilerOptions().GetImplicitStackOverflowChecks(); 322fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 323648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison if (generate_explicit_stack_overflow_check) { 324fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee if (!large_frame) { 325fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee /* Load stack limit */ 326fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee LockTemp(rs_r12); 327fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Load32Disp(rs_rARM_SELF, Thread::StackEndOffset<4>().Int32Value(), rs_r12); 328fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee } 3295cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison } else { 3305cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Implicit stack overflow check. 3315cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Generate a load from [sp, #-overflowsize]. If this is in the stack 3325cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // redzone we will get a segmentation fault. 3335cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // 3345cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Caveat coder: if someone changes the kStackOverflowReservedBytes value 3355cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // we need to make sure that it's loadable in an immediate field of 3365cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // a sub instruction. Otherwise we will get a temp allocation and the 3375cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // code size will increase. 3385cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // 3395cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // This is done before the callee save instructions to avoid any possibility 3405cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // of these overflowing. This uses r12 and that's never saved in a callee 3415cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // save. 3427ea6f79bbddd69d5db86a8656a31aaaf64ae2582Andreas Gampe OpRegRegImm(kOpSub, rs_r12, rs_rARM_SP, GetStackOverflowReservedBytes(kArm)); 3435cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison Load32Disp(rs_r12, 0, rs_r12); 3445cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison MarkPossibleStackOverflowException(); 345b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } 346efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 347efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Spill core callee saves */ 3489d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko if (core_spill_mask_ == 0u) { 3499d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // Nothing to spill. 3509d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else if ((core_spill_mask_ & ~(0xffu | (1u << rs_rARM_LR.GetRegNum()))) == 0u) { 3519d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // Spilling only low regs and/or LR, use 16-bit PUSH. 3529d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko constexpr int lr_bit_shift = rs_rARM_LR.GetRegNum() - 8; 3539d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumbPush, 3549d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko (core_spill_mask_ & ~(1u << rs_rARM_LR.GetRegNum())) | 3559d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko ((core_spill_mask_ & (1u << rs_rARM_LR.GetRegNum())) >> lr_bit_shift)); 3569d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else if (IsPowerOfTwo(core_spill_mask_)) { 3579d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // kThumb2Push cannot be used to spill a single register. 3589d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumb2Push1, CTZ(core_spill_mask_)); 3599d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else { 3609d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumb2Push, core_spill_mask_); 3619d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } 362efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Need to spill any FP regs? */ 3631fd3346740dfb7f47be9922312b68a4227fada96buzbee if (num_fp_spills_) { 364efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 365efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * NOTE: fp spills are a little different from core spills in that 366efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * they are pushed as a contiguous block. When promoting from 367efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * the fp set, we must allocate all singles from s16..highest-promoted 368efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 3691fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2VPushCS, num_fp_spills_); 370efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 3710d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier 37205a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier const int spill_size = spill_count * 4; 37305a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier const int frame_size_without_spills = frame_size_ - spill_size; 374fa57c47f1b72916371a9c2d5c1389219bce655b4buzbee if (!skip_overflow_check) { 375648d7112609dd19c38131b3e71c37bcbbd19d11eDave Allison if (generate_explicit_stack_overflow_check) { 3760d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier class StackOverflowSlowPath : public LIRSlowPath { 3770d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier public: 3780d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier StackOverflowSlowPath(Mir2Lir* m2l, LIR* branch, bool restore_lr, size_t sp_displace) 3790d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier : LIRSlowPath(m2l, m2l->GetCurrentDexPc(), branch, nullptr), restore_lr_(restore_lr), 3800d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier sp_displace_(sp_displace) { 3810d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3820d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier void Compile() OVERRIDE { 3830d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ResetRegPool(); 3840d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ResetDefTracking(); 3856ffcfa04ebb2660e238742a6000f5ccebdd5df15Mingyao Yang GenerateTargetLabel(kPseudoThrowTarget); 3860d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier if (restore_lr_) { 3872700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->LoadWordDisp(rs_rARM_SP, sp_displace_ - 4, rs_rARM_LR); 3880d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3892700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->OpRegImm(kOpAdd, rs_rARM_SP, sp_displace_); 3900d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier m2l_->ClobberCallerSave(); 391dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers ThreadOffset<4> func_offset = QUICK_ENTRYPOINT_OFFSET(4, pThrowStackOverflow); 3920d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // Load the entrypoint directly into the pc instead of doing a load + branch. Assumes 3930d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // codegen and target are in thumb2 mode. 394695d13a82d6dd801aaa57a22a9d4b3f6db0d0fdbbuzbee // NOTE: native pointer. 3952700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee m2l_->LoadWordDisp(rs_rARM_SELF, func_offset.Int32Value(), rs_rARM_PC); 3960d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 3970d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier 3980d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier private: 3990d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier const bool restore_lr_; 4000d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier const size_t sp_displace_; 4010d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier }; 402fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee if (large_frame) { 403fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee // Note: may need a temp reg, and we only have r12 free at this point. 4042700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, rs_rARM_LR, rs_rARM_SP, frame_size_without_spills); 405fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Load32Disp(rs_rARM_SELF, Thread::StackEndOffset<4>().Int32Value(), rs_r12); 4062700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* branch = OpCmpBranch(kCondUlt, rs_rARM_LR, rs_r12, nullptr); 4070d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier // Need to restore LR since we used it as a temp. 40805a48b1f8e62564abb7c2fe674e3234d5861647fMathieu Chartier AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, true, spill_size)); 4092700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegCopy(rs_rARM_SP, rs_rARM_LR); // Establish stack 4100d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } else { 411fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee /* 412fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * If the frame is small enough we are guaranteed to have enough space that remains to 413fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * handle signals on the user stack. However, we may not have any free temp 414fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee * registers at this point, so we'll temporarily add LR to the temp pool. 415fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee */ 416fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee DCHECK(!GetRegInfo(rs_rARM_LR)->IsTemp()); 417fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee MarkTemp(rs_rARM_LR); 418fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee FreeTemp(rs_rARM_LR); 4192700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegRegImm(kOpSub, rs_rARM_SP, rs_rARM_SP, frame_size_without_spills); 420fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee Clobber(rs_rARM_LR); 421fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee UnmarkTemp(rs_rARM_LR); 4222700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee LIR* branch = OpCmpBranch(kCondUlt, rs_rARM_SP, rs_r12, nullptr); 4230d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier AddSlowPath(new(arena_)StackOverflowSlowPath(this, branch, false, frame_size_)); 4240d507d1e0441e6bd6f3affca3a60774ea920f317Mathieu Chartier } 425b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } else { 4265cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // Implicit stack overflow check has already been done. Just make room on the 4275cd33753b96d92c03e3cb10cb802e68fb6ef2f21Dave Allison // stack for the frame now. 428f943914730db8ad2ff03d49a2cacd31885d08fd7Dave Allison OpRegImm(kOpSub, rs_rARM_SP, frame_size_without_spills); 429b373e091eac39b1a79c11f2dcbd610af01e9e8a9Dave Allison } 430efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } else { 4312700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpSub, rs_rARM_SP, frame_size_without_spills); 432efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 433efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4341fd3346740dfb7f47be9922312b68a4227fada96buzbee FlushIns(ArgLocs, rl_method); 435efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 436091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r0); 437091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r1); 438091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r2); 439091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee FreeTemp(rs_r3); 440fe8cf8b1c1b4af0f8b4bb639576f7a5fc59f52eaBill Buzbee FreeTemp(rs_r12); 441efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 442efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4432ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstromvoid ArmMir2Lir::GenExitSequence() { 4441fd3346740dfb7f47be9922312b68a4227fada96buzbee int spill_count = num_core_spills_ + num_fp_spills_; 445efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* 446efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * In the exit path, r0/r1 are live - make sure they aren't 447efc6369224b036a1fb77849f7ae65b3492c832c0buzbee * allocated by the register utilities as temps. 448efc6369224b036a1fb77849f7ae65b3492c832c0buzbee */ 449091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r0); 450091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee LockTemp(rs_r1); 451efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4521fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR0(kPseudoMethodExit); 4532700f7e1edbcd2518f4978e4cd0e05a4149f91b6buzbee OpRegImm(kOpAdd, rs_rARM_SP, frame_size_ - (spill_count * 4)); 454efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Need to restore any FP callee saves? */ 4551fd3346740dfb7f47be9922312b68a4227fada96buzbee if (num_fp_spills_) { 4561fd3346740dfb7f47be9922312b68a4227fada96buzbee NewLIR1(kThumb2VPopCS, num_fp_spills_); 457efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 4589d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko if ((core_spill_mask_ & (1 << rs_rARM_LR.GetRegNum())) != 0) { 459efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* Unspill rARM_LR to rARM_PC */ 460091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee core_spill_mask_ &= ~(1 << rs_rARM_LR.GetRegNum()); 461091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee core_spill_mask_ |= (1 << rs_rARM_PC.GetRegNum()); 462efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 4639d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko if (core_spill_mask_ == 0u) { 4649d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // Nothing to unspill. 4659d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else if ((core_spill_mask_ & ~(0xffu | (1u << rs_rARM_PC.GetRegNum()))) == 0u) { 4669d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // Unspilling only low regs and/or PC, use 16-bit POP. 4679d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko constexpr int pc_bit_shift = rs_rARM_PC.GetRegNum() - 8; 4689d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumbPop, 4699d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko (core_spill_mask_ & ~(1u << rs_rARM_PC.GetRegNum())) | 4709d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko ((core_spill_mask_ & (1u << rs_rARM_PC.GetRegNum())) >> pc_bit_shift)); 4719d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else if (IsPowerOfTwo(core_spill_mask_)) { 4729d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko // kThumb2Pop cannot be used to unspill a single register. 4739d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumb2Pop1, CTZ(core_spill_mask_)); 4749d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } else { 4759d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko NewLIR1(kThumb2Pop, core_spill_mask_); 4769d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko } 4779d5c25acdd1e9635fde8f8bf52a126b4d371dabdVladimir Marko if ((core_spill_mask_ & (1 << rs_rARM_PC.GetRegNum())) == 0) { 478efc6369224b036a1fb77849f7ae65b3492c832c0buzbee /* We didn't pop to rARM_PC, so must do a bv rARM_LR */ 479091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR1(kThumbBx, rs_rARM_LR.GetReg()); 480efc6369224b036a1fb77849f7ae65b3492c832c0buzbee } 481efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} 482efc6369224b036a1fb77849f7ae65b3492c832c0buzbee 4833bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoruvoid ArmMir2Lir::GenSpecialExitSequence() { 484091cc408e9dc87e60fb64c61e186bea568fc3d3abuzbee NewLIR1(kThumbBx, rs_rARM_LR.GetReg()); 4853bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru} 4863bc01748ef1c3e43361bdf520947a9d656658bf8Razvan A Lupusoru 487f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Markostatic bool ArmUseRelativeCall(CompilationUnit* cu, const MethodReference& target_method) { 488f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Emit relative calls only within a dex file due to the limited range of the BL insn. 489f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return cu->dex_file == target_method.dex_file; 490f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 491f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 492f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko/* 493f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko * Bit of a hack here - in the absence of a real scheduling pass, 494f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko * emit the next instruction in static & direct invoke sequences. 495f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko */ 4966a3c1fcb4ba42ad4d5d142c17a3712a6ddd3866fIan Rogersstatic int ArmNextSDCallInsn(CompilationUnit* cu, CallInfo* info ATTRIBUTE_UNUSED, 497f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko int state, const MethodReference& target_method, 4986a3c1fcb4ba42ad4d5d142c17a3712a6ddd3866fIan Rogers uint32_t unused_idx ATTRIBUTE_UNUSED, 499f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko uintptr_t direct_code, uintptr_t direct_method, 500f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko InvokeType type) { 501f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get()); 502f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != 0 && direct_method != 0) { 503f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko switch (state) { 504f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 0: // Get the current Method* [sets kArg0] 505f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != static_cast<uintptr_t>(-1)) { 506f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); 507f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else if (ArmUseRelativeCall(cu, target_method)) { 508f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Defer to linker patch. 509f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 510f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCodeAddress(target_method, type, kInvokeTgt); 511f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 512f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_method != static_cast<uintptr_t>(-1)) { 513f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetReg(kArg0, kRef), direct_method); 514f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 515f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadMethodAddress(target_method, type, kArg0); 516f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 517f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 518f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko default: 519f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return -1; 520f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 521f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 522f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko RegStorage arg0_ref = cg->TargetReg(kArg0, kRef); 523f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko switch (state) { 524f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 0: // Get the current Method* [sets kArg0] 525f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // TUNING: we can save a reg copy if Method* has been promoted. 526f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCurrMethodDirect(arg0_ref); 527f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 528f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 1: // Get method->dex_cache_resolved_methods_ 529f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadRefDisp(arg0_ref, 530f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(), 531f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko arg0_ref, 532f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko kNotVolatile); 533f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Set up direct code if known. 534f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != 0) { 535f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code != static_cast<uintptr_t>(-1)) { 536f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadConstant(cg->TargetPtrReg(kInvokeTgt), direct_code); 537f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else if (ArmUseRelativeCall(cu, target_method)) { 538f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Defer to linker patch. 539f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 540f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds()); 541f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadCodeAddress(target_method, type, kInvokeTgt); 542f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 543f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 544f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 545f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 2: // Grab target method* 546f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko CHECK_EQ(cu->dex_file, target_method.dex_file); 547f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadRefDisp(arg0_ref, 548f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko mirror::ObjectArray<mirror::Object>::OffsetOfElement( 549f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko target_method.dex_method_index).Int32Value(), 550f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko arg0_ref, 551f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko kNotVolatile); 552f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 553f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko case 3: // Grab the code from the method* 554f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (direct_code == 0) { 555f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // kInvokeTgt := arg0_ref->entrypoint 556f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko cg->LoadWordDisp(arg0_ref, 5572d7210188805292e463be4bcf7a133b654d7e0eaMathieu Chartier mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset( 5582d7210188805292e463be4bcf7a133b654d7e0eaMathieu Chartier kArmPointerSize).Int32Value(), cg->TargetPtrReg(kInvokeTgt)); 559f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 560f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko break; 561f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko default: 562f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return -1; 563f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 564f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 565f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return state + 1; 566f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 567f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 568f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoNextCallInsn ArmMir2Lir::GetNextSDCallInsn() { 569f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return ArmNextSDCallInsn; 570f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 571f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 572f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoLIR* ArmMir2Lir::CallWithLinkerFixup(const MethodReference& target_method, InvokeType type) { 573f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // For ARM, just generate a relative BL instruction that will be filled in at 'link time'. 574f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // If the target turns out to be too far, the linker will generate a thunk for dispatch. 575f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko int target_method_idx = target_method.dex_method_index; 576f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko const DexFile* target_dex_file = target_method.dex_file; 577f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 578f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // Generate the call instruction and save index, dex_file, and type. 579f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // NOTE: Method deduplication takes linker patches into account, so we can just pass 0 580f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko // as a placeholder for the offset. 581f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko LIR* call = RawLIR(current_dalvik_offset_, kThumb2Bl, 0, 582f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko target_method_idx, WrapPointer(const_cast<DexFile*>(target_dex_file)), type); 583f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko AppendLIR(call); 584f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_method_insns_.push_back(call); 585f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return call; 586f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 587f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 588f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir MarkoLIR* ArmMir2Lir::GenCallInsn(const MirMethodLoweringInfo& method_info) { 589f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko LIR* call_insn; 590f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko if (method_info.FastPath() && ArmUseRelativeCall(cu_, method_info.GetTargetMethod()) && 591f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko (method_info.GetSharpType() == kDirect || method_info.GetSharpType() == kStatic) && 592f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko method_info.DirectCode() == static_cast<uintptr_t>(-1)) { 593f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_insn = CallWithLinkerFixup(method_info.GetTargetMethod(), method_info.GetSharpType()); 594f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } else { 595f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko call_insn = OpReg(kOpBlx, TargetPtrReg(kInvokeTgt)); 596f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko } 597f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko return call_insn; 598f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko} 599f4da675bbc4615c5f854c81964cac9dd1153baeaVladimir Marko 600efc6369224b036a1fb77849f7ae65b3492c832c0buzbee} // namespace art 601