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" 23e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "art_method-inl.h" 24542451cc546779f5c67840e105c51205a1b0a8fdAndreas Gampe#include "base/enums.h" 25e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartier#include "class_linker-inl.h" 2653c913bb71b218714823c8c87a1f92830c336f61Andreas Gampe#include "dex_compilation_unit.h" 27d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe#include "handle_scope-inl.h" 28be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "mirror/class_loader.h" 29f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko#include "mirror/dex_cache-inl.h" 30d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe#include "runtime.h" 310795f23920ee9aabf28e45c63cd592dcccf00216Mathieu Chartier#include "scoped_thread_state_change-inl.h" 32be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 33be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markonamespace art { 34be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 3528e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Markoinline ObjPtr<mirror::Class> CompilerDriver::ResolveClass( 36666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko const ScopedObjectAccess& soa, 37666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko Handle<mirror::DexCache> dex_cache, 38666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko Handle<mirror::ClassLoader> class_loader, 39666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko dex::TypeIndex cls_index, 409437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray const DexCompilationUnit* mUnit) { 419437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile()); 428d6768d47b66a688d35399d524ad5a5450e9d9d4Vladimir Marko DCHECK_EQ(class_loader.Get(), mUnit->GetClassLoader().Get()); 43666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko ObjPtr<mirror::Class> cls = 44666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko mUnit->GetClassLinker()->ResolveType(cls_index, dex_cache, class_loader); 459437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray DCHECK_EQ(cls == nullptr, soa.Self()->IsExceptionPending()); 469437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray if (UNLIKELY(cls == nullptr)) { 479437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray // Clean up any exception left by type resolution. 489437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray soa.Self()->ClearException(); 499437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray } 509437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray return cls; 519437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray} 529437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray 5328e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Markoinline ObjPtr<mirror::Class> CompilerDriver::ResolveCompilingMethodsClass( 54666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko const ScopedObjectAccess& soa, 55666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko Handle<mirror::DexCache> dex_cache, 56666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko Handle<mirror::ClassLoader> class_loader, 57666ee3d7c6039c80e75287e311895bd6a9b01e9fVladimir Marko const DexCompilationUnit* mUnit) { 58eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier DCHECK_EQ(dex_cache->GetDexFile(), mUnit->GetDexFile()); 598d6768d47b66a688d35399d524ad5a5450e9d9d4Vladimir Marko DCHECK_EQ(class_loader.Get(), mUnit->GetClassLoader().Get()); 60be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko const DexFile::MethodId& referrer_method_id = 61be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex()); 629437b78780f9e6ffa5797ebe82de8e8d7f3a5ed6Nicolas Geoffray return ResolveClass(soa, dex_cache, class_loader, referrer_method_id.class_idx_, mUnit); 63be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 64be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 65e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Markoinline ArtField* CompilerDriver::ResolveField(const ScopedObjectAccess& soa, 66e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Marko Handle<mirror::DexCache> dex_cache, 67e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Marko Handle<mirror::ClassLoader> class_loader, 68e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Marko uint32_t field_idx, 69e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Marko bool is_static) { 70c785344b87221f5e4e6473e5b762e4e61fe65dcfMathieu Chartier ArtField* resolved_field = Runtime::Current()->GetClassLinker()->ResolveField( 71e11dd50ac2b5ccbf3b02213b7361f55b1f1a90daVladimir Marko field_idx, dex_cache, class_loader, is_static); 72be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko DCHECK_EQ(resolved_field == nullptr, soa.Self()->IsExceptionPending()); 73be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (UNLIKELY(resolved_field == nullptr)) { 74be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Clean up any exception left by type resolution. 75be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko soa.Self()->ClearException(); 76be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return nullptr; 77be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 78be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (UNLIKELY(resolved_field->IsStatic() != is_static)) { 79be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // ClassLinker can return a field of the wrong kind directly from the DexCache. 802cebb24bfc3247d3e9be138a3350106737455918Mathieu Chartier // Silently return null on such incompatible class change. 81be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return nullptr; 82be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 83be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return resolved_field; 84be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 85be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 86be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markoinline std::pair<bool, bool> CompilerDriver::IsFastInstanceField( 8728e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Marko ObjPtr<mirror::DexCache> dex_cache, 8828e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Marko ObjPtr<mirror::Class> referrer_class, 8928e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Marko ArtField* resolved_field, 9028e012a4af2d710e5e5f824709ffd6432e4f549fVladimir Marko uint16_t field_idx) { 91be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko DCHECK(!resolved_field->IsStatic()); 923398c7874e002beaa6c2b2fadf183e7d1ddad23aMathieu Chartier ObjPtr<mirror::Class> fields_class = resolved_field->GetDeclaringClass(); 93be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool fast_get = referrer_class != nullptr && 941a5337fff2cc6cb9d563c8b32aca75f485d23373Mathieu Chartier referrer_class->CanAccessResolvedField(fields_class, 953398c7874e002beaa6c2b2fadf183e7d1ddad23aMathieu Chartier resolved_field, 963398c7874e002beaa6c2b2fadf183e7d1ddad23aMathieu Chartier dex_cache, 973398c7874e002beaa6c2b2fadf183e7d1ddad23aMathieu Chartier field_idx); 98be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool fast_put = fast_get && (!resolved_field->IsFinal() || fields_class == referrer_class); 99be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return std::make_pair(fast_get, fast_put); 100be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 101be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 102e401d146407d61eeb99f8d6176b2ac13c4df1e33Mathieu Chartierinline ArtMethod* CompilerDriver::ResolveMethod( 103f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko ScopedObjectAccess& soa, 104f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko Handle<mirror::DexCache> dex_cache, 105f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko Handle<mirror::ClassLoader> class_loader, 106f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko const DexCompilationUnit* mUnit, 107f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko uint32_t method_idx, 108f79aa7fc107c661e5a6d6ffd2a33221864fa1fa3Vladimir Marko InvokeType invoke_type) { 1098d6768d47b66a688d35399d524ad5a5450e9d9d4Vladimir Marko DCHECK_EQ(class_loader.Get(), mUnit->GetClassLoader().Get()); 11042ef8ab151a3d0cbb42cb43f6841c3708d65fca3Andreas Gampe ArtMethod* resolved_method = 111ba118827465d12177f3996e50133960087b1c916Vladimir Marko mUnit->GetClassLinker()->ResolveMethod<ClassLinker::ResolveMode::kCheckICCEAndIAE>( 112890111968fbd3f5ae528d97e42984c12a3dd27bdVladimir Marko method_idx, dex_cache, class_loader, /* referrer */ nullptr, invoke_type); 113f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (UNLIKELY(resolved_method == nullptr)) { 11442ef8ab151a3d0cbb42cb43f6841c3708d65fca3Andreas Gampe DCHECK(soa.Self()->IsExceptionPending()); 115f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Clean up any exception left by type resolution. 116f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko soa.Self()->ClearException(); 117f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 118f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko return resolved_method; 119f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko} 120f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko 121d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampeinline VerificationResults* CompilerDriver::GetVerificationResults() const { 122d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe DCHECK(Runtime::Current()->IsAotCompiler()); 123d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe return verification_results_; 124d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe} 125d482e73fe26cb9161511a80e3db39e08b9808ab6Andreas Gampe 126be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} // namespace art 127be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 128be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#endif // ART_COMPILER_DRIVER_COMPILER_DRIVER_INL_H_ 129