1dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko/* 2dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * Copyright (C) 2015 The Android Open Source Project 3dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * 4dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * Licensed under the Apache License, Version 2.0 (the "License"); 5dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * you may not use this file except in compliance with the License. 6dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * You may obtain a copy of the License at 7dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * 8dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * http://www.apache.org/licenses/LICENSE-2.0 9dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * 10dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * Unless required by applicable law or agreed to in writing, software 11dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * distributed under the License is distributed on an "AS IS" BASIS, 12dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * See the License for the specific language governing permissions and 14dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko * limitations under the License. 15dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko */ 16dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 17dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "sharpening.h" 18dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 19db8e62dca9232634daecb548bd51f3186004535cVladimir Marko#include "base/casts.h" 20cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "class_linker.h" 21dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "code_generator.h" 22cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "driver/dex_compilation_unit.h" 23dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "utils/dex_cache_arrays_layout-inl.h" 24dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "driver/compiler_driver.h" 25cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "gc/heap.h" 26cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "gc/space/image_space.h" 27cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "handle_scope-inl.h" 28cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "mirror/dex_cache.h" 29cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "mirror/string.h" 30dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko#include "nodes.h" 31d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko#include "runtime.h" 32cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko#include "scoped_thread_state_change.h" 33dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 34dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Markonamespace art { 35dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 36dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Markovoid HSharpening::Run() { 37dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // We don't care about the order of the blocks here. 38dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko for (HBasicBlock* block : graph_->GetReversePostOrder()) { 39dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko for (HInstructionIterator it(block->GetInstructions()); !it.Done(); it.Advance()) { 40dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HInstruction* instruction = it.Current(); 41dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (instruction->IsInvokeStaticOrDirect()) { 42dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko ProcessInvokeStaticOrDirect(instruction->AsInvokeStaticOrDirect()); 43cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } else if (instruction->IsLoadString()) { 44cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko ProcessLoadString(instruction->AsLoadString()); 45dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 46dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // TODO: Move the sharpening of invoke-virtual/-interface/-super from HGraphBuilder 47dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // here. Rewrite it to avoid the CompilerDriver's reliance on verifier data 48dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // because we know the type better when inlining. 49cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // TODO: HLoadClass - select better load kind if available. 50dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 51dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 52dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko} 53dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 54dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Markovoid HSharpening::ProcessInvokeStaticOrDirect(HInvokeStaticOrDirect* invoke) { 55dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (invoke->IsStringInit()) { 56dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // Not using the dex cache arrays. But we could still try to use a better dispatch... 57dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // TODO: Use direct_method and direct_code for the appropriate StringFactory method. 58dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko return; 59dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 60dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 61dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // TODO: Avoid CompilerDriver. 62e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray InvokeType original_invoke_type = invoke->GetOriginalInvokeType(); 63e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray InvokeType optimized_invoke_type = original_invoke_type; 64dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko MethodReference target_method(&graph_->GetDexFile(), invoke->GetDexMethodIndex()); 65dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko int vtable_idx; 66dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko uintptr_t direct_code, direct_method; 67dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko bool success = compiler_driver_->ComputeInvokeInfo( 68dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko &compilation_unit_, 69dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko invoke->GetDexPc(), 70dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko false /* update_stats: already updated in builder */, 71dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko true /* enable_devirtualization */, 72e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray &optimized_invoke_type, 73dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko &target_method, 74dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko &vtable_idx, 75dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko &direct_code, 76dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko &direct_method); 77e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray if (!success) { 78e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray // TODO: try using kDexCachePcRelative. It's always a valid method load 79e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray // kind as long as it's supported by the codegen 80e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray return; 81e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray } 82e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray invoke->SetOptimizedInvokeType(optimized_invoke_type); 83e523423a053af5cb55837f07ceae9ff2fd581712Nicolas Geoffray invoke->SetTargetMethod(target_method); 84dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 85dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HInvokeStaticOrDirect::MethodLoadKind method_load_kind; 86dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HInvokeStaticOrDirect::CodePtrLocation code_ptr_location; 87dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko uint64_t method_load_data = 0u; 88dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko uint64_t direct_code_ptr = 0u; 89dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 90dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HGraph* outer_graph = codegen_->GetGraph(); 91dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (target_method.dex_file == &outer_graph->GetDexFile() && 92dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko target_method.dex_method_index == outer_graph->GetMethodIdx()) { 93dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind = HInvokeStaticOrDirect::MethodLoadKind::kRecursive; 94dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallSelf; 95dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { 96d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko bool use_pc_relative_instructions = 97d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko ((direct_method == 0u || direct_code == static_cast<uintptr_t>(-1))) && 98d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko ContainsElement(compiler_driver_->GetDexFilesForOatFile(), target_method.dex_file); 99dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (direct_method != 0u) { // Should we use a direct pointer to the method? 100d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko // Note: For JIT, kDirectAddressWithFixup doesn't make sense at all and while 101d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko // kDirectAddress would be fine for image methods, we don't support it at the moment. 102e5de54cfab5f14ba0b8ff25d8d60901c7021943fCalin Juravle DCHECK(!Runtime::Current()->UseJitCompilation()); 103dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (direct_method != static_cast<uintptr_t>(-1)) { // Is the method pointer known now? 104dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind = HInvokeStaticOrDirect::MethodLoadKind::kDirectAddress; 105dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_data = direct_method; 106dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { // The direct pointer will be known at link time. 107dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind = HInvokeStaticOrDirect::MethodLoadKind::kDirectAddressWithFixup; 108dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 109dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { // Use dex cache. 110dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko DCHECK_EQ(target_method.dex_file, &graph_->GetDexFile()); 111d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko if (use_pc_relative_instructions) { // Can we use PC-relative access to the dex cache arrays? 112e5de54cfab5f14ba0b8ff25d8d60901c7021943fCalin Juravle DCHECK(!Runtime::Current()->UseJitCompilation()); 113dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind = HInvokeStaticOrDirect::MethodLoadKind::kDexCachePcRelative; 114d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko DexCacheArraysLayout layout(GetInstructionSetPointerSize(codegen_->GetInstructionSet()), 115d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko &graph_->GetDexFile()); 116dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_data = layout.MethodOffset(target_method.dex_method_index); 117dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { // We must go through the ArtMethod's pointer to resolved methods. 118dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind = HInvokeStaticOrDirect::MethodLoadKind::kDexCacheViaMethod; 119dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 120dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 121dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (direct_code != 0u) { // Should we use a direct pointer to the code? 122d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko // Note: For JIT, kCallPCRelative and kCallDirectWithFixup don't make sense at all and 123d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko // while kCallDirect would be fine for image methods, we don't support it at the moment. 124e5de54cfab5f14ba0b8ff25d8d60901c7021943fCalin Juravle DCHECK(!Runtime::Current()->UseJitCompilation()); 125dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (direct_code != static_cast<uintptr_t>(-1)) { // Is the code pointer known now? 126dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallDirect; 127dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko direct_code_ptr = direct_code; 128d1eaf0dc9abc42dbcbbd9c4b98bf930ae5f394f3Vladimir Marko } else if (use_pc_relative_instructions) { 129dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // Use PC-relative calls for invokes within a multi-dex oat file. 130dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallPCRelative; 131dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { // The direct pointer will be known at link time. 132dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // NOTE: This is used for app->boot calls when compiling an app against 133dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // a relocatable but not yet relocated image. 134dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallDirectWithFixup; 135dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 136dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } else { // We must use the code pointer from the ArtMethod. 137dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallArtMethod; 138dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 139dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 140dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 141dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko if (graph_->IsDebuggable()) { 142dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // For debuggable apps always use the code pointer from ArtMethod 143dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko // so that we don't circumvent instrumentation stubs if installed. 144dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko code_ptr_location = HInvokeStaticOrDirect::CodePtrLocation::kCallArtMethod; 145dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko } 146dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 147dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HInvokeStaticOrDirect::DispatchInfo desired_dispatch_info = { 148dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko method_load_kind, code_ptr_location, method_load_data, direct_code_ptr 149dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko }; 150dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko HInvokeStaticOrDirect::DispatchInfo dispatch_info = 151dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko codegen_->GetSupportedInvokeStaticOrDirectDispatch(desired_dispatch_info, 152dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko invoke->GetTargetMethod()); 153dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko invoke->SetDispatchInfo(dispatch_info); 154dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko} 155dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko 156cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Markovoid HSharpening::ProcessLoadString(HLoadString* load_string) { 157cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko DCHECK_EQ(load_string->GetLoadKind(), HLoadString::LoadKind::kDexCacheViaMethod); 158cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko DCHECK(!load_string->IsInDexCache()); 159cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko 160cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko const DexFile& dex_file = load_string->GetDexFile(); 161cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko uint32_t string_index = load_string->GetStringIndex(); 162cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko 163cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko bool is_in_dex_cache = false; 164cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko HLoadString::LoadKind desired_load_kind; 165cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko uint64_t address = 0u; // String or dex cache element address. 166cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko { 167cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko Runtime* runtime = Runtime::Current(); 168cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko ClassLinker* class_linker = runtime->GetClassLinker(); 169cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko ScopedObjectAccess soa(Thread::Current()); 170cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko StackHandleScope<1> hs(soa.Self()); 171cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko Handle<mirror::DexCache> dex_cache = IsSameDexFile(dex_file, *compilation_unit_.GetDexFile()) 172cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko ? compilation_unit_.GetDexCache() 173cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko : hs.NewHandle(class_linker->FindDexCache(soa.Self(), dex_file)); 174cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko 175cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko if (compiler_driver_->IsBootImage()) { 176cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // Compiling boot image. Resolve the string and allocate it if needed. 177e5de54cfab5f14ba0b8ff25d8d60901c7021943fCalin Juravle DCHECK(!runtime->UseJitCompilation()); 178cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko mirror::String* string = class_linker->ResolveString(dex_file, string_index, dex_cache); 179cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko CHECK(string != nullptr); 180cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko if (!compiler_driver_->GetSupportBootImageFixup()) { 181cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // MIPS/MIPS64 or compiler_driver_test. Do not sharpen. 182cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko desired_load_kind = HLoadString::LoadKind::kDexCacheViaMethod; 183cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } else { 184db8e62dca9232634daecb548bd51f3186004535cVladimir Marko DCHECK(ContainsElement(compiler_driver_->GetDexFilesForOatFile(), &dex_file)); 185cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko is_in_dex_cache = true; 186cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko desired_load_kind = codegen_->GetCompilerOptions().GetCompilePic() 187cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko ? HLoadString::LoadKind::kBootImageLinkTimePcRelative 188cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko : HLoadString::LoadKind::kBootImageLinkTimeAddress; 189cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 190e5de54cfab5f14ba0b8ff25d8d60901c7021943fCalin Juravle } else if (runtime->UseJitCompilation()) { 191db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // TODO: Make sure we don't set the "compile PIC" flag for JIT as that's bogus. 192db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // DCHECK(!codegen_->GetCompilerOptions().GetCompilePic()); 193db8e62dca9232634daecb548bd51f3186004535cVladimir Marko mirror::String* string = dex_cache->GetResolvedString(string_index); 194db8e62dca9232634daecb548bd51f3186004535cVladimir Marko is_in_dex_cache = (string != nullptr); 195db8e62dca9232634daecb548bd51f3186004535cVladimir Marko if (string != nullptr && runtime->GetHeap()->ObjectIsInBootImageSpace(string)) { 196db8e62dca9232634daecb548bd51f3186004535cVladimir Marko desired_load_kind = HLoadString::LoadKind::kBootImageAddress; 197db8e62dca9232634daecb548bd51f3186004535cVladimir Marko address = reinterpret_cast64<uint64_t>(string); 198db8e62dca9232634daecb548bd51f3186004535cVladimir Marko } else { 199db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // Note: If the string is not in the dex cache, the instruction needs environment 200db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // and will not be inlined across dex files. Within a dex file, the slow-path helper 201db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // loads the correct string and inlined frames are used correctly for OOM stack trace. 202db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // TODO: Write a test for this. 203db8e62dca9232634daecb548bd51f3186004535cVladimir Marko desired_load_kind = HLoadString::LoadKind::kDexCacheAddress; 204db8e62dca9232634daecb548bd51f3186004535cVladimir Marko void* dex_cache_element_address = &dex_cache->GetStrings()[string_index]; 205db8e62dca9232634daecb548bd51f3186004535cVladimir Marko address = reinterpret_cast64<uint64_t>(dex_cache_element_address); 206db8e62dca9232634daecb548bd51f3186004535cVladimir Marko } 207cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } else { 208db8e62dca9232634daecb548bd51f3186004535cVladimir Marko // AOT app compilation. Try to lookup the string without allocating if not found. 209cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko mirror::String* string = class_linker->LookupString(dex_file, string_index, dex_cache); 210db8e62dca9232634daecb548bd51f3186004535cVladimir Marko if (string != nullptr && runtime->GetHeap()->ObjectIsInBootImageSpace(string)) { 211cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko if (codegen_->GetCompilerOptions().GetCompilePic()) { 212cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // Use PC-relative load from the dex cache if the dex file belongs 213cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // to the oat file that we're currently compiling. 214db8e62dca9232634daecb548bd51f3186004535cVladimir Marko desired_load_kind = ContainsElement(compiler_driver_->GetDexFilesForOatFile(), &dex_file) 215db8e62dca9232634daecb548bd51f3186004535cVladimir Marko ? HLoadString::LoadKind::kDexCachePcRelative 216db8e62dca9232634daecb548bd51f3186004535cVladimir Marko : HLoadString::LoadKind::kDexCacheViaMethod; 217cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } else { 218cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko desired_load_kind = HLoadString::LoadKind::kBootImageAddress; 219db8e62dca9232634daecb548bd51f3186004535cVladimir Marko address = reinterpret_cast64<uint64_t>(string); 220cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 221cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } else { 222cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko // Not JIT and the string is not in boot image. 223cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko desired_load_kind = HLoadString::LoadKind::kDexCachePcRelative; 224cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 225cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 226cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 227cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko if (is_in_dex_cache) { 228cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko load_string->MarkInDexCache(); 229cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 230cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko 231cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko HLoadString::LoadKind load_kind = codegen_->GetSupportedLoadStringKind(desired_load_kind); 232cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko switch (load_kind) { 233cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kBootImageLinkTimeAddress: 234cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kBootImageLinkTimePcRelative: 235cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kDexCacheViaMethod: 236cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko load_string->SetLoadKindWithStringReference(load_kind, dex_file, string_index); 237cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko break; 238cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kBootImageAddress: 239cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kDexCacheAddress: 240cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko DCHECK_NE(address, 0u); 241cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko load_string->SetLoadKindWithAddress(load_kind, address); 242cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko break; 243cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko case HLoadString::LoadKind::kDexCachePcRelative: { 244cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko size_t pointer_size = InstructionSetPointerSize(codegen_->GetInstructionSet()); 245cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko DexCacheArraysLayout layout(pointer_size, &dex_file); 246cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko size_t element_index = layout.StringOffset(string_index); 247cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko load_string->SetLoadKindWithDexCacheReference(load_kind, dex_file, element_index); 248cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko break; 249cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 250cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko } 251cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko} 252cac5a7e871f1f346b317894359ad06fa7bd67fbaVladimir Marko 253dc151b2346bb8a4fdeed0c06e54c2fca21d59b5dVladimir Marko} // namespace art 254