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