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"
2198d1cc8033251c93786e2fa8c59a2e555a9493beMingyao Yang
22be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "dex/compiler_ir.h"
2322d5e735f403c57525fe868304c7123f0ce66399Ian Rogers#include "field_helper.h"
24be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/art_field-inl.h"
25f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/art_method-inl.h"
26be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/class_loader.h"
27f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/dex_cache-inl.h"
28be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/art_field-inl.h"
29be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "scoped_thread_state_change.h"
30eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier#include "handle_scope-inl.h"
31be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
32be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markonamespace art {
33be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
34be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::DexCache* CompilerDriver::GetDexCache(const DexCompilationUnit* mUnit) {
35be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile());
36be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
37be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
38be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::ClassLoader* CompilerDriver::GetClassLoader(ScopedObjectAccess& soa,
39be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                                           const DexCompilationUnit* mUnit) {
40be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader());
41be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
42be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
43be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::Class* CompilerDriver::ResolveCompilingMethodsClass(
44e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
450cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit) {
46eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
47eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
48be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  const DexFile::MethodId& referrer_method_id =
49be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
50be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* referrer_class = mUnit->GetClassLinker()->ResolveType(
51be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *mUnit->GetDexFile(), referrer_method_id.class_idx_, dex_cache, class_loader);
52be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK_EQ(referrer_class == nullptr, soa.Self()->IsExceptionPending());
53be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(referrer_class == nullptr)) {
54be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Clean up any exception left by type resolution.
55be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    soa.Self()->ClearException();
56be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
57be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return referrer_class;
58be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
59be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
60be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::ArtField* CompilerDriver::ResolveField(
61e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
620cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
63be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint32_t field_idx, bool is_static) {
64eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
65eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
66be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::ArtField* resolved_field = mUnit->GetClassLinker()->ResolveField(
67be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *mUnit->GetDexFile(), field_idx, dex_cache, class_loader, is_static);
68be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending());
69be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field == nullptr)) {
70be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Clean up any exception left by type resolution.
71be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    soa.Self()->ClearException();
72be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
73be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
74be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
75be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // ClassLinker can return a field of the wrong kind directly from the DexCache.
76be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Silently return nullptr on such incompatible class change.
77be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
78be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
79be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return resolved_field;
80be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
81be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
82be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline void CompilerDriver::GetResolvedFieldDexFileLocation(
83be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::ArtField* resolved_field, const DexFile** declaring_dex_file,
84be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint16_t* declaring_class_idx, uint16_t* declaring_field_idx) {
85be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* declaring_class = resolved_field->GetDeclaringClass();
86be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
87be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_class_idx = declaring_class->GetDexTypeIndex();
88be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_field_idx = resolved_field->GetDexFieldIndex();
89be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
90be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
91be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline bool CompilerDriver::IsFieldVolatile(mirror::ArtField* field) {
92be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return field->IsVolatile();
93be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
94be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
95be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastInstanceField(
96be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
97e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray    mirror::ArtField* resolved_field, uint16_t field_idx) {
98be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK(!resolved_field->IsStatic());
99be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* fields_class = resolved_field->GetDeclaringClass();
100be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_get = referrer_class != nullptr &&
101be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      referrer_class->CanAccessResolvedField(fields_class, resolved_field,
102be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                             dex_cache, field_idx);
103be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class);
104be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return std::make_pair(fast_get, fast_put);
105be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
106be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
107be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastStaticField(
108be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
109be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::ArtField* resolved_field, uint16_t field_idx, MemberOffset* field_offset,
110be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint32_t* storage_index, bool* is_referrers_class, bool* is_initialized) {
111be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK(resolved_field->IsStatic());
112be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (LIKELY(referrer_class != nullptr)) {
113be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::Class* fields_class = resolved_field->GetDeclaringClass();
114be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    if (fields_class == referrer_class) {
115be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *field_offset = resolved_field->GetOffset();
116be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *storage_index = fields_class->GetDexTypeIndex();
117be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *is_referrers_class = true;  // implies no worrying about class initialization
118be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      *is_initialized = true;
119be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      return std::make_pair(true, true);
120be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    }
121be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    if (referrer_class->CanAccessResolvedField(fields_class, resolved_field,
122be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                               dex_cache, field_idx)) {
123be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // We have the resolved field, we must make it into a index for the referrer
124be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // in its static storage (which may fail if it doesn't have a slot for it)
125be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // TODO: for images we can elide the static storage base null check
126be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // if we know there's a non-null entry in the image
127be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      const DexFile* dex_file = dex_cache->GetDexFile();
128be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      uint32_t storage_idx = DexFile::kDexNoIndex;
129be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      if (LIKELY(fields_class->GetDexCache() == dex_cache)) {
130be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // common case where the dex cache of both the referrer and the field are the same,
131be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // no need to search the dex file
132be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        storage_idx = fields_class->GetDexTypeIndex();
133be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      } else {
134be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // Search dex file for localized ssb index, may fail if field's class is a parent
135be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // of the class mentioned in the dex file and there is no dex cache entry.
13661c5ebc6aee2cac1c363de6fbdac25ada1697fdbMathieu Chartier        StackHandleScope<1> hs(Thread::Current());
137be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        const DexFile::StringId* string_id =
13861c5ebc6aee2cac1c363de6fbdac25ada1697fdbMathieu Chartier            dex_file->FindStringId(
13961c5ebc6aee2cac1c363de6fbdac25ada1697fdbMathieu Chartier                FieldHelper(hs.NewHandle(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) &&
2342cdbad7c62f126581ec5177104de961c4d71adaaMingyao Yang      resolved_method->GetMethodIndex() < methods_class->GetVTableLength() &&
235474123dccc5aa9a0dfe566d332174877fd5b7040Vladimir Marko      (methods_class->GetVTableEntry(resolved_method->GetMethodIndex()) == resolved_method) &&
236474123dccc5aa9a0dfe566d332174877fd5b7040Vladimir Marko      !resolved_method->IsAbstract();
237f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
238f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (can_sharpen_virtual_based_on_type || can_sharpen_super_based_on_type) {
239f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Sharpen a virtual call into a direct call. The method_idx is into referrer's
240f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // dex cache, check that this resolved method is where we expect it.
241f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(target_method->dex_file == mUnit->GetDexFile());
242eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier    DCHECK(dex_cache.Get() == mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
243f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(referrer_class->GetDexCache()->GetResolvedMethod(target_method->dex_method_index) ==
244f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko        resolved_method) << PrettyMethod(resolved_method);
245f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
246643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin    GetCodeAndMethodForDirectCall(/*out*/invoke_type,
247643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  kDirect,  // Sharp type
248643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  false,    // The dex cache is guaranteed to be available
249643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  referrer_class, resolved_method,
250643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/&stats_flags,
251643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  target_method,
252643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/direct_code,
253643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/direct_method);
254f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method);
255f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
256f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedVirtualMadeDirect;
257f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
258f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
259f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
260f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
261f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if ((*invoke_type == kVirtual || *invoke_type == kInterface) && devirt_target != nullptr) {
262f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Post-verification callback recorded a more precise invoke target based on its type info.
263f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* called_method;
264f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    ClassLinker* class_linker = mUnit->GetClassLinker();
265f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (LIKELY(devirt_target->dex_file == mUnit->GetDexFile())) {
266f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
2670cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  devirt_target->dex_method_index, dex_cache,
2680cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  class_loader, NullHandle<mirror::ArtMethod>(),
2690cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  kVirtual);
270f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    } else {
271eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      StackHandleScope<1> hs(soa.Self());
272eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      Handle<mirror::DexCache> target_dex_cache(
273eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier          hs.NewHandle(class_linker->FindDexCache(*devirt_target->dex_file)));
274f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
275f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                                  devirt_target->dex_method_index,
2760cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  target_dex_cache, class_loader,
2770cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  NullHandle<mirror::ArtMethod>(), kVirtual);
278f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
279f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(called_method != NULL);
280f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(!called_method->IsAbstract());
281f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
282643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin    GetCodeAndMethodForDirectCall(/*out*/invoke_type,
283643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  kDirect,  // Sharp type
284643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  true,     // The dex cache may not be available
285643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  referrer_class, called_method,
286643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/&stats_flags,
287643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  target_method,
288643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/direct_code,
289643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                  /*out*/direct_method);
290f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper);
291f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
292f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedPreciseTypeDevirtualization;
293f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
294f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
295f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
296f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
297f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(*invoke_type == kSuper)) {
298f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Unsharpened super calls are suspicious so go slow-path.
299f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
300f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
301f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
302f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Sharpening failed so generate a regular resolved method dispatch.
303f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  int stats_flags = kFlagMethodResolved;
304643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin  GetCodeAndMethodForDirectCall(/*out*/invoke_type,
305643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                *invoke_type,  // Sharp type
306643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                false,         // The dex cache is guaranteed to be available
307643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                referrer_class, resolved_method,
308643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                /*out*/&stats_flags,
309643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                target_method,
310643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                /*out*/direct_code,
311643b5df2b065ccf5bb19a183573da691e9d0311fIgor Murashkin                                /*out*/direct_method);
312f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  return stats_flags;
313f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
314f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
3159820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Markoinline bool CompilerDriver::NeedsClassInitialization(mirror::Class* referrer_class,
3169820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko                                                     mirror::ArtMethod* resolved_method) {
3179820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  if (!resolved_method->IsStatic()) {
3189820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko    return false;
3199820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  }
3209820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  mirror::Class* methods_class = resolved_method->GetDeclaringClass();
3219820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  // NOTE: Unlike in IsFastStaticField(), we don't check CanAssumeTypeIsPresentInDexCache() here.
3229820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  return methods_class != referrer_class && !methods_class->IsInitialized();
3239820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko}
3249820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko
325be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}  // namespace art
326be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
327be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#endif  // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
328