compiler_driver.cc revision a59dd80f9f48cb750d329d4d4af2d99d72b484d1
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" 2898d1cc8033251c93786e2fa8c59a2e555a9493beMingyao Yang#include "compiled_class.h" 29b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray#include "compiler.h" 30be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko#include "compiler_driver-inl.h" 3189756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogers#include "dex_compilation_unit.h" 324f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "dex_file-inl.h" 33c7f832061fea59fd6abd125f26c8ca1faec695a5Vladimir Marko#include "dex/verification_results.h" 342730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko#include "dex/verified_method.h" 352bc47809febcf36369dd40877b8226318642b428Vladimir Marko#include "dex/quick/dex_file_method_inliner.h" 36ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell#include "driver/compiler_options.h" 379baa4aefc370f48774b6104680193d9a7e4fb631Brian Carlstrom#include "jni_internal.h" 3822d5e735f403c57525fe868304c7123f0ce66399Ian Rogers#include "object_lock.h" 39bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle#include "profiler.h" 401f87008b165d26541d832ff805250afdc89c253dBrian Carlstrom#include "runtime.h" 411d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/accounting/card_table-inl.h" 421d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/accounting/heap_bitmap.h" 431d54e73444e017d3a65234e0f193846f3e27472bIan Rogers#include "gc/space/space.h" 44ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom#include "mirror/art_field-inl.h" 45ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom#include "mirror/art_method-inl.h" 462dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/class_loader.h" 472dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/class-inl.h" 4839ebcb800aabedd0ffa6aa4aeac8aa4194c66e61Ian Rogers#include "mirror/dex_cache-inl.h" 492dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 502dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object_array-inl.h" 512dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/throwable.h" 5200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers#include "scoped_thread_state_change.h" 5300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers#include "ScopedLocalRef.h" 54eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier#include "handle_scope-inl.h" 5550b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers#include "thread.h" 560e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier#include "thread_pool.h" 57848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers#include "trampolines/trampoline_compiler.h" 58d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz#include "transaction.h" 59776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers#include "verifier/method_verifier.h" 602bc47809febcf36369dd40877b8226318642b428Vladimir Marko#include "verifier/method_verifier-inl.h" 619ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 629ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstromnamespace art { 639ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 64996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogersstatic double Percentage(size_t x, size_t y) { 65398f64b5805246765b699839b439e18c0dfbf2eeElliott Hughes return 100.0 * (static_cast<double>(x)) / (static_cast<double>(x + y)); 66996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers} 67996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 68996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogersstatic void DumpStat(size_t x, size_t y, const char* str) { 69996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (x == 0 && y == 0) { 70996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return; 71996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 72e732ef1c0192acd71925bd0ff1ab09640d45531dIan Rogers LOG(INFO) << Percentage(x, y) << "% of " << str << " for " << (x + y) << " cases"; 73996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers} 74996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 75f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markoclass CompilerDriver::AOTCompilationStats { 76c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers public: 77ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers AOTCompilationStats() 78ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers : stats_lock_("AOT compilation statistics lock"), 79ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers types_in_dex_cache_(0), types_not_in_dex_cache_(0), 80ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers strings_in_dex_cache_(0), strings_not_in_dex_cache_(0), 81ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers resolved_types_(0), unresolved_types_(0), 82ca190666fb11820153f74274c495ba1f913d8a69Ian Rogers resolved_instance_fields_(0), unresolved_instance_fields_(0), 8302c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal resolved_local_static_fields_(0), resolved_static_fields_(0), unresolved_static_fields_(0), 84fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers type_based_devirtualization_(0), 85fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers safe_casts_(0), not_safe_casts_(0) { 862ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers for (size_t i = 0; i <= kMaxInvokeType; i++) { 87c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_methods_[i] = 0; 88c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_methods_[i] = 0; 892ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers virtual_made_direct_[i] = 0; 902ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_calls_to_boot_[i] = 0; 912ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_methods_to_boot_[i] = 0; 92b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes } 93c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 94c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 95c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void Dump() { 96c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(types_in_dex_cache_, types_not_in_dex_cache_, "types known to be in dex cache"); 97c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(strings_in_dex_cache_, strings_not_in_dex_cache_, "strings known to be in dex cache"); 98c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_types_, unresolved_types_, "types resolved"); 99c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_instance_fields_, unresolved_instance_fields_, "instance fields resolved"); 100c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_local_static_fields_ + resolved_static_fields_, unresolved_static_fields_, 101c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers "static fields resolved"); 102c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_local_static_fields_, resolved_static_fields_ + unresolved_static_fields_, 103c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers "static fields local to a class"); 104fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers DumpStat(safe_casts_, not_safe_casts_, "check-casts removed based on type information"); 105fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // Note, the code below subtracts the stat value so that when added to the stat value we have 106fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // 100% of samples. TODO: clean this up. 107fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers DumpStat(type_based_devirtualization_, 108fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers resolved_methods_[kVirtual] + unresolved_methods_[kVirtual] + 109fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers resolved_methods_[kInterface] + unresolved_methods_[kInterface] - 110fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers type_based_devirtualization_, 111fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers "virtual/interface calls made direct based on type information"); 112c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 1132ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers for (size_t i = 0; i <= kMaxInvokeType; i++) { 114c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers std::ostringstream oss; 1152ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss << static_cast<InvokeType>(i) << " methods were AOT resolved"; 116c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DumpStat(resolved_methods_[i], unresolved_methods_[i], oss.str().c_str()); 1172ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (virtual_made_direct_[i] > 0) { 1182ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1192ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " methods made direct"; 1202ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(virtual_made_direct_[i], 1212ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - virtual_made_direct_[i], 1222ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1232ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1242ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (direct_calls_to_boot_[i] > 0) { 1252ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1262ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " method calls are direct into boot"; 1272ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(direct_calls_to_boot_[i], 1282ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - direct_calls_to_boot_[i], 1292ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1302ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1312ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers if (direct_methods_to_boot_[i] > 0) { 1322ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers std::ostringstream oss2; 1332ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2 << static_cast<InvokeType>(i) << " method calls have methods in boot"; 1342ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DumpStat(direct_methods_to_boot_[i], 1352ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers resolved_methods_[i] + unresolved_methods_[i] - direct_methods_to_boot_[i], 1362ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers oss2.str().c_str()); 1372ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 138c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 139c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 140996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 14150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers// Allow lossy statistics in non-debug builds. 142996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#ifndef NDEBUG 14350b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers#define STATS_LOCK() MutexLock mu(Thread::Current(), stats_lock_) 144996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#else 145996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#define STATS_LOCK() 146996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers#endif 147996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 148c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeInDexCache() { 149c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 150c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers types_in_dex_cache_++; 151c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 152996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 153c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeNotInDexCache() { 154c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 155c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers types_not_in_dex_cache_++; 156c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 157996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 158c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void StringInDexCache() { 159c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 160c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers strings_in_dex_cache_++; 161c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 162996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 163c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void StringNotInDexCache() { 164c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 165c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers strings_not_in_dex_cache_++; 166c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 167996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 168c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeDoesntNeedAccessCheck() { 169c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 170c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_types_++; 171c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 172996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 173c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void TypeNeedsAccessCheck() { 174c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 175c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_types_++; 176c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 177996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 178c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedInstanceField() { 179c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 180c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_instance_fields_++; 181c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 182996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 183b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes void UnresolvedInstanceField() { 184c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 185c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_instance_fields_++; 186c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 187996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 188c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedLocalStaticField() { 189c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 190c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_local_static_fields_++; 191c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 192996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 193c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedStaticField() { 194c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 195c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_static_fields_++; 196c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 197996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 198c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void UnresolvedStaticField() { 199c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 200c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_static_fields_++; 201c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers } 202996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 203e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that type information from the verifier led to devirtualization. 20402c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal void PreciseTypeDevirtualization() { 20502c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal STATS_LOCK(); 20602c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal type_based_devirtualization_++; 20702c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal } 208e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers 209e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was resolved at compile time. 210c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void ResolvedMethod(InvokeType type) { 211c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DCHECK_LE(type, kMaxInvokeType); 212c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 213c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers resolved_methods_[type]++; 214996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 215996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 216e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was unresolved at compile time as it was in an 217e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // unknown dex file. 218c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers void UnresolvedMethod(InvokeType type) { 219c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers DCHECK_LE(type, kMaxInvokeType); 220c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers STATS_LOCK(); 221c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers unresolved_methods_[type]++; 222996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 223c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 224e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a type of virtual method dispatch has been converted into a direct method 225e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // dispatch. 2262ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void VirtualMadeDirect(InvokeType type) { 227e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers DCHECK(type == kVirtual || type == kInterface || type == kSuper); 2282ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers STATS_LOCK(); 2292ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers virtual_made_direct_[type]++; 2302ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 2312ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 232e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was able to call directly into boot. 2332ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void DirectCallsToBoot(InvokeType type) { 2342ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DCHECK_LE(type, kMaxInvokeType); 2352ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers STATS_LOCK(); 2362ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_calls_to_boot_[type]++; 2372ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 2382ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 239e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers // Indicate that a method of the given type was able to be resolved directly from boot. 2402ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers void DirectMethodsToBoot(InvokeType type) { 2412ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers DCHECK_LE(type, kMaxInvokeType); 242fb6adba0d5d5505610fbd325e7911db700a2f1e8Ian Rogers STATS_LOCK(); 2432ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers direct_methods_to_boot_[type]++; 244fb6adba0d5d5505610fbd325e7911db700a2f1e8Ian Rogers } 2452ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 246f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko void ProcessedInvoke(InvokeType type, int flags) { 247f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko STATS_LOCK(); 248f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (flags == 0) { 249f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko unresolved_methods_[type]++; 250f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } else { 251f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko DCHECK_NE((flags & kFlagMethodResolved), 0); 252f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko resolved_methods_[type]++; 253f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if ((flags & kFlagVirtualMadeDirect) != 0) { 254f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko virtual_made_direct_[type]++; 255f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if ((flags & kFlagPreciseTypeDevirtualization) != 0) { 256f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko type_based_devirtualization_++; 257f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 258f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } else { 259f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko DCHECK_EQ((flags & kFlagPreciseTypeDevirtualization), 0); 260f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 261f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if ((flags & kFlagDirectCallToBoot) != 0) { 262f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko direct_calls_to_boot_[type]++; 263f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 264f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if ((flags & kFlagDirectMethodToBoot) != 0) { 265f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko direct_methods_to_boot_[type]++; 266f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 267f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 268f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 269f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko 270fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // A check-cast could be eliminated due to verifier type analysis. 271fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers void SafeCast() { 272fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers STATS_LOCK(); 273fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers safe_casts_++; 274fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 275fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 276fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers // A check-cast couldn't be eliminated due to verifier type analysis. 277fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers void NotASafeCast() { 278fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers STATS_LOCK(); 279fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers not_safe_casts_++; 280fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 281fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 282c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers private: 283c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers Mutex stats_lock_; 284c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 285c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t types_in_dex_cache_; 286c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t types_not_in_dex_cache_; 287c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 288c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t strings_in_dex_cache_; 289c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t strings_not_in_dex_cache_; 290c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 291c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_types_; 292c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_types_; 293c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 294c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_instance_fields_; 295c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_instance_fields_; 296c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 297c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_local_static_fields_; 298c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_static_fields_; 299c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_static_fields_; 30002c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal // Type based devirtualization for invoke interface and virtual. 30102c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal size_t type_based_devirtualization_; 302c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 303c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t resolved_methods_[kMaxInvokeType + 1]; 304c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers size_t unresolved_methods_[kMaxInvokeType + 1]; 3052ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t virtual_made_direct_[kMaxInvokeType + 1]; 3062ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t direct_calls_to_boot_[kMaxInvokeType + 1]; 3072ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers size_t direct_methods_to_boot_[kMaxInvokeType + 1]; 308c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers 309fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers size_t safe_casts_; 310fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers size_t not_safe_casts_; 311fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 312b25c3f6a86dc634ce44fb2849385b49465caa84dElliott Hughes DISALLOW_COPY_AND_ASSIGN(AOTCompilationStats); 313c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers}; 314996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers 31551c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom 31651c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstromextern "C" art::CompiledMethod* ArtCompileDEX(art::CompilerDriver& compiler, 31751c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const art::DexFile::CodeItem* code_item, 31851c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom uint32_t access_flags, 31951c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom art::InvokeType invoke_type, 3208b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_idx, 32151c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom uint32_t method_idx, 32251c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom jobject class_loader, 32351c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const art::DexFile& dex_file); 32451c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom 3256449c62e40ef3a9bb75f664f922555affb532ee4Brian CarlstromCompilerDriver::CompilerDriver(const CompilerOptions* compiler_options, 3266449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom VerificationResults* verification_results, 3275816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko DexFileToMethodInlinerMap* method_inliner_map, 328b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray Compiler::Kind compiler_kind, 329f5df8974173124faddb8e2b6a331959afdb94fdfNicolas Geoffray InstructionSet instruction_set, 3307020278bce98a0735dc6abcbd33bdf1ed2634f1dDave Allison InstructionSetFeatures instruction_set_features, 331a024a0686c3b0fea13f362bff70d65981e5febc5buzbee bool image, DescriptorSet* image_classes, size_t thread_count, 33239c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison bool dump_stats, bool dump_passes, CumulativeLogger* timer, 33339c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison std::string profile_file) 334c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle : profile_present_(false), compiler_options_(compiler_options), 3356449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom verification_results_(verification_results), 3365816ed48bc339c983b40dc493e96b97821ce7966Vladimir Marko method_inliner_map_(method_inliner_map), 33772d32629303f8f39362a4099481f48646aed042fIan Rogers compiler_(Compiler::Create(this, compiler_kind)), 338c531cefbfb5394413122e9f57d211ba436cff012buzbee instruction_set_(instruction_set), 3397020278bce98a0735dc6abcbd33bdf1ed2634f1dDave Allison instruction_set_features_(instruction_set_features), 340fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers freezing_constructor_lock_("freezing constructor lock"), 341c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes compiled_classes_lock_("compiled classes lock"), 342c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes compiled_methods_lock_("compiled method lock"), 343aded5f7ab991f3c1132851599d3bc60ff6707eedBrian Carlstrom image_(image), 34496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom image_classes_(image_classes), 3455523ee070b005576c6f889415205d49ea77cf243Elliott Hughes thread_count_(thread_count), 34600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers start_ns_(0), 347c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_(new AOTCompilationStats), 348ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom dump_stats_(dump_stats), 349ea3fa0b4ba13d7bd7f7c1cd85202ccbe141a35aeNicolas Geoffray dump_passes_(dump_passes), 350ea3fa0b4ba13d7bd7f7c1cd85202ccbe141a35aeNicolas Geoffray timings_logger_(timer), 351b3bd5f07884f5a1f2b84224363b1372d7c28d447Elliott Hughes compiler_library_(NULL), 3526f4976c1a9fdaf108974143cd11e6b46037fd24eElliott Hughes compiler_context_(NULL), 353e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers compiler_enable_auto_elf_loading_(NULL), 35496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom compiler_get_method_code_addr_(NULL), 35555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell support_boot_image_fixup_(instruction_set != kMips), 356ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell cfi_info_(nullptr), 357d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_code_("dedupe code"), 358d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_mapping_table_("dedupe mapping table"), 359d133b97b1ccae88f6ee7040e288fd7a239ee4492Ian Rogers dedupe_vmap_table_("dedupe vmap table"), 360ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell dedupe_gc_map_("dedupe gc map"), 361ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell dedupe_cfi_info_("dedupe cfi info") { 3626449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(compiler_options_ != nullptr); 3636449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(verification_results_ != nullptr); 3646449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom DCHECK(method_inliner_map_ != nullptr); 3652ce745c06271d5223d57dbf08117b20d5b60694aBrian Carlstrom 3664df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CHECK_PTHREAD_CALL(pthread_key_create, (&tls_key_, NULL), "compiler tls key"); 3674df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee 36875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz dex_to_dex_compiler_ = reinterpret_cast<DexToDexCompilerFn>(ArtCompileDEX); 3692d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz 37072d32629303f8f39362a4099481f48646aed042fIan Rogers compiler_->Init(); 37100bc1dc4f81268d78d7dfeb298b85c56876425a9Brian Carlstrom 37225c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom CHECK(!Runtime::Current()->IsStarted()); 373d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root if (image_) { 374d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root CHECK(image_classes_.get() != nullptr); 375d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root } else { 376d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root CHECK(image_classes_.get() == nullptr); 377ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom } 378ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell 379ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell // Are we generating CFI information? 380ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell if (compiler_options->GetGenerateGDBInformation()) { 381b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray cfi_info_.reset(compiler_->GetCallFrameInformationInitialization(*this)); 382ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell } 383c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle 384c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle // Read the profile file if one is provided. 385c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle if (!profile_file.empty()) { 386c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle profile_present_ = profile_file_.LoadFile(profile_file); 387c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle if (profile_present_) { 388c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle LOG(INFO) << "Using profile data form file " << profile_file; 389c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle } else { 390c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle LOG(INFO) << "Failed to load profile file " << profile_file; 391c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle } 392c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle } 393c486c11a1c71ca9c118d57152427b741229cda49Shih-wei Liao} 394c486c11a1c71ca9c118d57152427b741229cda49Shih-wei Liao 395193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateCode(const std::vector<uint8_t>& code) { 396193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_code_.Add(Thread::Current(), code); 397193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 398193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 399193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateMappingTable(const std::vector<uint8_t>& code) { 400193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_mapping_table_.Add(Thread::Current(), code); 401193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 402193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 403193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateVMapTable(const std::vector<uint8_t>& code) { 404193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_vmap_table_.Add(Thread::Current(), code); 405193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 406193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 407193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartierstd::vector<uint8_t>* CompilerDriver::DeduplicateGCMap(const std::vector<uint8_t>& code) { 408193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier return dedupe_gc_map_.Add(Thread::Current(), code); 409193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier} 410193bad9b9cfd10642043fa2ebbfc68bd5f9ede4bMathieu Chartier 411ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendellstd::vector<uint8_t>* CompilerDriver::DeduplicateCFIInfo(const std::vector<uint8_t>* cfi_info) { 412ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell if (cfi_info == nullptr) { 413ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell return nullptr; 414ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell } 415ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell return dedupe_cfi_info_.Add(Thread::Current(), *cfi_info); 416ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell} 417ae9fd93c39a341e2dffe15c61cc7d9e841fa92c4Mark Mendell 4181212a022fa5f8ef9585d765b1809521812af882cIan RogersCompilerDriver::~CompilerDriver() { 41950b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers Thread* self = Thread::Current(); 420c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 42150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_classes_lock_); 422c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes STLDeleteValues(&compiled_classes_); 423c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes } 424c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 42550b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 426c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes STLDeleteValues(&compiled_methods_); 427c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes } 428c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes { 42950b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 430f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom STLDeleteElements(&code_to_patch_); 431f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom } 432f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom { 43350b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 434f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom STLDeleteElements(&methods_to_patch_); 435f582258f0e296223a091fd64231a203ad71e9649Brian Carlstrom } 436be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi { 437be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi MutexLock mu(self, compiled_methods_lock_); 438be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi STLDeleteElements(&classes_to_patch_); 439be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 440ed6d5ed3494648780b9e91422c90d6bc22c16b79Mathieu Chartier CHECK_PTHREAD_CALL(pthread_key_delete, (tls_key_), "delete tls key"); 44172d32629303f8f39362a4099481f48646aed042fIan Rogers compiler_->UnInit(); 4423320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom} 4433320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom 4441212a022fa5f8ef9585d765b1809521812af882cIan RogersCompilerTls* CompilerDriver::GetTls() { 4454df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee // Lazily create thread-local storage 4464df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CompilerTls* res = static_cast<CompilerTls*>(pthread_getspecific(tls_key_)); 4474df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee if (res == NULL) { 4484df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee res = new CompilerTls(); 4494df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee CHECK_PTHREAD_CALL(pthread_setspecific, (tls_key_, res), "compiler tls"); 4504df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee } 4514df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee return res; 4524df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee} 4534df2bbdfe6602ce5f141b7b44028b95faa0bd8efbuzbee 454dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers#define CREATE_TRAMPOLINE(type, abi, offset) \ 455af13ad9fd18b6f75fe82e7995224c55654594f93Andreas Gampe if (Is64BitInstructionSet(instruction_set_)) { \ 456dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers return CreateTrampoline64(instruction_set_, abi, \ 457dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers type ## _ENTRYPOINT_OFFSET(8, offset)); \ 458dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers } else { \ 459dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers return CreateTrampoline32(instruction_set_, abi, \ 460dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers type ## _ENTRYPOINT_OFFSET(4, offset)); \ 461dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers } 462dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers 463848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateInterpreterToInterpreterBridge() const { 464dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(INTERPRETER, kInterpreterAbi, pInterpreterToInterpreterBridge) 465848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 466848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 467848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateInterpreterToCompiledCodeBridge() const { 468dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(INTERPRETER, kInterpreterAbi, pInterpreterToCompiledCodeBridge) 469848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 470848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 471848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateJniDlsymLookup() const { 472dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(JNI, kJniAbi, pDlsymLookup) 473848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers} 474848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogers 47588474b416eb257078e590bf9bc7957cee604a186Jeff Haoconst std::vector<uint8_t>* CompilerDriver::CreatePortableImtConflictTrampoline() const { 476dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(PORTABLE, kPortableAbi, pPortableImtConflictTrampoline) 47788474b416eb257078e590bf9bc7957cee604a186Jeff Hao} 47888474b416eb257078e590bf9bc7957cee604a186Jeff Hao 4790aba0ba155bef7346bde19e53581200b89ae8a7aJeff Haoconst std::vector<uint8_t>* CompilerDriver::CreatePortableResolutionTrampoline() const { 480dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(PORTABLE, kPortableAbi, pPortableResolutionTrampoline) 4810aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4820aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 483848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreatePortableToInterpreterBridge() const { 484dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(PORTABLE, kPortableAbi, pPortableToInterpreterBridge) 4850aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4860aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 4872da882315a61072664f7ce3c212307342e907207Andreas Gampeconst std::vector<uint8_t>* CompilerDriver::CreateQuickGenericJniTrampoline() const { 488dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(QUICK, kQuickAbi, pQuickGenericJniTrampoline) 4892da882315a61072664f7ce3c212307342e907207Andreas Gampe} 4902da882315a61072664f7ce3c212307342e907207Andreas Gampe 49188474b416eb257078e590bf9bc7957cee604a186Jeff Haoconst std::vector<uint8_t>* CompilerDriver::CreateQuickImtConflictTrampoline() const { 492dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(QUICK, kQuickAbi, pQuickImtConflictTrampoline) 49388474b416eb257078e590bf9bc7957cee604a186Jeff Hao} 49488474b416eb257078e590bf9bc7957cee604a186Jeff Hao 495848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateQuickResolutionTrampoline() const { 496dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(QUICK, kQuickAbi, pQuickResolutionTrampoline) 4970aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 4980aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 499848871b4d8481229c32e0d048a9856e5a9a17ef9Ian Rogersconst std::vector<uint8_t>* CompilerDriver::CreateQuickToInterpreterBridge() const { 500dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers CREATE_TRAMPOLINE(QUICK, kQuickAbi, pQuickToInterpreterBridge) 5010aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao} 502dd7624d2b9e599d57762d12031b10b89defc9807Ian Rogers#undef CREATE_TRAMPOLINE 5030aba0ba155bef7346bde19e53581200b89ae8a7aJeff Hao 5041212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileAll(jobject class_loader, 5054560248d4c85cade7f4fc7b30c3fb41b95a04a7fBrian Carlstrom const std::vector<const DexFile*>& dex_files, 5063d504075f7c1204d581923460754bf6d3714b13fIan Rogers TimingLogger* timings) { 50725c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom DCHECK(!Runtime::Current()->IsStarted()); 508700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers std::unique_ptr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", thread_count_ - 1)); 5093d504075f7c1204d581923460754bf6d3714b13fIan Rogers PreCompile(class_loader, dex_files, thread_pool.get(), timings); 5103d504075f7c1204d581923460754bf6d3714b13fIan Rogers Compile(class_loader, dex_files, thread_pool.get(), timings); 511ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom if (dump_stats_) { 512ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom stats_->Dump(); 513ba0668ecd2a6459ed7c77012995ad08d27f88725Brian Carlstrom } 5148a48741b96ca9cc5835cac72ac133c4ca480930fBrian Carlstrom} 5158a48741b96ca9cc5835cac72ac133c4ca480930fBrian Carlstrom 516590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartierstatic DexToDexCompilationLevel GetDexToDexCompilationlevel( 5170cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier Thread* self, Handle<mirror::ClassLoader> class_loader, const DexFile& dex_file, 518590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier const DexFile::ClassDef& class_def) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 5192d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const char* descriptor = dex_file.GetClassDescriptor(class_def); 5202d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 5219837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers mirror::Class* klass = class_linker->FindClass(self, descriptor, class_loader); 5222d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz if (klass == NULL) { 5232d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz CHECK(self->IsExceptionPending()); 5242d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz self->ClearException(); 52575021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kDontDexToDexCompile; 52675021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } 52775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // The verifier can only run on "quick" instructions at runtime (see usage of 52875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // FindAccessedFieldAtDexPc and FindInvokedMethodAtDexPc in ThrowNullPointerExceptionFromDexPC 52975021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // function). Since image classes can be verified again while compiling an application, 53075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // we must prevent the DEX-to-DEX compiler from introducing them. 53175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // TODO: find a way to enable "quick" instructions for image classes and remove this check. 532eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier bool compiling_image_classes = class_loader.Get() == nullptr; 53375021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz if (compiling_image_classes) { 53475021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kRequired; 53575021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else if (klass->IsVerified()) { 53675021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class is verified so we can enable DEX-to-DEX compilation for performance. 53775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kOptimize; 53875021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else if (klass->IsCompileTimeVerified()) { 53975021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class verification has soft-failed. Anyway, ensure at least correctness. 54075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DCHECK_EQ(klass->GetStatus(), mirror::Class::kStatusRetryVerificationAtRuntime); 54175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kRequired; 54275021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz } else { 54375021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz // Class verification has failed: do not run DEX-to-DEX compilation. 54475021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz return kDontDexToDexCompile; 5452d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 5462d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz} 5472d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz 5483d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::CompileOne(mirror::ArtMethod* method, TimingLogger* timings) { 54925c3325bf95036bf325fc7cb21b4fd6d40282857Brian Carlstrom DCHECK(!Runtime::Current()->IsStarted()); 55000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers Thread* self = Thread::Current(); 5512d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jobject jclass_loader; 55200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers const DexFile* dex_file; 5538b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_idx; 554ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers uint32_t method_idx = method->GetDexMethodIndex(); 555ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers uint32_t access_flags = method->GetAccessFlags(); 556ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers InvokeType invoke_type = method->GetInvokeType(); 55700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers { 55800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccessUnchecked soa(self); 55900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedLocalRef<jobject> 56000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers local_class_loader(soa.Env(), 56100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers soa.AddLocalReference<jobject>(method->GetDeclaringClass()->GetClassLoader())); 5622d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jclass_loader = soa.Env()->NewGlobalRef(local_class_loader.get()); 56300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // Find the dex_file 564bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier dex_file = method->GetDexFile(); 565bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier class_def_idx = method->GetClassDefIndex(); 56600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 567ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers const DexFile::CodeItem* code_item = dex_file->GetCodeItem(method->GetCodeItemOffset()); 56800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers self->TransitionFromRunnableToSuspended(kNative); 569ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 570ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom std::vector<const DexFile*> dex_files; 57100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers dex_files.push_back(dex_file); 572ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 573700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers std::unique_ptr<ThreadPool> thread_pool(new ThreadPool("Compiler driver thread pool", 0U)); 5743d504075f7c1204d581923460754bf6d3714b13fIan Rogers PreCompile(jclass_loader, dex_files, thread_pool.get(), timings); 575ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 5762d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz // Can we run DEX-to-DEX compiler on this class ? 57775021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile; 5782d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz { 5792d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ScopedObjectAccess soa(Thread::Current()); 5802d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const DexFile::ClassDef& class_def = dex_file->GetClassDef(class_def_idx); 581eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(soa.Self()); 582eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 583eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(jclass_loader))); 5849837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers dex_to_dex_compilation_level = GetDexToDexCompilationlevel(self, class_loader, *dex_file, 5859837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_def); 5862d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 587ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers CompileMethod(code_item, access_flags, invoke_type, class_def_idx, method_idx, jclass_loader, 588ef7d42fca18c16fbaf103822ad16f23246e2905dIan Rogers *dex_file, dex_to_dex_compilation_level); 589ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 5902d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz self->GetJniEnv()->DeleteGlobalRef(jclass_loader); 59100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 59200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers self->TransitionFromSuspendedToRunnable(); 5939ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 5949ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 5951212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Resolve(jobject class_loader, const std::vector<const DexFile*>& dex_files, 5963d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 597ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 598ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 599d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root CHECK(dex_file != nullptr); 6002f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom ResolveDexFile(class_loader, *dex_file, thread_pool, timings); 6019ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 6029ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 6039ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 6041212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::PreCompile(jobject class_loader, const std::vector<const DexFile*>& dex_files, 6053d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 60696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LoadImageClasses(timings); 60796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 6084a200f56b7075309316b04d550c9cc50f8314eddJeff Hao if (!compiler_options_->IsVerificationEnabled()) { 6094a200f56b7075309316b04d550c9cc50f8314eddJeff Hao VLOG(compiler) << "Verify none mode specified, skipping pre-compilation"; 6104a200f56b7075309316b04d550c9cc50f8314eddJeff Hao return; 6114a200f56b7075309316b04d550c9cc50f8314eddJeff Hao } 6124a200f56b7075309316b04d550c9cc50f8314eddJeff Hao 6132f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom Resolve(class_loader, dex_files, thread_pool, timings); 614601a12302407d8199503d2cc6cc0829d5996696dElliott Hughes 6152f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom Verify(class_loader, dex_files, thread_pool, timings); 616ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 6172f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom InitializeClasses(class_loader, dex_files, thread_pool, timings); 61896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 61996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom UpdateImageClasses(timings); 620ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom} 621ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 622dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogersbool CompilerDriver::IsImageClass(const char* descriptor) const { 623e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (!IsImage()) { 62496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 625e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } else { 626dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers return image_classes_->find(descriptor) != image_classes_->end(); 627ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom } 628ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom} 629ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom 63096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic void ResolveExceptionsForMethod(MethodHelper* mh, 631700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers std::set<std::pair<uint16_t, const DexFile*>>& exceptions_to_resolve) 63296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 633bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier const DexFile::CodeItem* code_item = mh->GetMethod()->GetCodeItem(); 63496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (code_item == NULL) { 63596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; // native or abstract method 63696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 63796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (code_item->tries_size_ == 0) { 63896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; // nothing to process 63996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 64096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const byte* encoded_catch_handler_list = DexFile::GetCatchHandlerData(*code_item, 0); 64196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom size_t num_encoded_catch_handlers = DecodeUnsignedLeb128(&encoded_catch_handler_list); 64296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < num_encoded_catch_handlers; i++) { 64396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom int32_t encoded_catch_handler_size = DecodeSignedLeb128(&encoded_catch_handler_list); 64496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom bool has_catch_all = false; 64596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (encoded_catch_handler_size <= 0) { 64696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom encoded_catch_handler_size = -encoded_catch_handler_size; 64796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom has_catch_all = true; 64896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 64996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (int32_t j = 0; j < encoded_catch_handler_size; j++) { 65096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom uint16_t encoded_catch_handler_handlers_type_idx = 65196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 65296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Add to set of types to resolve if not already in the dex cache resolved types 653bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier if (!mh->GetMethod()->IsResolvedTypeIdx(encoded_catch_handler_handlers_type_idx)) { 65496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom exceptions_to_resolve.insert( 65596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::pair<uint16_t, const DexFile*>(encoded_catch_handler_handlers_type_idx, 656bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier mh->GetMethod()->GetDexFile())); 65796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 65896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // ignore address associated with catch handler 65996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 66096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 66196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (has_catch_all) { 66296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // ignore catch all address 66396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DecodeUnsignedLeb128(&encoded_catch_handler_list); 66496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 66596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 66696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 66796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 66896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic bool ResolveCatchBlockExceptionsClassVisitor(mirror::Class* c, void* arg) 66996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 670700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers std::set<std::pair<uint16_t, const DexFile*>>* exceptions_to_resolve = 671700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers reinterpret_cast<std::set<std::pair<uint16_t, const DexFile*>>*>(arg); 672bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier StackHandleScope<1> hs(Thread::Current()); 673bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier MethodHelper mh(hs.NewHandle<mirror::ArtMethod>(nullptr)); 67496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < c->NumVirtualMethods(); ++i) { 675bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier mh.ChangeMethod(c->GetVirtualMethod(i)); 67696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ResolveExceptionsForMethod(&mh, *exceptions_to_resolve); 67796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 67896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom for (size_t i = 0; i < c->NumDirectMethods(); ++i) { 679bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier mh.ChangeMethod(c->GetDirectMethod(i)); 68096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ResolveExceptionsForMethod(&mh, *exceptions_to_resolve); 68196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 68296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 68396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 68496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 68596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromstatic bool RecordImageClassesVisitor(mirror::Class* klass, void* arg) 68696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 68796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CompilerDriver::DescriptorSet* image_classes = 68896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom reinterpret_cast<CompilerDriver::DescriptorSet*>(arg); 689f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier image_classes->insert(klass->GetDescriptor()); 69096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return true; 69196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 69296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 69396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom// Make a list of descriptors for classes to include in the image 6943d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::LoadImageClasses(TimingLogger* timings) 69596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LOCKS_EXCLUDED(Locks::mutator_lock_) { 696d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root CHECK(timings != nullptr); 697e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (!IsImage()) { 69896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; 69996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 70096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 701f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("LoadImageClasses", timings); 70296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Make a first class to load all classes explicitly listed in the file 70396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom Thread* self = Thread::Current(); 70496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ScopedObjectAccess soa(self); 70596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 706d5185344e19d9feb7ac268369e0af6a467d1cb48Kenny Root CHECK(image_classes_.get() != nullptr); 70702e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier for (auto it = image_classes_->begin(), end = image_classes_->end(); it != end;) { 708e9c36b34efb7460f59c6766e526c9b0de8da70b3Vladimir Marko const std::string& descriptor(*it); 709eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(self); 710eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> klass( 711eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(class_linker->FindSystemClass(self, descriptor.c_str()))); 712eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier if (klass.Get() == NULL) { 713e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers VLOG(compiler) << "Failed to find class " << descriptor; 714e9c36b34efb7460f59c6766e526c9b0de8da70b3Vladimir Marko image_classes_->erase(it++); 715a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers self->ClearException(); 71696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } else { 71796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom ++it; 71896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 71996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 72096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 72196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Resolve exception classes referenced by the loaded classes. The catch logic assumes 72296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // exceptions are resolved by the verifier when there is a catch block in an interested method. 72396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Do this here so that exception classes appear to have been specified image classes. 724700a402244a1a423da4f3ba8032459f4b65fa18fIan Rogers std::set<std::pair<uint16_t, const DexFile*>> unresolved_exception_types; 725eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(self); 726eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> java_lang_Throwable( 727eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(class_linker->FindSystemClass(self, "Ljava/lang/Throwable;"))); 72896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom do { 72996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom unresolved_exception_types.clear(); 73096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom class_linker->VisitClasses(ResolveCatchBlockExceptionsClassVisitor, 73196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom &unresolved_exception_types); 73202e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier for (const std::pair<uint16_t, const DexFile*>& exception_type : unresolved_exception_types) { 73302e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier uint16_t exception_type_idx = exception_type.first; 73402e25119b15a6f619f17db99f5d05124a5807ff3Mathieu Chartier const DexFile* dex_file = exception_type.second; 7350cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier StackHandleScope<2> hs(self); 736eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache(hs.NewHandle(class_linker->FindDexCache(*dex_file))); 737eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> klass(hs.NewHandle( 7380cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier class_linker->ResolveType(*dex_file, exception_type_idx, dex_cache, 7390cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier NullHandle<mirror::ClassLoader>()))); 740eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier if (klass.Get() == NULL) { 74196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const DexFile::TypeId& type_id = dex_file->GetTypeId(exception_type_idx); 74296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom const char* descriptor = dex_file->GetTypeDescriptor(type_id); 74396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom LOG(FATAL) << "Failed to resolve class " << descriptor; 74496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 745eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier DCHECK(java_lang_Throwable->IsAssignableFrom(klass.Get())); 74696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 74796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // Resolving exceptions may load classes that reference more exceptions, iterate until no 74896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // more are found 74996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } while (!unresolved_exception_types.empty()); 75096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 75196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // We walk the roots looking for classes so that we'll pick up the 75296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // above classes plus any classes them depend on such super 75396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom // classes, interfaces, and the required ClassLinker roots. 75496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom class_linker->VisitClasses(RecordImageClassesVisitor, image_classes_.get()); 75596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 75696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CHECK_NE(image_classes_->size(), 0U); 75796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 75896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 759f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartierstatic void MaybeAddToImageClasses(Handle<mirror::Class> c, 760f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier CompilerDriver::DescriptorSet* image_classes) 76196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 762f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier Thread* self = Thread::Current(); 763f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier StackHandleScope<1> hs(self); 764f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier // Make a copy of the handle so that we don't clobber it doing Assign. 765f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier Handle<mirror::Class> klass(hs.NewHandle(c.Get())); 76696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom while (!klass->IsObjectClass()) { 767f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier std::string descriptor(klass->GetDescriptor()); 76896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom std::pair<CompilerDriver::DescriptorSet::iterator, bool> result = 76996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom image_classes->insert(descriptor); 77096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (result.second) { 77175a43f10f55e2aa550de51e969cc1e60d583b632Anwar Ghuloum VLOG(compiler) << "Adding " << descriptor << " to image classes"; 77296391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } else { 77396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom return; 77496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 775f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier for (size_t i = 0; i < klass->NumDirectInterfaces(); ++i) { 776f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier StackHandleScope<1> hs(self); 777f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier MaybeAddToImageClasses(hs.NewHandle(mirror::Class::GetDirectInterface(self, klass, i)), 778f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier image_classes); 77996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 78096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom if (klass->IsArrayClass()) { 781f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier StackHandleScope<1> hs(self); 782f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier MaybeAddToImageClasses(hs.NewHandle(klass->GetComponentType()), image_classes); 78396391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 784f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier klass.Assign(klass->GetSuperClass()); 78596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom } 78696391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 78796391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 78896391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstromvoid CompilerDriver::FindClinitImageClassesCallback(mirror::Object* object, void* arg) { 78996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DCHECK(object != NULL); 79096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom DCHECK(arg != NULL); 79196391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom CompilerDriver* compiler_driver = reinterpret_cast<CompilerDriver*>(arg); 792f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier StackHandleScope<1> hs(Thread::Current()); 793f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier MaybeAddToImageClasses(hs.NewHandle(object->GetClass()), compiler_driver->image_classes_.get()); 79496391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 79596391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 7963d504075f7c1204d581923460754bf6d3714b13fIan Rogersvoid CompilerDriver::UpdateImageClasses(TimingLogger* timings) { 797e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (IsImage()) { 798f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("UpdateImageClasses", timings); 799e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Update image_classes_ with classes for objects created by <clinit> methods. 800e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers Thread* self = Thread::Current(); 801e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers const char* old_cause = self->StartAssertNoThreadSuspension("ImageWriter"); 802e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers gc::Heap* heap = Runtime::Current()->GetHeap(); 803e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // TODO: Image spaces only? 804590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier ScopedObjectAccess soa(Thread::Current()); 805e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers WriterMutexLock mu(self, *Locks::heap_bitmap_lock_); 806590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier heap->VisitObjects(FindClinitImageClassesCallback, this); 807e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers self->EndAssertNoThreadSuspension(old_cause); 808e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 80996391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom} 81096391606d8adfc661e1c21703ded1e7a39377a76Brian Carlstrom 811590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartierbool CompilerDriver::CanAssumeTypeIsPresentInDexCache(const DexFile& dex_file, uint32_t type_idx) { 812fc0e94bed3f88ed7e50854fd8dfaf5dcb345250fIan Rogers if (IsImage() && 813dfb325e0ddd746cd8f7c2e3723b3a573eb7cc111Ian Rogers IsImageClass(dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_))) { 8146fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers if (kIsDebugBuild) { 8156fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers ScopedObjectAccess soa(Thread::Current()); 8166fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 8176fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 8186fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers CHECK(resolved_class != NULL); 8196fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers } 820c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeInDexCache(); 8216fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers return true; 822996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 823c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNotInDexCache(); 8246fe568e16cea80dfe9ccb856c138a75da5f2a90dIan Rogers return false; 825996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 8266d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers} 8276d4d9fcb4f01e287ee29e81cd1c941ee5d11d379Ian Rogers 8281212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAssumeStringIsPresentInDexCache(const DexFile& dex_file, 8291212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t string_idx) { 8301bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // See also Compiler::ResolveDexFile 8311bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 8325f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers bool result = false; 8335f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers if (IsImage()) { 8345f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers // We resolve all const-string strings when building for the image. 83500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 836eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(soa.Self()); 837eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache( 838eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(Runtime::Current()->GetClassLinker()->FindDexCache(dex_file))); 8395f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers Runtime::Current()->GetClassLinker()->ResolveString(dex_file, string_idx, dex_cache); 8405f7fa551162b9e755fdaf054ffc89411a0e135e3Ian Rogers result = true; 84100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 842996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 843c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->StringInDexCache(); 844996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 845c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->StringNotInDexCache(); 846996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 847996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 8481bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 8491bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 8501212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAccessTypeWithoutChecks(uint32_t referrer_idx, const DexFile& dex_file, 851c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers uint32_t type_idx, 852c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers bool* type_known_final, bool* type_known_abstract, 853c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers bool* equals_referrers_class) { 854c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_final != NULL) { 855c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_final = false; 856c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 857c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_abstract != NULL) { 858c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_abstract = false; 859c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 860c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (equals_referrers_class != NULL) { 861c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *equals_referrers_class = false; 862c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 86300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 8642dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 8651bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Get type from dex cache assuming it was populated by the verifier 8662dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 8671bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (resolved_class == NULL) { 868c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8691bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Unknown class needs access checks. 8701bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8711bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx); 872c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (equals_referrers_class != NULL) { 873c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *equals_referrers_class = (method_id.class_idx_ == type_idx); 874c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 8752dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_); 8761bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (referrer_class == NULL) { 877c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 8781bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Incomplete referrer knowledge needs access check. 8791bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 8801bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Perform access check, will return true if access is ok or false if we're going to have to 8811bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // check this at runtime (for example for class loaders). 882996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers bool result = referrer_class->CanAccess(resolved_class); 883996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 884c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeDoesntNeedAccessCheck(); 885c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_final != NULL) { 886c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers *type_known_final = resolved_class->IsFinal() && !resolved_class->IsArrayClass(); 887c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 888c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers if (type_known_abstract != NULL) { 889b19fa800aab1c2731b12ff24696feca13901db3fIan Rogers *type_known_abstract = resolved_class->IsAbstract() && !resolved_class->IsArrayClass(); 890c9e463c8aa083a5ed20293f42363ebff93de5f84Ian Rogers } 891996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 892c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 893996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 894996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 8951bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 8961bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 8971212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::CanAccessInstantiableTypeWithoutChecks(uint32_t referrer_idx, 8981212a022fa5f8ef9585d765b1809521812af882cIan Rogers const DexFile& dex_file, 8991212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t type_idx) { 90000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 9012dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 9021bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Get type from dex cache assuming it was populated by the verifier. 9032dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 9041bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (resolved_class == NULL) { 905c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 9061bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Unknown class needs access checks. 9071bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 9081bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers const DexFile::MethodId& method_id = dex_file.GetMethodId(referrer_idx); 9092dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* referrer_class = dex_cache->GetResolvedType(method_id.class_idx_); 9101bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers if (referrer_class == NULL) { 911c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 9121bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers return false; // Incomplete referrer knowledge needs access check. 9131bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 9141bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // Perform access and instantiable checks, will return true if access is ok or false if we're 9151bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers // going to have to check this at runtime (for example for class loaders). 916996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers bool result = referrer_class->CanAccess(resolved_class) && resolved_class->IsInstantiable(); 917996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers if (result) { 918c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeDoesntNeedAccessCheck(); 919996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } else { 920c8b306f5221658c7e4b5516be8917dc8c9288e7eIan Rogers stats_->TypeNeedsAccessCheck(); 921996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers } 922996cc586ce76235ee3efa1eff86de51dabcc5d53Ian Rogers return result; 9231bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 9241bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 925be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchibool CompilerDriver::CanEmbedTypeInCode(const DexFile& dex_file, uint32_t type_idx, 926be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi bool* is_type_initialized, bool* use_direct_type_ptr, 9278668c3cbdcf9471bd97e0da68a240051f2973074Mathieu Chartier uintptr_t* direct_type_ptr, bool* out_is_finalizable) { 928be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi ScopedObjectAccess soa(Thread::Current()); 929be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi mirror::DexCache* dex_cache = Runtime::Current()->GetClassLinker()->FindDexCache(dex_file); 930be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi mirror::Class* resolved_class = dex_cache->GetResolvedType(type_idx); 931be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (resolved_class == nullptr) { 932be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 933be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 9348668c3cbdcf9471bd97e0da68a240051f2973074Mathieu Chartier *out_is_finalizable = resolved_class->IsFinalizable(); 935be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot(); 936be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (compiling_boot) { 937be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // boot -> boot class pointers. 938be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if the class is in the image at boot compiling time. 939be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool is_image_class = IsImage() && IsImageClass( 940be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi dex_file.StringDataByIdx(dex_file.GetTypeId(type_idx).descriptor_idx_)); 941be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if pc relative load works. 942be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool support_boot_image_fixup = GetSupportBootImageFixup(); 943be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (is_image_class && support_boot_image_fixup) { 944be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *is_type_initialized = resolved_class->IsInitialized(); 945be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *use_direct_type_ptr = false; 946be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *direct_type_ptr = 0; 947be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return true; 948be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 949be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 950be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 951be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 952be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // True if the class is in the image at app compiling time. 953be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi const bool class_in_image = 954be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi Runtime::Current()->GetHeap()->FindSpaceFromObject(resolved_class, false)->IsImageSpace(); 955be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi if (class_in_image) { 956be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // boot -> app class pointers. 957be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *is_type_initialized = resolved_class->IsInitialized(); 958a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light // TODO This is somewhat hacky. We should refactor all of this invoke codepath. 959a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light *use_direct_type_ptr = !GetCompilerOptions().GetIncludePatchInformation(); 960be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi *direct_type_ptr = reinterpret_cast<uintptr_t>(resolved_class); 961be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return true; 962be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } else { 963be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // app -> app class pointers. 964be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // Give up because app does not have an image and class 965be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // isn't created at compile time. TODO: implement this 966be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi // if/when each app gets an image. 967be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi return false; 968be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 969be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi } 970be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi} 971be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi 972be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markovoid CompilerDriver::ProcessedInstanceField(bool resolved) { 973be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!resolved) { 974be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->UnresolvedInstanceField(); 975be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else { 976be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedInstanceField(); 977be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 978be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 979be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 980be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Markovoid CompilerDriver::ProcessedStaticField(bool resolved, bool local) { 981be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!resolved) { 982be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->UnresolvedStaticField(); 983be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else if (local) { 984be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedLocalStaticField(); 985be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } else { 986be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko stats_->ResolvedStaticField(); 987be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 988be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko} 989be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko 990f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Markovoid CompilerDriver::ProcessedInvoke(InvokeType invoke_type, int flags) { 991f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko stats_->ProcessedInvoke(invoke_type, flags); 992a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers} 993a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers 994e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffraymirror::ArtField* CompilerDriver::ComputeInstanceFieldInfo(uint32_t field_idx, 995e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray const DexCompilationUnit* mUnit, 996e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray bool is_put, 997e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray const ScopedObjectAccess& soa) { 998be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Try to resolve the field and compiling method's class. 999be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::ArtField* resolved_field; 1000be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::Class* referrer_class; 1001be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::DexCache* dex_cache; 1002be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko { 1003eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<3> hs(soa.Self()); 1004eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache_handle( 1005eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()))); 1006eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader_handle( 1007eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()))); 1008eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ArtField> resolved_field_handle(hs.NewHandle( 1009eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier ResolveField(soa, dex_cache_handle, class_loader_handle, mUnit, field_idx, false))); 1010eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier referrer_class = (resolved_field_handle.Get() != nullptr) 1011eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier ? ResolveCompilingMethodsClass(soa, dex_cache_handle, class_loader_handle, mUnit) : nullptr; 1012eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier resolved_field = resolved_field_handle.Get(); 1013eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier dex_cache = dex_cache_handle.Get(); 10141bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 1015e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray bool can_link = false; 1016be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (resolved_field != nullptr && referrer_class != nullptr) { 1017be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko std::pair<bool, bool> fast_path = IsFastInstanceField( 1018e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray dex_cache, referrer_class, resolved_field, field_idx); 1019e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray can_link = is_put ? fast_path.second : fast_path.first; 1020be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1021e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray ProcessedInstanceField(can_link); 1022e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray return can_link ? resolved_field : nullptr; 1023e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray} 1024e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray 1025e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffraybool CompilerDriver::ComputeInstanceFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, 1026e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray bool is_put, MemberOffset* field_offset, 1027e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray bool* is_volatile) { 1028e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray ScopedObjectAccess soa(Thread::Current()); 1029e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray StackHandleScope<1> hs(soa.Self()); 1030e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray Handle<mirror::ArtField> resolved_field = 1031e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray hs.NewHandle(ComputeInstanceFieldInfo(field_idx, mUnit, is_put, soa)); 1032e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray 1033e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray if (resolved_field.Get() == nullptr) { 1034be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Conservative defaults. 1035be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = true; 1036be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *field_offset = MemberOffset(static_cast<size_t>(-1)); 1037e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray return false; 1038e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray } else { 1039e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray *is_volatile = resolved_field->IsVolatile(); 1040e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray *field_offset = resolved_field->GetOffset(); 1041e50383288a75244255d3ecedcc79ffe9caf774cbNicolas Geoffray return true; 1042be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 10431bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 10441bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 104589756f21c107d96e6d1bbc75811bd33078c8ceeeIan Rogersbool CompilerDriver::ComputeStaticFieldInfo(uint32_t field_idx, const DexCompilationUnit* mUnit, 1046be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool is_put, MemberOffset* field_offset, 1047be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko uint32_t* storage_index, bool* is_referrers_class, 1048be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool* is_volatile, bool* is_initialized) { 104900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1050be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Try to resolve the field and compiling method's class. 1051be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::ArtField* resolved_field; 1052be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::Class* referrer_class; 1053be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko mirror::DexCache* dex_cache; 1054be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko { 1055eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<3> hs(soa.Self()); 1056eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache_handle( 1057eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()))); 1058eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader_handle( 1059eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()))); 1060eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ArtField> resolved_field_handle(hs.NewHandle( 1061eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier ResolveField(soa, dex_cache_handle, class_loader_handle, mUnit, field_idx, true))); 1062eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier referrer_class = (resolved_field_handle.Get() != nullptr) 1063eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier ? ResolveCompilingMethodsClass(soa, dex_cache_handle, class_loader_handle, mUnit) : nullptr; 1064eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier resolved_field = resolved_field_handle.Get(); 1065eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier dex_cache = dex_cache_handle.Get(); 10661bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers } 1067be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko bool result = false; 1068be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (resolved_field != nullptr && referrer_class != nullptr) { 1069be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = IsFieldVolatile(resolved_field); 1070be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko std::pair<bool, bool> fast_path = IsFastStaticField( 1071be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko dex_cache, referrer_class, resolved_field, field_idx, field_offset, 1072be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko storage_index, is_referrers_class, is_initialized); 1073be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko result = is_put ? fast_path.second : fast_path.first; 1074be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1075be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko if (!result) { 1076be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko // Conservative defaults. 1077be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_volatile = true; 1078be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *field_offset = MemberOffset(static_cast<size_t>(-1)); 1079be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *storage_index = -1; 1080be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_referrers_class = false; 1081be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko *is_initialized = false; 1082be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko } 1083be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko ProcessedStaticField(result, *is_referrers_class); 1084be0e546730e532ef0987cd4bde2c6f5a1b14dd2aVladimir Marko return result; 10851bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers} 10861bddec3a6521f16df37499754000a3b1787a52e9Ian Rogers 108783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogersvoid CompilerDriver::GetCodeAndMethodForDirectCall(InvokeType* type, InvokeType sharp_type, 108883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool no_guarantee_of_dex_cache_entry, 10894f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers mirror::Class* referrer_class, 1090ea46f950e7a51585db293cd7f047de190a482414Brian Carlstrom mirror::ArtMethod* method, 1091f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko int* stats_flags, 109283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers MethodReference* target_method, 109365ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_code, 109465ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_method) { 1095137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // For direct and static methods compute possible direct_code and direct_method values, ie 1096137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // an address for the Method* being invoked and an address of the code for that Method*. 1097137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // For interface calls compute a value for direct_method that is the interface method being 1098137e88f798857321f4007631fdf052d2830ec2c4Ian Rogers // invoked, so this can be passed to the out-of-line runtime support code. 109965ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_code = 0; 110065ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers *direct_method = 0; 110183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool use_dex_cache = false; 1102590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier const bool compiling_boot = Runtime::Current()->GetHeap()->IsCompilingBoot(); 1103a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light // TODO This is somewhat hacky. We should refactor all of this invoke codepath. 1104a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light const bool force_relocations = (compiling_boot || 1105a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light GetCompilerOptions().GetIncludePatchInformation()); 1106b34f69ab43aaf7a6e6045c95f398baf566ef5023Nicolas Geoffray if (compiler_->IsPortable()) { 1107c531cefbfb5394413122e9f57d211ba436cff012buzbee if (sharp_type != kStatic && sharp_type != kDirect) { 1108c531cefbfb5394413122e9f57d211ba436cff012buzbee return; 1109c531cefbfb5394413122e9f57d211ba436cff012buzbee } 111083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 1111c531cefbfb5394413122e9f57d211ba436cff012buzbee } else { 111288474b416eb257078e590bf9bc7957cee604a186Jeff Hao if (sharp_type != kStatic && sharp_type != kDirect) { 1113c531cefbfb5394413122e9f57d211ba436cff012buzbee return; 1114c531cefbfb5394413122e9f57d211ba436cff012buzbee } 111583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // TODO: support patching on all architectures. 1116a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light use_dex_cache = force_relocations && !support_boot_image_fixup_; 1117b8404a7de94c109e3c17b4205b5f8aaae996eb33TDYa } 111883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool method_code_in_boot = (method->GetDeclaringClass()->GetClassLoader() == nullptr); 111983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (!use_dex_cache) { 112083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (!method_code_in_boot) { 112183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 112283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 112383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool has_clinit_trampoline = 112483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers method->IsStatic() && !method->GetDeclaringClass()->IsInitialized(); 112583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (has_clinit_trampoline && (method->GetDeclaringClass() != referrer_class)) { 112683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Ensure we run the clinit trampoline unless we are invoking a static method in the same 112783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // class. 112883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 112983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 113083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 11312ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1132f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (method_code_in_boot) { 1133f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *stats_flags |= kFlagDirectCallToBoot | kFlagDirectMethodToBoot; 11342ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 1135a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light if (!use_dex_cache && force_relocations) { 1136a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light if (!IsImage() || !IsImageClass(method->GetDeclaringClassDescriptor())) { 113783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // We can only branch directly to Methods that are resolved in the DexCache. 113883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Otherwise we won't invoke the resolution trampoline. 113983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers use_dex_cache = true; 1140e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 1141c468e92d1e18305a5053c8a4a7c88cb297e525afIan Rogers } 114283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // The method is defined not within this dex file. We need a dex cache slot within the current 114383883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // dex file or direct pointers. 114483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers bool must_use_direct_pointers = false; 114583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (target_method->dex_file == method->GetDeclaringClass()->GetDexCache()->GetDexFile()) { 114683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_method_index = method->GetDexMethodIndex(); 114783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 114883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (no_guarantee_of_dex_cache_entry) { 1149bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier StackHandleScope<1> hs(Thread::Current()); 1150bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier MethodHelper mh(hs.NewHandle(method)); 115183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // See if the method is also declared in this dex cache. 1152bfd9a4378eacaf2dc2bbe05ad48c5164fc93c9feMathieu Chartier uint32_t dex_method_idx = mh.FindDexMethodIndexInOtherDexFile( 1153bbcc0c0a17262f3d2a70fc0a82e1783862f708ccVladimir Marko *target_method->dex_file, target_method->dex_method_index); 115483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (dex_method_idx != DexFile::kDexNoIndex) { 115583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers target_method->dex_method_index = dex_method_idx; 115683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 1157a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light if (force_relocations && !use_dex_cache) { 115849161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao target_method->dex_method_index = method->GetDexMethodIndex(); 115949161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao target_method->dex_file = method->GetDeclaringClass()->GetDexCache()->GetDexFile(); 116049161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao } 116183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers must_use_direct_pointers = true; 11623fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 11633fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 116483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 116583883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (use_dex_cache) { 116683883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers if (must_use_direct_pointers) { 116783883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // Fail. Test above showed the only safe dispatch was via the dex cache, however, the direct 116883883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers // pointers are required as the dex cache lacks an appropriate entry. 116983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method); 117083883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 117183883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 117283883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } 11733fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } else { 1174a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light bool method_in_image = 1175a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko Runtime::Current()->GetHeap()->FindSpaceFromObject(method, false)->IsImageSpace(); 1176a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light if (method_in_image || compiling_boot) { 1177a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light // We know we must be able to get to the method in the image, so use that pointer. 1178a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko CHECK(!method->IsAbstract()); 117983883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers *type = sharp_type; 1180a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light *direct_method = force_relocations ? -1 : reinterpret_cast<uintptr_t>(method); 1181a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light *direct_code = force_relocations ? -1 : compiler_->GetEntryPointOf(method); 1182a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko target_method->dex_file = method->GetDeclaringClass()->GetDexCache()->GetDexFile(); 1183a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko target_method->dex_method_index = method->GetDexMethodIndex(); 1184a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko } else if (!must_use_direct_pointers) { 1185a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko // Set the code and rely on the dex cache for the method. 1186a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko *type = sharp_type; 1187a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light if (force_relocations) { 1188a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light *direct_code = -1; 1189a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light target_method->dex_file = method->GetDeclaringClass()->GetDexCache()->GetDexFile(); 1190a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light target_method->dex_method_index = method->GetDexMethodIndex(); 1191a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light } else { 1192a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light *direct_code = compiler_->GetEntryPointOf(method); 1193a59dd80f9f48cb750d329d4d4af2d99d72b484d1Alex Light } 119483883d7fddf30fdb8b6903560fa1337ab991e74cIan Rogers } else { 1195a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko // Direct pointers were required but none were available. 1196a51a0b0300268b605e3ad71b0e87ff394032c5e7Vladimir Marko VLOG(compiler) << "Dex cache devirtualization failed for: " << PrettyMethod(method); 11973fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers } 11982ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers } 11992ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers} 12002ed3b9536ccfd7c7321cc18650820b093b22d6c9Ian Rogers 1201e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogersbool CompilerDriver::ComputeInvokeInfo(const DexCompilationUnit* mUnit, const uint32_t dex_pc, 120265ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers bool update_stats, bool enable_devirtualization, 120365ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers InvokeType* invoke_type, MethodReference* target_method, 120465ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers int* vtable_idx, uintptr_t* direct_code, 120565ec92cf13c9d11c83711443a02e4249163d47f1Ian Rogers uintptr_t* direct_method) { 1206f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko InvokeType orig_invoke_type = *invoke_type; 1207f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko int stats_flags = 0; 120800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1209f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Try to resolve the method and compiling method's class. 1210f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko mirror::ArtMethod* resolved_method; 1211f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko mirror::Class* referrer_class; 1212eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<3> hs(soa.Self()); 1213eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache( 1214eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(mUnit->GetClassLinker()->FindDexCache(*mUnit->GetDexFile()))); 1215eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader(hs.NewHandle( 1216eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier soa.Decode<mirror::ClassLoader*>(mUnit->GetClassLoader()))); 1217f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko { 1218f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko uint32_t method_idx = target_method->dex_method_index; 1219eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ArtMethod> resolved_method_handle(hs.NewHandle( 1220eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier ResolveMethod(soa, dex_cache, class_loader, mUnit, method_idx, orig_invoke_type))); 1221eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier referrer_class = (resolved_method_handle.Get() != nullptr) 1222f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko ? ResolveCompilingMethodsClass(soa, dex_cache, class_loader, mUnit) : nullptr; 1223eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier resolved_method = resolved_method_handle.Get(); 1224f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } 1225f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko bool result = false; 1226f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (resolved_method != nullptr) { 1227f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *vtable_idx = GetResolvedMethodVTableIndex(resolved_method, orig_invoke_type); 1228f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko 1229f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (enable_devirtualization) { 1230f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko DCHECK(mUnit->GetVerifiedMethod() != nullptr); 1231f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko const MethodReference* devirt_target = mUnit->GetVerifiedMethod()->GetDevirtTarget(dex_pc); 1232f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko 1233f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko stats_flags = IsFastInvoke( 1234f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko soa, dex_cache, class_loader, mUnit, referrer_class, resolved_method, 1235f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko invoke_type, target_method, devirt_target, direct_code, direct_method); 1236f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko result = stats_flags != 0; 1237f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } else { 1238f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Devirtualization not enabled. Inline IsFastInvoke(), dropping the devirtualization parts. 1239f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (UNLIKELY(referrer_class == nullptr) || 1240f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko UNLIKELY(!referrer_class->CanAccessResolvedMethod(resolved_method->GetDeclaringClass(), 1241eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier resolved_method, dex_cache.Get(), 1242f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko target_method->dex_method_index)) || 1243f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *invoke_type == kSuper) { 1244f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Slow path. (Without devirtualization, all super calls go slow path as well.) 1245f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko } else { 1246f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Sharpening failed so generate a regular resolved method dispatch. 1247f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko stats_flags = kFlagMethodResolved; 1248f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko GetCodeAndMethodForDirectCall(invoke_type, *invoke_type, false, referrer_class, resolved_method, 1249f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko &stats_flags, target_method, direct_code, direct_method); 1250f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko result = true; 1251a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1252a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1253a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1254f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko if (!result) { 1255f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko // Conservative defaults. 1256f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *vtable_idx = -1; 1257f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *direct_code = 0u; 1258f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko *direct_method = 0u; 1259a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers } 1260e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers if (update_stats) { 1261f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko ProcessedInvoke(orig_invoke_type, stats_flags); 1262e3cd2f0e3c3d976ae9c65c8a731003a5aaf71986Ian Rogers } 1263f096aad9203d7c50b2f9cbe1c1215a50c265a059Vladimir Marko return result; 1264a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers} 1265a32a6fd4a781262dff4fec102da053d16b7ef6c0Ian Rogers 12662730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Markoconst VerifiedMethod* CompilerDriver::GetVerifiedMethod(const DexFile* dex_file, 12672730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko uint32_t method_idx) const { 12682730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko MethodReference ref(dex_file, method_idx); 12692730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko return verification_results_->GetVerifiedMethod(ref); 12702730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko} 12712730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko 12722730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Markobool CompilerDriver::IsSafeCast(const DexCompilationUnit* mUnit, uint32_t dex_pc) { 12732730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko DCHECK(mUnit->GetVerifiedMethod() != nullptr); 12742730db03beee4d6687ddfb5000c33c0370fbc6ebVladimir Marko bool result = mUnit->GetVerifiedMethod()->IsSafeCast(dex_pc); 1275fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers if (result) { 1276fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers stats_->SafeCast(); 1277fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } else { 1278fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers stats_->NotASafeCast(); 1279fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers } 1280fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers return result; 1281fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers} 1282fae370a044f5817f69937cccfd2d12a16b374266Ian Rogers 12831212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddCodePatch(const DexFile* dex_file, 12848b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t referrer_class_def_idx, 12858b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t referrer_method_idx, 12868b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType referrer_invoke_type, 12878b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t target_method_idx, 128849161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao const DexFile* target_dex_file, 12898b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType target_invoke_type, 12908b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers size_t literal_offset) { 129150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 1292be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi code_to_patch_.push_back(new CallPatchInformation(dex_file, 1293be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1294be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1295be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_invoke_type, 1296be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_method_idx, 129749161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao target_dex_file, 1298be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_invoke_type, 1299be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 13003fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers} 130155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendellvoid CompilerDriver::AddRelativeCodePatch(const DexFile* dex_file, 130255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint16_t referrer_class_def_idx, 130355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint32_t referrer_method_idx, 130455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell InvokeType referrer_invoke_type, 130555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell uint32_t target_method_idx, 130649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao const DexFile* target_dex_file, 130755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell InvokeType target_invoke_type, 130855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell size_t literal_offset, 130955d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell int32_t pc_relative_offset) { 131055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell MutexLock mu(Thread::Current(), compiled_methods_lock_); 131155d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell code_to_patch_.push_back(new RelativeCallPatchInformation(dex_file, 131255d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_class_def_idx, 131355d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_method_idx, 131455d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell referrer_invoke_type, 131555d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell target_method_idx, 131649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao target_dex_file, 131755d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell target_invoke_type, 131855d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell literal_offset, 131955d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell pc_relative_offset)); 132055d0eac918321e0525f6e6491f36a80977e0d416Mark Mendell} 13211212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddMethodPatch(const DexFile* dex_file, 13228b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t referrer_class_def_idx, 13238b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t referrer_method_idx, 13248b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType referrer_invoke_type, 13258b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint32_t target_method_idx, 132649161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao const DexFile* target_dex_file, 13278b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType target_invoke_type, 13288b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers size_t literal_offset) { 132950b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 1330be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi methods_to_patch_.push_back(new CallPatchInformation(dex_file, 1331be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1332be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1333be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_invoke_type, 1334be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_method_idx, 133549161cef10a308aedada18e9aa742498d6e6c8c7Jeff Hao target_dex_file, 1336be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_invoke_type, 1337be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 1338be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi} 1339be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchivoid CompilerDriver::AddClassPatch(const DexFile* dex_file, 1340be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint16_t referrer_class_def_idx, 1341be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint32_t referrer_method_idx, 1342be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi uint32_t target_type_idx, 1343be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi size_t literal_offset) { 1344be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi MutexLock mu(Thread::Current(), compiled_methods_lock_); 1345be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi classes_to_patch_.push_back(new TypePatchInformation(dex_file, 1346be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_class_def_idx, 1347be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi referrer_method_idx, 1348be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi target_type_idx, 1349be1ca55db3362f5b100c4c65da5342fd299520bbHiroshi Yamauchi literal_offset)); 13503fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers} 13513fa13791c51985d9956d01bc465de6d36c3390d3Ian Rogers 1352219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersclass ParallelCompilationManager { 1353731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom public: 1354219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers typedef void Callback(const ParallelCompilationManager* manager, size_t index); 13550e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier 1356219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager(ClassLinker* class_linker, 1357219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers jobject class_loader, 1358219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers CompilerDriver* compiler, 1359219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile* dex_file, 13603d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool) 13610b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier : index_(0), 13620b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier class_linker_(class_linker), 1363731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom class_loader_(class_loader), 1364731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom compiler_(compiler), 13650e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier dex_file_(dex_file), 13663d504075f7c1204d581923460754bf6d3714b13fIan Rogers thread_pool_(thread_pool) {} 1367731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom 136800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ClassLinker* GetClassLinker() const { 1369731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(class_linker_ != NULL); 1370731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return class_linker_; 1371731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 137200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 137300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers jobject GetClassLoader() const { 1374731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return class_loader_; 1375731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 137600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 13771212a022fa5f8ef9585d765b1809521812af882cIan Rogers CompilerDriver* GetCompiler() const { 1378731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(compiler_ != NULL); 1379731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return compiler_; 1380731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 138100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 138200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers const DexFile* GetDexFile() const { 1383731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom CHECK(dex_file_ != NULL); 1384731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom return dex_file_; 1385731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom } 1386731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom 13870e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier void ForAll(size_t begin, size_t end, Callback callback, size_t work_units) { 13880e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier Thread* self = Thread::Current(); 13890e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier self->AssertNoPendingException(); 13900e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier CHECK_GT(work_units, 0U); 13919ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 13923e5cf305db800b2989ad57b7cde8fb3cc9fa1b9eIan Rogers index_.StoreRelaxed(begin); 13930e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier for (size_t i = 0; i < work_units; ++i) { 1394501baec5f2de2156bb5ed7f66d23f1b1ad026267Sebastien Hertz thread_pool_->AddTask(self, new ForAllClosure(this, end, callback)); 13950e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 13960e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier thread_pool_->StartWorkers(self); 139700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 13980e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // Ensure we're suspended while we're blocked waiting for the other threads to finish (worker 13990e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // thread destructor's called below perform join). 14000e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier CHECK_NE(self->GetState(), kRunnable); 1401d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14020e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier // Wait for all the worker threads to finish. 14031d54e73444e017d3a65234e0f193846f3e27472bIan Rogers thread_pool_->Wait(self, true, false); 1404d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1405d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14060b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier size_t NextIndex() { 14073e5cf305db800b2989ad57b7cde8fb3cc9fa1b9eIan Rogers return index_.FetchAndAddSequentiallyConsistent(1); 14080b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier } 14090b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier 1410d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes private: 141102b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier class ForAllClosure : public Task { 14120e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier public: 14130b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier ForAllClosure(ParallelCompilationManager* manager, size_t end, Callback* callback) 1414219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers : manager_(manager), 14150e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier end_(end), 14160b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier callback_(callback) {} 14179ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 14180e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier virtual void Run(Thread* self) { 14190b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier while (true) { 14200b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier const size_t index = manager_->NextIndex(); 14210b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier if (UNLIKELY(index >= end_)) { 14220b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier break; 14230b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier } 14240b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier callback_(manager_, index); 14250e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier self->AssertNoPendingException(); 14260e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 14270e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier } 142802b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier 142902b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier virtual void Finalize() { 143002b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier delete this; 143102b6a78038f12c109f95eb31713cfc747f5512f1Mathieu Chartier } 14320cd7ec2dcd8d7ba30bf3ca420b40dac52849876cBrian Carlstrom 14330e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier private: 14340b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier ParallelCompilationManager* const manager_; 14350e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const size_t end_; 1436460536209b741bc469f1b0857775449abb2102fbBernhard Rosenkränzer Callback* const callback_; 14370e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier }; 14381e4092589f1400915e6213014da103aab8728ef6Elliott Hughes 14390b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier AtomicInteger index_; 14400e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier ClassLinker* const class_linker_; 14410e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const jobject class_loader_; 14421212a022fa5f8ef9585d765b1809521812af882cIan Rogers CompilerDriver* const compiler_; 14430e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier const DexFile* const dex_file_; 1444219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ThreadPool* const thread_pool_; 14450b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier 14460b3eb39f8bc92f955f875ef50929c439aafe35fbMathieu Chartier DISALLOW_COPY_AND_ASSIGN(ParallelCompilationManager); 1447d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes}; 1448d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 14490e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// Return true if the class should be skipped during compilation. 14500e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// 14510e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// The first case where we skip is for redundant class definitions in 14520e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// the boot classpath. We skip all but the first definition in that case. 14530e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// 14540e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// The second case where we skip is when an app bundles classes found 14550e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// in the boot classpath. Since at runtime we will select the class from 14560e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// the boot classpath, we ignore the one from the app. 1457be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogersstatic bool SkipClass(ClassLinker* class_linker, jobject class_loader, const DexFile& dex_file, 1458be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers const DexFile::ClassDef& class_def) { 14590e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const char* descriptor = dex_file.GetClassDescriptor(class_def); 146000f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers if (class_loader == NULL) { 14610e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao DexFile::ClassPathEntry pair = DexFile::FindInClassPath(descriptor, class_linker->GetBootClassPath()); 14620e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao CHECK(pair.second != NULL); 14630e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (pair.first != &dex_file) { 14640e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(WARNING) << "Skipping class " << descriptor << " from " << dex_file.GetLocation() 14650e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << " previously found in " << pair.first->GetLocation(); 14660e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return true; 14670e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 146800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers return false; 146900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 1470be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers return class_linker->IsInBootClassPath(descriptor); 147100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers} 147200f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 14730e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// A fast version of SkipClass above if the class pointer is available 14740e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao// that avoids the expensive FindInClassPath search. 14750e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Haostatic bool SkipClass(jobject class_loader, const DexFile& dex_file, mirror::Class* klass) 14760e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 14770e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao DCHECK(klass != NULL); 14780e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& original_dex_file = *klass->GetDexCache()->GetDexFile(); 14790e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (&dex_file != &original_dex_file) { 14800e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao if (class_loader == NULL) { 14810e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(WARNING) << "Skipping class " << PrettyDescriptor(klass) << " from " 14820e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << dex_file.GetLocation() << " previously found in " 14830e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao << original_dex_file.GetLocation(); 14840e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 14850e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return true; 14860e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao } 14870e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao return false; 14880e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao} 14890e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao 149070b634882b523ec9795475dccc347b423cefaef6Mathieu Chartierstatic void CheckAndClearResolveException(Thread* self) 149170b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 149270b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CHECK(self->IsExceptionPending()); 149370b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier mirror::Throwable* exception = self->GetException(nullptr); 149470b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier std::string descriptor = exception->GetClass()->GetDescriptor(); 14956b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom if (descriptor != "Ljava/lang/IllegalAccessError;" && 14966b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom descriptor != "Ljava/lang/IncompatibleClassChangeError;" && 14976b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom descriptor != "Ljava/lang/InstantiationError;" && 14986b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom descriptor != "Ljava/lang/NoClassDefFoundError;" && 14996b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom descriptor != "Ljava/lang/NoSuchFieldError;" && 15006b0599fc9356deaefe3c49fb883ca5b62a9f0b12Brian Carlstrom descriptor != "Ljava/lang/NoSuchMethodError;") { 150170b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier LOG(FATAL) << "Unexpected exeption " << exception->Dump(); 150270b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier } 150370b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier self->ClearException(); 150470b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier} 150570b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier 1506e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogersstatic void ResolveClassFieldsAndMethods(const ParallelCompilationManager* manager, 1507e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers size_t class_def_index) 1508b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 15098f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ATRACE_CALL(); 1510be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers Thread* self = Thread::Current(); 1511be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers jobject jclass_loader = manager->GetClassLoader(); 1512219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1513be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1514d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1515e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // If an instance field is final then we need to have a barrier on the return, static final 1516e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // fields are assigned within the lock held for class initialization. Conservatively assume 1517e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // constructor barriers are always required. 1518e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers bool requires_constructor_barrier = true; 1519e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers 1520845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // Method and Field are the worst. We can't resolve without either 1521845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // context from the code use (to disambiguate virtual vs direct 1522845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // method and instance vs static field) or from class 1523845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // definitions. While the compiler will resolve what it can as it 1524845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // needs it, here we try to resolve fields and methods used in class 1525845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // definitions, since many of them many never be referenced by 1526845490bda68f7d025ea7f45775c847d2932e00dcBrian Carlstrom // generated code. 1527d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1528be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers if (!SkipClass(class_linker, jclass_loader, dex_file, class_def)) { 1529cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom ScopedObjectAccess soa(self); 1530eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<2> hs(soa.Self()); 1531eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 1532eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(jclass_loader))); 1533eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache(hs.NewHandle(class_linker->FindDexCache(dex_file))); 1534cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // Resolve the class. 1535cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom mirror::Class* klass = class_linker->ResolveType(dex_file, class_def.class_idx_, dex_cache, 1536cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom class_loader); 1537cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom bool resolve_fields_and_methods; 1538cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom if (klass == NULL) { 1539cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // Class couldn't be resolved, for example, super-class is in a different dex file. Don't 1540cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom // attempt to resolve methods and fields when there is no declaring class. 154170b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CheckAndClearResolveException(soa.Self()); 1542cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom resolve_fields_and_methods = false; 1543cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom } else { 1544cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom resolve_fields_and_methods = manager->GetCompiler()->IsImage(); 1545cb5f5e53b580023fa2c1d8235c2e9aa1ff67d1dcBrian Carlstrom } 1546e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Note the class_data pointer advances through the headers, 1547e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // static fields, instance fields, direct methods, and virtual 1548e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // methods. 1549e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers const byte* class_data = dex_file.GetClassData(class_def); 1550e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (class_data == NULL) { 1551e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // Empty class such as a marker interface. 1552e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = false; 1553e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } else { 1554e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers ClassDataItemIterator it(dex_file, class_data); 1555e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextStaticField()) { 1556e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1557e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(), 1558e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, true); 1559e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (field == NULL) { 156070b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CheckAndClearResolveException(soa.Self()); 1561e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1562e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1563e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1564e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1565e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // We require a constructor barrier if there are final instance fields. 1566e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = false; 1567e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextInstanceField()) { 1568e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if ((it.GetMemberAccessFlags() & kAccFinal) != 0) { 1569e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers requires_constructor_barrier = true; 1570e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1571e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1572e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtField* field = class_linker->ResolveField(dex_file, it.GetMemberIndex(), 1573e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers dex_cache, class_loader, false); 1574e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (field == NULL) { 157570b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CheckAndClearResolveException(soa.Self()); 1576e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1577e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1578e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1579e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1580e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (resolve_fields_and_methods) { 1581e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextDirectMethod()) { 1582e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(), 15830cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier dex_cache, class_loader, 15840cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier NullHandle<mirror::ArtMethod>(), 1585e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.GetMethodInvokeType(class_def)); 1586e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (method == NULL) { 158770b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CheckAndClearResolveException(soa.Self()); 1588e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1589e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1590e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1591e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers while (it.HasNextVirtualMethod()) { 1592e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers mirror::ArtMethod* method = class_linker->ResolveMethod(dex_file, it.GetMemberIndex(), 15930cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier dex_cache, class_loader, 15940cd81352a7c06e381951cea1b104fd73516f4341Mathieu Chartier NullHandle<mirror::ArtMethod>(), 1595e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.GetMethodInvokeType(class_def)); 1596e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (method == NULL) { 159770b634882b523ec9795475dccc347b423cefaef6Mathieu Chartier CheckAndClearResolveException(soa.Self()); 1598e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1599e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers it.Next(); 1600e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1601e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers DCHECK(!it.HasNext()); 1602e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 160320cfffabdc9e02b2df798bc4e6b6035d14bf4e36Brian Carlstrom } 1604d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1605fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers if (requires_constructor_barrier) { 1606be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers manager->GetCompiler()->AddRequiresConstructorBarrier(self, &dex_file, class_def_index); 1607fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers } 1608d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1609d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1610219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void ResolveType(const ParallelCompilationManager* manager, size_t type_idx) 1611b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 1612d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes // Class derived values are more complicated, they require the linker and loader. 161300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1614219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1615219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1616eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<2> hs(soa.Self()); 1617eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache(hs.NewHandle(class_linker->FindDexCache(dex_file))); 1618eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 1619eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(manager->GetClassLoader()))); 16202dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = class_linker->ResolveType(dex_file, type_idx, dex_cache, class_loader); 162100f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers 1622d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes if (klass == NULL) { 162300f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1624a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers mirror::Throwable* exception = soa.Self()->GetException(NULL); 1625a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers VLOG(compiler) << "Exception during type resolution: " << exception->Dump(); 1626f832284dd847ff077577bb5712225430bbbb3b67Mathieu Chartier if (exception->GetClass()->DescriptorEquals("Ljava/lang/OutOfMemoryError;")) { 1627a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers // There's little point continuing compilation if the heap is exhausted. 1628a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers LOG(FATAL) << "Out of memory during type resolution for compilation"; 1629a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers } 1630a436fde2762664a3ecdda5eefcadd20b2e104f59Ian Rogers soa.Self()->ClearException(); 1631d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes } 1632d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1633d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 16341212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::ResolveDexFile(jobject class_loader, const DexFile& dex_file, 16353d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1636d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1637d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 163800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // TODO: we could resolve strings here, although the string table is largely filled with class 163900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers // and method names. 1640d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1641219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool); 1642e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (IsImage()) { 1643e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // For images we resolve all types, such as array, whereas for applications just those with 1644e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // classdefs are resolved by ResolveClassFieldsAndMethods. 1645f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("Resolve Types", timings); 1646e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers context.ForAll(0, dex_file.NumTypeIds(), ResolveType, thread_count_); 1647e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 1648d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1649f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("Resolve MethodsAndFields", timings); 16500e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier context.ForAll(0, dex_file.NumClassDefs(), ResolveClassFieldsAndMethods, thread_count_); 16519ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 16529ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 16531212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Verify(jobject class_loader, const std::vector<const DexFile*>& dex_files, 16543d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1655ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 1656ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 165798eacac683b78e60799323e8c7d59e7214808639jeffhao CHECK(dex_file != NULL); 16582f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom VerifyDexFile(class_loader, *dex_file, thread_pool, timings); 165998eacac683b78e60799323e8c7d59e7214808639jeffhao } 166098eacac683b78e60799323e8c7d59e7214808639jeffhao} 166198eacac683b78e60799323e8c7d59e7214808639jeffhao 1662219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void VerifyClass(const ParallelCompilationManager* manager, size_t class_def_index) 1663b726dcb581bf72da46527378ccb6889020f0e6e9Ian Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 166467f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum ATRACE_CALL(); 166500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 16660e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& dex_file = *manager->GetDexFile(); 16670e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 16680e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const char* descriptor = dex_file.GetClassDescriptor(class_def); 16690e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao ClassLinker* class_linker = manager->GetClassLinker(); 16700e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao jobject jclass_loader = manager->GetClassLoader(); 1671eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<3> hs(soa.Self()); 1672eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 1673eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(jclass_loader))); 1674eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> klass( 1675eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(class_linker->FindClass(soa.Self(), descriptor, class_loader))); 1676eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier if (klass.Get() == nullptr) { 1677e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 167862d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->ClearException(); 1679f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao 1680f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao /* 1681f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * At compile time, we can still structurally verify the class even if FindClass fails. 1682f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * This is to ensure the class is structurally sound for compilation. An unsound class 1683f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao * will be rejected by the verifier and later skipped during compilation in the compiler. 1684f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao */ 1685eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::DexCache> dex_cache(hs.NewHandle(class_linker->FindDexCache(dex_file))); 1686f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao std::string error_msg; 1687590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier if (verifier::MethodVerifier::VerifyClass(&dex_file, dex_cache, class_loader, &class_def, true, 1688590fee9e8972f872301c2d16a575d579ee564beeMathieu Chartier &error_msg) == 168900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers verifier::MethodVerifier::kHardFailure) { 16900e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao LOG(ERROR) << "Verification failed on class " << PrettyDescriptor(descriptor) 1691f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao << " because: " << error_msg; 1692f56197c5519395fcf8226a7148cc87367e0a7ad4jeffhao } 1693eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier } else if (!SkipClass(jclass_loader, dex_file, klass.Get())) { 1694eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier CHECK(klass->IsResolved()) << PrettyClass(klass.Get()); 16950e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao class_linker->VerifyClass(klass); 1696d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 1697e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers if (klass->IsErroneous()) { 1698e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers // ClassLinker::VerifyClass throws, which isn't useful in the compiler. 1699e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(soa.Self()->IsExceptionPending()); 1700e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers soa.Self()->ClearException(); 1701e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 170267f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum 1703e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers CHECK(klass->IsCompileTimeVerified() || klass->IsErroneous()) 1704eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier << PrettyDescriptor(klass.Get()) << ": state=" << klass->GetStatus(); 1705e6bb3b2ce5a69c31c2adfc7eb2705633b7f966ebIan Rogers } 170662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->AssertNoPendingException(); 1707d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes} 1708d9c67be7c116875d96b31e640ad47d587b205605Elliott Hughes 17091212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::VerifyDexFile(jobject class_loader, const DexFile& dex_file, 17103d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1711f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("Verify Dex File", timings); 1712731b2abfccd8704d129e3b8e46a086660161fef3Brian Carlstrom ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1713219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, class_loader, this, &dex_file, thread_pool); 17140e4627e593bc39f8e3d89c31f8977d55054c07ccMathieu Chartier context.ForAll(0, dex_file.NumClassDefs(), VerifyClass, thread_count_); 1715a5a97a2bc1dfed70869da34650a5a2a3a3a06ac4Brian Carlstrom} 1716a5a97a2bc1dfed70869da34650a5a2a3a3a06ac4Brian Carlstrom 1717219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersstatic void InitializeClass(const ParallelCompilationManager* manager, size_t class_def_index) 17183d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers LOCKS_EXCLUDED(Locks::mutator_lock_) { 17198f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ATRACE_CALL(); 17200e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao jobject jclass_loader = manager->GetClassLoader(); 17210e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile& dex_file = *manager->GetDexFile(); 17220e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1723bcdbbfebc8f32566d4cb3f66405e89cdb7351992Jeff Hao const DexFile::TypeId& class_type_id = dex_file.GetTypeId(class_def.class_idx_); 1724bcdbbfebc8f32566d4cb3f66405e89cdb7351992Jeff Hao const char* descriptor = dex_file.StringDataByIdx(class_type_id.descriptor_idx_); 1725fc0e94bed3f88ed7e50854fd8dfaf5dcb345250fIan Rogers 172600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers ScopedObjectAccess soa(Thread::Current()); 1727eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<3> hs(soa.Self()); 1728eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 1729eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(jclass_loader))); 1730eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> klass( 1731eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(manager->GetClassLinker()->FindClass(soa.Self(), descriptor, class_loader))); 17320e49b42e03af56521d8ce2c9c84ac5b79e6241c9Jeff Hao 1733eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier if (klass.Get() != nullptr && !SkipClass(jclass_loader, dex_file, klass.Get())) { 173464b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers // Only try to initialize classes that were successfully verified. 17353d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers if (klass->IsVerified()) { 17368f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // Attempt to initialize the class but bail if we either need to initialize the super-class 17378f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // or static fields. 17388f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetClassLinker()->EnsureInitialized(klass, false, false); 173964b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers if (!klass->IsInitialized()) { 17408f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We don't want non-trivial class initialization occurring on multiple threads due to 17418f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // deadlock problems. For example, a parent class is initialized (holding its lock) that 17428f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // refers to a sub-class in its static/class initializer causing it to try to acquire the 17438f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // sub-class' lock. While on a second thread the sub-class is initialized (holding its lock) 17448f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // after first initializing its parents, whose locks are acquired. This leads to a 17458f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // parent-to-child and a child-to-parent lock ordering and consequent potential deadlock. 17468f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We need to use an ObjectLock due to potential suspension in the interpreting code. Rather 17478f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // than use a special Object for the purpose we use the Class of java.lang.Class. 1748eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::Class> h_klass(hs.NewHandle(klass->GetClass())); 1749db2633ce0358c704f97130a94b582602cb01d14aMathieu Chartier ObjectLock<mirror::Class> lock(soa.Self(), h_klass); 17508f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // Attempt to initialize allowing initialization of parent classes but still not static 17518f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // fields. 17528f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetClassLinker()->EnsureInitialized(klass, false, true); 17538f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (!klass->IsInitialized()) { 17548f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // We need to initialize static fields, we only do this for image classes that aren't 1755d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // marked with the $NoPreloadHolder (which implies this should not be initialized early). 17568f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers bool can_init_static_fields = manager->GetCompiler()->IsImage() && 1757d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz manager->GetCompiler()->IsImageClass(descriptor) && 1758d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz !StringPiece(descriptor).ends_with("$NoPreloadHolder;"); 17598f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (can_init_static_fields) { 1760d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz VLOG(compiler) << "Initializing: " << descriptor; 1761c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // TODO multithreading support. We should ensure the current compilation thread has 1762c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // exclusive access to the runtime and the transaction. To achieve this, we could use 1763c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // a ReaderWriterMutex but we're holding the mutator lock so we fail mutex sanity 1764c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // checks in Thread::AssertThreadSuspensionIsAllowable. 1765c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers Runtime* const runtime = Runtime::Current(); 1766c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers Transaction transaction; 1767c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers 1768c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // Run the class initializer in transaction mode. 1769c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers runtime->EnterTransactionMode(&transaction); 1770c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers const mirror::Class::Status old_status = klass->GetStatus(); 1771c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers bool success = manager->GetClassLinker()->EnsureInitialized(klass, true, true); 1772c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // TODO we detach transaction from runtime to indicate we quit the transactional 1773c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // mode which prevents the GC from visiting objects modified during the transaction. 1774c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers // Ensure GC is not run so don't access freed objects when aborting transaction. 1775c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers const char* old_casue = soa.Self()->StartAssertNoThreadSuspension("Transaction end"); 1776c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers runtime->ExitTransactionMode(); 1777c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers 1778c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers if (!success) { 1779c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers CHECK(soa.Self()->IsExceptionPending()); 1780c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers ThrowLocation throw_location; 1781c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers mirror::Throwable* exception = soa.Self()->GetException(&throw_location); 1782c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers VLOG(compiler) << "Initialization of " << descriptor << " aborted because of " 1783c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers << exception->Dump(); 1784c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers soa.Self()->ClearException(); 1785c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers transaction.Abort(); 1786c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers CHECK_EQ(old_status, klass->GetStatus()) << "Previous class status not restored"; 178764b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 1788c45b8b582be5c98941ca3869fcdc9a08d520da41Ian Rogers soa.Self()->EndAssertNoThreadSuspension(old_casue); 178964b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 179064b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 17918f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers soa.Self()->AssertNoPendingException(); 179264b6d145fa53b8dfb07a8fc2426af13f155d5a4dIan Rogers } 179327ec961a1da540ba7f16c07a682585ab167317adBrian Carlstrom } 17943d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers // Record the final class status if necessary. 179551c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom ClassReference ref(manager->GetDexFile(), class_def_index); 17968f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers manager->GetCompiler()->RecordClassStatus(ref, klass->GetStatus()); 179798eacac683b78e60799323e8c7d59e7214808639jeffhao } 17981f5393447b9f45be7918042d9ee7b521376de866Ian Rogers // Clear any class not found or verification exceptions. 179962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers soa.Self()->ClearException(); 180098eacac683b78e60799323e8c7d59e7214808639jeffhao} 180198eacac683b78e60799323e8c7d59e7214808639jeffhao 18021212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InitializeClasses(jobject jni_class_loader, const DexFile& dex_file, 18033d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1804f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("InitializeNoClinit", timings); 18053d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1806219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers ParallelCompilationManager context(class_linker, jni_class_loader, this, &dex_file, thread_pool); 1807d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz size_t thread_count; 1808d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (IsImage()) { 1809d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // TODO: remove this when transactional mode supports multithreading. 1810d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz thread_count = 1U; 1811d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } else { 1812d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz thread_count = thread_count_; 1813d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } 1814d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz context.ForAll(0, dex_file.NumClassDefs(), InitializeClass, thread_count); 1815d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz if (IsImage()) { 1816d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz // Prune garbage objects created during aborted transactions. 1817d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz Runtime::Current()->GetHeap()->CollectGarbage(true); 1818d2fe10a3a34af171bf1631219cd2d6ff6b7778b5Sebastien Hertz } 18193d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers} 182090dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao 18211212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InitializeClasses(jobject class_loader, 18221212a022fa5f8ef9585d765b1809521812af882cIan Rogers const std::vector<const DexFile*>& dex_files, 18233d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 18243d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers for (size_t i = 0; i != dex_files.size(); ++i) { 18253d1548debdaf8a1915fa432a4d267f7c0145654dIan Rogers const DexFile* dex_file = dex_files[i]; 182690dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao CHECK(dex_file != NULL); 18272f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom InitializeClasses(class_loader, *dex_file, thread_pool, timings); 182800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 182990dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao} 183090dc30f4b9967e850d0594e57dfa8e7cb0369575Shih-wei Liao 18311212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::Compile(jobject class_loader, const std::vector<const DexFile*>& dex_files, 18323d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1833ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom for (size_t i = 0; i != dex_files.size(); ++i) { 1834ae826983f7903bc0a6bbbe8426bf393fb2f6d747Brian Carlstrom const DexFile* dex_file = dex_files[i]; 183583db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom CHECK(dex_file != NULL); 18362f66382fdb5e98537f724eba43ef1c7162c71b0eBrian Carlstrom CompileDexFile(class_loader, *dex_file, thread_pool, timings); 183783db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom } 183883db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom} 183983db7721aef15df6919c0ec072e087bef6041e2dBrian Carlstrom 1840219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogersvoid CompilerDriver::CompileClass(const ParallelCompilationManager* manager, size_t class_def_index) { 184167f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum ATRACE_CALL(); 18422d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz jobject jclass_loader = manager->GetClassLoader(); 1843219b5a847ef74be5d3de4c16a29ec6413cc42af1Ian Rogers const DexFile& dex_file = *manager->GetDexFile(); 1844c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes const DexFile::ClassDef& class_def = dex_file.GetClassDef(class_def_index); 1845be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ClassLinker* class_linker = manager->GetClassLinker(); 1846be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers if (SkipClass(class_linker, jclass_loader, dex_file, class_def)) { 1847be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers return; 18485ead0950c661761e90e04aefd6ea2205532ce874Brian Carlstrom } 1849d1224c79631bd1801b067a0f212b91afa961a362jeffhao ClassReference ref(&dex_file, class_def_index); 1850d1224c79631bd1801b067a0f212b91afa961a362jeffhao // Skip compiling classes with generic verifier failures since they will still fail at runtime 1851c7f832061fea59fd6abd125f26c8ca1faec695a5Vladimir Marko if (manager->GetCompiler()->verification_results_->IsClassRejected(ref)) { 1852d1224c79631bd1801b067a0f212b91afa961a362jeffhao return; 1853d1224c79631bd1801b067a0f212b91afa961a362jeffhao } 18540571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers const byte* class_data = dex_file.GetClassData(class_def); 18550571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers if (class_data == NULL) { 18560571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // empty class, probably a marker interface 18570571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers return; 18580571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 185967f99418f648c3a95256ed3dcd8e8b64eef0b372Anwar Ghuloum 18602d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz // Can we run DEX-to-DEX compiler on this class ? 186175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level = kDontDexToDexCompile; 18622d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz { 18632d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz ScopedObjectAccess soa(Thread::Current()); 1864eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(soa.Self()); 1865eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader( 1866eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier hs.NewHandle(soa.Decode<mirror::ClassLoader*>(jclass_loader))); 18679837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers dex_to_dex_compilation_level = GetDexToDexCompilationlevel(soa.Self(), class_loader, dex_file, 18689837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers class_def); 18692d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz } 18700571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers ClassDataItemIterator it(dex_file, class_data); 18710571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Skip fields 18720571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextStaticField()) { 18730571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18740571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 18750571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextInstanceField()) { 18760571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18770571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers } 1878be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers CompilerDriver* driver = manager->GetCompiler(); 18790571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Compile direct methods 188068adbe41c7d9295da2bfc521d737ba6dabd36c98Brian Carlstrom int64_t previous_direct_method_idx = -1; 18810571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextDirectMethod()) { 18826f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom uint32_t method_idx = it.GetMemberIndex(); 18836f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom if (method_idx == previous_direct_method_idx) { 18846f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // smali can create dex files with two encoded_methods sharing the same method_idx 18856f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // http://code.google.com/p/smali/issues/detail?id=119 18866f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom it.Next(); 18876f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom continue; 18886f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom } 18896f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom previous_direct_method_idx = method_idx; 1890be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(), 1891be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers it.GetMethodInvokeType(class_def), class_def_index, 1892be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level); 18930571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 18949ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 18950571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers // Compile virtual methods 189668adbe41c7d9295da2bfc521d737ba6dabd36c98Brian Carlstrom int64_t previous_virtual_method_idx = -1; 18970571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers while (it.HasNextVirtualMethod()) { 18986f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom uint32_t method_idx = it.GetMemberIndex(); 18996f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom if (method_idx == previous_virtual_method_idx) { 19006f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // smali can create dex files with two encoded_methods sharing the same method_idx 19016f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom // http://code.google.com/p/smali/issues/detail?id=119 19026f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom it.Next(); 19036f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom continue; 19046f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom } 19056f29d0e6d5444ff84157c922c23c221567dcc6c5Brian Carlstrom previous_virtual_method_idx = method_idx; 1906be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers driver->CompileMethod(it.GetMethodCodeItem(), it.GetMemberAccessFlags(), 1907be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers it.GetMethodInvokeType(class_def), class_def_index, 1908be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers method_idx, jclass_loader, dex_file, dex_to_dex_compilation_level); 19090571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers it.Next(); 19109ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom } 19110571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers DCHECK(!it.HasNext()); 19129ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 19139ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 19141212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileDexFile(jobject class_loader, const DexFile& dex_file, 19153d504075f7c1204d581923460754bf6d3714b13fIan Rogers ThreadPool* thread_pool, TimingLogger* timings) { 1916f5997b4d3f889569d5a2b724d83d764bfbb8d106Mathieu Chartier TimingLogger::ScopedTiming t("Compile Dex File", timings); 1917be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers ParallelCompilationManager context(Runtime::Current()->GetClassLinker(), class_loader, this, 1918be7149fc2e7cc607937209f2819e3c1d672e2668Ian Rogers &dex_file, thread_pool); 19191212a022fa5f8ef9585d765b1809521812af882cIan Rogers context.ForAll(0, dex_file.NumClassDefs(), CompilerDriver::CompileClass, thread_count_); 1920c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes} 1921c225caa9715eeaeff87f27d5b6a3e7d4f6b7efadElliott Hughes 19221212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::CompileMethod(const DexFile::CodeItem* code_item, uint32_t access_flags, 19238b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers InvokeType invoke_type, uint16_t class_def_idx, 19241212a022fa5f8ef9585d765b1809521812af882cIan Rogers uint32_t method_idx, jobject class_loader, 19252d6ba5158d7fd459db2870df47300b517dc4d08cSebastien Hertz const DexFile& dex_file, 192675021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz DexToDexCompilationLevel dex_to_dex_compilation_level) { 1927f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes CompiledMethod* compiled_method = NULL; 1928bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes uint64_t start_ns = NanoTime(); 19294dd96f56909ec35c83a3d468b0e47769988c1a1dLogan Chien 1930169c9a7f46776b235d0a37d5e0ff27682deffe06Ian Rogers if ((access_flags & kAccNative) != 0) { 19310188ab739c3ef8bcd521d88f84894db8c0f012c5Ian Rogers // Are we interpreting only and have support for generic JNI down calls? 19324a200f56b7075309316b04d550c9cc50f8314eddJeff Hao if (!compiler_options_->IsCompilationEnabled() && 1933b95a5345ae4217b70ca36f0cced92f68dda7caf5Stuart Monteith (instruction_set_ == kX86_64 || instruction_set_ == kArm64)) { 19345b27149ce3cbf39f99c9d9c8ba5ebf1657c297e1Ian Rogers // Leaving this empty will trigger the generic JNI version 19355b27149ce3cbf39f99c9d9c8ba5ebf1657c297e1Ian Rogers } else { 193672d32629303f8f39362a4099481f48646aed042fIan Rogers compiled_method = compiler_->JniCompile(access_flags, method_idx, dex_file); 19375b27149ce3cbf39f99c9d9c8ba5ebf1657c297e1Ian Rogers CHECK(compiled_method != NULL); 19385b27149ce3cbf39f99c9d9c8ba5ebf1657c297e1Ian Rogers } 1939169c9a7f46776b235d0a37d5e0ff27682deffe06Ian Rogers } else if ((access_flags & kAccAbstract) != 0) { 19402cc022b653e1e84eed2522254ec684bd097572b8Brian Carlstrom } else { 194190af14d2743614e3e1453984b14258a6f145501dDragos Sbirlea MethodReference method_ref(&dex_file, method_idx); 19426449c62e40ef3a9bb75f664f922555affb532ee4Brian Carlstrom bool compile = verification_results_->IsCandidateForCompilation(method_ref, access_flags); 19434d4adb1dae07bb7421e863732ab789413a3b43f0Sebastien Hertz if (compile) { 1944a024a0686c3b0fea13f362bff70d65981e5febc5buzbee // NOTE: if compiler declines to compile this method, it will return NULL. 194572d32629303f8f39362a4099481f48646aed042fIan Rogers compiled_method = compiler_->Compile(code_item, access_flags, invoke_type, class_def_idx, 194672d32629303f8f39362a4099481f48646aed042fIan Rogers method_idx, class_loader, dex_file); 194717965ed6ec29407599a0bcd4ea92532424294fedSebastien Hertz } 194817965ed6ec29407599a0bcd4ea92532424294fedSebastien Hertz if (compiled_method == nullptr && dex_to_dex_compilation_level != kDontDexToDexCompile) { 194917965ed6ec29407599a0bcd4ea92532424294fedSebastien Hertz // TODO: add a command-line option to disable DEX-to-DEX compilation ? 195075021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz (*dex_to_dex_compiler_)(*this, code_item, access_flags, 195175021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz invoke_type, class_def_idx, 195275021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz method_idx, class_loader, dex_file, 195375021222d9c03a80fa5c136db0d5fb8d82d04031Sebastien Hertz dex_to_dex_compilation_level); 1954f3e9855ee2000106b54fd479f7a46da2dc2ad079Ian Rogers } 1955bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes } 19563bb17a644e2945c3913cfbde245d2f520d62a3ffIan Rogers uint64_t duration_ns = NanoTime() - start_ns; 1957073ed9ba97df41862403f64d7a2e824d09ab50edAndreas Gampe if (duration_ns > MsToNs(compiler_->GetMaximumCompilationTimeBeforeWarning()) && !kIsDebugBuild) { 1958bb551fa68ffc57f679b8c914ac856666f0348b77Elliott Hughes LOG(WARNING) << "Compilation of " << PrettyMethod(method_idx, dex_file) 19593bb17a644e2945c3913cfbde245d2f520d62a3ffIan Rogers << " took " << PrettyDuration(duration_ns); 1960f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes } 1961f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes 196250b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers Thread* self = Thread::Current(); 1963f09afe8fbd78943df6a8b10f03c36dcd190dd054Elliott Hughes if (compiled_method != NULL) { 19640571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers MethodReference ref(&dex_file, method_idx); 19658f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers DCHECK(GetCompiledMethod(ref) == NULL) << PrettyMethod(method_idx, dex_file); 196600f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers { 196750b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(self, compiled_methods_lock_); 196800f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers compiled_methods_.Put(ref, compiled_method); 196900f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 19700755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom DCHECK(GetCompiledMethod(ref) != NULL) << PrettyMethod(method_idx, dex_file); 19712cc022b653e1e84eed2522254ec684bd097572b8Brian Carlstrom } 19729baa4aefc370f48774b6104680193d9a7e4fb631Brian Carlstrom 197350b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers if (self->IsExceptionPending()) { 197450b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers ScopedObjectAccess soa(self); 197500f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers LOG(FATAL) << "Unexpected exception compiling: " << PrettyMethod(method_idx, dex_file) << "\n" 197662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers << self->GetException(NULL)->Dump(); 197700f7d0eaa6bd93d33bf0c1429bf4ba0b3f28abacIan Rogers } 19780571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers} 197928ad40dc3ec2f09b0ffd4f6d6787bf1b532ccd5dIan Rogers 19801212a022fa5f8ef9585d765b1809521812af882cIan RogersCompiledClass* CompilerDriver::GetCompiledClass(ClassReference ref) const { 198150b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_classes_lock_); 19820755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom ClassTable::const_iterator it = compiled_classes_.find(ref); 19830755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom if (it == compiled_classes_.end()) { 19840755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom return NULL; 19850755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom } 19860755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom CHECK(it->second != NULL); 19870755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom return it->second; 19880755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom} 19890755ec5ea1dce0b549fc1adefeb52d89f119ebecBrian Carlstrom 19908f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogersvoid CompilerDriver::RecordClassStatus(ClassReference ref, mirror::Class::Status status) { 19918f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers MutexLock mu(Thread::Current(), compiled_classes_lock_); 19928f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers auto it = compiled_classes_.find(ref); 19938f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (it == compiled_classes_.end() || it->second->GetStatus() != status) { 19948f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers // An entry doesn't exist or the status is lower than the new status. 19958f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers if (it != compiled_classes_.end()) { 19968f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers CHECK_GT(status, it->second->GetStatus()); 19978f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers delete it->second; 19988f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 19998f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers switch (status) { 20008f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusNotReady: 20018f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusError: 20028f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusRetryVerificationAtRuntime: 20038f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusVerified: 20048f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers case mirror::Class::kStatusInitialized: 20058f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers break; // Expected states. 20068f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers default: 20078f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers LOG(FATAL) << "Unexpected class status for class " 20088f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers << PrettyDescriptor(ref.first->GetClassDescriptor(ref.first->GetClassDef(ref.second))) 20098f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers << " of " << status; 20108f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 20118f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers CompiledClass* compiled_class = new CompiledClass(status); 20128f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers compiled_classes_.Overwrite(ref, compiled_class); 20138f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers } 20148f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers} 20158f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers 20161212a022fa5f8ef9585d765b1809521812af882cIan RogersCompiledMethod* CompilerDriver::GetCompiledMethod(MethodReference ref) const { 201750b35e2fd1a68cd1240e4a9d9f363e11764957d1Ian Rogers MutexLock mu(Thread::Current(), compiled_methods_lock_); 20180571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers MethodTable::const_iterator it = compiled_methods_.find(ref); 20190571d357843c53e042f370f5f2c2e9aa3fe803a9Ian Rogers if (it == compiled_methods_.end()) { 20203320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom return NULL; 20212c8f653c98d658419f464b6147c10e11a664d2e6Ian Rogers } 20223320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom CHECK(it->second != NULL); 20233320cf46afd082398aa401b246e6f301cebdf64dBrian Carlstrom return it->second; 20249ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} 20259ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom 20261212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::AddRequiresConstructorBarrier(Thread* self, const DexFile* dex_file, 20278b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_index) { 20288f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers WriterMutexLock mu(self, freezing_constructor_lock_); 2029fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers freezing_constructor_classes_.insert(ClassReference(dex_file, class_def_index)); 2030fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers} 2031fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers 20321212a022fa5f8ef9585d765b1809521812af882cIan Rogersbool CompilerDriver::RequiresConstructorBarrier(Thread* self, const DexFile* dex_file, 20338b2c0b9abc3f520495f4387ea040132ba85cae69Ian Rogers uint16_t class_def_index) { 20348f3c9ae38df2460940a26dff889a84430b6c38d3Ian Rogers ReaderMutexLock mu(self, freezing_constructor_lock_); 2035fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers return freezing_constructor_classes_.count(ClassReference(dex_file, class_def_index)) != 0; 2036fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers} 2037fffdb023275613612a22ec62b3421ffe4d2b73feIan Rogers 20383f47c12487250f61f3be95e9f275e3b08e2c49fbBrian Carlstrombool CompilerDriver::WriteElf(const std::string& android_root, 2039265091e581c9f643b37e7966890911f09e223269Brian Carlstrom bool is_host, 204051c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom const std::vector<const art::DexFile*>& dex_files, 20413d504075f7c1204d581923460754bf6d3714b13fIan Rogers OatWriter* oat_writer, 204251c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom art::File* file) 204351c2467e8771b56e25ae4f17f66522f979f57a7eBrian Carlstrom SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) { 204472d32629303f8f39362a4099481f48646aed042fIan Rogers return compiler_->WriteElf(file, oat_writer, dex_files, android_root, is_host); 2045265091e581c9f643b37e7966890911f09e223269Brian Carlstrom} 20461212a022fa5f8ef9585d765b1809521812af882cIan Rogersvoid CompilerDriver::InstructionSetToLLVMTarget(InstructionSet instruction_set, 20473d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_triple, 20483d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_cpu, 20493d504075f7c1204d581923460754bf6d3714b13fIan Rogers std::string* target_attr) { 2050265091e581c9f643b37e7966890911f09e223269Brian Carlstrom switch (instruction_set) { 2051700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kThumb2: 20523d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "thumb-none-linux-gnueabi"; 20533d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_cpu = "cortex-a9"; 20543d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "+thumb2,+neon,+neonfp,+vfp3,+db"; 2055700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2056700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2057700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kArm: 20583d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "armv7-none-linux-gnueabi"; 2059700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom // TODO: Fix for Nexus S. 20603d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_cpu = "cortex-a9"; 2061700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom // TODO: Fix for Xoom. 20623d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "+v7,+neon,+neonfp,+vfp3,+db"; 2063700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2064700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2065700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kX86: 20663d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "i386-pc-linux-gnu"; 20673d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = ""; 2068700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2069700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 20706a58cb16d803c9a7b3a75ccac8be19dd9d4e520dDmitry Petrochenko case kX86_64: 20716a58cb16d803c9a7b3a75ccac8be19dd9d4e520dDmitry Petrochenko *target_triple = "x86_64-pc-linux-gnu"; 20726a58cb16d803c9a7b3a75ccac8be19dd9d4e520dDmitry Petrochenko *target_attr = ""; 20736a58cb16d803c9a7b3a75ccac8be19dd9d4e520dDmitry Petrochenko break; 20746a58cb16d803c9a7b3a75ccac8be19dd9d4e520dDmitry Petrochenko 2075700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom case kMips: 20763d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_triple = "mipsel-unknown-linux"; 20773d504075f7c1204d581923460754bf6d3714b13fIan Rogers *target_attr = "mips32r2"; 2078700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom break; 2079700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom 2080700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom default: 2081700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom LOG(FATAL) << "Unknown instruction set: " << instruction_set; 2082700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom } 2083700c8d31733534a3d978b75a03f6f7e177dc7e81Brian Carlstrom } 208439c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison 208539c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allisonbool CompilerDriver::SkipCompilation(const std::string& method_name) { 2086c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle if (!profile_present_) { 2087644789fa0e807a9aa6d6e32d36ce039ec7318a7fDave Allison return false; 208839c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison } 2089bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle // First find the method in the profile file. 2090bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle ProfileFile::ProfileData data; 2091bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle if (!profile_file_.GetProfileData(&data, method_name)) { 209239c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison // Not in profile, no information can be determined. 209308f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle if (kIsDebugBuild) { 209408f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle VLOG(compiler) << "not compiling " << method_name << " because it's not in the profile"; 209508f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle } 209639c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison return true; 209739c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison } 2098bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle 2099bb0b53f58f11c628f077603b56077dfed1a18f11Calin Juravle // Methods that comprise top_k_threshold % of the total samples will be compiled. 2100f6a4cee66a173ee7ef48af5503d9899aa93b3aebCalin Juravle // Compare against the start of the topK percentage bucket just in case the threshold 210104ff226764b125c79a0bf41e571c8311bac8a868Calin Juravle // falls inside a bucket. 2102c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle bool compile = data.GetTopKUsedPercentage() - data.GetUsedPercent() 2103c1b643cc6ac45dbd0eabdcd7425c7e86006c27d6Calin Juravle <= compiler_options_->GetTopKProfileThreshold(); 210408f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle if (kIsDebugBuild) { 210508f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle if (compile) { 210608f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle LOG(INFO) << "compiling method " << method_name << " because its usage is part of top " 210708f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle << data.GetTopKUsedPercentage() << "% with a percent of " << data.GetUsedPercent() << "%" 210808f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle << " (topKThreshold=" << compiler_options_->GetTopKProfileThreshold() << ")"; 210908f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle } else { 211008f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle VLOG(compiler) << "not compiling method " << method_name 211108f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle << " because it's not part of leading " << compiler_options_->GetTopKProfileThreshold() 211208f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle << "% samples)"; 211308f7a2d06b915a5e21ded648d9feee519afd2f76Calin Juravle } 211439c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison } 211539c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison return !compile; 211639c3bfbd03d85c63cfbe69f17ce5800ccc7d6c13Dave Allison} 21179ea1cb1a22be5b85dc2622e3836c46a1c48e3f25Brian Carlstrom} // namespace art 2118