compiler_driver.cc revision c645f1ddb7c40bea6a38eda4b3f83f6b6dec405b
12faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes/* 22faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Copyright (C) 2011 The Android Open Source Project 32faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 42faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Licensed under the Apache License, Version 2.0 (the "License"); 52faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * you may not use this file except in compliance with the License. 62faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * You may obtain a copy of the License at 72faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 82faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * http://www.apache.org/licenses/LICENSE-2.0 92faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * 102faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * Unless required by applicable law or agreed to in writing, software 112faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * distributed under the License is distributed on an "AS IS" BASIS, 122faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 132faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * See the License for the specific language governing permissions and 142faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes * limitations under the License. 152faa5f1271587cda765f26bcf2951065300a01ffElliott Hughes */ 169ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 171212a022fa5f8ef9585d765b1809521812af882cIan Rogers#include "compiler_driver.h" 189ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 1967f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum#define ATRACE_TAG ATRACE_TAG_DALVIK 2067f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum#include <utils/Trace.h> 21d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 2267f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum#include <vector> 23d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes#include <unistd.h> 2427ec961a1da540ba7f16c07a682585ab167317adBrian Carlstrom 251aa246dec5abe212f699de1413a0c4a191ca364aElliott Hughes#include "base/stl_util.h" 26a84395489098e4531619b1cffd1afc282b14510eSameer Abu Asal#include "base/timing_logger.h" 279ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom#include "class_linker.h" 28f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray#include "compiler_backend.h" 29be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "compiler_driver-inl.h" 3089756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers#include "dex_compilation_unit.h" 314f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "dex_file-inl.h" 32c7f832061fea59fd6abd125f26c8ca1faec695a5Vladimir Marko#include "dex/verification_results.h" 332730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko#include "dex/verified_method.h" 342bc47809febcf36369dd40877b8226318642b428Vladimir Marko#include "dex/quick/dex_file_method_inliner.h" 35ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell#include "driver/compiler_options.h" 369baa4aefc370f48774b6104680193d9a7e4fb631Brian Carlstrom#include "jni_internal.h" 376d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers#include "object_utils.h" 381f87008b165d26541d832ff805250afdc89c253dBrian Carlstrom#include "runtime.h" 391d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/accounting/card_table-inl.h" 401d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/accounting/heap_bitmap.h" 411d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/space/space.h" 42ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom#include "mirror/art_field-inl.h" 43ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom#include "mirror/art_method-inl.h" 442dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/class_loader.h" 452dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/class-inl.h" 4639ebcb800aabedd0ffa6aa4aeac8aa4194c66e61Ian Rogers#include "mirror/dex_cache-inl.h" 472dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 482dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object_array-inl.h" 492dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/throwable.h" 5000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers#include "scoped_thread_state_change.h" 5100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers#include "ScopedLocalRef.h" 52c645f1ddb7c40bea6a38eda4b3f83f6b6dec405bMathieu Chartier#include "sirt_ref-inl.h" 5350b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers#include "thread.h" 540e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier#include "thread_pool.h" 55848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers#include "trampolines/trampoline_compiler.h" 56d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz#include "transaction.h" 57776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers#include "verifier/method_verifier.h" 582bc47809febcf36369dd40877b8226318642b428Vladimir Marko#include "verifier/method_verifier-inl.h" 599ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 609ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstromnamespace art { 619ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 62996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogersstatic double Percentage(size_t x, size_t y) { 63398f64b5805246765b699839b439e18c0dfbf2eeElliott Hughes return 100.0 * (static_cast<double>(x)) / (static_cast<double>(x + y)); 64996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers} 65996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 66996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogersstatic void DumpStat(size_t x, size_t y, const char* str) { 67996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (x == 0 && y == 0) { 68996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return; 69996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 70e732ef1c0192acd71925bd0ff1ab09640d45531dIan Rogers LOG(INFO) << Percentage(x, y) << "% of " << str << " for " << (x + y) << " cases"; 71996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers} 72996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 73c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogersclass AOTCompilationStats { 74c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers public: 75ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers AOTCompilationStats() 76ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers : stats_lock_("AOT compilation statistics lock"), 77ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers types_in_dex_cache_(0), types_not_in_dex_cache_(0), 78ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers strings_in_dex_cache_(0), strings_not_in_dex_cache_(0), 79ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers resolved_types_(0), unresolved_types_(0), 80ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers resolved_instance_fields_(0), unresolved_instance_fields_(0), 8102c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal resolved_local_static_fields_(0), resolved_static_fields_(0), unresolved_static_fields_(0), 82fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers type_based_devirtualization_(0), 83fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers safe_casts_(0), not_safe_casts_(0) { 842ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers for (size_t i = 0; i <= kMaxInvokeType; i++) { 85c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_methods_[i] = 0; 86c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_methods_[i] = 0; 872ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers virtual_made_direct_[i] = 0; 882ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_calls_to_boot_[i] = 0; 892ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_methods_to_boot_[i] = 0; 90b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes } 91c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 92c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 93c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void Dump() { 94c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(types_in_dex_cache_, types_not_in_dex_cache_, "types known to be in dex cache"); 95c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(strings_in_dex_cache_, strings_not_in_dex_cache_, "strings known to be in dex cache"); 96c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_types_, unresolved_types_, "types resolved"); 97c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_instance_fields_, unresolved_instance_fields_, "instance fields resolved"); 98c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_local_static_fields_ + resolved_static_fields_, unresolved_static_fields_, 99c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers "static fields resolved"); 100c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_local_static_fields_, resolved_static_fields_ + unresolved_static_fields_, 101c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers "static fields local to a class"); 102fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers DumpStat(safe_casts_, not_safe_casts_, "check-casts removed based on type information"); 103fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // Note, the code below subtracts the stat value so that when added to the stat value we have 104fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // 100% of samples. TODO: clean this up. 105fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers DumpStat(type_based_devirtualization_, 106fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers resolved_methods_[kVirtual] + unresolved_methods_[kVirtual] + 107fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers resolved_methods_[kInterface] + unresolved_methods_[kInterface] - 108fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers type_based_devirtualization_, 109fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers "virtual/interface calls made direct based on type information"); 110c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 1112ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers for (size_t i = 0; i <= kMaxInvokeType; i++) { 112c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers std::ostringstream oss; 1132ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss << static_cast<InvokeType>(i) << " methods were AOT resolved"; 114c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_methods_[i], unresolved_methods_[i], oss.str().c_str()); 1152ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (virtual_made_direct_[i] > 0) { 1162ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1172ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " methods made direct"; 1182ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(virtual_made_direct_[i], 1192ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - virtual_made_direct_[i], 1202ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1212ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1222ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (direct_calls_to_boot_[i] > 0) { 1232ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1242ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " method calls are direct into boot"; 1252ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(direct_calls_to_boot_[i], 1262ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - direct_calls_to_boot_[i], 1272ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1282ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1292ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (direct_methods_to_boot_[i] > 0) { 1302ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1312ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " method calls have methods in boot"; 1322ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(direct_methods_to_boot_[i], 1332ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - direct_methods_to_boot_[i], 1342ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1352ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 136c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 137c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 138996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 13950b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers// Allow lossy statistics in non-debug builds. 140996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#ifndef NDEBUG 14150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers#define STATS_LOCK() MutexLock mu(Thread::Current(), stats_lock_) 142996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#else 143996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#define STATS_LOCK() 144996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#endif 145996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 146c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeInDexCache() { 147c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 148c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers types_in_dex_cache_++; 149c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 150996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 151c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeNotInDexCache() { 152c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 153c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers types_not_in_dex_cache_++; 154c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 155996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 156c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void StringInDexCache() { 157c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 158c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers strings_in_dex_cache_++; 159c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 160996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 161c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void StringNotInDexCache() { 162c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 163c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers strings_not_in_dex_cache_++; 164c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 165996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 166c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeDoesntNeedAccessCheck() { 167c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 168c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_types_++; 169c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 170996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 171c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeNeedsAccessCheck() { 172c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 173c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_types_++; 174c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 175996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 176c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedInstanceField() { 177c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 178c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_instance_fields_++; 179c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 180996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 181b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes void UnresolvedInstanceField() { 182c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 183c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_instance_fields_++; 184c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 185996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 186c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedLocalStaticField() { 187c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 188c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_local_static_fields_++; 189c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 190996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 191c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedStaticField() { 192c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 193c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_static_fields_++; 194c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 195996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 196c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void UnresolvedStaticField() { 197c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 198c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_static_fields_++; 199c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 200996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 201e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that type information from the verifier led to devirtualization. 20202c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal void PreciseTypeDevirtualization() { 20302c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal STATS_LOCK(); 20402c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal type_based_devirtualization_++; 20502c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal } 206e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers 207e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was resolved at compile time. 208c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedMethod(InvokeType type) { 209c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DCHECK_LE(type, kMaxInvokeType); 210c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 211c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_methods_[type]++; 212996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 213996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 214e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was unresolved at compile time as it was in an 215e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // unknown dex file. 216c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void UnresolvedMethod(InvokeType type) { 217c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DCHECK_LE(type, kMaxInvokeType); 218c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 219c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_methods_[type]++; 220996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 221c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 222e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a type of virtual method dispatch has been converted into a direct method 223e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // dispatch. 2242ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void VirtualMadeDirect(InvokeType type) { 225e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers DCHECK(type == kVirtual || type == kInterface || type == kSuper); 2262ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers STATS_LOCK(); 2272ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers virtual_made_direct_[type]++; 2282ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 2292ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 230e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was able to call directly into boot. 2312ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void DirectCallsToBoot(InvokeType type) { 2322ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DCHECK_LE(type, kMaxInvokeType); 2332ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers STATS_LOCK(); 2342ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_calls_to_boot_[type]++; 2352ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 2362ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 237e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was able to be resolved directly from boot. 2382ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void DirectMethodsToBoot(InvokeType type) { 2392ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DCHECK_LE(type, kMaxInvokeType); 240fb6adba0d5d5505610fbd325e7911db700a2f1e8Ian Rogers STATS_LOCK(); 2412ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_methods_to_boot_[type]++; 242fb6adba0d5d5505610fbd325e7911db700a2f1e8Ian Rogers } 2432ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 244fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // A check-cast could be eliminated due to verifier type analysis. 245fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers void SafeCast() { 246fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers STATS_LOCK(); 247fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers safe_casts_++; 248fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 249fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 250fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // A check-cast couldn't be eliminated due to verifier type analysis. 251fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers void NotASafeCast() { 252fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers STATS_LOCK(); 253fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers not_safe_casts_++; 254fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 255fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 256c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers private: 257c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers Mutex stats_lock_; 258c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 259c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t types_in_dex_cache_; 260c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t types_not_in_dex_cache_; 261c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 262c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t strings_in_dex_cache_; 263c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t strings_not_in_dex_cache_; 264c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 265c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_types_; 266c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_types_; 267c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 268c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_instance_fields_; 269c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_instance_fields_; 270c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 271c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_local_static_fields_; 272c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_static_fields_; 273c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_static_fields_; 27402c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal // Type based devirtualization for invoke interface and virtual. 27502c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal size_t type_based_devirtualization_; 276c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 277c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_methods_[kMaxInvokeType + 1]; 278c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_methods_[kMaxInvokeType + 1]; 2792ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t virtual_made_direct_[kMaxInvokeType + 1]; 2802ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t direct_calls_to_boot_[kMaxInvokeType + 1]; 2812ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t direct_methods_to_boot_[kMaxInvokeType + 1]; 282c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 283fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers size_t safe_casts_; 284fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers size_t not_safe_casts_; 285fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 286b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes DISALLOW_COPY_AND_ASSIGN(AOTCompilationStats); 287c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers}; 288996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 28951c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom 29051c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstromextern "C" art::CompiledMethod* ArtCompileDEX(art::CompilerDriver& compiler, 29151c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const art::DexFile::CodeItem* code_item, 29251c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom uint32_t access_flags, 29351c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom art::InvokeType invoke_type, 2948b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_idx, 29551c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom uint32_t method_idx, 29651c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom jobject class_loader, 29751c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const art::DexFile& dex_file); 29851c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom 2996449c62e40ef3a9bb75f664f922555affb532ee4Brian CarlstromCompilerDriver::CompilerDriver(const CompilerOptions* compiler_options, 3006449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom VerificationResults* verification_results, 3015816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko DexFileToMethodInlinerMap* method_inliner_map, 302f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray CompilerBackend::Kind compiler_backend_kind, 303f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray InstructionSet instruction_set, 3047020278bce98a0735dc6abcbd33bdf1ed2634f1dDave Allison InstructionSetFeatures instruction_set_features, 305a024a0686c3b0fea13f362bff70d65981e5febc5buzbee bool image, DescriptorSet* image_classes, size_t thread_count, 306ea3fa0b4ba13d7bd7f7c1cd85202ccbe141a35aeNicolas Geoffray bool dump_stats, bool dump_passes, CumulativeLogger* timer) 3076449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom : compiler_options_(compiler_options), 3086449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom verification_results_(verification_results), 3095816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko method_inliner_map_(method_inliner_map), 310f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray compiler_backend_(CompilerBackend::Create(compiler_backend_kind)), 311c531cefbfb5394413122e9f57d211ba436cff012buzbee instruction_set_(instruction_set), 3127020278bce98a0735dc6abcbd33bdf1ed2634f1dDave Allison instruction_set_features_(instruction_set_features), 313fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers freezing_constructor_lock_("freezing constructor lock"), 314c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes compiled_classes_lock_("compiled classes lock"), 315c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes compiled_methods_lock_("compiled method lock"), 316aded5f7ab991f3c1132851599d3bc60ff6707eedBrian Carlstrom image_(image), 31796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom image_classes_(image_classes), 3185523ee070b005576c6f889415205d49ea77cf243Elliott Hughes thread_count_(thread_count), 31900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers start_ns_(0), 320c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_(new AOTCompilationStats), 321ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom dump_stats_(dump_stats), 322ea3fa0b4ba13d7bd7f7c1cd85202ccbe141a35aeNicolas Geoffray dump_passes_(dump_passes), 323ea3fa0b4ba13d7bd7f7c1cd85202ccbe141a35aeNicolas Geoffray timings_logger_(timer), 324b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes compiler_library_(NULL), 3256f4976c1a9fdaf108974143cd11e6b46037fd24eElliott Hughes compiler_context_(NULL), 326e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers compiler_enable_auto_elf_loading_(NULL), 32796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom compiler_get_method_code_addr_(NULL), 32855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell support_boot_image_fixup_(instruction_set != kMips), 329ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell cfi_info_(nullptr), 330d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_code_("dedupe code"), 331d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_mapping_table_("dedupe mapping table"), 332d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_vmap_table_("dedupe vmap table"), 333ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell dedupe_gc_map_("dedupe gc map"), 334ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell dedupe_cfi_info_("dedupe cfi info") { 3356449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(compiler_options_ != nullptr); 3366449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(verification_results_ != nullptr); 3376449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(method_inliner_map_ != nullptr); 3382ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom 3394df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CHECK_PTHREAD_CALL(pthread_key_create, (&tls_key_, NULL), "compiler tls key"); 3404df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee 34175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz dex_to_dex_compiler_ = reinterpret_cast<DexToDexCompilerFn>(ArtCompileDEX); 3422d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz 343f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray compiler_backend_->Init(*this); 34400bc1dc4f81268d78d7dfeb298b85c56876425a9Brian Carlstrom 34525c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom CHECK(!Runtime::Current()->IsStarted()); 346ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom if (!image_) { 34796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CHECK(image_classes_.get() == NULL); 348ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom } 349ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell 350ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell // Are we generating CFI information? 351ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell if (compiler_options->GetGenerateGDBInformation()) { 352ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell cfi_info_.reset(compiler_backend_->GetCallFrameInformationInitialization(*this)); 353ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell } 354c486c11a1c71ca9c118d57152427b741229cda49Shih-wei Liao} 355c486c11a1c71ca9c118d57152427b741229cda49Shih-wei Liao 356193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateCode(const std::vector<uint8_t>& code) { 357193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_code_.Add(Thread::Current(), code); 358193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 359193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 360193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateMappingTable(const std::vector<uint8_t>& code) { 361193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_mapping_table_.Add(Thread::Current(), code); 362193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 363193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 364193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateVMapTable(const std::vector<uint8_t>& code) { 365193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_vmap_table_.Add(Thread::Current(), code); 366193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 367193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 368193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateGCMap(const std::vector<uint8_t>& code) { 369193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_gc_map_.Add(Thread::Current(), code); 370193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 371193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 372ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendellstd::vector<uint8_t>* CompilerDriver::DeduplicateCFIInfo(const std::vector<uint8_t>* cfi_info) { 373ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell if (cfi_info == nullptr) { 374ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell return nullptr; 375ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell } 376ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell return dedupe_cfi_info_.Add(Thread::Current(), *cfi_info); 377ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell} 378ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell 3791212a022fa5f8ef9585d765b1809521812af882cIan RogersCompilerDriver::~CompilerDriver() { 38050b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers Thread* self = Thread::Current(); 381c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 38250b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_classes_lock_); 383c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes STLDeleteValues(&compiled_classes_); 384c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes } 385c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 38650b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 387c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes STLDeleteValues(&compiled_methods_); 388c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes } 389c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 39050b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 391f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom STLDeleteElements(&code_to_patch_); 392f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom } 393f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom { 39450b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 395f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom STLDeleteElements(&methods_to_patch_); 396f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom } 397be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi { 398be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi MutexLock mu(self, compiled_methods_lock_); 399be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi STLDeleteElements(&classes_to_patch_); 400be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 401ed6d5ed3494648780b9e91422c90d6bc22c16b79Mathieu Chartier CHECK_PTHREAD_CALL(pthread_key_delete, (tls_key_), "delete tls key"); 402f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray compiler_backend_->UnInit(*this); 4033320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom} 4043320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom 4051212a022fa5f8ef9585d765b1809521812af882cIan RogersCompilerTls* CompilerDriver::GetTls() { 4064df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee // Lazily create thread-local storage 4074df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CompilerTls* res = static_cast<CompilerTls*>(pthread_getspecific(tls_key_)); 4084df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee if (res == NULL) { 4094df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee res = new CompilerTls(); 4104df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CHECK_PTHREAD_CALL(pthread_setspecific, (tls_key_, res), "compiler tls"); 4114df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee } 4124df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee return res; 4134df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee} 4144df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee 415848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateInterpreterToInterpreterBridge() const { 416848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kInterpreterAbi, 417848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers INTERPRETER_ENTRYPOINT_OFFSET(pInterpreterToInterpreterBridge)); 418848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 419848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 420848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateInterpreterToCompiledCodeBridge() const { 421848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kInterpreterAbi, 422848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers INTERPRETER_ENTRYPOINT_OFFSET(pInterpreterToCompiledCodeBridge)); 423848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 424848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 425848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateJniDlsymLookup() const { 426848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kJniAbi, JNI_ENTRYPOINT_OFFSET(pDlsymLookup)); 427848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 428848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 42988474b416eb257078e590bf9bc7957cee604a186Jeff Haoconst std::vector<uint8_t>* CompilerDriver::CreatePortableImtConflictTrampoline() const { 43088474b416eb257078e590bf9bc7957cee604a186Jeff Hao return CreateTrampoline(instruction_set_, kPortableAbi, 43188474b416eb257078e590bf9bc7957cee604a186Jeff Hao PORTABLE_ENTRYPOINT_OFFSET(pPortableImtConflictTrampoline)); 43288474b416eb257078e590bf9bc7957cee604a186Jeff Hao} 43388474b416eb257078e590bf9bc7957cee604a186Jeff Hao 4340aba0ba155bef7346bde19e53581200b89ae8a7aJeff Haoconst std::vector<uint8_t>* CompilerDriver::CreatePortableResolutionTrampoline() const { 435848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kPortableAbi, 436848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers PORTABLE_ENTRYPOINT_OFFSET(pPortableResolutionTrampoline)); 4370aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4380aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 439848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreatePortableToInterpreterBridge() const { 440848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kPortableAbi, 441848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers PORTABLE_ENTRYPOINT_OFFSET(pPortableToInterpreterBridge)); 4420aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4430aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 4442da882315a61072664f7ce3c212307342e907207Andreas Gampeconst std::vector<uint8_t>* CompilerDriver::CreateQuickGenericJniTrampoline() const { 4452da882315a61072664f7ce3c212307342e907207Andreas Gampe return CreateTrampoline(instruction_set_, kQuickAbi, 4462da882315a61072664f7ce3c212307342e907207Andreas Gampe QUICK_ENTRYPOINT_OFFSET(pQuickGenericJniTrampoline)); 4472da882315a61072664f7ce3c212307342e907207Andreas Gampe} 4482da882315a61072664f7ce3c212307342e907207Andreas Gampe 44988474b416eb257078e590bf9bc7957cee604a186Jeff Haoconst std::vector<uint8_t>* CompilerDriver::CreateQuickImtConflictTrampoline() const { 45088474b416eb257078e590bf9bc7957cee604a186Jeff Hao return CreateTrampoline(instruction_set_, kQuickAbi, 45188474b416eb257078e590bf9bc7957cee604a186Jeff Hao QUICK_ENTRYPOINT_OFFSET(pQuickImtConflictTrampoline)); 45288474b416eb257078e590bf9bc7957cee604a186Jeff Hao} 45388474b416eb257078e590bf9bc7957cee604a186Jeff Hao 454848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateQuickResolutionTrampoline() const { 455848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kQuickAbi, 456848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers QUICK_ENTRYPOINT_OFFSET(pQuickResolutionTrampoline)); 4570aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4580aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 459848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateQuickToInterpreterBridge() const { 460848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers return CreateTrampoline(instruction_set_, kQuickAbi, 461848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers QUICK_ENTRYPOINT_OFFSET(pQuickToInterpreterBridge)); 4620aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4630aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 4641212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileAll(jobject class_loader, 4654560248d4c85cade7f4fc7b30c3fb41b95a04a7fBrian Carlstrom const std::vector<const DexFile*>& dex_files, 4663d504075f7c1204d581923460754bf6d3714b13fIan Rogers TimingLogger* timings) { 46725c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom DCHECK(!Runtime::Current()->IsStarted()); 468bcd5e9daecad39f0dab3246808b4835caec29ea6Mathieu Chartier UniquePtr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", thread_count_ - 1)); 4693d504075f7c1204d581923460754bf6d3714b13fIan Rogers PreCompile(class_loader, dex_files, thread_pool.get(), timings); 4703d504075f7c1204d581923460754bf6d3714b13fIan Rogers Compile(class_loader, dex_files, thread_pool.get(), timings); 471ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom if (dump_stats_) { 472ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom stats_->Dump(); 473ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom } 4748a48741b96ca9cc5835cac72ac133c4ca480930fBrian Carlstrom} 4758a48741b96ca9cc5835cac72ac133c4ca480930fBrian Carlstrom 476590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartierstatic DexToDexCompilationLevel GetDexToDexCompilationlevel( 4779837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers Thread* self, SirtRef<mirror::ClassLoader>& class_loader, const DexFile& dex_file, 478590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier const DexFile::ClassDef& class_def) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 4792d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const char* descriptor = dex_file.GetClassDescriptor(class_def); 4802d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 4819837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers mirror::Class* klass = class_linker->FindClass(self, descriptor, class_loader); 4822d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz if (klass == NULL) { 4832d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz CHECK(self->IsExceptionPending()); 4842d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz self->ClearException(); 48575021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kDontDexToDexCompile; 48675021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } 48775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // The verifier can only run on "quick" instructions at runtime (see usage of 48875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // FindAccessedFieldAtDexPc and FindInvokedMethodAtDexPc in ThrowNullPointerExceptionFromDexPC 48975021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // function). Since image classes can be verified again while compiling an application, 49075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // we must prevent the DEX-to-DEX compiler from introducing them. 49175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // TODO: find a way to enable "quick" instructions for image classes and remove this check. 492590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier bool compiling_image_classes = class_loader.get() == nullptr; 49375021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz if (compiling_image_classes) { 49475021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kRequired; 49575021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else if (klass->IsVerified()) { 49675021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class is verified so we can enable DEX-to-DEX compilation for performance. 49775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kOptimize; 49875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else if (klass->IsCompileTimeVerified()) { 49975021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class verification has soft-failed. Anyway, ensure at least correctness. 50075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DCHECK_EQ(klass->GetStatus(), mirror::Class::kStatusRetryVerificationAtRuntime); 50175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kRequired; 50275021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else { 50375021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class verification has failed: do not run DEX-to-DEX compilation. 50475021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kDontDexToDexCompile; 5052d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 5062d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz} 5072d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz 5083d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::CompileOne(mirror::ArtMethod* method, TimingLogger* timings) { 50925c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom DCHECK(!Runtime::Current()->IsStarted()); 51000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers Thread* self = Thread::Current(); 5112d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jobject jclass_loader; 51200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers const DexFile* dex_file; 5138b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_idx; 514ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers uint32_t method_idx = method->GetDexMethodIndex(); 515ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers uint32_t access_flags = method->GetAccessFlags(); 516ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers InvokeType invoke_type = method->GetInvokeType(); 51700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers { 51800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccessUnchecked soa(self); 51900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedLocalRef<jobject> 52000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers local_class_loader(soa.Env(), 52100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers soa.AddLocalReference<jobject>(method->GetDeclaringClass()->GetClassLoader())); 5222d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jclass_loader = soa.Env()->NewGlobalRef(local_class_loader.get()); 52300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // Find the dex_file 524fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers MethodHelper mh(method); 525fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers dex_file = &mh.GetDexFile(); 526fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers class_def_idx = mh.GetClassDefIndex(); 52700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 528ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset()); 52900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers self->TransitionFromRunnableToSuspended(kNative); 530ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 531ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom std::vector<const DexFile*> dex_files; 53200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers dex_files.push_back(dex_file); 533ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 534bcd5e9daecad39f0dab3246808b4835caec29ea6Mathieu Chartier UniquePtr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", 0U)); 5353d504075f7c1204d581923460754bf6d3714b13fIan Rogers PreCompile(jclass_loader, dex_files, thread_pool.get(), timings); 536ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 5372d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz // Can we run DEX-to-DEX compiler on this class ? 53875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile; 5392d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz { 5402d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ScopedObjectAccess soa(Thread::Current()); 5412d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_idx); 542590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), 543590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier soa.Decode<mirror::ClassLoader*>(jclass_loader)); 5449837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers dex_to_dex_compilation_level = GetDexToDexCompilationlevel(self, class_loader, *dex_file, 5459837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_def); 5462d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 547ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CompileMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx, jclass_loader, 548ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers *dex_file, dex_to_dex_compilation_level); 549ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 5502d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz self->GetJniEnv()->DeleteGlobalRef(jclass_loader); 55100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 55200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers self->TransitionFromSuspendedToRunnable(); 5539ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 5549ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 5551212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Resolve(jobject class_loader, const std::vector<const DexFile*>& dex_files, 5563d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 557ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 558ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 5599ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom CHECK(dex_file != NULL); 5602f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom ResolveDexFile(class_loader, *dex_file, thread_pool, timings); 5619ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 5629ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 5639ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 5641212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::PreCompile(jobject class_loader, const std::vector<const DexFile*>& dex_files, 5653d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 56696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LoadImageClasses(timings); 56796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 5682f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom Resolve(class_loader, dex_files, thread_pool, timings); 569601a12302407d8199503d2cc6cc0829d5996696dElliott Hughes 5702f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom Verify(class_loader, dex_files, thread_pool, timings); 571ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 5722f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom InitializeClasses(class_loader, dex_files, thread_pool, timings); 57396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 57496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom UpdateImageClasses(timings); 575ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom} 576ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 577dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogersbool CompilerDriver::IsImageClass(const char* descriptor) const { 578e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (!IsImage()) { 57996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 580e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } else { 581dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers return image_classes_->find(descriptor) != image_classes_->end(); 582ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom } 583ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom} 584ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 58596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic void ResolveExceptionsForMethod(MethodHelper* mh, 58696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::set<std::pair<uint16_t, const DexFile*> >& exceptions_to_resolve) 58796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 58896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const DexFile::CodeItem* code_item = mh->GetCodeItem(); 58996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (code_item == NULL) { 59096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; // native or abstract method 59196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 59296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (code_item->tries_size_ == 0) { 59396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; // nothing to process 59496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 59596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const byte* encoded_catch_handler_list = DexFile::GetCatchHandlerData(*code_item, 0); 59696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom size_t num_encoded_catch_handlers = DecodeUnsignedLeb128(&encoded_catch_handler_list); 59796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < num_encoded_catch_handlers; i++) { 59896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom int32_t encoded_catch_handler_size = DecodeSignedLeb128(&encoded_catch_handler_list); 59996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom bool has_catch_all = false; 60096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (encoded_catch_handler_size <= 0) { 60196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom encoded_catch_handler_size = -encoded_catch_handler_size; 60296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom has_catch_all = true; 60396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 60496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (int32_t j = 0; j < encoded_catch_handler_size; j++) { 60596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom uint16_t encoded_catch_handler_handlers_type_idx = 60696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 60796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Add to set of types to resolve if not already in the dex cache resolved types 60896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (!mh->IsResolvedTypeIdx(encoded_catch_handler_handlers_type_idx)) { 60996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom exceptions_to_resolve.insert( 61096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::pair<uint16_t, const DexFile*>(encoded_catch_handler_handlers_type_idx, 61196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom &mh->GetDexFile())); 61296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 61396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // ignore address associated with catch handler 61496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 61596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 61696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (has_catch_all) { 61796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // ignore catch all address 61896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 61996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 62096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 62196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 62296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 62396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic bool ResolveCatchBlockExceptionsClassVisitor(mirror::Class* c, void* arg) 62496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 62596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::set<std::pair<uint16_t, const DexFile*> >* exceptions_to_resolve = 62696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom reinterpret_cast<std::set<std::pair<uint16_t, const DexFile*> >*>(arg); 62796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom MethodHelper mh; 62896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < c->NumVirtualMethods(); ++i) { 629ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = c->GetVirtualMethod(i); 63096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom mh.ChangeMethod(m); 63196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ResolveExceptionsForMethod(&mh, *exceptions_to_resolve); 63296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 63396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < c->NumDirectMethods(); ++i) { 634ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* m = c->GetDirectMethod(i); 63596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom mh.ChangeMethod(m); 63696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ResolveExceptionsForMethod(&mh, *exceptions_to_resolve); 63796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 63896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 63996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 64096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 64196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic bool RecordImageClassesVisitor(mirror::Class* klass, void* arg) 64296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 64396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CompilerDriver::DescriptorSet* image_classes = 64496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom reinterpret_cast<CompilerDriver::DescriptorSet*>(arg); 64596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom image_classes->insert(ClassHelper(klass).GetDescriptor()); 64696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 64796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 64896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 64996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom// Make a list of descriptors for classes to include in the image 6503d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::LoadImageClasses(TimingLogger* timings) 65196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LOCKS_EXCLUDED(Locks::mutator_lock_) { 652e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (!IsImage()) { 65396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; 65496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 65596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 6563d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("LoadImageClasses"); 65796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Make a first class to load all classes explicitly listed in the file 65896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom Thread* self = Thread::Current(); 65996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ScopedObjectAccess soa(self); 66096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 66102e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier for (auto it = image_classes_->begin(), end = image_classes_->end(); it != end;) { 662e9c36b34efb7460f59c6766e526c9b0de8da70b3Vladimir Marko const std::string& descriptor(*it); 6639837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers SirtRef<mirror::Class> klass(self, class_linker->FindSystemClass(self, descriptor.c_str())); 66496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (klass.get() == NULL) { 665e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers VLOG(compiler) << "Failed to find class " << descriptor; 666e9c36b34efb7460f59c6766e526c9b0de8da70b3Vladimir Marko image_classes_->erase(it++); 667a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers self->ClearException(); 66896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } else { 66996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ++it; 67096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 67196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 67296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 67396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Resolve exception classes referenced by the loaded classes. The catch logic assumes 67496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // exceptions are resolved by the verifier when there is a catch block in an interested method. 67596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Do this here so that exception classes appear to have been specified image classes. 67696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::set<std::pair<uint16_t, const DexFile*> > unresolved_exception_types; 67796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SirtRef<mirror::Class> java_lang_Throwable(self, 6789837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_linker->FindSystemClass(self, "Ljava/lang/Throwable;")); 67996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom do { 68096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom unresolved_exception_types.clear(); 68196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom class_linker->VisitClasses(ResolveCatchBlockExceptionsClassVisitor, 68296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom &unresolved_exception_types); 68302e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier for (const std::pair<uint16_t, const DexFile*>& exception_type : unresolved_exception_types) { 68402e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier uint16_t exception_type_idx = exception_type.first; 68502e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier const DexFile* dex_file = exception_type.second; 686590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(self, class_linker->FindDexCache(*dex_file)); 687590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(self, nullptr); 68896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SirtRef<mirror::Class> klass(self, class_linker->ResolveType(*dex_file, exception_type_idx, 68996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom dex_cache, class_loader)); 69096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (klass.get() == NULL) { 69196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const DexFile::TypeId& type_id = dex_file->GetTypeId(exception_type_idx); 69296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const char* descriptor = dex_file->GetTypeDescriptor(type_id); 69396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LOG(FATAL) << "Failed to resolve class " << descriptor; 69496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 69596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DCHECK(java_lang_Throwable->IsAssignableFrom(klass.get())); 69696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 69796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Resolving exceptions may load classes that reference more exceptions, iterate until no 69896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // more are found 69996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } while (!unresolved_exception_types.empty()); 70096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 70196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // We walk the roots looking for classes so that we'll pick up the 70296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // above classes plus any classes them depend on such super 70396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // classes, interfaces, and the required ClassLinker roots. 70496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom class_linker->VisitClasses(RecordImageClassesVisitor, image_classes_.get()); 70596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 70696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CHECK_NE(image_classes_->size(), 0U); 70796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 70896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 70996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic void MaybeAddToImageClasses(mirror::Class* klass, CompilerDriver::DescriptorSet* image_classes) 71096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 71196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom while (!klass->IsObjectClass()) { 71296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ClassHelper kh(klass); 71396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const char* descriptor = kh.GetDescriptor(); 71496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::pair<CompilerDriver::DescriptorSet::iterator, bool> result = 71596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom image_classes->insert(descriptor); 71696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (result.second) { 71775a43f10f55e2aa550de51e969cc1e60d583b632Anwar Ghuloum VLOG(compiler) << "Adding " << descriptor << " to image classes"; 71896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } else { 71996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; 72096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 72196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < kh.NumDirectInterfaces(); ++i) { 72296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom MaybeAddToImageClasses(kh.GetDirectInterface(i), image_classes); 72396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 72496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (klass->IsArrayClass()) { 72596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom MaybeAddToImageClasses(klass->GetComponentType(), image_classes); 72696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 72796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom klass = klass->GetSuperClass(); 72896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 72996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 73096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 73196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromvoid CompilerDriver::FindClinitImageClassesCallback(mirror::Object* object, void* arg) { 73296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DCHECK(object != NULL); 73396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DCHECK(arg != NULL); 73496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CompilerDriver* compiler_driver = reinterpret_cast<CompilerDriver*>(arg); 73596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom MaybeAddToImageClasses(object->GetClass(), compiler_driver->image_classes_.get()); 73696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 73796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 7383d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::UpdateImageClasses(TimingLogger* timings) { 739e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (IsImage()) { 7403d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("UpdateImageClasses"); 7416f28d91aab952e3244fbb4e707fa38f85538f374Anwar Ghuloum 742e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Update image_classes_ with classes for objects created by <clinit> methods. 743e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers Thread* self = Thread::Current(); 744e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers const char* old_cause = self->StartAssertNoThreadSuspension("ImageWriter"); 745e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers gc::Heap* heap = Runtime::Current()->GetHeap(); 746e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // TODO: Image spaces only? 747590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier ScopedObjectAccess soa(Thread::Current()); 748e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers WriterMutexLock mu(self, *Locks::heap_bitmap_lock_); 749590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier heap->VisitObjects(FindClinitImageClassesCallback, this); 750e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers self->EndAssertNoThreadSuspension(old_cause); 751e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 75296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 75396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 754590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartierbool CompilerDriver::CanAssumeTypeIsPresentInDexCache(const DexFile& dex_file, uint32_t type_idx) { 755fc0e94bed3f88ed7e50854fd8dfaf5dcb345250fIan Rogers if (IsImage() && 756dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers IsImageClass(dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_))) { 7576fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers if (kIsDebugBuild) { 7586fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers ScopedObjectAccess soa(Thread::Current()); 7596fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 7606fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 7616fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers CHECK(resolved_class != NULL); 7626fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers } 763c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeInDexCache(); 7646fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers return true; 765996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 766c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNotInDexCache(); 7676fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers return false; 768996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 7696d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers} 7706d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers 7711212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAssumeStringIsPresentInDexCache(const DexFile& dex_file, 7721212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t string_idx) { 7731bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // See also Compiler::ResolveDexFile 7741bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 7755f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers bool result = false; 7765f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers if (IsImage()) { 7775f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers // We resolve all const-string strings when building for the image. 77800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 779590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), Runtime::Current()->GetClassLinker()->FindDexCache(dex_file)); 7805f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers Runtime::Current()->GetClassLinker()->ResolveString(dex_file, string_idx, dex_cache); 7815f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers result = true; 78200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 783996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 784c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->StringInDexCache(); 785996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 786c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->StringNotInDexCache(); 787996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 788996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 7891bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 7901bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 7911212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexFile& dex_file, 792c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers uint32_t type_idx, 793c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers bool* type_known_final, bool* type_known_abstract, 794c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers bool* equals_referrers_class) { 795c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_final != NULL) { 796c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_final = false; 797c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 798c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_abstract != NULL) { 799c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_abstract = false; 800c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 801c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (equals_referrers_class != NULL) { 802c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *equals_referrers_class = false; 803c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 80400f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 8052dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 8061bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Get type from dex cache assuming it was populated by the verifier 8072dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 8081bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (resolved_class == NULL) { 809c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8101bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Unknown class needs access checks. 8111bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8121bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx); 813c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (equals_referrers_class != NULL) { 814c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *equals_referrers_class = (method_id.class_idx_ == type_idx); 815c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 8162dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_); 8171bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (referrer_class == NULL) { 818c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8191bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Incomplete referrer knowledge needs access check. 8201bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8211bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Perform access check, will return true if access is ok or false if we're going to have to 8221bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // check this at runtime (for example for class loaders). 823996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers bool result = referrer_class->CanAccess(resolved_class); 824996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 825c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeDoesntNeedAccessCheck(); 826c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_final != NULL) { 827c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_final = resolved_class->IsFinal() && !resolved_class->IsArrayClass(); 828c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 829c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_abstract != NULL) { 830b19fa800aab1c2731b12ff24696feca13901db3fIan Rogers *type_known_abstract = resolved_class->IsAbstract() && !resolved_class->IsArrayClass(); 831c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 832996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 833c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 834996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 835996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 8361bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 8371bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 8381212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx, 8391212a022fa5f8ef9585d765b1809521812af882cIan Rogers const DexFile& dex_file, 8401212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t type_idx) { 84100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 8422dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 8431bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Get type from dex cache assuming it was populated by the verifier. 8442dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 8451bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (resolved_class == NULL) { 846c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8471bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Unknown class needs access checks. 8481bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8491bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx); 8502dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_); 8511bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (referrer_class == NULL) { 852c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8531bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Incomplete referrer knowledge needs access check. 8541bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8551bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Perform access and instantiable checks, will return true if access is ok or false if we're 8561bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // going to have to check this at runtime (for example for class loaders). 857996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers bool result = referrer_class->CanAccess(resolved_class) && resolved_class->IsInstantiable(); 858996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 859c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeDoesntNeedAccessCheck(); 860996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 861c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 862996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 863996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 8641bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 8651bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 866be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchibool CompilerDriver::CanEmbedTypeInCode(const DexFile& dex_file, uint32_t type_idx, 867be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi bool* is_type_initialized, bool* use_direct_type_ptr, 868be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uintptr_t* direct_type_ptr) { 869be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi ScopedObjectAccess soa(Thread::Current()); 870be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 871be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 872be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (resolved_class == nullptr) { 873be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 874be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 875be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot(); 876be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (compiling_boot) { 877be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // boot -> boot class pointers. 878be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if the class is in the image at boot compiling time. 879be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool is_image_class = IsImage() && IsImageClass( 880be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_)); 881be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if pc relative load works. 882be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool support_boot_image_fixup = GetSupportBootImageFixup(); 883be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (is_image_class && support_boot_image_fixup) { 884be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *is_type_initialized = resolved_class->IsInitialized(); 885be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *use_direct_type_ptr = false; 886be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *direct_type_ptr = 0; 887be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return true; 888be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 889be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 890be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 891be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 892be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if the class is in the image at app compiling time. 893be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool class_in_image = 894be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi Runtime::Current()->GetHeap()->FindSpaceFromObject(resolved_class, false)->IsImageSpace(); 895be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (class_in_image) { 896be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // boot -> app class pointers. 897be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *is_type_initialized = resolved_class->IsInitialized(); 898be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *use_direct_type_ptr = true; 899be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *direct_type_ptr = reinterpret_cast<uintptr_t>(resolved_class); 900be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return true; 901be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 902be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // app -> app class pointers. 903be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // Give up because app does not have an image and class 904be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // isn't created at compile time. TODO: implement this 905be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // if/when each app gets an image. 906be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 907be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 908be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 909be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi} 910be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi 911be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markovoid CompilerDriver::ProcessedInstanceField(bool resolved) { 912be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!resolved) { 913be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->UnresolvedInstanceField(); 914be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else { 915be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedInstanceField(); 916be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 917be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 918be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 919be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markovoid CompilerDriver::ProcessedStaticField(bool resolved, bool local) { 920be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!resolved) { 921be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->UnresolvedStaticField(); 922be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else if (local) { 923be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedLocalStaticField(); 924be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else { 925be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedStaticField(); 926be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 927be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 928be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 9292dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogersstatic mirror::Class* ComputeCompilingMethodsClass(ScopedObjectAccess& soa, 930590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache>& dex_cache, 93189756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers const DexCompilationUnit* mUnit) 932b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 9331bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers // The passed dex_cache is a hint, sanity check before asking the class linker that will take a 9341bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers // lock. 9351bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers if (dex_cache->GetDexFile() != mUnit->GetDexFile()) { 936590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier dex_cache.reset(mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile())); 9371bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers } 938590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> 939590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader())); 940590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier const DexFile::MethodId& referrer_method_id = 941590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier mUnit->GetDexFile()->GetMethodId(mUnit->GetDexMethodIndex()); 94289756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers return mUnit->GetClassLinker()->ResolveType(*mUnit->GetDexFile(), referrer_method_id.class_idx_, 94389756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers dex_cache, class_loader); 9444dd96f56909ec35c83a3d468b0e47769988c1a1dLogan Chien} 945a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers 946ea46f950e7a51585db293cd7f047de190a482414Brian Carlstromstatic mirror::ArtMethod* ComputeMethodReferencedFromCompilingMethod(ScopedObjectAccess& soa, 94765ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers const DexCompilationUnit* mUnit, 94865ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uint32_t method_idx, 94965ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers InvokeType type) 950b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 951590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile())); 952590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader())); 95389756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers return mUnit->GetClassLinker()->ResolveMethod(*mUnit->GetDexFile(), method_idx, dex_cache, 95489756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers class_loader, NULL, type); 955a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers} 956a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers 9572bc47809febcf36369dd40877b8226318642b428Vladimir Markobool CompilerDriver::ComputeSpecialAccessorInfo(uint32_t field_idx, bool is_put, 9582bc47809febcf36369dd40877b8226318642b428Vladimir Marko verifier::MethodVerifier* verifier, 9592bc47809febcf36369dd40877b8226318642b428Vladimir Marko InlineIGetIPutData* result) { 9602bc47809febcf36369dd40877b8226318642b428Vladimir Marko mirror::DexCache* dex_cache = verifier->GetDexCache(); 9612bc47809febcf36369dd40877b8226318642b428Vladimir Marko uint32_t method_idx = verifier->GetMethodReference().dex_method_index; 9622bc47809febcf36369dd40877b8226318642b428Vladimir Marko mirror::ArtMethod* method = dex_cache->GetResolvedMethod(method_idx); 9632bc47809febcf36369dd40877b8226318642b428Vladimir Marko mirror::ArtField* field = dex_cache->GetResolvedField(field_idx); 964c7ac649e6ddcf322de48abcddfde63b3e0832aeaVladimir Marko if (method == nullptr || field == nullptr || field->IsStatic()) { 9652bc47809febcf36369dd40877b8226318642b428Vladimir Marko return false; 9662bc47809febcf36369dd40877b8226318642b428Vladimir Marko } 9672bc47809febcf36369dd40877b8226318642b428Vladimir Marko mirror::Class* method_class = method->GetDeclaringClass(); 9682bc47809febcf36369dd40877b8226318642b428Vladimir Marko mirror::Class* field_class = field->GetDeclaringClass(); 9692bc47809febcf36369dd40877b8226318642b428Vladimir Marko if (!method_class->CanAccessResolvedField(field_class, field, dex_cache, field_idx) || 9702bc47809febcf36369dd40877b8226318642b428Vladimir Marko (is_put && field->IsFinal() && method_class != field_class)) { 9712bc47809febcf36369dd40877b8226318642b428Vladimir Marko return false; 9722bc47809febcf36369dd40877b8226318642b428Vladimir Marko } 9732bc47809febcf36369dd40877b8226318642b428Vladimir Marko DCHECK_GE(field->GetOffset().Int32Value(), 0); 9742bc47809febcf36369dd40877b8226318642b428Vladimir Marko result->field_idx = field_idx; 9752bc47809febcf36369dd40877b8226318642b428Vladimir Marko result->field_offset = field->GetOffset().Int32Value(); 9762bc47809febcf36369dd40877b8226318642b428Vladimir Marko result->is_volatile = field->IsVolatile(); 9772bc47809febcf36369dd40877b8226318642b428Vladimir Marko return true; 9782bc47809febcf36369dd40877b8226318642b428Vladimir Marko} 9792bc47809febcf36369dd40877b8226318642b428Vladimir Marko 98089756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogersbool CompilerDriver::ComputeInstanceFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, 981be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool is_put, MemberOffset* field_offset, 982be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool* is_volatile) { 98300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 984be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Try to resolve the field and compiling method's class. 985be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::ArtField* resolved_field; 986be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::Class* referrer_class; 987be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::DexCache* dex_cache; 988be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko { 989be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::DexCache> dex_cache_sirt(soa.Self(), 990be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile())); 991be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::ClassLoader> class_loader_sirt(soa.Self(), 992be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader())); 993be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::ArtField> resolved_field_sirt(soa.Self(), 994be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ResolveField(soa, dex_cache_sirt, class_loader_sirt, mUnit, field_idx, false)); 995be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko referrer_class = (resolved_field_sirt.get() != nullptr) 996be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ? ResolveCompilingMethodsClass(soa, dex_cache_sirt, class_loader_sirt, mUnit) : nullptr; 997be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko resolved_field = resolved_field_sirt.get(); 998be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko dex_cache = dex_cache_sirt.get(); 9991bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 1000be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool result = false; 1001be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (resolved_field != nullptr && referrer_class != nullptr) { 1002be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = IsFieldVolatile(resolved_field); 1003be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko std::pair<bool, bool> fast_path = IsFastInstanceField( 1004be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko dex_cache, referrer_class, resolved_field, field_idx, field_offset); 1005be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko result = is_put ? fast_path.second : fast_path.first; 1006be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1007be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!result) { 1008be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Conservative defaults. 1009be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = true; 1010be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *field_offset = MemberOffset(static_cast<size_t>(-1)); 1011be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1012be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ProcessedInstanceField(result); 1013be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return result; 10141bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 10151bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 101689756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogersbool CompilerDriver::ComputeStaticFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, 1017be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool is_put, MemberOffset* field_offset, 1018be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko uint32_t* storage_index, bool* is_referrers_class, 1019be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool* is_volatile, bool* is_initialized) { 102000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1021be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Try to resolve the field and compiling method's class. 1022be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::ArtField* resolved_field; 1023be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::Class* referrer_class; 1024be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::DexCache* dex_cache; 1025be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko { 1026be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::DexCache> dex_cache_sirt(soa.Self(), 1027be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile())); 1028be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::ClassLoader> class_loader_sirt(soa.Self(), 1029be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader())); 1030be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko SirtRef<mirror::ArtField> resolved_field_sirt(soa.Self(), 1031be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ResolveField(soa, dex_cache_sirt, class_loader_sirt, mUnit, field_idx, true)); 1032be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko referrer_class = (resolved_field_sirt.get() != nullptr) 1033be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ? ResolveCompilingMethodsClass(soa, dex_cache_sirt, class_loader_sirt, mUnit) : nullptr; 1034be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko resolved_field = resolved_field_sirt.get(); 1035be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko dex_cache = dex_cache_sirt.get(); 10361bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 1037be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool result = false; 1038be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (resolved_field != nullptr && referrer_class != nullptr) { 1039be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = IsFieldVolatile(resolved_field); 1040be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko std::pair<bool, bool> fast_path = IsFastStaticField( 1041be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko dex_cache, referrer_class, resolved_field, field_idx, field_offset, 1042be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko storage_index, is_referrers_class, is_initialized); 1043be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko result = is_put ? fast_path.second : fast_path.first; 1044be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1045be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!result) { 1046be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Conservative defaults. 1047be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = true; 1048be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *field_offset = MemberOffset(static_cast<size_t>(-1)); 1049be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *storage_index = -1; 1050be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_referrers_class = false; 1051be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_initialized = false; 1052be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1053be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ProcessedStaticField(result, *is_referrers_class); 1054be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return result; 10551bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 10561bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 105783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogersvoid CompilerDriver::GetCodeAndMethodForDirectCall(InvokeType* type, InvokeType sharp_type, 105883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool no_guarantee_of_dex_cache_entry, 10594f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers mirror::Class* referrer_class, 1060ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* method, 106165ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers bool update_stats, 106283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers MethodReference* target_method, 106365ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_code, 106465ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_method) { 1065137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // For direct and static methods compute possible direct_code and direct_method values, ie 1066137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // an address for the Method* being invoked and an address of the code for that Method*. 1067137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // For interface calls compute a value for direct_method that is the interface method being 1068137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // invoked, so this can be passed to the out-of-line runtime support code. 106965ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_code = 0; 107065ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_method = 0; 107183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool use_dex_cache = false; 1072590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot(); 1073f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray if (compiler_backend_->IsPortable()) { 1074c531cefbfb5394413122e9f57d211ba436cff012buzbee if (sharp_type != kStatic && sharp_type != kDirect) { 1075c531cefbfb5394413122e9f57d211ba436cff012buzbee return; 1076c531cefbfb5394413122e9f57d211ba436cff012buzbee } 107783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 1078c531cefbfb5394413122e9f57d211ba436cff012buzbee } else { 107988474b416eb257078e590bf9bc7957cee604a186Jeff Hao if (sharp_type != kStatic && sharp_type != kDirect) { 1080c531cefbfb5394413122e9f57d211ba436cff012buzbee return; 1081c531cefbfb5394413122e9f57d211ba436cff012buzbee } 108283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // TODO: support patching on all architectures. 108383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = compiling_boot && !support_boot_image_fixup_; 1084b8404a7de94c109e3c17b4205b5f8aaae996eb33TDYa } 108583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool method_code_in_boot = (method->GetDeclaringClass()->GetClassLoader() == nullptr); 108683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (!use_dex_cache) { 108783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (!method_code_in_boot) { 108883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 108983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 109083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool has_clinit_trampoline = 109183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers method->IsStatic() && !method->GetDeclaringClass()->IsInitialized(); 109283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (has_clinit_trampoline && (method->GetDeclaringClass() != referrer_class)) { 109383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Ensure we run the clinit trampoline unless we are invoking a static method in the same 109483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // class. 109583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 109683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 109783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 10982ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 109983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (update_stats && method_code_in_boot) { 110088474b416eb257078e590bf9bc7957cee604a186Jeff Hao stats_->DirectCallsToBoot(*type); 110183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->DirectMethodsToBoot(*type); 11022ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 110383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (!use_dex_cache && compiling_boot) { 110483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers MethodHelper mh(method); 1105dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers if (!IsImageClass(mh.GetDeclaringClassDescriptor())) { 110683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // We can only branch directly to Methods that are resolved in the DexCache. 110783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Otherwise we won't invoke the resolution trampoline. 110883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 1109e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 1110c468e92d1e18305a5053c8a4a7c88cb297e525afIan Rogers } 111183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // The method is defined not within this dex file. We need a dex cache slot within the current 111283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // dex file or direct pointers. 111383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool must_use_direct_pointers = false; 111483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (target_method->dex_file == method->GetDeclaringClass()->GetDexCache()->GetDexFile()) { 111583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_method_index = method->GetDexMethodIndex(); 111683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 111783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // TODO: support patching from one dex file to another in the boot image. 111883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = use_dex_cache || compiling_boot; 111983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (no_guarantee_of_dex_cache_entry) { 112083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // See if the method is also declared in this dex cache. 112183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers uint32_t dex_method_idx = MethodHelper(method).FindDexMethodIndexInOtherDexFile( 1122bbcc0c0a17262f3d2a70fc0a82e1783862f708ccVladimir Marko *target_method->dex_file, target_method->dex_method_index); 112383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (dex_method_idx != DexFile::kDexNoIndex) { 112483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_method_index = dex_method_idx; 112583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 112683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers must_use_direct_pointers = true; 11273fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 11283fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 112983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 113083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (use_dex_cache) { 113183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (must_use_direct_pointers) { 113283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Fail. Test above showed the only safe dispatch was via the dex cache, however, the direct 113383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // pointers are required as the dex cache lacks an appropriate entry. 113483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method); 113583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 113683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 113783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 11383fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } else { 113983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (compiling_boot) { 114083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 114183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *direct_method = -1; 114288474b416eb257078e590bf9bc7957cee604a186Jeff Hao *direct_code = -1; 114383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 114483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool method_in_image = 114583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers Runtime::Current()->GetHeap()->FindSpaceFromObject(method, false)->IsImageSpace(); 114683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (method_in_image) { 114788474b416eb257078e590bf9bc7957cee604a186Jeff Hao CHECK(!method->IsAbstract()); 114883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 114983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *direct_method = reinterpret_cast<uintptr_t>(method); 1150f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray *direct_code = compiler_backend_->GetEntryPointOf(method); 115183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_file = method->GetDeclaringClass()->GetDexCache()->GetDexFile(); 115283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_method_index = method->GetDexMethodIndex(); 115383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else if (!must_use_direct_pointers) { 115483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Set the code and rely on the dex cache for the method. 115583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 1156f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray *direct_code = compiler_backend_->GetEntryPointOf(method); 115783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 115883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Direct pointers were required but none were available. 115983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method); 116083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 11613fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 11622ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 11632ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers} 11642ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 1165e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogersbool CompilerDriver::ComputeInvokeInfo(const DexCompilationUnit* mUnit, const uint32_t dex_pc, 116665ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers bool update_stats, bool enable_devirtualization, 116765ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers InvokeType* invoke_type, MethodReference* target_method, 116865ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers int* vtable_idx, uintptr_t* direct_code, 116965ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_method) { 117000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 117165ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *vtable_idx = -1; 117265ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_code = 0; 117365ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_method = 0; 1174ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* resolved_method = 117565ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers ComputeMethodReferencedFromCompilingMethod(soa, mUnit, target_method->dex_method_index, 117665ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *invoke_type); 1177a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers if (resolved_method != NULL) { 117883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (*invoke_type == kVirtual || *invoke_type == kSuper) { 117983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *vtable_idx = resolved_method->GetMethodIndex(); 118088474b416eb257078e590bf9bc7957cee604a186Jeff Hao } else if (*invoke_type == kInterface) { 118188474b416eb257078e590bf9bc7957cee604a186Jeff Hao *vtable_idx = resolved_method->GetDexMethodIndex(); 118283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 118308f753d5859936f8d3524e9e4faa6cee353873eaIan Rogers // Don't try to fast-path if we don't understand the caller's class or this appears to be an 118408f753d5859936f8d3524e9e4faa6cee353873eaIan Rogers // Incompatible Class Change Error. 1185590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), resolved_method->GetDeclaringClass()->GetDexCache()); 11861bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers mirror::Class* referrer_class = 1187590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier ComputeCompilingMethodsClass(soa, dex_cache, mUnit); 118865ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers bool icce = resolved_method->CheckIncompatibleClassChange(*invoke_type); 118908f753d5859936f8d3524e9e4faa6cee353873eaIan Rogers if (referrer_class != NULL && !icce) { 11902dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* methods_class = resolved_method->GetDeclaringClass(); 1191ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers if (referrer_class->CanAccessResolvedMethod(methods_class, resolved_method, dex_cache.get(), 1192ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers target_method->dex_method_index)) { 11931e54d68ce8e77dfe63340275d11a072c5184c89aSebastien Hertz const bool enableFinalBasedSharpening = enable_devirtualization; 1194e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Sharpen a virtual call into a direct call when the target is known not to have been 1195e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // overridden (ie is final). 1196e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers bool can_sharpen_virtual_based_on_type = 119765ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers (*invoke_type == kVirtual) && (resolved_method->IsFinal() || methods_class->IsFinal()); 1198e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // For invoke-super, ensure the vtable index will be correct to dispatch in the vtable of 1199e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // the super class. 120065ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers bool can_sharpen_super_based_on_type = (*invoke_type == kSuper) && 1201e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers (referrer_class != methods_class) && referrer_class->IsSubClass(methods_class) && 1202e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers resolved_method->GetMethodIndex() < methods_class->GetVTable()->GetLength() && 1203e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers (methods_class->GetVTable()->Get(resolved_method->GetMethodIndex()) == resolved_method); 1204e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers 12051e54d68ce8e77dfe63340275d11a072c5184c89aSebastien Hertz if (enableFinalBasedSharpening && (can_sharpen_virtual_based_on_type || 1206e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers can_sharpen_super_based_on_type)) { 120789786437f4c0176b35ca0376153dd18ab7df4924Vladimir Marko // Sharpen a virtual call into a direct call. The method_idx is into the DexCache 120889786437f4c0176b35ca0376153dd18ab7df4924Vladimir Marko // associated with target_method->dex_file. 120989786437f4c0176b35ca0376153dd18ab7df4924Vladimir Marko CHECK(target_method->dex_file == mUnit->GetDexFile()); 121089786437f4c0176b35ca0376153dd18ab7df4924Vladimir Marko DCHECK(dex_cache.get() == mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile())); 121189786437f4c0176b35ca0376153dd18ab7df4924Vladimir Marko CHECK(dex_cache->GetResolvedMethod(target_method->dex_method_index) == 1212e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers resolved_method) << PrettyMethod(resolved_method); 121383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers InvokeType orig_invoke_type = *invoke_type; 121483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers GetCodeAndMethodForDirectCall(invoke_type, kDirect, false, referrer_class, resolved_method, 121583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers update_stats, target_method, direct_code, direct_method); 121683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (update_stats && (*invoke_type == kDirect)) { 121783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->ResolvedMethod(orig_invoke_type); 121883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->VirtualMadeDirect(orig_invoke_type); 1219e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 122083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers DCHECK_NE(*invoke_type, kSuper) << PrettyMethod(resolved_method); 1221fb6adba0d5d5505610fbd325e7911db700a2f1e8Ian Rogers return true; 1222e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 12231e54d68ce8e77dfe63340275d11a072c5184c89aSebastien Hertz const bool enableVerifierBasedSharpening = enable_devirtualization; 122465ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers if (enableVerifierBasedSharpening && (*invoke_type == kVirtual || 122565ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *invoke_type == kInterface)) { 1226e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Did the verifier record a more precise invoke target based on its type information? 12272730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko DCHECK(mUnit->GetVerifiedMethod() != nullptr); 122851c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const MethodReference* devirt_map_target = 12292730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko mUnit->GetVerifiedMethod()->GetDevirtTarget(dex_pc); 1230e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers if (devirt_map_target != NULL) { 1231590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> target_dex_cache(soa.Self(), mUnit->GetClassLinker()->FindDexCache(*devirt_map_target->dex_file)); 1232590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader())); 1233ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* called_method = 1234e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers mUnit->GetClassLinker()->ResolveMethod(*devirt_map_target->dex_file, 1235e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers devirt_map_target->dex_method_index, 1236e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers target_dex_cache, class_loader, NULL, 1237e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers kVirtual); 1238e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers CHECK(called_method != NULL); 1239e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers CHECK(!called_method->IsAbstract()); 124083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers InvokeType orig_invoke_type = *invoke_type; 124183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers GetCodeAndMethodForDirectCall(invoke_type, kDirect, true, referrer_class, called_method, 124283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers update_stats, target_method, direct_code, direct_method); 124383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (update_stats && (*invoke_type == kDirect)) { 124483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->ResolvedMethod(orig_invoke_type); 124583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->VirtualMadeDirect(orig_invoke_type); 124683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers stats_->PreciseTypeDevirtualization(); 124702c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal } 124883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers DCHECK_NE(*invoke_type, kSuper); 124983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers return true; 1250e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 125102c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal } 125265ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers if (*invoke_type == kSuper) { 125308f753d5859936f8d3524e9e4faa6cee353873eaIan Rogers // Unsharpened super calls are suspicious so go slow-path. 12542ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } else { 1255e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Sharpening failed so generate a regular resolved method dispatch. 1256e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers if (update_stats) { 125765ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers stats_->ResolvedMethod(*invoke_type); 1258e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 125983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers GetCodeAndMethodForDirectCall(invoke_type, *invoke_type, false, referrer_class, resolved_method, 126083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers update_stats, target_method, direct_code, direct_method); 1261a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers return true; 1262a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1263a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1264a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1265a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1266e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Clean up any exception left by method/invoke_type resolution 126700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers if (soa.Self()->IsExceptionPending()) { 126800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers soa.Self()->ClearException(); 1269a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1270e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers if (update_stats) { 127165ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers stats_->UnresolvedMethod(*invoke_type); 1272e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 1273a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers return false; // Incomplete knowledge needs slow path. 1274a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers} 1275a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers 12762730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Markoconst VerifiedMethod* CompilerDriver::GetVerifiedMethod(const DexFile* dex_file, 12772730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko uint32_t method_idx) const { 12782730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko MethodReference ref(dex_file, method_idx); 12792730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko return verification_results_->GetVerifiedMethod(ref); 12802730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko} 12812730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko 12822730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Markobool CompilerDriver::IsSafeCast(const DexCompilationUnit* mUnit, uint32_t dex_pc) { 12832730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko DCHECK(mUnit->GetVerifiedMethod() != nullptr); 12842730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko bool result = mUnit->GetVerifiedMethod()->IsSafeCast(dex_pc); 1285fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers if (result) { 1286fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers stats_->SafeCast(); 1287fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } else { 1288fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers stats_->NotASafeCast(); 1289fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 1290fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers return result; 1291fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers} 1292fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 1293fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 12941212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddCodePatch(const DexFile* dex_file, 12958b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t referrer_class_def_idx, 12968b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t referrer_method_idx, 12978b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType referrer_invoke_type, 12988b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t target_method_idx, 12998b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType target_invoke_type, 13008b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers size_t literal_offset) { 130150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 1302be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi code_to_patch_.push_back(new CallPatchInformation(dex_file, 1303be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1304be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1305be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_invoke_type, 1306be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_method_idx, 1307be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_invoke_type, 1308be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 13093fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers} 131055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendellvoid CompilerDriver::AddRelativeCodePatch(const DexFile* dex_file, 131155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint16_t referrer_class_def_idx, 131255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint32_t referrer_method_idx, 131355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell InvokeType referrer_invoke_type, 131455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint32_t target_method_idx, 131555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell InvokeType target_invoke_type, 131655d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell size_t literal_offset, 131755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell int32_t pc_relative_offset) { 131855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell MutexLock mu(Thread::Current(), compiled_methods_lock_); 131955d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell code_to_patch_.push_back(new RelativeCallPatchInformation(dex_file, 132055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_class_def_idx, 132155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_method_idx, 132255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_invoke_type, 132355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell target_method_idx, 132455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell target_invoke_type, 132555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell literal_offset, 132655d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell pc_relative_offset)); 132755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell} 13281212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddMethodPatch(const DexFile* dex_file, 13298b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t referrer_class_def_idx, 13308b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t referrer_method_idx, 13318b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType referrer_invoke_type, 13328b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t target_method_idx, 13338b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType target_invoke_type, 13348b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers size_t literal_offset) { 133550b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 1336be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi methods_to_patch_.push_back(new CallPatchInformation(dex_file, 1337be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1338be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1339be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_invoke_type, 1340be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_method_idx, 1341be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_invoke_type, 1342be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 1343be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi} 1344be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchivoid CompilerDriver::AddClassPatch(const DexFile* dex_file, 1345be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint16_t referrer_class_def_idx, 1346be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint32_t referrer_method_idx, 1347be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint32_t target_type_idx, 1348be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi size_t literal_offset) { 1349be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi MutexLock mu(Thread::Current(), compiled_methods_lock_); 1350be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi classes_to_patch_.push_back(new TypePatchInformation(dex_file, 1351be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1352be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1353be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_type_idx, 1354be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 13553fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers} 13563fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers 1357219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersclass ParallelCompilationManager { 1358731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom public: 1359219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers typedef void Callback(const ParallelCompilationManager* manager, size_t index); 13600e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier 1361219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager(ClassLinker* class_linker, 1362219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers jobject class_loader, 1363219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers CompilerDriver* compiler, 1364219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile* dex_file, 13653d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool) 13660b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier : index_(0), 13670b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier class_linker_(class_linker), 1368731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom class_loader_(class_loader), 1369731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom compiler_(compiler), 13700e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier dex_file_(dex_file), 13713d504075f7c1204d581923460754bf6d3714b13fIan Rogers thread_pool_(thread_pool) {} 1372731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom 137300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ClassLinker* GetClassLinker() const { 1374731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(class_linker_ != NULL); 1375731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return class_linker_; 1376731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 137700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 137800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers jobject GetClassLoader() const { 1379731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return class_loader_; 1380731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 138100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 13821212a022fa5f8ef9585d765b1809521812af882cIan Rogers CompilerDriver* GetCompiler() const { 1383731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(compiler_ != NULL); 1384731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return compiler_; 1385731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 138600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 138700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers const DexFile* GetDexFile() const { 1388731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(dex_file_ != NULL); 1389731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return dex_file_; 1390731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 1391731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom 13920e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier void ForAll(size_t begin, size_t end, Callback callback, size_t work_units) { 13930e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier Thread* self = Thread::Current(); 13940e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier self->AssertNoPendingException(); 13950e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier CHECK_GT(work_units, 0U); 13969ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 13970b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier index_ = begin; 13980e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier for (size_t i = 0; i < work_units; ++i) { 1399501baec5f2de2156bb5ed7f66d23f1b1ad026267Sebastien Hertz thread_pool_->AddTask(self, new ForAllClosure(this, end, callback)); 14000e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 14010e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier thread_pool_->StartWorkers(self); 140200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 14030e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // Ensure we're suspended while we're blocked waiting for the other threads to finish (worker 14040e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // thread destructor's called below perform join). 14050e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier CHECK_NE(self->GetState(), kRunnable); 1406d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14070e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // Wait for all the worker threads to finish. 14081d54e73444e017d3a65234e0f193846f3e27472bIan Rogers thread_pool_->Wait(self, true, false); 1409d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1410d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14110b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier size_t NextIndex() { 1412b122a4bbed34ab22b4c1541ee25e5cf22f12a926Ian Rogers return index_.FetchAndAdd(1); 14130b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier } 14140b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier 1415d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes private: 141602b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier class ForAllClosure : public Task { 14170e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier public: 14180b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier ForAllClosure(ParallelCompilationManager* manager, size_t end, Callback* callback) 1419219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers : manager_(manager), 14200e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier end_(end), 14210b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier callback_(callback) {} 14229ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 14230e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier virtual void Run(Thread* self) { 14240b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier while (true) { 14250b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier const size_t index = manager_->NextIndex(); 14260b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier if (UNLIKELY(index >= end_)) { 14270b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier break; 14280b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier } 14290b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier callback_(manager_, index); 14300e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier self->AssertNoPendingException(); 14310e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 14320e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 143302b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier 143402b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier virtual void Finalize() { 143502b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier delete this; 143602b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier } 14370cd7ec2dcd8d7ba30bf3ca420b40dac52849876cBrian Carlstrom 14380e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier private: 14390b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier ParallelCompilationManager* const manager_; 14400e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const size_t end_; 1441460536209b741bc469f1b0857775449abb2102fbBernhard Rosenkränzer Callback* const callback_; 14420e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier }; 14431e4092589f1400915e6213014da103aab8728ef6Elliott Hughes 14440b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier AtomicInteger index_; 14450e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier ClassLinker* const class_linker_; 14460e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const jobject class_loader_; 14471212a022fa5f8ef9585d765b1809521812af882cIan Rogers CompilerDriver* const compiler_; 14480e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const DexFile* const dex_file_; 1449219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ThreadPool* const thread_pool_; 14500b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier 14510b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier DISALLOW_COPY_AND_ASSIGN(ParallelCompilationManager); 1452d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes}; 1453d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14540e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// Return true if the class should be skipped during compilation. 14550e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// 14560e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// The first case where we skip is for redundant class definitions in 14570e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// the boot classpath. We skip all but the first definition in that case. 14580e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// 14590e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// The second case where we skip is when an app bundles classes found 14600e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// in the boot classpath. Since at runtime we will select the class from 14610e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// the boot classpath, we ignore the one from the app. 1462be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogersstatic bool SkipClass(ClassLinker* class_linker, jobject class_loader, const DexFile& dex_file, 1463be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers const DexFile::ClassDef& class_def) { 14640e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const char* descriptor = dex_file.GetClassDescriptor(class_def); 146500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers if (class_loader == NULL) { 14660e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao DexFile::ClassPathEntry pair = DexFile::FindInClassPath(descriptor, class_linker->GetBootClassPath()); 14670e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao CHECK(pair.second != NULL); 14680e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (pair.first != &dex_file) { 14690e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(WARNING) << "Skipping class " << descriptor << " from " << dex_file.GetLocation() 14700e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << " previously found in " << pair.first->GetLocation(); 14710e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return true; 14720e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 147300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers return false; 147400f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 1475be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers return class_linker->IsInBootClassPath(descriptor); 147600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers} 147700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 14780e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// A fast version of SkipClass above if the class pointer is available 14790e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// that avoids the expensive FindInClassPath search. 14800e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Haostatic bool SkipClass(jobject class_loader, const DexFile& dex_file, mirror::Class* klass) 14810e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 14820e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao DCHECK(klass != NULL); 14830e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& original_dex_file = *klass->GetDexCache()->GetDexFile(); 14840e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (&dex_file != &original_dex_file) { 14850e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (class_loader == NULL) { 14860e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(WARNING) << "Skipping class " << PrettyDescriptor(klass) << " from " 14870e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << dex_file.GetLocation() << " previously found in " 14880e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << original_dex_file.GetLocation(); 14890e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 14900e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return true; 14910e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 14920e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return false; 14930e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao} 14940e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao 1495e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogersstatic void ResolveClassFieldsAndMethods(const ParallelCompilationManager* manager, 1496e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers size_t class_def_index) 1497b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 14988f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ATRACE_CALL(); 1499be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers Thread* self = Thread::Current(); 1500be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers jobject jclass_loader = manager->GetClassLoader(); 1501219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1502be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1503d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1504e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // If an instance field is final then we need to have a barrier on the return, static final 1505e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // fields are assigned within the lock held for class initialization. Conservatively assume 1506e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // constructor barriers are always required. 1507e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers bool requires_constructor_barrier = true; 1508e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers 1509845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // Method and Field are the worst. We can't resolve without either 1510845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // context from the code use (to disambiguate virtual vs direct 1511845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // method and instance vs static field) or from class 1512845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // definitions. While the compiler will resolve what it can as it 1513845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // needs it, here we try to resolve fields and methods used in class 1514845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // definitions, since many of them many never be referenced by 1515845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // generated code. 1516d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1517be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers if (!SkipClass(class_linker, jclass_loader, dex_file, class_def)) { 1518cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom ScopedObjectAccess soa(self); 1519590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), soa.Decode<mirror::ClassLoader*>(jclass_loader)); 1520590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file)); 1521cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // Resolve the class. 1522cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom mirror::Class* klass = class_linker->ResolveType(dex_file, class_def.class_idx_, dex_cache, 1523cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom class_loader); 1524cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom bool resolve_fields_and_methods; 1525cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom if (klass == NULL) { 1526cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // Class couldn't be resolved, for example, super-class is in a different dex file. Don't 1527cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // attempt to resolve methods and fields when there is no declaring class. 1528cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom CHECK(soa.Self()->IsExceptionPending()); 1529cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom soa.Self()->ClearException(); 1530cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom resolve_fields_and_methods = false; 1531cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom } else { 1532cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom resolve_fields_and_methods = manager->GetCompiler()->IsImage(); 1533cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom } 1534e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Note the class_data pointer advances through the headers, 1535e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // static fields, instance fields, direct methods, and virtual 1536e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // methods. 1537e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers const byte* class_data = dex_file.GetClassData(class_def); 1538e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (class_data == NULL) { 1539e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Empty class such as a marker interface. 1540e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = false; 1541e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } else { 1542e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers ClassDataItemIterator it(dex_file, class_data); 1543e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextStaticField()) { 1544e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1545e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(), 1546e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, true); 1547e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (field == NULL) { 1548e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1549e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1550e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1551e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1552e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1553e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1554e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // We require a constructor barrier if there are final instance fields. 1555e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = false; 1556e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextInstanceField()) { 1557e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if ((it.GetMemberAccessFlags() & kAccFinal) != 0) { 1558e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = true; 1559e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1560e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1561e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(), 1562e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, false); 1563e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (field == NULL) { 1564e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1565e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1566e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1567e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1568e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1569e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1570e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1571e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextDirectMethod()) { 1572e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(), 1573e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, NULL, 1574e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.GetMethodInvokeType(class_def)); 1575e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (method == NULL) { 1576e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1577e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1578e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1579e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1580e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1581e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextVirtualMethod()) { 1582e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(), 1583e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, NULL, 1584e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.GetMethodInvokeType(class_def)); 1585e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (method == NULL) { 1586e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1587e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1588e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1589e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1590e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1591e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers DCHECK(!it.HasNext()); 1592e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 159320cfffabdc9e02b2df798bc4e6b6035d14bf4e36Brian Carlstrom } 1594d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1595fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers if (requires_constructor_barrier) { 1596be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers manager->GetCompiler()->AddRequiresConstructorBarrier(self, &dex_file, class_def_index); 1597fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers } 1598d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1599d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1600219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void ResolveType(const ParallelCompilationManager* manager, size_t type_idx) 1601b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 1602d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes // Class derived values are more complicated, they require the linker and loader. 160300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1604219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1605219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1606590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file)); 1607c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier SirtRef<mirror::ClassLoader> class_loader( 1608c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier soa.Self(), soa.Decode<mirror::ClassLoader*>(manager->GetClassLoader())); 16092dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = class_linker->ResolveType(dex_file, type_idx, dex_cache, class_loader); 161000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 1611d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes if (klass == NULL) { 161200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1613a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers mirror::Throwable* exception = soa.Self()->GetException(NULL); 1614a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers VLOG(compiler) << "Exception during type resolution: " << exception->Dump(); 1615dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers if (strcmp("Ljava/lang/OutOfMemoryError;", 1616dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers ClassHelper(exception->GetClass()).GetDescriptor()) == 0) { 1617a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers // There's little point continuing compilation if the heap is exhausted. 1618a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers LOG(FATAL) << "Out of memory during type resolution for compilation"; 1619a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers } 1620a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers soa.Self()->ClearException(); 1621d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1622d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1623d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 16241212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::ResolveDexFile(jobject class_loader, const DexFile& dex_file, 16253d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1626d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1627d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 162800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // TODO: we could resolve strings here, although the string table is largely filled with class 162900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // and method names. 1630d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1631219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool); 1632e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (IsImage()) { 1633e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // For images we resolve all types, such as array, whereas for applications just those with 1634e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // classdefs are resolved by ResolveClassFieldsAndMethods. 16353d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("Resolve Types"); 1636e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers context.ForAll(0, dex_file.NumTypeIds(), ResolveType, thread_count_); 1637e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1638d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 16393d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("Resolve MethodsAndFields"); 16400e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier context.ForAll(0, dex_file.NumClassDefs(), ResolveClassFieldsAndMethods, thread_count_); 16419ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 16429ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 16431212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Verify(jobject class_loader, const std::vector<const DexFile*>& dex_files, 16443d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1645ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 1646ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 164798eacac683b78e60799323e8c7d59e7214808639jeffhao CHECK(dex_file != NULL); 16482f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom VerifyDexFile(class_loader, *dex_file, thread_pool, timings); 164998eacac683b78e60799323e8c7d59e7214808639jeffhao } 165098eacac683b78e60799323e8c7d59e7214808639jeffhao} 165198eacac683b78e60799323e8c7d59e7214808639jeffhao 1652219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void VerifyClass(const ParallelCompilationManager* manager, size_t class_def_index) 1653b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 165467f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum ATRACE_CALL(); 165500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 16560e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& dex_file = *manager->GetDexFile(); 16570e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 16580e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const char* descriptor = dex_file.GetClassDescriptor(class_def); 16590e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao ClassLinker* class_linker = manager->GetClassLinker(); 16600e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao jobject jclass_loader = manager->GetClassLoader(); 1661590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader( 1662590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier soa.Self(), soa.Decode<mirror::ClassLoader*>(jclass_loader)); 16639837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers SirtRef<mirror::Class> klass(soa.Self(), class_linker->FindClass(soa.Self(), descriptor, 16649837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_loader)); 1665c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier if (klass.get() == nullptr) { 1666e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 166762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->ClearException(); 1668f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao 1669f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao /* 1670f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * At compile time, we can still structurally verify the class even if FindClass fails. 1671f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * This is to ensure the class is structurally sound for compilation. An unsound class 1672f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * will be rejected by the verifier and later skipped during compilation in the compiler. 1673f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao */ 1674590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::DexCache> dex_cache(soa.Self(), class_linker->FindDexCache(dex_file)); 1675f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao std::string error_msg; 1676590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier if (verifier::MethodVerifier::VerifyClass(&dex_file, dex_cache, class_loader, &class_def, true, 1677590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier &error_msg) == 167800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers verifier::MethodVerifier::kHardFailure) { 16790e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(ERROR) << "Verification failed on class " << PrettyDescriptor(descriptor) 1680f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao << " because: " << error_msg; 1681f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao } 1682c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier } else if (!SkipClass(jclass_loader, dex_file, klass.get())) { 1683c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier CHECK(klass->IsResolved()) << PrettyClass(klass.get()); 16840e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao class_linker->VerifyClass(klass); 1685d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1686e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (klass->IsErroneous()) { 1687e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // ClassLinker::VerifyClass throws, which isn't useful in the compiler. 1688e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1689e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1690e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 169167f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum 1692e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(klass->IsCompileTimeVerified() || klass->IsErroneous()) 1693c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier << PrettyDescriptor(klass.get()) << ": state=" << klass->GetStatus(); 1694e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 169562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->AssertNoPendingException(); 1696d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1697d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 16981212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::VerifyDexFile(jobject class_loader, const DexFile& dex_file, 16993d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 17003d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("Verify Dex File"); 1701731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1702219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool); 17030e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier context.ForAll(0, dex_file.NumClassDefs(), VerifyClass, thread_count_); 1704a5a97a2bc1dfed70869da34650a5a2a3a3a06ac4Brian Carlstrom} 1705a5a97a2bc1dfed70869da34650a5a2a3a3a06ac4Brian Carlstrom 1706219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void InitializeClass(const ParallelCompilationManager* manager, size_t class_def_index) 17073d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 17088f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ATRACE_CALL(); 17090e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao jobject jclass_loader = manager->GetClassLoader(); 17100e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& dex_file = *manager->GetDexFile(); 17110e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1712bcdbbfebc8f32566d4cb3f66405e89cdb7351992Jeff Hao const DexFile::TypeId& class_type_id = dex_file.GetTypeId(class_def.class_idx_); 1713bcdbbfebc8f32566d4cb3f66405e89cdb7351992Jeff Hao const char* descriptor = dex_file.StringDataByIdx(class_type_id.descriptor_idx_); 1714fc0e94bed3f88ed7e50854fd8dfaf5dcb345250fIan Rogers 171500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1716590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), 1717590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier soa.Decode<mirror::ClassLoader*>(jclass_loader)); 1718c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier SirtRef<mirror::Class> klass(soa.Self(), 17199837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers manager->GetClassLinker()->FindClass(soa.Self(), descriptor, 17209837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_loader)); 17210e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao 1722c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier if (klass.get() != nullptr && !SkipClass(jclass_loader, dex_file, klass.get())) { 172364b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers // Only try to initialize classes that were successfully verified. 17243d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers if (klass->IsVerified()) { 17258f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // Attempt to initialize the class but bail if we either need to initialize the super-class 17268f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // or static fields. 17278f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetClassLinker()->EnsureInitialized(klass, false, false); 172864b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers if (!klass->IsInitialized()) { 17298f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We don't want non-trivial class initialization occurring on multiple threads due to 17308f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // deadlock problems. For example, a parent class is initialized (holding its lock) that 17318f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // refers to a sub-class in its static/class initializer causing it to try to acquire the 17328f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // sub-class' lock. While on a second thread the sub-class is initialized (holding its lock) 17338f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // after first initializing its parents, whose locks are acquired. This leads to a 17348f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // parent-to-child and a child-to-parent lock ordering and consequent potential deadlock. 17358f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We need to use an ObjectLock due to potential suspension in the interpreting code. Rather 17368f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // than use a special Object for the purpose we use the Class of java.lang.Class. 1737c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier SirtRef<mirror::Class> sirt_klass(soa.Self(), klass->GetClass()); 1738c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier ObjectLock<mirror::Class> lock(soa.Self(), &sirt_klass); 17398f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // Attempt to initialize allowing initialization of parent classes but still not static 17408f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // fields. 17418f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetClassLinker()->EnsureInitialized(klass, false, true); 17428f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (!klass->IsInitialized()) { 17438f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We need to initialize static fields, we only do this for image classes that aren't 1744d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // marked with the $NoPreloadHolder (which implies this should not be initialized early). 17458f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers bool can_init_static_fields = manager->GetCompiler()->IsImage() && 1746d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz manager->GetCompiler()->IsImageClass(descriptor) && 1747d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz !StringPiece(descriptor).ends_with("$NoPreloadHolder;"); 17488f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (can_init_static_fields) { 1749d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz VLOG(compiler) << "Initializing: " << descriptor; 1750d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (strcmp("Ljava/lang/Void;", descriptor) == 0) { 1751d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // Hand initialize j.l.Void to avoid Dex file operations in un-started runtime. 1752d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz ObjectLock<mirror::Class> lock(soa.Self(), &klass); 1753d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz mirror::ObjectArray<mirror::ArtField>* fields = klass->GetSFields(); 1754d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz CHECK_EQ(fields->GetLength(), 1); 1755d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz fields->Get(0)->SetObj<false>(klass.get(), 1756d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz manager->GetClassLinker()->FindPrimitiveClass('V')); 1757d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz klass->SetStatus(mirror::Class::kStatusInitialized, soa.Self()); 1758d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } else { 1759d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // TODO multithreading support. We should ensure the current compilation thread has 1760d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // exclusive access to the runtime and the transaction. To achieve this, we could use 1761d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // a ReaderWriterMutex but we're holding the mutator lock so we fail mutex sanity 1762d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // checks in Thread::AssertThreadSuspensionIsAllowable. 1763d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz Runtime* const runtime = Runtime::Current(); 1764d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz Transaction transaction; 1765d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz 1766d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // Run the class initializer in transaction mode. 1767d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz runtime->EnterTransactionMode(&transaction); 1768d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz const mirror::Class::Status old_status = klass->GetStatus(); 1769d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz bool success = manager->GetClassLinker()->EnsureInitialized(klass, true, true); 1770d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // TODO we detach transaction from runtime to indicate we quit the transactional 1771d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // mode which prevents the GC from visiting objects modified during the transaction. 1772d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // Ensure GC is not run so don't access freed objects when aborting transaction. 1773d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz const char* old_casue = soa.Self()->StartAssertNoThreadSuspension("Transaction end"); 1774d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz runtime->ExitTransactionMode(); 1775d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz 1776d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (!success) { 1777d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz CHECK(soa.Self()->IsExceptionPending()); 1778d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz ThrowLocation throw_location; 1779d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz mirror::Throwable* exception = soa.Self()->GetException(&throw_location); 1780d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz VLOG(compiler) << "Initialization of " << descriptor << " aborted because of " 1781d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz << exception->Dump(); 1782d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz soa.Self()->ClearException(); 1783d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz transaction.Abort(); 1784d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz CHECK_EQ(old_status, klass->GetStatus()) << "Previous class status not restored"; 17858f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 1786d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz soa.Self()->EndAssertNoThreadSuspension(old_casue); 178764b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 178864b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 178964b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 17908f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers soa.Self()->AssertNoPendingException(); 179164b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 179227ec961a1da540ba7f16c07a682585ab167317adBrian Carlstrom } 17933d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers // Record the final class status if necessary. 179451c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom ClassReference ref(manager->GetDexFile(), class_def_index); 17958f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetCompiler()->RecordClassStatus(ref, klass->GetStatus()); 179698eacac683b78e60799323e8c7d59e7214808639jeffhao } 17971f5393447b9f45be7918042d9ee7b521376de866Ian Rogers // Clear any class not found or verification exceptions. 179862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->ClearException(); 179998eacac683b78e60799323e8c7d59e7214808639jeffhao} 180098eacac683b78e60799323e8c7d59e7214808639jeffhao 18011212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InitializeClasses(jobject jni_class_loader, const DexFile& dex_file, 18023d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 18033d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("InitializeNoClinit"); 18043d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1805219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, jni_class_loader, this, &dex_file, thread_pool); 1806d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz size_t thread_count; 1807d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (IsImage()) { 1808d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // TODO: remove this when transactional mode supports multithreading. 1809d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz thread_count = 1U; 1810d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } else { 1811d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz thread_count = thread_count_; 1812d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } 1813d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz context.ForAll(0, dex_file.NumClassDefs(), InitializeClass, thread_count); 1814d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (IsImage()) { 1815d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // Prune garbage objects created during aborted transactions. 1816d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz Runtime::Current()->GetHeap()->CollectGarbage(true); 1817d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } 18183d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers} 181990dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao 18201212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InitializeClasses(jobject class_loader, 18211212a022fa5f8ef9585d765b1809521812af882cIan Rogers const std::vector<const DexFile*>& dex_files, 18223d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 18233d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers for (size_t i = 0; i != dex_files.size(); ++i) { 18243d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers const DexFile* dex_file = dex_files[i]; 182590dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao CHECK(dex_file != NULL); 18262f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom InitializeClasses(class_loader, *dex_file, thread_pool, timings); 182700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 182890dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao} 182990dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao 18301212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Compile(jobject class_loader, const std::vector<const DexFile*>& dex_files, 18313d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1832ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 1833ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 183483db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom CHECK(dex_file != NULL); 18352f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom CompileDexFile(class_loader, *dex_file, thread_pool, timings); 183683db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom } 183783db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom} 183883db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom 1839219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersvoid CompilerDriver::CompileClass(const ParallelCompilationManager* manager, size_t class_def_index) { 184067f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum ATRACE_CALL(); 18412d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jobject jclass_loader = manager->GetClassLoader(); 1842219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1843c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1844be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1845be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers if (SkipClass(class_linker, jclass_loader, dex_file, class_def)) { 1846be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers return; 18475ead0950c661761e90e04aefd6ea2205532ce874Brian Carlstrom } 1848d1224c79631bd1801b067a0f212b91afa961a362jeffhao ClassReference ref(&dex_file, class_def_index); 1849d1224c79631bd1801b067a0f212b91afa961a362jeffhao // Skip compiling classes with generic verifier failures since they will still fail at runtime 1850c7f832061fea59fd6abd125f26c8ca1faec695a5Vladimir Marko if (manager->GetCompiler()->verification_results_->IsClassRejected(ref)) { 1851d1224c79631bd1801b067a0f212b91afa961a362jeffhao return; 1852d1224c79631bd1801b067a0f212b91afa961a362jeffhao } 18530571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers const byte* class_data = dex_file.GetClassData(class_def); 18540571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers if (class_data == NULL) { 18550571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // empty class, probably a marker interface 18560571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers return; 18570571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 185867f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum 18592d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz // Can we run DEX-to-DEX compiler on this class ? 186075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile; 18612d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz { 18622d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ScopedObjectAccess soa(Thread::Current()); 1863590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier SirtRef<mirror::ClassLoader> class_loader(soa.Self(), 1864590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier soa.Decode<mirror::ClassLoader*>(jclass_loader)); 18659837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers dex_to_dex_compilation_level = GetDexToDexCompilationlevel(soa.Self(), class_loader, dex_file, 18669837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_def); 18672d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 18680571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers ClassDataItemIterator it(dex_file, class_data); 18690571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Skip fields 18700571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextStaticField()) { 18710571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18720571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 18730571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextInstanceField()) { 18740571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18750571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 1876be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers CompilerDriver* driver = manager->GetCompiler(); 18770571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Compile direct methods 187868adbe41c7d9295da2bfc521d737ba6dabd36c98Brian Carlstrom int64_t previous_direct_method_idx = -1; 18790571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextDirectMethod()) { 18806f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom uint32_t method_idx = it.GetMemberIndex(); 18816f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom if (method_idx == previous_direct_method_idx) { 18826f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // smali can create dex files with two encoded_methods sharing the same method_idx 18836f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // http://code.google.com/p/smali/issues/detail?id=119 18846f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom it.Next(); 18856f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom continue; 18866f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom } 18876f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom previous_direct_method_idx = method_idx; 1888be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(), 1889be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers it.GetMethodInvokeType(class_def), class_def_index, 1890be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level); 18910571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18929ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 18930571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Compile virtual methods 189468adbe41c7d9295da2bfc521d737ba6dabd36c98Brian Carlstrom int64_t previous_virtual_method_idx = -1; 18950571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextVirtualMethod()) { 18966f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom uint32_t method_idx = it.GetMemberIndex(); 18976f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom if (method_idx == previous_virtual_method_idx) { 18986f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // smali can create dex files with two encoded_methods sharing the same method_idx 18996f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // http://code.google.com/p/smali/issues/detail?id=119 19006f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom it.Next(); 19016f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom continue; 19026f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom } 19036f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom previous_virtual_method_idx = method_idx; 1904be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(), 1905be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers it.GetMethodInvokeType(class_def), class_def_index, 1906be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level); 19070571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 19089ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 19090571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers DCHECK(!it.HasNext()); 19109ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 19119ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 19121212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileDexFile(jobject class_loader, const DexFile& dex_file, 19133d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 19143d504075f7c1204d581923460754bf6d3714b13fIan Rogers timings->NewSplit("Compile Dex File"); 1915be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ParallelCompilationManager context(Runtime::Current()->GetClassLinker(), class_loader, this, 1916be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers &dex_file, thread_pool); 19171212a022fa5f8ef9585d765b1809521812af882cIan Rogers context.ForAll(0, dex_file.NumClassDefs(), CompilerDriver::CompileClass, thread_count_); 1918c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes} 1919c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes 19201212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, 19218b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType invoke_type, uint16_t class_def_idx, 19221212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t method_idx, jobject class_loader, 19232d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const DexFile& dex_file, 192475021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level) { 1925f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes CompiledMethod* compiled_method = NULL; 1926bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes uint64_t start_ns = NanoTime(); 19274dd96f56909ec35c83a3d468b0e47769988c1a1dLogan Chien 1928169c9a7f46776b235d0a37d5e0ff27682deffe06Ian Rogers if ((access_flags & kAccNative) != 0) { 19292da882315a61072664f7ce3c212307342e907207Andreas Gampe#if defined(__x86_64__) 19302da882315a61072664f7ce3c212307342e907207Andreas Gampe // leaving this empty will trigger the generic JNI version 19312da882315a61072664f7ce3c212307342e907207Andreas Gampe#else 1932f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray compiled_method = compiler_backend_->JniCompile(*this, access_flags, method_idx, dex_file); 19333320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom CHECK(compiled_method != NULL); 19342da882315a61072664f7ce3c212307342e907207Andreas Gampe#endif 1935169c9a7f46776b235d0a37d5e0ff27682deffe06Ian Rogers } else if ((access_flags & kAccAbstract) != 0) { 19362cc022b653e1e84eed2522254ec684bd097572b8Brian Carlstrom } else { 193790af14d2743614e3e1453984b14258a6f145501dDragos Sbirlea MethodReference method_ref(&dex_file, method_idx); 19386449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom bool compile = verification_results_->IsCandidateForCompilation(method_ref, access_flags); 1939bd136a29f08486525d6abc7d0a0006ce5b4011c1Dragos Sbirlea 19404d4adb1dae07bb7421e863732ab789413a3b43f0Sebastien Hertz if (compile) { 1941a024a0686c3b0fea13f362bff70d65981e5febc5buzbee // NOTE: if compiler declines to compile this method, it will return NULL. 1942f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray compiled_method = compiler_backend_->Compile( 1943f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray *this, code_item, access_flags, invoke_type, class_def_idx, 1944f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray method_idx, class_loader, dex_file); 194575021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else if (dex_to_dex_compilation_level != kDontDexToDexCompile) { 19462d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz // TODO: add a mode to disable DEX-to-DEX compilation ? 194775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz (*dex_to_dex_compiler_)(*this, code_item, access_flags, 194875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz invoke_type, class_def_idx, 194975021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz method_idx, class_loader, dex_file, 195075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz dex_to_dex_compilation_level); 1951f3e9855ee2000106b54fd479f7a46da2dc2ad079Ian Rogers } 1952bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes } 19533bb17a644e2945c3913cfbde245d2f520d62a3ffIan Rogers uint64_t duration_ns = NanoTime() - start_ns; 1954f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray if (duration_ns > MsToNs(compiler_backend_->GetMaximumCompilationTimeBeforeWarning())) { 1955bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes LOG(WARNING) << "Compilation of " << PrettyMethod(method_idx, dex_file) 19563bb17a644e2945c3913cfbde245d2f520d62a3ffIan Rogers << " took " << PrettyDuration(duration_ns); 1957f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes } 1958f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes 195950b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers Thread* self = Thread::Current(); 1960f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes if (compiled_method != NULL) { 19610571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers MethodReference ref(&dex_file, method_idx); 19628f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers DCHECK(GetCompiledMethod(ref) == NULL) << PrettyMethod(method_idx, dex_file); 196300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers { 196450b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 196500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers compiled_methods_.Put(ref, compiled_method); 196600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 19670755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom DCHECK(GetCompiledMethod(ref) != NULL) << PrettyMethod(method_idx, dex_file); 19682cc022b653e1e84eed2522254ec684bd097572b8Brian Carlstrom } 19699baa4aefc370f48774b6104680193d9a7e4fb631Brian Carlstrom 197050b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers if (self->IsExceptionPending()) { 197150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers ScopedObjectAccess soa(self); 197200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers LOG(FATAL) << "Unexpected exception compiling: " << PrettyMethod(method_idx, dex_file) << "\n" 197362d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << self->GetException(NULL)->Dump(); 197400f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 19750571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers} 197628ad40dc3ec2f09b0ffd4f6d6787bf1b532ccd5dIan Rogers 19771212a022fa5f8ef9585d765b1809521812af882cIan RogersCompiledClass* CompilerDriver::GetCompiledClass(ClassReference ref) const { 197850b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_classes_lock_); 19790755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom ClassTable::const_iterator it = compiled_classes_.find(ref); 19800755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom if (it == compiled_classes_.end()) { 19810755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom return NULL; 19820755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom } 19830755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom CHECK(it->second != NULL); 19840755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom return it->second; 19850755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom} 19860755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom 19878f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogersvoid CompilerDriver::RecordClassStatus(ClassReference ref, mirror::Class::Status status) { 19888f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers MutexLock mu(Thread::Current(), compiled_classes_lock_); 19898f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers auto it = compiled_classes_.find(ref); 19908f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (it == compiled_classes_.end() || it->second->GetStatus() != status) { 19918f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // An entry doesn't exist or the status is lower than the new status. 19928f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (it != compiled_classes_.end()) { 19938f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers CHECK_GT(status, it->second->GetStatus()); 19948f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers delete it->second; 19958f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 19968f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers switch (status) { 19978f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusNotReady: 19988f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusError: 19998f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusRetryVerificationAtRuntime: 20008f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusVerified: 20018f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusInitialized: 20028f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers break; // Expected states. 20038f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers default: 20048f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers LOG(FATAL) << "Unexpected class status for class " 20058f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers << PrettyDescriptor(ref.first->GetClassDescriptor(ref.first->GetClassDef(ref.second))) 20068f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers << " of " << status; 20078f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 20088f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers CompiledClass* compiled_class = new CompiledClass(status); 20098f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers compiled_classes_.Overwrite(ref, compiled_class); 20108f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 20118f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers} 20128f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers 20131212a022fa5f8ef9585d765b1809521812af882cIan RogersCompiledMethod* CompilerDriver::GetCompiledMethod(MethodReference ref) const { 201450b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 20150571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers MethodTable::const_iterator it = compiled_methods_.find(ref); 20160571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers if (it == compiled_methods_.end()) { 20173320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom return NULL; 20182c8f653c98d658419f464b6147c10e11a664d2e6Ian Rogers } 20193320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom CHECK(it->second != NULL); 20203320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom return it->second; 20219ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 20229ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 20231212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddRequiresConstructorBarrier(Thread* self, const DexFile* dex_file, 20248b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_index) { 20258f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers WriterMutexLock mu(self, freezing_constructor_lock_); 2026fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers freezing_constructor_classes_.insert(ClassReference(dex_file, class_def_index)); 2027fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers} 2028fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers 20291212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::RequiresConstructorBarrier(Thread* self, const DexFile* dex_file, 20308b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_index) { 20318f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ReaderMutexLock mu(self, freezing_constructor_lock_); 2032fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers return freezing_constructor_classes_.count(ClassReference(dex_file, class_def_index)) != 0; 2033fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers} 2034fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers 20353f47c12487250f61f3be95e9f275e3b08e2c49fbBrian Carlstrombool CompilerDriver::WriteElf(const std::string& android_root, 2036265091e581c9f643b37e7966890911f09e223269Brian Carlstrom bool is_host, 203751c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const std::vector<const art::DexFile*>& dex_files, 20383d504075f7c1204d581923460754bf6d3714b13fIan Rogers OatWriter* oat_writer, 203951c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom art::File* file) 204051c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 2041f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray return compiler_backend_->WriteElf(file, oat_writer, dex_files, android_root, is_host, *this); 2042265091e581c9f643b37e7966890911f09e223269Brian Carlstrom} 20431212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InstructionSetToLLVMTarget(InstructionSet instruction_set, 20443d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_triple, 20453d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_cpu, 20463d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_attr) { 2047265091e581c9f643b37e7966890911f09e223269Brian Carlstrom switch (instruction_set) { 2048700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kThumb2: 20493d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "thumb-none-linux-gnueabi"; 20503d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_cpu = "cortex-a9"; 20513d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "+thumb2,+neon,+neonfp,+vfp3,+db"; 2052700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2053700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2054700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kArm: 20553d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "armv7-none-linux-gnueabi"; 2056700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom // TODO: Fix for Nexus S. 20573d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_cpu = "cortex-a9"; 2058700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom // TODO: Fix for Xoom. 20593d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "+v7,+neon,+neonfp,+vfp3,+db"; 2060700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2061700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2062700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kX86: 20633d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "i386-pc-linux-gnu"; 20643d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = ""; 2065700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2066700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2067700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kMips: 20683d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "mipsel-unknown-linux"; 20693d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "mips32r2"; 2070700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2071700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2072700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom default: 2073700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom LOG(FATAL) << "Unknown instruction set: " << instruction_set; 2074700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom } 2075700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom } 20769ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} // namespace art 2077