compiler_driver-inl.h revision 4c0eb42259d790fddcd9978b66328dbb3ab65615
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
22c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier#include "art_field-inl.h"
2353c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe#include "dex_compilation_unit.h"
24f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/art_method-inl.h"
25be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/class_loader.h"
26f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/dex_cache-inl.h"
27be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "scoped_thread_state_change.h"
28eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier#include "handle_scope-inl.h"
29be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
30be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markonamespace art {
31be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
32be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::DexCache* CompilerDriver::GetDexCache(const DexCompilationUnit* mUnit) {
33be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile());
34be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
35be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
36be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::ClassLoader* CompilerDriver::GetClassLoader(ScopedObjectAccess& soa,
37be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                                           const DexCompilationUnit* mUnit) {
38be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader());
39be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
40be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
419437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffrayinline mirror::Class* CompilerDriver::ResolveClass(
429437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
439437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray    Handle<mirror::ClassLoader> class_loader, uint16_t cls_index,
449437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray    const DexCompilationUnit* mUnit) {
459437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
469437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
479437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  mirror::Class* cls = mUnit->GetClassLinker()->ResolveType(
489437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray      *mUnit->GetDexFile(), cls_index, dex_cache, class_loader);
499437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  DCHECK_EQ(cls == nullptr, soa.Self()->IsExceptionPending());
509437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  if (UNLIKELY(cls == nullptr)) {
519437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray    // Clean up any exception left by type resolution.
529437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray    soa.Self()->ClearException();
539437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  }
549437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  return cls;
559437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray}
569437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray
57be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline mirror::Class* CompilerDriver::ResolveCompilingMethodsClass(
58e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
590cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit) {
60eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
61eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
62be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  const DexFile::MethodId& referrer_method_id =
63be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex());
649437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray  return ResolveClass(soa, dex_cache, class_loader, referrer_method_id.class_idx_, mUnit);
65be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
66be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
67c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartierinline ArtField* CompilerDriver::ResolveFieldWithDexFile(
68e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
69e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexFile* dex_file,
70be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint32_t field_idx, bool is_static) {
71e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), dex_file);
72c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier  ArtField* resolved_field = Runtime::Current()->GetClassLinker()->ResolveField(
73e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier      *dex_file, field_idx, dex_cache, class_loader, is_static);
74be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending());
75be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field == nullptr)) {
76be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Clean up any exception left by type resolution.
77be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    soa.Self()->ClearException();
78be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
79be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
80be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (UNLIKELY(resolved_field->IsStatic() != is_static)) {
81be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // ClassLinker can return a field of the wrong kind directly from the DexCache.
82be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    // Silently return nullptr on such incompatible class change.
83be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    return nullptr;
84be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
85be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return resolved_field;
86be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
87be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
88e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartierinline mirror::DexCache* CompilerDriver::FindDexCache(const DexFile* dex_file) {
89e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  return Runtime::Current()->GetClassLinker()->FindDexCache(*dex_file);
90e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier}
91e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier
92c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartierinline ArtField* CompilerDriver::ResolveField(
93e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    const ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
94e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
95e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    uint32_t field_idx, bool is_static) {
96e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
97e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  return ResolveFieldWithDexFile(soa, dex_cache, class_loader, mUnit->GetDexFile(), field_idx,
98e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier                                 is_static);
99e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier}
100e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier
101be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline void CompilerDriver::GetResolvedFieldDexFileLocation(
102c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier    ArtField* resolved_field, const DexFile** declaring_dex_file,
103be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    uint16_t* declaring_class_idx, uint16_t* declaring_field_idx) {
104be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* declaring_class = resolved_field->GetDeclaringClass();
105be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
106be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_class_idx = declaring_class->GetDexTypeIndex();
107be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *declaring_field_idx = resolved_field->GetDexFieldIndex();
108be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
109be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
110c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartierinline bool CompilerDriver::IsFieldVolatile(ArtField* field) {
111be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return field->IsVolatile();
112be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
113be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
114c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartierinline MemberOffset CompilerDriver::GetFieldOffset(ArtField* field) {
11566c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  return field->GetOffset();
11666c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko}
11766c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko
118be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastInstanceField(
119be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
120c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier    ArtField* resolved_field, uint16_t field_idx) {
121be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  DCHECK(!resolved_field->IsStatic());
122be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  mirror::Class* fields_class = resolved_field->GetDeclaringClass();
123be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_get = referrer_class != nullptr &&
124be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      referrer_class->CanAccessResolvedField(fields_class, resolved_field,
125be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko                                             dex_cache, field_idx);
126be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class);
127be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return std::make_pair(fast_get, fast_put);
128be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
129be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
1304c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaintemplate <typename ArtMember>
1314c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline bool CompilerDriver::CanAccessResolvedMember(mirror::Class* referrer_class ATTRIBUTE_UNUSED,
1324c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                    mirror::Class* access_to ATTRIBUTE_UNUSED,
1334c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                    ArtMember* member ATTRIBUTE_UNUSED,
1344c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                    mirror::DexCache* dex_cache ATTRIBUTE_UNUSED,
1354c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                    uint32_t field_idx ATTRIBUTE_UNUSED) {
1364c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  // Not defined for ArtMember values other than ArtField or mirror::ArtMethod.
1374c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  UNREACHABLE();
1384c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain}
1394c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain
1404c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaintemplate <>
1414c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline bool CompilerDriver::CanAccessResolvedMember<ArtField>(mirror::Class* referrer_class,
1424c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                              mirror::Class* access_to,
1434c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                              ArtField* field,
1444c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                              mirror::DexCache* dex_cache,
1454c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain                                                              uint32_t field_idx) {
1464c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  return referrer_class->CanAccessResolvedField(access_to, field, dex_cache, field_idx);
1474c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain}
1484c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain
1494c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaintemplate <>
1504c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline bool CompilerDriver::CanAccessResolvedMember<mirror::ArtMethod>(
1514c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::Class* referrer_class,
1524c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::Class* access_to,
1534c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::ArtMethod* method,
1544c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::DexCache* dex_cache,
1554c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    uint32_t field_idx) {
1564c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  return referrer_class->CanAccessResolvedMethod(access_to, method, dex_cache, field_idx);
1574c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain}
1584c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain
1594c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaintemplate <typename ArtMember>
1604c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline std::pair<bool, bool> CompilerDriver::IsClassOfStaticMemberAvailableToReferrer(
1614c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::DexCache* dex_cache,
1624c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::Class* referrer_class,
1634c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    ArtMember* resolved_member,
1644c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    uint16_t member_idx,
1654c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    uint32_t* storage_index) {
1664c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  DCHECK(resolved_member->IsStatic());
167be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  if (LIKELY(referrer_class != nullptr)) {
1684c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::Class* members_class = resolved_member->GetDeclaringClass();
1694c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    if (members_class == referrer_class) {
1704c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain      *storage_index = members_class->GetDexTypeIndex();
171be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      return std::make_pair(true, true);
172be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    }
1734c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    if (CanAccessResolvedMember<ArtMember>(
1744c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain            referrer_class, members_class, resolved_member, dex_cache, member_idx)) {
1754c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain      // We have the resolved member, we must make it into a index for the referrer
176be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // in its static storage (which may fail if it doesn't have a slot for it)
177be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // TODO: for images we can elide the static storage base null check
178be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      // if we know there's a non-null entry in the image
179be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      const DexFile* dex_file = dex_cache->GetDexFile();
180be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      uint32_t storage_idx = DexFile::kDexNoIndex;
1814c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain      if (LIKELY(members_class->GetDexCache() == dex_cache)) {
1824c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain        // common case where the dex cache of both the referrer and the member are the same,
183be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // no need to search the dex file
1844c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain        storage_idx = members_class->GetDexTypeIndex();
185be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      } else {
1864c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain        // Search dex file for localized ssb index, may fail if member's class is a parent
187be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        // of the class mentioned in the dex file and there is no dex cache entry.
18808f1f50d6c2e8f247b8f5f19711d75a792851c7aIan Rogers        std::string temp;
189be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        const DexFile::StringId* string_id =
1904c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain            dex_file->FindStringId(resolved_member->GetDeclaringClass()->GetDescriptor(&temp));
191be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        if (string_id != nullptr) {
192be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          const DexFile::TypeId* type_id =
193be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko             dex_file->FindTypeId(dex_file->GetIndexForStringId(*string_id));
194be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          if (type_id != nullptr) {
195be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            // medium path, needs check of static storage base being initialized
196be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko            storage_idx = dex_file->GetIndexForTypeId(*type_id);
197be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko          }
198be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        }
199be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      }
200be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      if (storage_idx != DexFile::kDexNoIndex) {
201be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko        *storage_index = storage_idx;
2024c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain        return std::make_pair(true, !resolved_member->IsFinal());
203be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko      }
204be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko    }
205be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  }
206be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  // Conservative defaults.
207be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  *storage_index = DexFile::kDexNoIndex;
208be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko  return std::make_pair(false, false);
209be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}
210be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
2114c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline std::pair<bool, bool> CompilerDriver::IsFastStaticField(
2124c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
2134c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    ArtField* resolved_field, uint16_t field_idx, uint32_t* storage_index) {
2144c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  return IsClassOfStaticMemberAvailableToReferrer(
2154c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain      dex_cache, referrer_class, resolved_field, field_idx, storage_index);
2164c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain}
2174c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain
2184c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillaininline bool CompilerDriver::IsClassOfStaticMethodAvailableToReferrer(
2194c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::DexCache* dex_cache, mirror::Class* referrer_class,
2204c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain    mirror::ArtMethod* resolved_method, uint16_t method_idx, uint32_t* storage_index) {
2214c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  std::pair<bool, bool> result = IsClassOfStaticMemberAvailableToReferrer(
2224c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain      dex_cache, referrer_class, resolved_method, method_idx, storage_index);
2234c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  // Only the first member of `result` is meaningful, as there is no
2244c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  // "write access" to a method.
2254c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain  return result.first;
2264c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain}
2274c0eb42259d790fddcd9978b66328dbb3ab65615Roland Levillain
22866c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Markoinline bool CompilerDriver::IsStaticFieldInReferrerClass(mirror::Class* referrer_class,
229c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier                                                         ArtField* resolved_field) {
23066c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  DCHECK(resolved_field->IsStatic());
23166c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  mirror::Class* fields_class = resolved_field->GetDeclaringClass();
23266c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  return referrer_class == fields_class;
23366c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko}
23466c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko
23566c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Markoinline bool CompilerDriver::IsStaticFieldsClassInitialized(mirror::Class* referrer_class,
236c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier                                                           ArtField* resolved_field) {
23766c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  DCHECK(resolved_field->IsStatic());
23866c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  mirror::Class* fields_class = resolved_field->GetDeclaringClass();
23966c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  return fields_class == referrer_class || fields_class->IsInitialized();
24066c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko}
24166c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko
242f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline mirror::ArtMethod* CompilerDriver::ResolveMethod(
2430cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
2440cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
245e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    uint32_t method_idx, InvokeType invoke_type, bool check_incompatible_class_change) {
2460cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier  DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile());
2470cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier  DCHECK_EQ(class_loader.Get(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()));
248f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::ArtMethod* resolved_method = mUnit->GetClassLinker()->ResolveMethod(
2490cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier      *mUnit->GetDexFile(), method_idx, dex_cache, class_loader, NullHandle<mirror::ArtMethod>(),
2500cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier      invoke_type);
251f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  DCHECK_EQ(resolved_method == nullptr, soa.Self()->IsExceptionPending());
252f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(resolved_method == nullptr)) {
253f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Clean up any exception left by type resolution.
254f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    soa.Self()->ClearException();
255f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return nullptr;
256f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
257e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  if (check_incompatible_class_change &&
258e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier      UNLIKELY(resolved_method->CheckIncompatibleClassChange(invoke_type))) {
259f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Silently return nullptr on incompatible class change.
260f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return nullptr;
261f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
262f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  return resolved_method;
263f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
264f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
265f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline void CompilerDriver::GetResolvedMethodDexFileLocation(
266f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* resolved_method, const DexFile** declaring_dex_file,
267f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    uint16_t* declaring_class_idx, uint16_t* declaring_method_idx) {
268f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::Class* declaring_class = resolved_method->GetDeclaringClass();
269f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_dex_file = declaring_class->GetDexCache()->GetDexFile();
270f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_class_idx = declaring_class->GetDexTypeIndex();
271f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  *declaring_method_idx = resolved_method->GetDexMethodIndex();
272f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
273f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
274f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline uint16_t CompilerDriver::GetResolvedMethodVTableIndex(
275f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* resolved_method, InvokeType type) {
276f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (type == kVirtual || type == kSuper) {
277f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return resolved_method->GetMethodIndex();
278f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  } else if (type == kInterface) {
279f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return resolved_method->GetDexMethodIndex();
280f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  } else {
281f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return DexFile::kDexNoIndex16;
282f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
283f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
284f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
285f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoinline int CompilerDriver::IsFastInvoke(
2860cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    ScopedObjectAccess& soa, Handle<mirror::DexCache> dex_cache,
2870cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier    Handle<mirror::ClassLoader> class_loader, const DexCompilationUnit* mUnit,
288f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::Class* referrer_class, mirror::ArtMethod* resolved_method, InvokeType* invoke_type,
289f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    MethodReference* target_method, const MethodReference* devirt_target,
290f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    uintptr_t* direct_code, uintptr_t* direct_method) {
291f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Don't try to fast-path if we don't understand the caller's class.
292f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(referrer_class == nullptr)) {
293f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
294f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
295f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  mirror::Class* methods_class = resolved_method->GetDeclaringClass();
296f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(!referrer_class->CanAccessResolvedMethod(methods_class, resolved_method,
297eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier                                                        dex_cache.Get(),
298f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                                        target_method->dex_method_index))) {
299f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
300f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
301f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Sharpen a virtual call into a direct call when the target is known not to have been
302f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // overridden (ie is final).
303e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  const bool same_dex_file = target_method->dex_file == mUnit->GetDexFile();
304e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  bool can_sharpen_virtual_based_on_type = same_dex_file &&
305f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      (*invoke_type == kVirtual) && (resolved_method->IsFinal() || methods_class->IsFinal());
306f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // For invoke-super, ensure the vtable index will be correct to dispatch in the vtable of
307f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // the super class.
308e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier  bool can_sharpen_super_based_on_type = same_dex_file && (*invoke_type == kSuper) &&
309f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      (referrer_class != methods_class) && referrer_class->IsSubClass(methods_class) &&
3102cdbad7c62f126581ec5177104de961c4d71adaaMingyao Yang      resolved_method->GetMethodIndex() < methods_class->GetVTableLength() &&
311920506d4509fef2486a099c005ec134a5d22ec11Vladimir Marko      (methods_class->GetVTableEntry(resolved_method->GetMethodIndex()) == resolved_method) &&
312920506d4509fef2486a099c005ec134a5d22ec11Vladimir Marko      !resolved_method->IsAbstract();
313f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
314f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (can_sharpen_virtual_based_on_type || can_sharpen_super_based_on_type) {
315f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Sharpen a virtual call into a direct call. The method_idx is into referrer's
316f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // dex cache, check that this resolved method is where we expect it.
317e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    CHECK_EQ(target_method->dex_file, mUnit->GetDexFile());
318e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    DCHECK_EQ(dex_cache.Get(), mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()));
319e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier    CHECK_EQ(referrer_class->GetDexCache()->GetResolvedMethod(target_method->dex_method_index),
320e5f13e57ff8fa36342beb33830b3ec5942a61ccaMathieu Chartier             resolved_method) << PrettyMethod(resolved_method);
321f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
322d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin    GetCodeAndMethodForDirectCall(/*out*/invoke_type,
323d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  kDirect,  // Sharp type
324d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  false,    // The dex cache is guaranteed to be available
325d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  referrer_class, resolved_method,
326d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/&stats_flags,
327d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  target_method,
328d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/direct_code,
329d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/direct_method);
330f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method);
331f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
332f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedVirtualMadeDirect;
333f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
334f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
335f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
336f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
337f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if ((*invoke_type == kVirtual || *invoke_type == kInterface) && devirt_target != nullptr) {
338f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Post-verification callback recorded a more precise invoke target based on its type info.
339f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    mirror::ArtMethod* called_method;
340f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    ClassLinker* class_linker = mUnit->GetClassLinker();
341f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (LIKELY(devirt_target->dex_file == mUnit->GetDexFile())) {
342f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
3430cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  devirt_target->dex_method_index, dex_cache,
3440cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  class_loader, NullHandle<mirror::ArtMethod>(),
3450cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  kVirtual);
346f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    } else {
347eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      StackHandleScope<1> hs(soa.Self());
348eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier      Handle<mirror::DexCache> target_dex_cache(
349eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier          hs.NewHandle(class_linker->FindDexCache(*devirt_target->dex_file)));
350f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      called_method = class_linker->ResolveMethod(*devirt_target->dex_file,
351f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko                                                  devirt_target->dex_method_index,
3520cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  target_dex_cache, class_loader,
3530cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier                                                  NullHandle<mirror::ArtMethod>(), kVirtual);
354f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
355f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(called_method != NULL);
356f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    CHECK(!called_method->IsAbstract());
357f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    int stats_flags = kFlagMethodResolved;
358d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin    GetCodeAndMethodForDirectCall(/*out*/invoke_type,
359d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  kDirect,  // Sharp type
360d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  true,     // The dex cache may not be available
361d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  referrer_class, called_method,
362d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/&stats_flags,
363d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  target_method,
364d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/direct_code,
365d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                  /*out*/direct_method);
366f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    DCHECK_NE(*invoke_type, kSuper);
367f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    if (*invoke_type == kDirect) {
368f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko      stats_flags |= kFlagsMethodResolvedPreciseTypeDevirtualization;
369f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    }
370f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return stats_flags;
371f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
372f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
373f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  if (UNLIKELY(*invoke_type == kSuper)) {
374f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    // Unsharpened super calls are suspicious so go slow-path.
375f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko    return 0;
376f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  }
377f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
378f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  // Sharpening failed so generate a regular resolved method dispatch.
379f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  int stats_flags = kFlagMethodResolved;
380d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin  GetCodeAndMethodForDirectCall(/*out*/invoke_type,
381d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                *invoke_type,  // Sharp type
382d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                false,         // The dex cache is guaranteed to be available
383d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                referrer_class, resolved_method,
384d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                /*out*/&stats_flags,
385d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                target_method,
386d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                /*out*/direct_code,
387d6dee676acdd1ab0aa4e5ba6834ee7c40a6dd8abIgor Murashkin                                /*out*/direct_method);
388f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko  return stats_flags;
389f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko}
390f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko
39166c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Markoinline bool CompilerDriver::IsMethodsClassInitialized(mirror::Class* referrer_class,
39266c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko                                                      mirror::ArtMethod* resolved_method) {
3939820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  if (!resolved_method->IsStatic()) {
39466c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko    return true;
3959820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  }
3969820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko  mirror::Class* methods_class = resolved_method->GetDeclaringClass();
39766c6d7bdfdd535e6ecf4461bba3804f1a7794fcdVladimir Marko  return methods_class == referrer_class || methods_class->IsInitialized();
3989820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko}
3999820b7c1dc70e75ad405b9e6e63578fa9fe94e94Vladimir Marko
400be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko}  // namespace art
401be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko
402be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#endif  // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_
403