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