compiler_driver-inl.h revision 0cd81352a7c06e381951cea1b104fd73516f4341
1be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko/*
2be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * Copyright (C) 2012 The Android Open Source Project
3be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *
4be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * Licensed under the Apache License, Version 2.0 (the "License");
5be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * you may not use this file except in compliance with the License.
6be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * You may obtain a copy of the License at
7be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *
8be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *      http://www.apache.org/licenses/LICENSE-2.0
9be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *
10be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * Unless required by applicable law or agreed to in writing, software
11be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * distributed under the License is distributed on an "AS IS" BASIS,
12be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * See the License for the specific language governing permissions and
14be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko * limitations under the License.
15be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko */
16be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
17be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#ifndef ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
18be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#define ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
19be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
20be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "compiler_driver.h"
21be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "dex/compiler_ir.h"
22be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/art_field.h"
23be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/art_field-inl.h"
24f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/art_method.h"
25f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/art_method-inl.h"
26be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/class_loader.h"
27be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/dex_cache.h"
28f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/dex_cache-inl.h"
29be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/art_field-inl.h"
30be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "scoped_thread_state_change.h"
31eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier#include "handle_scope-inl.h"
32be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
33be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markonamespace art {
34be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
35be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::DexCache* CompilerDriver::GetDexCache(const DexCompilationUnit* mUnit) {
36be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile());
37be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
38be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
39be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::ClassLoader* CompilerDriver::GetClassLoader(ScopedObjectAccess& soa,
40be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                                           const DexCompilationUnit* mUnit) {
41be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader());
42be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
43be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
44be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::Class* CompilerDriver::ResolveCompilingMethodsClass(
450cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
460cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit) {
47eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
48eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
49be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  const DexFile::MethodId& referrer_method_id =
50be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
51be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* referrer_class = mUnit->GetClassLinker()->ResolveType(
52be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *mUnit->GetDexFile(), referrer_method_id.class_idx_, dex_cache, class_loader);
53be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK_EQ(referrer_class == nullptr, soa.Self()->IsExceptionPending());
54be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(referrer_class == nullptr)) {
55be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Clean up any exception left by type resolution.
56be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    soa.Self()->ClearException();
57be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
58be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return referrer_class;
59be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
60be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
61be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::ArtField* CompilerDriver::ResolveField(
620cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
630cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
64be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint32_t field_idx, bool is_static) {
65eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
66eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
67be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::ArtField* resolved_field = mUnit->GetClassLinker()->ResolveField(
68be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *mUnit->GetDexFile(), field_idx, dex_cache, class_loader, is_static);
69be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending());
70be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field == nullptr)) {
71be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Clean up any exception left by type resolution.
72be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    soa.Self()->ClearException();
73be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
74be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
75be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
76be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // ClassLinker can return a field of the wrong kind directly from the DexCache.
77be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Silently return nullptr on such incompatible class change.
78be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
79be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
80be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return resolved_field;
81be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
82be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
83be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline void CompilerDriver::GetResolvedFieldDexFileLocation(
84be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::ArtField* resolved_field, const DexFile** declaring_dex_file,
85be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint16_t* declaring_class_idx, uint16_t* declaring_field_idx) {
86be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* declaring_class = resolved_field->GetDeclaringClass();
87be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
88be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_class_idx = declaring_class->GetDexTypeIndex();
89be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_field_idx = resolved_field->GetDexFieldIndex();
90be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
91be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
92be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline bool CompilerDriver::IsFieldVolatile(mirror::ArtField* field) {
93be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return field->IsVolatile();
94be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
95be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
96be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastInstanceField(
97be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
98be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::ArtField* resolved_field, uint16_t field_idx, MemberOffset* field_offset) {
99be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK(!resolved_field->IsStatic());
100be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* fields_class = resolved_field->GetDeclaringClass();
101be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_get = referrer_class != nullptr &&
102be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      referrer_class->CanAccessResolvedField(fields_class, resolved_field,
103be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                             dex_cache, field_idx);
104be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class);
105be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *field_offset = fast_get ? resolved_field->GetOffset() : MemberOffset(0u);
106be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return std::make_pair(fast_get, fast_put);
107be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
108be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
109be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastStaticField(
110be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
111be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::ArtField* resolved_field, uint16_t field_idx, MemberOffset* field_offset,
112be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint32_t* storage_index, bool* is_referrers_class, bool* is_initialized) {
113be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK(resolved_field->IsStatic());
114be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (LIKELY(referrer_class != nullptr)) {
115be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::Class* fields_class = resolved_field->GetDeclaringClass();
116be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    if (fields_class == referrer_class) {
117be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *field_offset = resolved_field->GetOffset();
118be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *storage_index = fields_class->GetDexTypeIndex();
119be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *is_referrers_class = true;  // implies no worrying about class initialization
120be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *is_initialized = true;
121be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      return std::make_pair(true, true);
122be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    }
123be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    if (referrer_class->CanAccessResolvedField(fields_class, resolved_field,
124be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                               dex_cache, field_idx)) {
125be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // We have the resolved field, we must make it into a index for the referrer
126be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // in its static storage (which may fail if it doesn't have a slot for it)
127be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // TODO: for images we can elide the static storage base null check
128be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // if we know there's a non-null entry in the image
129be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      const DexFile* dex_file = dex_cache->GetDexFile();
130be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      uint32_t storage_idx = DexFile::kDexNoIndex;
131be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      if (LIKELY(fields_class->GetDexCache() == dex_cache)) {
132be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // common case where the dex cache of both the referrer and the field are the same,
133be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // no need to search the dex file
134be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        storage_idx = fields_class->GetDexTypeIndex();
135be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      } else {
136be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // Search dex file for localized ssb index, may fail if field's class is a parent
137be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // of the class mentioned in the dex file and there is no dex cache entry.
138be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        const DexFile::StringId* string_id =
139be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            dex_file->FindStringId(FieldHelper(resolved_field).GetDeclaringClassDescriptor());
140be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        if (string_id != nullptr) {
141be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          const DexFile::TypeId* type_id =
142be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko             dex_file->FindTypeId(dex_file->GetIndexForStringId(*string_id));
143be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          if (type_id != nullptr) {
144be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            // medium path, needs check of static storage base being initialized
145be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            storage_idx = dex_file->GetIndexForTypeId(*type_id);
146be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          }
147be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        }
148be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      }
149be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      if (storage_idx != DexFile::kDexNoIndex) {
150be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        *field_offset = resolved_field->GetOffset();
151be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        *storage_index = storage_idx;
152be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        *is_referrers_class = false;
153be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        *is_initialized = fields_class->IsInitialized() &&
154be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            CanAssumeTypeIsPresentInDexCache(*dex_file, storage_idx);
155be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        return std::make_pair(true, !resolved_field->IsFinal());
156be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      }
157be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    }
158be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
159be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  // Conservative defaults.
160be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *field_offset = MemberOffset(0u);
161be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *storage_index = DexFile::kDexNoIndex;
162be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *is_referrers_class = false;
163be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *is_initialized = false;
164be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return std::make_pair(false, false);
165be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
166be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
167f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline mirror::ArtMethod* CompilerDriver::ResolveMethod(
1680cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
1690cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
170f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    uint32_t method_idx, InvokeType invoke_type) {
1710cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
1720cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
173f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::ArtMethod* resolved_method = mUnit->GetClassLinker()->ResolveMethod(
1740cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier      *mUnit->GetDexFile(), method_idx, dex_cache, class_loader, NullHandle<mirror::ArtMethod>(),
1750cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier      invoke_type);
176f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  DCHECK_EQ(resolved_method == nullptr, soa.Self()->IsExceptionPending());
177f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(resolved_method == nullptr)) {
178f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Clean up any exception left by type resolution.
179f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    soa.Self()->ClearException();
180f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return nullptr;
181f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
182f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(resolved_method->CheckIncompatibleClassChange(invoke_type))) {
183f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Silently return nullptr on incompatible class change.
184f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return nullptr;
185f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
186f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  return resolved_method;
187f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
188f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
189f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline void CompilerDriver::GetResolvedMethodDexFileLocation(
190f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* resolved_method, const DexFile** declaring_dex_file,
191f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    uint16_t* declaring_class_idx, uint16_t* declaring_method_idx) {
192f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::Class* declaring_class = resolved_method->GetDeclaringClass();
193f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
194f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_class_idx = declaring_class->GetDexTypeIndex();
195f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_method_idx = resolved_method->GetDexMethodIndex();
196f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
197f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
198f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline uint16_t CompilerDriver::GetResolvedMethodVTableIndex(
199f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* resolved_method, InvokeType type) {
200f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (type == kVirtual || type == kSuper) {
201f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return resolved_method->GetMethodIndex();
202f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  } else if (type == kInterface) {
203f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return resolved_method->GetDexMethodIndex();
204f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  } else {
205f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return DexFile::kDexNoIndex16;
206f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
207f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
208f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
209f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline int CompilerDriver::IsFastInvoke(
2100cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
2110cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
212f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::Class* referrer_class, mirror::ArtMethod* resolved_method, InvokeType* invoke_type,
213f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    MethodReference* target_method, const MethodReference* devirt_target,
214f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    uintptr_t* direct_code, uintptr_t* direct_method) {
215f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Don't try to fast-path if we don't understand the caller's class.
216f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(referrer_class == nullptr)) {
217f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
218f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
219f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::Class* methods_class = resolved_method->GetDeclaringClass();
220f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(!referrer_class->CanAccessResolvedMethod(methods_class, resolved_method,
221eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier                                                        dex_cache.Get(),
222f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                                        target_method->dex_method_index))) {
223f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
224f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
225f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
226f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Sharpen a virtual call into a direct call when the target is known not to have been
227f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // overridden (ie is final).
228f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  bool can_sharpen_virtual_based_on_type =
229f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      (*invoke_type == kVirtual) && (resolved_method->IsFinal() || methods_class->IsFinal());
230f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // For invoke-super, ensure the vtable index will be correct to dispatch in the vtable of
231f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // the super class.
232f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  bool can_sharpen_super_based_on_type = (*invoke_type == kSuper) &&
233f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      (referrer_class != methods_class) && referrer_class->IsSubClass(methods_class) &&
234f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      resolved_method->GetMethodIndex() < methods_class->GetVTable()->GetLength() &&
235f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      (methods_class->GetVTable()->Get(resolved_method->GetMethodIndex()) == resolved_method);
236f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
237f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (can_sharpen_virtual_based_on_type || can_sharpen_super_based_on_type) {
238f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Sharpen a virtual call into a direct call. The method_idx is into referrer's
239f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // dex cache, check that this resolved method is where we expect it.
240f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(target_method->dex_file == mUnit->GetDexFile());
241eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier    DCHECK(dex_cache.Get() == mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
242f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(referrer_class->GetDexCache()->GetResolvedMethod(target_method->dex_method_index) ==
243f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko        resolved_method) << PrettyMethod(resolved_method);
244f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
245f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    GetCodeAndMethodForDirectCall(invoke_type, kDirect, false, referrer_class, resolved_method,
246f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                  &stats_flags, target_method, direct_code, direct_method);
247f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method);
248f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
249f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedVirtualMadeDirect;
250f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
251f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
252f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
253f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
254f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if ((*invoke_type == kVirtual || *invoke_type == kInterface) && devirt_target != nullptr) {
255f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Post-verification callback recorded a more precise invoke target based on its type info.
256f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* called_method;
257f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    ClassLinker* class_linker = mUnit->GetClassLinker();
258f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (LIKELY(devirt_target->dex_file == mUnit->GetDexFile())) {
259f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
2600cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  devirt_target->dex_method_index, dex_cache,
2610cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  class_loader, NullHandle<mirror::ArtMethod>(),
2620cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  kVirtual);
263f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    } else {
264eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      StackHandleScope<1> hs(soa.Self());
265eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      Handle<mirror::DexCache> target_dex_cache(
266eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier          hs.NewHandle(class_linker->FindDexCache(*devirt_target->dex_file)));
267f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
268f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                                  devirt_target->dex_method_index,
2690cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  target_dex_cache, class_loader,
2700cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  NullHandle<mirror::ArtMethod>(), kVirtual);
271f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
272f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(called_method != NULL);
273f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(!called_method->IsAbstract());
274f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
275f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    GetCodeAndMethodForDirectCall(invoke_type, kDirect, true, referrer_class, called_method,
276f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                  &stats_flags, target_method, direct_code, direct_method);
277f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper);
278f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
279f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedPreciseTypeDevirtualization;
280f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
281f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
282f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
283f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
284f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(*invoke_type == kSuper)) {
285f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Unsharpened super calls are suspicious so go slow-path.
286f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
287f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
288f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
289f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Sharpening failed so generate a regular resolved method dispatch.
290f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  int stats_flags = kFlagMethodResolved;
291f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  GetCodeAndMethodForDirectCall(invoke_type, *invoke_type, false, referrer_class, resolved_method,
292f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                &stats_flags, target_method, direct_code, direct_method);
293f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  return stats_flags;
294f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
295f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
2969820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Markoinline bool CompilerDriver::NeedsClassInitialization(mirror::Class* referrer_class,
2979820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko                                                     mirror::ArtMethod* resolved_method) {
2989820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  if (!resolved_method->IsStatic()) {
2999820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko    return false;
3009820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  }
3019820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  mirror::Class* methods_class = resolved_method->GetDeclaringClass();
3029820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  // NOTE: Unlike in IsFastStaticField(), we don't check CanAssumeTypeIsPresentInDexCache() here.
3039820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  return methods_class != referrer_class && !methods_class->IsInitialized();
3049820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko}
3059820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko
306be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}  // namespace art
307be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
308be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#endif  // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
309