reg_type_cache.cc revision 8d8fc48664205e433cfa5540753b38043d918873
1776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers/* 2776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * Copyright (C) 2012 The Android Open Source Project 3776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * 4776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * Licensed under the Apache License, Version 2.0 (the "License"); 5776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * you may not use this file except in compliance with the License. 6776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * You may obtain a copy of the License at 7776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * 8776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * http://www.apache.org/licenses/LICENSE-2.0 9776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * 10776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * Unless required by applicable law or agreed to in writing, software 11776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * distributed under the License is distributed on an "AS IS" BASIS, 12776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * See the License for the specific language governing permissions and 14776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers * limitations under the License. 15776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers */ 16776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 1751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal#include "reg_type_cache-inl.h" 18776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 19de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier#include "base/arena_bit_vector.h" 202cbbf16f3b884d052418eb2c0abd84c24f6f44a2Vladimir Marko#include "base/bit_vector-inl.h" 2151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal#include "base/casts.h" 22de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier#include "base/scoped_arena_allocator.h" 23637ee0b9c10ab7732a7ee7b8335f3fff4ac1549cVladimir Marko#include "base/stl_util.h" 249837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers#include "class_linker-inl.h" 254f6ad8ab428038129b2d0d6c40b7fd625cca15e1Ian Rogers#include "dex_file-inl.h" 262dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/class-inl.h" 272dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers#include "mirror/object-inl.h" 287b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers#include "reg_type-inl.h" 29776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 30776ac1fa61237db645adb4370a4aab888530caf4Ian Rogersnamespace art { 31776ac1fa61237db645adb4370a4aab888530caf4Ian Rogersnamespace verifier { 321bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 3351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asalbool RegTypeCache::primitive_initialized_ = false; 3451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asaluint16_t RegTypeCache::primitive_count_ = 0; 35de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst PreciseConstType* RegTypeCache::small_precise_constants_[kMaxSmallConstant - 36de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier kMinSmallConstant + 1]; 37776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 38de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu ChartierALWAYS_INLINE static inline bool MatchingPrecisionForClass(const RegType* entry, bool precise) 3990443477f9a0061581c420775ce3b7eeae7468bcMathieu Chartier SHARED_REQUIRES(Locks::mutator_lock_) { 4004f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers if (entry->IsPreciseReference() == precise) { 4104f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // We were or weren't looking for a precise reference and we found what we need. 4204f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers return true; 4304f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers } else { 4404f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers if (!precise && entry->GetClass()->CannotBeAssignedFromOtherTypes()) { 4504f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // We weren't looking for a precise reference, as we're looking up based on a descriptor, but 4604f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // we found a matching entry based on the descriptor. Return the precise entry in that case. 4704f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers return true; 4804f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers } 4904f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers return false; 5004f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers } 51776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 52776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 5341c65c19c15ffac41089fa9f37502f94c046960dIan Rogersvoid RegTypeCache::FillPrimitiveAndSmallConstantTypes() { 5451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(UndefinedType::GetInstance()); 5551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(ConflictType::GetInstance()); 5651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(BooleanType::GetInstance()); 5751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(ByteType::GetInstance()); 5851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(ShortType::GetInstance()); 5951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(CharType::GetInstance()); 6051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(IntegerType::GetInstance()); 6151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(LongLoType::GetInstance()); 6251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(LongHiType::GetInstance()); 6351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(FloatType::GetInstance()); 6451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(DoubleLoType::GetInstance()); 6551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal entries_.push_back(DoubleHiType::GetInstance()); 6641c65c19c15ffac41089fa9f37502f94c046960dIan Rogers for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 6741c65c19c15ffac41089fa9f37502f94c046960dIan Rogers int32_t i = value - kMinSmallConstant; 6841c65c19c15ffac41089fa9f37502f94c046960dIan Rogers DCHECK_EQ(entries_.size(), small_precise_constants_[i]->GetId()); 6941c65c19c15ffac41089fa9f37502f94c046960dIan Rogers entries_.push_back(small_precise_constants_[i]); 7041c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 7151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal DCHECK_EQ(entries_.size(), primitive_count_); 7251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 7351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 74de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType& RegTypeCache::FromDescriptor(mirror::ClassLoader* loader, 75de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const char* descriptor, 76d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogers bool precise) { 771bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers DCHECK(RegTypeCache::primitive_initialized_); 781bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers if (descriptor[1] == '\0') { 79776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers switch (descriptor[0]) { 8051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'Z': 8151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Boolean(); 8251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'B': 8351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Byte(); 8451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'S': 8551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Short(); 8651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'C': 8751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Char(); 8851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'I': 8951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Integer(); 9051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'J': 9151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return LongLo(); 9251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'F': 9351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Float(); 9451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'D': 9551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return DoubleLo(); 9651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case 'V': // For void types, conflict types. 9751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal default: 9851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Conflict(); 99776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 100776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else if (descriptor[0] == 'L' || descriptor[0] == '[') { 10151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return From(loader, descriptor, precise); 102776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 10351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Conflict(); 104776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 105c8ccf68b805c92674545f63e0341ba47e8d9701cAndreas Gampe} 106776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 107d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::RegTypeFromPrimitiveType(Primitive::Type prim_type) const { 1087b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers DCHECK(RegTypeCache::primitive_initialized_); 10951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal switch (prim_type) { 11051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimBoolean: 11151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *BooleanType::GetInstance(); 11251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimByte: 11351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *ByteType::GetInstance(); 11451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimShort: 11551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *ShortType::GetInstance(); 11651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimChar: 11751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *CharType::GetInstance(); 11851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimInt: 11951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *IntegerType::GetInstance(); 12051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimLong: 12151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *LongLoType::GetInstance(); 12251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimFloat: 12351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *FloatType::GetInstance(); 12451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimDouble: 12551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *DoubleLoType::GetInstance(); 12651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal case Primitive::kPrimVoid: 12751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal default: 12851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *ConflictType::GetInstance(); 12951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 130b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers} 131b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers 1321ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogersbool RegTypeCache::MatchDescriptor(size_t idx, const StringPiece& descriptor, bool precise) { 1337b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* entry = entries_[idx]; 1341ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers if (descriptor != entry->descriptor_) { 135637c65b1e431fd90195b71c141b3590bd81cc91aIan Rogers return false; 136637c65b1e431fd90195b71c141b3590bd81cc91aIan Rogers } 13704f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers if (entry->HasClass()) { 13804f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers return MatchingPrecisionForClass(entry, precise); 13951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 14004f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // There is no notion of precise unresolved references, the precise information is just dropped 14104f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // on the floor. 14204f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers DCHECK(entry->IsUnresolvedReference()); 14304f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers return true; 14451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 14551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 1461bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogersmirror::Class* RegTypeCache::ResolveClass(const char* descriptor, mirror::ClassLoader* loader) { 14751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Class was not found, must create new type. 14851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Try resolving class 14951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ClassLinker* class_linker = Runtime::Current()->GetClassLinker(); 1509837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers Thread* self = Thread::Current(); 151eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier StackHandleScope<1> hs(self); 152eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier Handle<mirror::ClassLoader> class_loader(hs.NewHandle(loader)); 1537b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers mirror::Class* klass = nullptr; 15451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (can_load_classes_) { 1559837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers klass = class_linker->FindClass(self, descriptor, class_loader); 156776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 157e7c9a8c2b8481aafbc6af4ce6229bd361ba24742Mathieu Chartier klass = class_linker->LookupClass(self, descriptor, ComputeModifiedUtf8Hash(descriptor), 158e7c9a8c2b8481aafbc6af4ce6229bd361ba24742Mathieu Chartier loader); 159a94d54bfc934826e845aa18ce6d4c2a477410d19Jeff Hao if (klass != nullptr && !klass->IsResolved()) { 16062d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // We found the class but without it being loaded its not safe for use. 161eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier klass = nullptr; 16262d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 16351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 16451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return klass; 16551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 1661bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 167de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu ChartierStringPiece RegTypeCache::AddString(const StringPiece& string_piece) { 168de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier char* ptr = arena_.AllocArray<char>(string_piece.length()); 169de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier memcpy(ptr, string_piece.data(), string_piece.length()); 170de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return StringPiece(ptr, string_piece.length()); 171de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 172de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 173de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType& RegTypeCache::From(mirror::ClassLoader* loader, 174de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const char* descriptor, 175d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogers bool precise) { 176de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier StringPiece sp_descriptor(descriptor); 1771ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers // Try looking up the class in the cache first. We use a StringPiece to avoid continual strlen 1781ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers // operations on the descriptor. 1792c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 180de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (MatchDescriptor(i, sp_descriptor, precise)) { 1812c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal return *(entries_[i]); 1822c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal } 1832c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal } 1842c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal // Class not found in the cache, will create a new type for that. 18551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Try resolving class. 18651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal mirror::Class* klass = ResolveClass(descriptor, loader); 1877b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (klass != nullptr) { 18851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Class resolved, first look for the class in the list of entries 18951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Class was not found, must create new type. 1907934ac288acfb2552bb0b06ec1f61e5820d924a4Brian Carlstrom // To pass the verification, the type should be imprecise, 1919f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // instantiable or an interface with the precise type set to false. 19202c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!precise || klass->IsInstantiable()); 1939f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // Create a precise type if: 1942c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal // 1- Class is final and NOT an interface. a precise interface is meaningless !! 1959f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // 2- Precise Flag passed as true. 19651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal RegType* entry; 1979f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // Create an imprecise type if we can't tell for a fact that it is precise. 19804f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers if (klass->CannotBeAssignedFromOtherTypes() || precise) { 19902c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!(klass->IsAbstract()) || klass->IsArrayClass()); 20002c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!klass->IsInterface()); 201de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseReferenceType(klass, AddString(sp_descriptor), entries_.size()); 20280537bb742dff4ccdf6d04b1c0bb7d2179acc8cbElliott Hughes } else { 203de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ReferenceType(klass, AddString(sp_descriptor), entries_.size()); 20480537bb742dff4ccdf6d04b1c0bb7d2179acc8cbElliott Hughes } 205de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 20651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { // Class not resolved. 20751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // We tried loading the class and failed, this might get an exception raised 20851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // so we want to clear it before we go on. 209639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe if (can_load_classes_) { 210639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe DCHECK(Thread::Current()->IsExceptionPending()); 211639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe Thread::Current()->ClearException(); 212639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } else { 213639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe DCHECK(!Thread::Current()->IsExceptionPending()); 214639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } 2151bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers if (IsValidDescriptor(descriptor)) { 216de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry( 217de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier new (&arena_) UnresolvedReferenceType(AddString(sp_descriptor), entries_.size())); 218776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 21951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // The descriptor is broken return the unknown type as there's nothing sensible that 22051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // could be done at runtime 22151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Conflict(); 222776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 223776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 224776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 2251bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 226de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType* RegTypeCache::FindClass(mirror::Class* klass, bool precise) const { 22758a5af8568d224ca7eccf2483396ff9862f8d1eeAndreas Gampe DCHECK(klass != nullptr); 228776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (klass->IsPrimitive()) { 22904f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // Note: precise isn't used for primitive classes. A char is assignable to an int. All 23004f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // primitive classes are final. 231de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return &RegTypeFromPrimitiveType(klass->GetPrimitiveType()); 232de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 233de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier for (auto& pair : klass_entries_) { 234de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier mirror::Class* const reg_klass = pair.first.Read(); 235de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (reg_klass == klass) { 236de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const RegType* reg_type = pair.second; 237de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (MatchingPrecisionForClass(reg_type, precise)) { 238de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return reg_type; 239776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 240776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 241776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 242de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return nullptr; 243776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 244776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 245de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType* RegTypeCache::InsertClass(const StringPiece& descriptor, 246de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier mirror::Class* klass, 247de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier bool precise) { 248de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // No reference to the class was found, create new reference. 249de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK(FindClass(klass, precise) == nullptr); 250de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier RegType* const reg_type = precise 251de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier ? static_cast<RegType*>( 252de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier new (&arena_) PreciseReferenceType(klass, descriptor, entries_.size())) 253de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier : new (&arena_) ReferenceType(klass, descriptor, entries_.size()); 254de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return &AddEntry(reg_type); 255de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 256de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 257de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType& RegTypeCache::FromClass(const char* descriptor, mirror::Class* klass, bool precise) { 258de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK(klass != nullptr); 259de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const RegType* reg_type = FindClass(klass, precise); 260de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (reg_type == nullptr) { 261de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier reg_type = InsertClass(AddString(StringPiece(descriptor)), klass, precise); 262de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 263de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return *reg_type; 264de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 265de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 266de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu ChartierRegTypeCache::RegTypeCache(bool can_load_classes, ScopedArenaAllocator& arena) 267de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier : entries_(arena.Adapter(kArenaAllocVerifier)), 268de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier klass_entries_(arena.Adapter(kArenaAllocVerifier)), 269de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier can_load_classes_(can_load_classes), 270de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier arena_(arena) { 2717b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (kIsDebugBuild) { 2727b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers Thread::Current()->AssertThreadSuspensionIsAllowable(gAborting == 0); 273639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } 274de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // The klass_entries_ array does not have primitives or small constants. 275de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier static constexpr size_t kNumReserveEntries = 32; 276de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier klass_entries_.reserve(kNumReserveEntries); 277de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // We want to have room for additional entries after inserting primitives and small 278de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // constants. 279de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.reserve(kNumReserveEntries + kNumPrimitivesAndSmallConstants); 280639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe FillPrimitiveAndSmallConstantTypes(); 281639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe} 282639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe 28351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu AsalRegTypeCache::~RegTypeCache() { 284de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK_LE(primitive_count_, entries_.size()); 28551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 28651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 28751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asalvoid RegTypeCache::ShutDown() { 28851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (RegTypeCache::primitive_initialized_) { 28951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal UndefinedType::Destroy(); 29051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ConflictType::Destroy(); 29151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal BooleanType::Destroy(); 29251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ByteType::Destroy(); 29351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ShortType::Destroy(); 29451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal CharType::Destroy(); 29551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal IntegerType::Destroy(); 29651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal LongLoType::Destroy(); 29751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal LongHiType::Destroy(); 29825ae7ebfd227869dd12f807047c56177d0bf645bIan Rogers FloatType::Destroy(); 29951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal DoubleLoType::Destroy(); 30051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal DoubleHiType::Destroy(); 301dfe78a6e6b526d482298100a1f6392a8c7105522Ian Rogers for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 3027b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const PreciseConstType* type = small_precise_constants_[value - kMinSmallConstant]; 30341c65c19c15ffac41089fa9f37502f94c046960dIan Rogers delete type; 304dfe78a6e6b526d482298100a1f6392a8c7105522Ian Rogers small_precise_constants_[value - kMinSmallConstant] = nullptr; 30541c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 30662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers RegTypeCache::primitive_initialized_ = false; 30762d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers RegTypeCache::primitive_count_ = 0; 30851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 30951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 31051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 31141c65c19c15ffac41089fa9f37502f94c046960dIan Rogerstemplate <class Type> 3127b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogersconst Type* RegTypeCache::CreatePrimitiveTypeInstance(const std::string& descriptor) { 3137b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers mirror::Class* klass = nullptr; 31441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers // Try loading the class from linker. 31541c65c19c15ffac41089fa9f37502f94c046960dIan Rogers if (!descriptor.empty()) { 3169837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers klass = art::Runtime::Current()->GetClassLinker()->FindSystemClass(Thread::Current(), 3179837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers descriptor.c_str()); 31810f0ca2844e82a3319a12246af913e14f93194efLogan Chien DCHECK(klass != nullptr); 31941c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 3207b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const Type* entry = Type::CreateInstance(klass, descriptor, RegTypeCache::primitive_count_); 32141c65c19c15ffac41089fa9f37502f94c046960dIan Rogers RegTypeCache::primitive_count_++; 32241c65c19c15ffac41089fa9f37502f94c046960dIan Rogers return entry; 32341c65c19c15ffac41089fa9f37502f94c046960dIan Rogers} 32441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers 32541c65c19c15ffac41089fa9f37502f94c046960dIan Rogersvoid RegTypeCache::CreatePrimitiveAndSmallConstantTypes() { 32633e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<UndefinedType>(""); 32733e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ConflictType>(""); 32833e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<BooleanType>("Z"); 32933e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ByteType>("B"); 33033e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ShortType>("S"); 33133e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<CharType>("C"); 33233e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<IntegerType>("I"); 33333e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<LongLoType>("J"); 33433e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<LongHiType>("J"); 33533e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<FloatType>("F"); 33633e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<DoubleLoType>("D"); 33733e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<DoubleHiType>("D"); 33841c65c19c15ffac41089fa9f37502f94c046960dIan Rogers for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 33941c65c19c15ffac41089fa9f37502f94c046960dIan Rogers PreciseConstType* type = new PreciseConstType(value, primitive_count_); 34041c65c19c15ffac41089fa9f37502f94c046960dIan Rogers small_precise_constants_[value - kMinSmallConstant] = type; 34141c65c19c15ffac41089fa9f37502f94c046960dIan Rogers primitive_count_++; 34241c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 34351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 34451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 345d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::FromUnresolvedMerge(const RegType& left, const RegType& right) { 346de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier ArenaBitVector types(&arena_, 347de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier kDefaultArenaBitVectorBytes * kBitsPerByte, // Allocate at least 8 bytes. 348de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier true); // Is expandable. 349750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType* left_resolved; 350bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool left_unresolved_is_array; 351529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (left.IsUnresolvedMergedReference()) { 352bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe const UnresolvedMergedType& left_merge = *down_cast<const UnresolvedMergedType*>(&left); 353bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 354bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe types.Copy(&left_merge.GetUnresolvedTypes()); 355bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_resolved = &left_merge.GetResolvedPart(); 356bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = left.IsArrayTypes(); 357b58474e08f6014663d1d3e215f3377d3ae616ad1Andreas Gampe } else if (left.IsUnresolvedTypes()) { 3582cbbf16f3b884d052418eb2c0abd84c24f6f44a2Vladimir Marko types.ClearAllBits(); 359750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe types.SetBit(left.GetId()); 360750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe left_resolved = &Zero(); 361bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = left.IsArrayTypes(); 362529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } else { 3632cbbf16f3b884d052418eb2c0abd84c24f6f44a2Vladimir Marko types.ClearAllBits(); 364750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe left_resolved = &left; 365bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = false; 366529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 367750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 368750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType* right_resolved; 369bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool right_unresolved_is_array; 370529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (right.IsUnresolvedMergedReference()) { 371bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe const UnresolvedMergedType& right_merge = *down_cast<const UnresolvedMergedType*>(&right); 372bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 373bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe types.Union(&right_merge.GetUnresolvedTypes()); 374bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_resolved = &right_merge.GetResolvedPart(); 375bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = right.IsArrayTypes(); 376b58474e08f6014663d1d3e215f3377d3ae616ad1Andreas Gampe } else if (right.IsUnresolvedTypes()) { 377750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe types.SetBit(right.GetId()); 378750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe right_resolved = &Zero(); 379bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = right.IsArrayTypes(); 380529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } else { 381750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe right_resolved = &right; 382bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = false; 383750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe } 384750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 385750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // Merge the resolved parts. Left and right might be equal, so use SafeMerge. 386750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType& resolved_parts_merged = left_resolved->SafeMerge(*right_resolved, this); 387750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // If we get a conflict here, the merge result is a conflict, not an unresolved merge type. 388750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe if (resolved_parts_merged.IsConflict()) { 389750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe return Conflict(); 390529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 391750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 392bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool resolved_merged_is_array = resolved_parts_merged.IsArrayTypes(); 393bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if (left_unresolved_is_array || right_unresolved_is_array || resolved_merged_is_array) { 394bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Arrays involved, see if we need to merge to Object. 395bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 396bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Is the resolved part a primitive array? 397bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if (resolved_merged_is_array && !resolved_parts_merged.IsObjectArrayTypes()) { 398bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe return JavaLangObject(false /* precise */); 399bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 400bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 401bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Is any part not an array (but exists)? 402bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if ((!left_unresolved_is_array && left_resolved != &left) || 403bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe (!right_unresolved_is_array && right_resolved != &right) || 404bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe !resolved_merged_is_array) { 405bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe return JavaLangObject(false /* precise */); 406bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 407bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 408bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 409529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers // Check if entry already exists. 41051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4117b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 412529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (cur_entry->IsUnresolvedMergedReference()) { 413750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const UnresolvedMergedType* cmp_type = down_cast<const UnresolvedMergedType*>(cur_entry); 414750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType& resolved_part = cmp_type->GetResolvedPart(); 415750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const BitVector& unresolved_part = cmp_type->GetUnresolvedTypes(); 416750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // Use SameBitsSet. "types" is expandable to allow merging in the components, but the 417750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // BitVector in the final RegType will be made non-expandable. 418de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (&resolved_part == &resolved_parts_merged && types.SameBitsSet(&unresolved_part)) { 419529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers return *cur_entry; 420529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 421529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 422529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 423de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(new (&arena_) UnresolvedMergedType(resolved_parts_merged, 424de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier types, 425de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier this, 426de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size())); 427529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers} 4281bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 429d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::FromUnresolvedSuperClass(const RegType& child) { 430529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers // Check if entry already exists. 43151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4327b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 43351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsUnresolvedSuperClass()) { 4347b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const UnresolvedSuperClass* tmp_entry = 4357b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UnresolvedSuperClass*>(cur_entry); 43651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal uint16_t unresolved_super_child_id = 43751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal tmp_entry->GetUnresolvedSuperClassChildId(); 43851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (unresolved_super_child_id == child.GetId()) { 43951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *cur_entry; 44051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 44151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 44251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 443de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(new (&arena_) UnresolvedSuperClass(child.GetId(), this, entries_.size())); 444529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers} 4451bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 446d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst UninitializedType& RegTypeCache::Uninitialized(const RegType& type, uint32_t allocation_pc) { 4477b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers UninitializedType* entry = nullptr; 448de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(type.GetDescriptor()); 449776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (type.IsUnresolvedTypes()) { 45051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4517b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 452776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (cur_entry->IsUnresolvedAndUninitializedReference() && 4537b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UnresolvedUninitializedRefType*>(cur_entry)->GetAllocationPc() 4547b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers == allocation_pc && 45551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal (cur_entry->GetDescriptor() == descriptor)) { 4567b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UnresolvedUninitializedRefType*>(cur_entry); 457776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 458776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 459de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedUninitializedRefType(descriptor, 460de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier allocation_pc, 461de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 462776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 4632dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = type.GetClass(); 46451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4657b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 466776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (cur_entry->IsUninitializedReference() && 4677b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UninitializedReferenceType*>(cur_entry) 46851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ->GetAllocationPc() == allocation_pc && 469776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers cur_entry->GetClass() == klass) { 4707b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedReferenceType*>(cur_entry); 471776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 472776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 473de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UninitializedReferenceType(klass, 474de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier descriptor, 475de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier allocation_pc, 476de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 477776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 478de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 479776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 4801bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 481d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::FromUninitialized(const RegType& uninit_type) { 482776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers RegType* entry; 4839f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal 484776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (uninit_type.IsUnresolvedTypes()) { 485de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(uninit_type.GetDescriptor()); 48651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4877b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 48851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsUnresolvedReference() && 48951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal cur_entry->GetDescriptor() == descriptor) { 490776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers return *cur_entry; 491776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 492776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 493de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedReferenceType(descriptor, entries_.size()); 494776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 4952dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = uninit_type.GetClass(); 496df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom if (uninit_type.IsUninitializedThisReference() && !klass->IsFinal()) { 49704f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // For uninitialized "this reference" look for reference types that are not precise. 4989f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4997b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 5009f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal if (cur_entry->IsReference() && cur_entry->GetClass() == klass) { 5019f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal return *cur_entry; 5029f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 5039f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 504de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ReferenceType(klass, "", entries_.size()); 505be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe } else if (!klass->IsPrimitive()) { 50662342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers // We're uninitialized because of allocation, look or create a precise type as allocations 50762342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers // may only create objects of that type. 508be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // Note: we do not check whether the given klass is actually instantiable (besides being 509be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // primitive), that is, we allow interfaces and abstract classes here. The reasoning is 510be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // twofold: 511be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // 1) The "new-instance" instruction to generate the uninitialized type will already 512be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // queue an instantiation error. This is a soft error that must be thrown at runtime, 513be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // and could potentially change if the class is resolved differently at runtime. 514be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // 2) Checking whether the klass is instantiable and using conflict may produce a hard 515be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // error when the value is used, which leads to a VerifyError, which is not the 516be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // correct semantics. 51762342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers for (size_t i = primitive_count_; i < entries_.size(); i++) { 5187b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 51962342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers if (cur_entry->IsPreciseReference() && cur_entry->GetClass() == klass) { 52062342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers return *cur_entry; 5219f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 522776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 523de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseReferenceType(klass, 524de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier uninit_type.GetDescriptor(), 525de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 52662342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers } else { 52762342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers return Conflict(); 528776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 5296f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom } 530de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 531776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 5321bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 533d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst UninitializedType& RegTypeCache::UninitializedThisArgument(const RegType& type) { 53441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers UninitializedType* entry; 535de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(type.GetDescriptor()); 536ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers if (type.IsUnresolvedTypes()) { 53751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5387b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 539ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers if (cur_entry->IsUnresolvedAndUninitializedThisReference() && 540ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers cur_entry->GetDescriptor() == descriptor) { 5417b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedType*>(cur_entry); 542ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 543ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 544de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedUninitializedThisRefType(descriptor, entries_.size()); 545ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } else { 5462dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = type.GetClass(); 54751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5487b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 54962342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers if (cur_entry->IsUninitializedThisReference() && cur_entry->GetClass() == klass) { 5507b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedType*>(cur_entry); 551ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 552776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 553de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UninitializedThisReferenceType(klass, descriptor, entries_.size()); 554776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 555de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 556776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 5571bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 558d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat1NonSmallConstant(int32_t value, bool precise) { 55951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5607b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 5615441091dc78c64a683cb336ff27e80c364bc2cd3Ian Rogers if (cur_entry->klass_.IsNull() && cur_entry->IsConstant() && 562637c65b1e431fd90195b71c141b3590bd81cc91aIan Rogers cur_entry->IsPreciseConstant() == precise && 5637b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValue() == value) { 5647b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 565776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 566776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 56741c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 56851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 569de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstType(value, entries_.size()); 57051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 571de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstType(value, entries_.size()); 57251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 573de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 5742bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers} 5752bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers 576d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat2ConstLo(int32_t value, bool precise) { 57751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5787b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 57951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsConstantLo() && (cur_entry->IsPrecise() == precise) && 5807b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValueLo() == value) { 5817b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 5822bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 5832bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 58441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 58551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 586de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstLoType(value, entries_.size()); 58751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 588de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstLoType(value, entries_.size()); 58951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 590de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 5912bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers} 5922bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers 593d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat2ConstHi(int32_t value, bool precise) { 59451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5957b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 59651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsConstantHi() && (cur_entry->IsPrecise() == precise) && 5977b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValueHi() == value) { 5987b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 5992bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 6002bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 60141c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 60251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 603de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstHiType(value, entries_.size()); 60451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 605de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstHiType(value, entries_.size()); 60651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 607de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 608776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 609776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 610d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::GetComponentType(const RegType& array, mirror::ClassLoader* loader) { 611a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers if (!array.IsArrayTypes()) { 612a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers return Conflict(); 613a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers } else if (array.IsUnresolvedTypes()) { 6148d8fc48664205e433cfa5540753b38043d918873Andreas Gampe DCHECK(!array.IsUnresolvedMergedReference()); // Caller must make sure not to ask for this. 615de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const std::string descriptor(array.GetDescriptor().as_string()); 616de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromDescriptor(loader, descriptor.c_str() + 1, false); 617776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 6182dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = array.GetClass()->GetComponentType(); 6191ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers std::string temp; 620de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const char* descriptor = klass->GetDescriptor(&temp); 621aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe if (klass->IsErroneous()) { 622aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // Arrays may have erroneous component types, use unresolved in that case. 623aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // We assume that the primitive classes are not erroneous, so we know it is a 624aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // reference type. 625de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromDescriptor(loader, descriptor, false); 626aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe } else { 627de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromClass(descriptor, klass, klass->CannotBeAssignedFromOtherTypes()); 628aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe } 629b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers } 630b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers} 631b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers 632b49035706fceb2b13e8154668f175af624cf88f4Ian Rogersvoid RegTypeCache::Dump(std::ostream& os) { 633b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers for (size_t i = 0; i < entries_.size(); i++) { 6347b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 6357b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (cur_entry != nullptr) { 6362bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers os << i << ": " << cur_entry->Dump() << "\n"; 637b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers } 638776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 639776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 640776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 641bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartiervoid RegTypeCache::VisitStaticRoots(RootVisitor* visitor) { 6427c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier // Visit the primitive types, this is required since if there are no active verifiers they wont 6437c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier // be in the entries array, and therefore not visited as roots. 6447c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier if (primitive_initialized_) { 64512d625f87bcd6c4059a205bb39007a255f57f382Mathieu Chartier RootInfo ri(kRootUnknown); 646bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier UndefinedType::GetInstance()->VisitRoots(visitor, ri); 647bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ConflictType::GetInstance()->VisitRoots(visitor, ri); 648bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier BooleanType::GetInstance()->VisitRoots(visitor, ri); 649bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ByteType::GetInstance()->VisitRoots(visitor, ri); 650bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ShortType::GetInstance()->VisitRoots(visitor, ri); 651bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier CharType::GetInstance()->VisitRoots(visitor, ri); 652bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier IntegerType::GetInstance()->VisitRoots(visitor, ri); 653bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier LongLoType::GetInstance()->VisitRoots(visitor, ri); 654bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier LongHiType::GetInstance()->VisitRoots(visitor, ri); 655bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier FloatType::GetInstance()->VisitRoots(visitor, ri); 656bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier DoubleLoType::GetInstance()->VisitRoots(visitor, ri); 657bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier DoubleHiType::GetInstance()->VisitRoots(visitor, ri); 6587c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 659bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier small_precise_constants_[value - kMinSmallConstant]->VisitRoots(visitor, ri); 6607c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier } 6617c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier } 6627c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier} 6637c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier 664bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartiervoid RegTypeCache::VisitRoots(RootVisitor* visitor, const RootInfo& root_info) { 6653e781622a67e6d83e76e1bf765e9d84b3c718dc9Hiroshi Yamauchi // Exclude the static roots that are visited by VisitStaticRoots(). 6663e781622a67e6d83e76e1bf765e9d84b3c718dc9Hiroshi Yamauchi for (size_t i = primitive_count_; i < entries_.size(); ++i) { 667bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier entries_[i]->VisitRoots(visitor, root_info); 668c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier } 669de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier for (auto& pair : klass_entries_) { 670de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier GcRoot<mirror::Class>& root = pair.first; 671de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier root.VisitRoot(visitor, root_info); 672de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 673aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe} 674aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe 675a21039c3ae2b20e44ceb2735251c04d0aac89afdElliott Hughes} // namespace verifier 676a21039c3ae2b20e44ceb2735251c04d0aac89afdElliott Hughes} // namespace art 677