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