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