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) 39bdf7f1c3ab65ccb70f62db5ab31dba060632d458Andreas Gampe REQUIRES_SHARED(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 { 15734ee6842a283afe107f0c1df941393f955323b52Andreas Gampe klass = class_linker->LookupClass(self, descriptor, loader); 158a94d54bfc934826e845aa18ce6d4c2a477410d19Jeff Hao if (klass != nullptr && !klass->IsResolved()) { 15962d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers // We found the class but without it being loaded its not safe for use. 160eb8167a4f4d27fce0530f6724ab8032610cd146bMathieu Chartier klass = nullptr; 16162d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers } 16251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 16351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return klass; 16451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 1651bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 166de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu ChartierStringPiece RegTypeCache::AddString(const StringPiece& string_piece) { 167de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier char* ptr = arena_.AllocArray<char>(string_piece.length()); 168de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier memcpy(ptr, string_piece.data(), string_piece.length()); 169de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return StringPiece(ptr, string_piece.length()); 170de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 171de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 172de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType& RegTypeCache::From(mirror::ClassLoader* loader, 173de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const char* descriptor, 174d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogers bool precise) { 175de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier StringPiece sp_descriptor(descriptor); 1761ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers // Try looking up the class in the cache first. We use a StringPiece to avoid continual strlen 1771ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers // operations on the descriptor. 1782c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 179de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (MatchDescriptor(i, sp_descriptor, precise)) { 1802c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal return *(entries_[i]); 1812c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal } 1822c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal } 1832c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal // Class not found in the cache, will create a new type for that. 18451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Try resolving class. 18551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal mirror::Class* klass = ResolveClass(descriptor, loader); 1867b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (klass != nullptr) { 18751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Class resolved, first look for the class in the list of entries 18851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // Class was not found, must create new type. 1897934ac288acfb2552bb0b06ec1f61e5820d924a4Brian Carlstrom // To pass the verification, the type should be imprecise, 1909f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // instantiable or an interface with the precise type set to false. 19102c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!precise || klass->IsInstantiable()); 1929f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // Create a precise type if: 1932c6de22d6dcdc6fe1a065480582989e15a47fcb5Sameer Abu Asal // 1- Class is final and NOT an interface. a precise interface is meaningless !! 1949f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // 2- Precise Flag passed as true. 19551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal RegType* entry; 1969f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal // Create an imprecise type if we can't tell for a fact that it is precise. 19704f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers if (klass->CannotBeAssignedFromOtherTypes() || precise) { 19802c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!(klass->IsAbstract()) || klass->IsArrayClass()); 19902c42237741b5573f9d790a5a0f17f408dceb543Sameer Abu Asal DCHECK(!klass->IsInterface()); 200de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseReferenceType(klass, AddString(sp_descriptor), entries_.size()); 20180537bb742dff4ccdf6d04b1c0bb7d2179acc8cbElliott Hughes } else { 202de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ReferenceType(klass, AddString(sp_descriptor), entries_.size()); 20380537bb742dff4ccdf6d04b1c0bb7d2179acc8cbElliott Hughes } 204de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 20551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { // Class not resolved. 20651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // We tried loading the class and failed, this might get an exception raised 20751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // so we want to clear it before we go on. 208639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe if (can_load_classes_) { 209639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe DCHECK(Thread::Current()->IsExceptionPending()); 210639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe Thread::Current()->ClearException(); 211639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } else { 212639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe DCHECK(!Thread::Current()->IsExceptionPending()); 213639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } 2141bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers if (IsValidDescriptor(descriptor)) { 215de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry( 216de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier new (&arena_) UnresolvedReferenceType(AddString(sp_descriptor), entries_.size())); 217776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 21851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // The descriptor is broken return the unknown type as there's nothing sensible that 21951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal // could be done at runtime 22051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return Conflict(); 221776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 222776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 223776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 2241bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 225de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType* RegTypeCache::FindClass(mirror::Class* klass, bool precise) const { 22658a5af8568d224ca7eccf2483396ff9862f8d1eeAndreas Gampe DCHECK(klass != nullptr); 227776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (klass->IsPrimitive()) { 22804f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // Note: precise isn't used for primitive classes. A char is assignable to an int. All 22904f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // primitive classes are final. 230de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return &RegTypeFromPrimitiveType(klass->GetPrimitiveType()); 231de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 232de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier for (auto& pair : klass_entries_) { 233de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier mirror::Class* const reg_klass = pair.first.Read(); 234de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (reg_klass == klass) { 235de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const RegType* reg_type = pair.second; 236de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (MatchingPrecisionForClass(reg_type, precise)) { 237de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return reg_type; 238776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 239776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 240776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 241de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return nullptr; 242776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 243776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 244de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType* RegTypeCache::InsertClass(const StringPiece& descriptor, 245de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier mirror::Class* klass, 246de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier bool precise) { 247de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // No reference to the class was found, create new reference. 248de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK(FindClass(klass, precise) == nullptr); 249de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier RegType* const reg_type = precise 250de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier ? static_cast<RegType*>( 251de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier new (&arena_) PreciseReferenceType(klass, descriptor, entries_.size())) 252de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier : new (&arena_) ReferenceType(klass, descriptor, entries_.size()); 253de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return &AddEntry(reg_type); 254de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 255de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 256de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartierconst RegType& RegTypeCache::FromClass(const char* descriptor, mirror::Class* klass, bool precise) { 257de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK(klass != nullptr); 258de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const RegType* reg_type = FindClass(klass, precise); 259de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (reg_type == nullptr) { 260de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier reg_type = InsertClass(AddString(StringPiece(descriptor)), klass, precise); 261de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 262de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return *reg_type; 263de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier} 264de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier 265de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu ChartierRegTypeCache::RegTypeCache(bool can_load_classes, ScopedArenaAllocator& arena) 266de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier : entries_(arena.Adapter(kArenaAllocVerifier)), 267de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier klass_entries_(arena.Adapter(kArenaAllocVerifier)), 268de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier can_load_classes_(can_load_classes), 269de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier arena_(arena) { 2707b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (kIsDebugBuild) { 2717b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers Thread::Current()->AssertThreadSuspensionIsAllowable(gAborting == 0); 272639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe } 273de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // The klass_entries_ array does not have primitives or small constants. 274de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier static constexpr size_t kNumReserveEntries = 32; 275de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier klass_entries_.reserve(kNumReserveEntries); 276de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // We want to have room for additional entries after inserting primitives and small 277de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier // constants. 278de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.reserve(kNumReserveEntries + kNumPrimitivesAndSmallConstants); 279639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe FillPrimitiveAndSmallConstantTypes(); 280639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe} 281639815628cf52a4a944a4322cb09da37cded2de9Andreas Gampe 28251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu AsalRegTypeCache::~RegTypeCache() { 283de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier DCHECK_LE(primitive_count_, entries_.size()); 28451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 28551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 28651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asalvoid RegTypeCache::ShutDown() { 28751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (RegTypeCache::primitive_initialized_) { 28851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal UndefinedType::Destroy(); 28951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ConflictType::Destroy(); 29051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal BooleanType::Destroy(); 29151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ByteType::Destroy(); 29251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ShortType::Destroy(); 29351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal CharType::Destroy(); 29451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal IntegerType::Destroy(); 29551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal LongLoType::Destroy(); 29651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal LongHiType::Destroy(); 29725ae7ebfd227869dd12f807047c56177d0bf645bIan Rogers FloatType::Destroy(); 29851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal DoubleLoType::Destroy(); 29951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal DoubleHiType::Destroy(); 300dfe78a6e6b526d482298100a1f6392a8c7105522Ian Rogers for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 3017b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const PreciseConstType* type = small_precise_constants_[value - kMinSmallConstant]; 30241c65c19c15ffac41089fa9f37502f94c046960dIan Rogers delete type; 303dfe78a6e6b526d482298100a1f6392a8c7105522Ian Rogers small_precise_constants_[value - kMinSmallConstant] = nullptr; 30441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 30562d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers RegTypeCache::primitive_initialized_ = false; 30662d6c772205b8859f0ebf7ad105402ec4c3e2e01Ian Rogers RegTypeCache::primitive_count_ = 0; 30751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 30851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 30951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 31041c65c19c15ffac41089fa9f37502f94c046960dIan Rogerstemplate <class Type> 3117b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogersconst Type* RegTypeCache::CreatePrimitiveTypeInstance(const std::string& descriptor) { 3127b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers mirror::Class* klass = nullptr; 31341c65c19c15ffac41089fa9f37502f94c046960dIan Rogers // Try loading the class from linker. 31441c65c19c15ffac41089fa9f37502f94c046960dIan Rogers if (!descriptor.empty()) { 3159837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers klass = art::Runtime::Current()->GetClassLinker()->FindSystemClass(Thread::Current(), 3169837939678bb5dcba178e5fb00ed59b5d14c8d9bIan Rogers descriptor.c_str()); 31710f0ca2844e82a3319a12246af913e14f93194efLogan Chien DCHECK(klass != nullptr); 31841c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 3197b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const Type* entry = Type::CreateInstance(klass, descriptor, RegTypeCache::primitive_count_); 32041c65c19c15ffac41089fa9f37502f94c046960dIan Rogers RegTypeCache::primitive_count_++; 32141c65c19c15ffac41089fa9f37502f94c046960dIan Rogers return entry; 32241c65c19c15ffac41089fa9f37502f94c046960dIan Rogers} 32341c65c19c15ffac41089fa9f37502f94c046960dIan Rogers 32441c65c19c15ffac41089fa9f37502f94c046960dIan Rogersvoid RegTypeCache::CreatePrimitiveAndSmallConstantTypes() { 32533e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<UndefinedType>(""); 32633e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ConflictType>(""); 32733e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<BooleanType>("Z"); 32833e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ByteType>("B"); 32933e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<ShortType>("S"); 33033e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<CharType>("C"); 33133e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<IntegerType>("I"); 33233e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<LongLoType>("J"); 33333e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<LongHiType>("J"); 33433e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<FloatType>("F"); 33533e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<DoubleLoType>("D"); 33633e9566255c426e7a2c8fca5b8a1b6a94a5d352cIan Rogers CreatePrimitiveTypeInstance<DoubleHiType>("D"); 33741c65c19c15ffac41089fa9f37502f94c046960dIan Rogers for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 33841c65c19c15ffac41089fa9f37502f94c046960dIan Rogers PreciseConstType* type = new PreciseConstType(value, primitive_count_); 33941c65c19c15ffac41089fa9f37502f94c046960dIan Rogers small_precise_constants_[value - kMinSmallConstant] = type; 34041c65c19c15ffac41089fa9f37502f94c046960dIan Rogers primitive_count_++; 34141c65c19c15ffac41089fa9f37502f94c046960dIan Rogers } 34251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal} 34351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal 344ca3c8c33501bf199d6fd0a5db30a27d8e010cb23David Brazdilconst RegType& RegTypeCache::FromUnresolvedMerge(const RegType& left, 345ca3c8c33501bf199d6fd0a5db30a27d8e010cb23David Brazdil const RegType& right, 346ca3c8c33501bf199d6fd0a5db30a27d8e010cb23David Brazdil MethodVerifier* verifier) { 347de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier ArenaBitVector types(&arena_, 348de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier kDefaultArenaBitVectorBytes * kBitsPerByte, // Allocate at least 8 bytes. 349de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier true); // Is expandable. 350750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType* left_resolved; 351bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool left_unresolved_is_array; 352529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (left.IsUnresolvedMergedReference()) { 353bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe const UnresolvedMergedType& left_merge = *down_cast<const UnresolvedMergedType*>(&left); 354bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 355bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe types.Copy(&left_merge.GetUnresolvedTypes()); 356bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_resolved = &left_merge.GetResolvedPart(); 357bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = left.IsArrayTypes(); 358b58474e08f6014663d1d3e215f3377d3ae616ad1Andreas Gampe } else if (left.IsUnresolvedTypes()) { 3592cbbf16f3b884d052418eb2c0abd84c24f6f44a2Vladimir Marko types.ClearAllBits(); 360750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe types.SetBit(left.GetId()); 361750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe left_resolved = &Zero(); 362bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = left.IsArrayTypes(); 363529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } else { 3642cbbf16f3b884d052418eb2c0abd84c24f6f44a2Vladimir Marko types.ClearAllBits(); 365750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe left_resolved = &left; 366bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe left_unresolved_is_array = false; 367529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 368750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 369750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType* right_resolved; 370bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool right_unresolved_is_array; 371529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (right.IsUnresolvedMergedReference()) { 372bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe const UnresolvedMergedType& right_merge = *down_cast<const UnresolvedMergedType*>(&right); 373bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 374bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe types.Union(&right_merge.GetUnresolvedTypes()); 375bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_resolved = &right_merge.GetResolvedPart(); 376bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = right.IsArrayTypes(); 377b58474e08f6014663d1d3e215f3377d3ae616ad1Andreas Gampe } else if (right.IsUnresolvedTypes()) { 378750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe types.SetBit(right.GetId()); 379750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe right_resolved = &Zero(); 380bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = right.IsArrayTypes(); 381529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } else { 382750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe right_resolved = &right; 383bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe right_unresolved_is_array = false; 384750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe } 385750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 386750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // Merge the resolved parts. Left and right might be equal, so use SafeMerge. 387ca3c8c33501bf199d6fd0a5db30a27d8e010cb23David Brazdil const RegType& resolved_parts_merged = left_resolved->SafeMerge(*right_resolved, this, verifier); 388750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // If we get a conflict here, the merge result is a conflict, not an unresolved merge type. 389750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe if (resolved_parts_merged.IsConflict()) { 390750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe return Conflict(); 391529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 392750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe 393bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe bool resolved_merged_is_array = resolved_parts_merged.IsArrayTypes(); 394bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if (left_unresolved_is_array || right_unresolved_is_array || resolved_merged_is_array) { 395bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Arrays involved, see if we need to merge to Object. 396bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 397bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Is the resolved part a primitive array? 398bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if (resolved_merged_is_array && !resolved_parts_merged.IsObjectArrayTypes()) { 399bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe return JavaLangObject(false /* precise */); 400bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 401bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 402bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe // Is any part not an array (but exists)? 403bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe if ((!left_unresolved_is_array && left_resolved != &left) || 404bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe (!right_unresolved_is_array && right_resolved != &right) || 405bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe !resolved_merged_is_array) { 406bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe return JavaLangObject(false /* precise */); 407bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 408bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe } 409bb18a03c44d99b3cae232d445d56e80d8388cca9Andreas Gampe 410529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers // Check if entry already exists. 41151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4127b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 413529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers if (cur_entry->IsUnresolvedMergedReference()) { 414750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const UnresolvedMergedType* cmp_type = down_cast<const UnresolvedMergedType*>(cur_entry); 415750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const RegType& resolved_part = cmp_type->GetResolvedPart(); 416750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe const BitVector& unresolved_part = cmp_type->GetUnresolvedTypes(); 417750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // Use SameBitsSet. "types" is expandable to allow merging in the components, but the 418750f7c2827318f6d07620f2ef0321218ea4d8670Andreas Gampe // BitVector in the final RegType will be made non-expandable. 419de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier if (&resolved_part == &resolved_parts_merged && types.SameBitsSet(&unresolved_part)) { 420529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers return *cur_entry; 421529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 422529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 423529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers } 424de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(new (&arena_) UnresolvedMergedType(resolved_parts_merged, 425de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier types, 426de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier this, 427de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size())); 428529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers} 4291bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 430d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::FromUnresolvedSuperClass(const RegType& child) { 431529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers // Check if entry already exists. 43251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4337b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 43451a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsUnresolvedSuperClass()) { 4357b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const UnresolvedSuperClass* tmp_entry = 4367b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UnresolvedSuperClass*>(cur_entry); 43751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal uint16_t unresolved_super_child_id = 43851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal tmp_entry->GetUnresolvedSuperClassChildId(); 43951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (unresolved_super_child_id == child.GetId()) { 44051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal return *cur_entry; 44151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 44251a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 44351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 444de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(new (&arena_) UnresolvedSuperClass(child.GetId(), this, entries_.size())); 445529781dad1d4bc5685fd9ebbf04c1369246c2403Ian Rogers} 4461bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 447d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst UninitializedType& RegTypeCache::Uninitialized(const RegType& type, uint32_t allocation_pc) { 4487b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers UninitializedType* entry = nullptr; 449de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(type.GetDescriptor()); 450776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (type.IsUnresolvedTypes()) { 45151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4527b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 453776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (cur_entry->IsUnresolvedAndUninitializedReference() && 4547b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UnresolvedUninitializedRefType*>(cur_entry)->GetAllocationPc() 4557b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers == allocation_pc && 45651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal (cur_entry->GetDescriptor() == descriptor)) { 4577b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UnresolvedUninitializedRefType*>(cur_entry); 458776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 459776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 460de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedUninitializedRefType(descriptor, 461de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier allocation_pc, 462de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 463776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 4642dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = type.GetClass(); 46551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4667b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 467776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (cur_entry->IsUninitializedReference() && 4687b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers down_cast<const UninitializedReferenceType*>(cur_entry) 46951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal ->GetAllocationPc() == allocation_pc && 470776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers cur_entry->GetClass() == klass) { 4717b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedReferenceType*>(cur_entry); 472776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 473776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 474de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UninitializedReferenceType(klass, 475de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier descriptor, 476de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier allocation_pc, 477de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 478776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 479de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 480776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 4811bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 482d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::FromUninitialized(const RegType& uninit_type) { 483776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers RegType* entry; 4849f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal 485776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers if (uninit_type.IsUnresolvedTypes()) { 486de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(uninit_type.GetDescriptor()); 48751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 4887b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 48951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsUnresolvedReference() && 49051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal cur_entry->GetDescriptor() == descriptor) { 491776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers return *cur_entry; 492776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 493776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 494de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedReferenceType(descriptor, entries_.size()); 495776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 4962dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = uninit_type.GetClass(); 497df62950e7a32031b82360c407d46a37b94188fbbBrian Carlstrom if (uninit_type.IsUninitializedThisReference() && !klass->IsFinal()) { 49804f94f4f02093fa0fc58007fd5f4ef4c58f8270aIan Rogers // For uninitialized "this reference" look for reference types that are not precise. 4999f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5007b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 5019f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal if (cur_entry->IsReference() && cur_entry->GetClass() == klass) { 5029f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal return *cur_entry; 5039f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 5049f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 505de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ReferenceType(klass, "", entries_.size()); 506be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe } else if (!klass->IsPrimitive()) { 50762342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers // We're uninitialized because of allocation, look or create a precise type as allocations 50862342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers // may only create objects of that type. 509be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // Note: we do not check whether the given klass is actually instantiable (besides being 510be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // primitive), that is, we allow interfaces and abstract classes here. The reasoning is 511be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // twofold: 512be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // 1) The "new-instance" instruction to generate the uninitialized type will already 513be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // queue an instantiation error. This is a soft error that must be thrown at runtime, 514be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // and could potentially change if the class is resolved differently at runtime. 515be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // 2) Checking whether the klass is instantiable and using conflict may produce a hard 516be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // error when the value is used, which leads to a VerifyError, which is not the 517be2aa44277e5be04d6e3a9b80af9df01e26b73c0Andreas Gampe // correct semantics. 51862342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers for (size_t i = primitive_count_; i < entries_.size(); i++) { 5197b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 52062342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers if (cur_entry->IsPreciseReference() && cur_entry->GetClass() == klass) { 52162342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers return *cur_entry; 5229f57a86148827b36906eef65857c8be40401fbf4Sameer Abu Asal } 523776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 524de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseReferenceType(klass, 525de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier uninit_type.GetDescriptor(), 526de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entries_.size()); 52762342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers } else { 52862342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers return Conflict(); 529776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 5306f485c62b9cfce3ab71020c646ab9f48d9d29d6dBrian Carlstrom } 531de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 532776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 5331bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 534d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst UninitializedType& RegTypeCache::UninitializedThisArgument(const RegType& type) { 53541c65c19c15ffac41089fa9f37502f94c046960dIan Rogers UninitializedType* entry; 536de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const StringPiece& descriptor(type.GetDescriptor()); 537ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers if (type.IsUnresolvedTypes()) { 53851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5397b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 540ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers if (cur_entry->IsUnresolvedAndUninitializedThisReference() && 541ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers cur_entry->GetDescriptor() == descriptor) { 5427b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedType*>(cur_entry); 543ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 544ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 545de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UnresolvedUninitializedThisRefType(descriptor, entries_.size()); 546ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } else { 5472dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = type.GetClass(); 54851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5497b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 55062342ec720069cebe55f45aea2ff8512a17e7d62Ian Rogers if (cur_entry->IsUninitializedThisReference() && cur_entry->GetClass() == klass) { 5517b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const UninitializedType*>(cur_entry); 552ad0b3a35857d2cd2db720028ebc51176191e2219Ian Rogers } 553776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 554de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) UninitializedThisReferenceType(klass, descriptor, entries_.size()); 555776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 556de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 557776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 5581bf8d4dbe5cb9891e8a1125ff1928b544efc243aIan Rogers 559d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat1NonSmallConstant(int32_t value, bool precise) { 56051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5617b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 5625441091dc78c64a683cb336ff27e80c364bc2cd3Ian Rogers if (cur_entry->klass_.IsNull() && cur_entry->IsConstant() && 563637c65b1e431fd90195b71c141b3590bd81cc91aIan Rogers cur_entry->IsPreciseConstant() == precise && 5647b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValue() == value) { 5657b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 566776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 567776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 56841c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 56951a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 570de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstType(value, entries_.size()); 57151a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 572de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstType(value, entries_.size()); 57351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 574de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 5752bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers} 5762bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers 577d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat2ConstLo(int32_t value, bool precise) { 57851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5797b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 58051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsConstantLo() && (cur_entry->IsPrecise() == precise) && 5817b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValueLo() == value) { 5827b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 5832bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 5842bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 58541c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 58651a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 587de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstLoType(value, entries_.size()); 58851a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 589de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstLoType(value, entries_.size()); 59051a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 591de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 5922bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers} 5932bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers 594d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst ConstantType& RegTypeCache::FromCat2ConstHi(int32_t value, bool precise) { 59551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal for (size_t i = primitive_count_; i < entries_.size(); i++) { 5967b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 59751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (cur_entry->IsConstantHi() && (cur_entry->IsPrecise() == precise) && 5987b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers (down_cast<const ConstantType*>(cur_entry))->ConstantValueHi() == value) { 5997b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers return *down_cast<const ConstantType*>(cur_entry); 6002bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 6012bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers } 60241c65c19c15ffac41089fa9f37502f94c046960dIan Rogers ConstantType* entry; 60351a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal if (precise) { 604de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) PreciseConstHiType(value, entries_.size()); 60551a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } else { 606de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier entry = new (&arena_) ImpreciseConstHiType(value, entries_.size()); 60751a5fb78d1b03b5235c2ae45414235282182bb86Sameer Abu Asal } 608de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return AddEntry(entry); 609776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 610776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 611d8f69b086baf6717ce949d1c4de90d73b91083b0Ian Rogersconst RegType& RegTypeCache::GetComponentType(const RegType& array, mirror::ClassLoader* loader) { 612a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers if (!array.IsArrayTypes()) { 613a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers return Conflict(); 614a9a8254c920ce8e22210abfc16c9842ce0aea28fIan Rogers } else if (array.IsUnresolvedTypes()) { 6158d8fc48664205e433cfa5540753b38043d918873Andreas Gampe DCHECK(!array.IsUnresolvedMergedReference()); // Caller must make sure not to ask for this. 616de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const std::string descriptor(array.GetDescriptor().as_string()); 617de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromDescriptor(loader, descriptor.c_str() + 1, false); 618776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } else { 6192dd0e2cea360bc9206eb88ecc40d259e796c239dIan Rogers mirror::Class* klass = array.GetClass()->GetComponentType(); 6201ff3c98775a4577cf053dba9a0c2d5c21c07b298Ian Rogers std::string temp; 621de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier const char* descriptor = klass->GetDescriptor(&temp); 622aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe if (klass->IsErroneous()) { 623aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // Arrays may have erroneous component types, use unresolved in that case. 624aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // We assume that the primitive classes are not erroneous, so we know it is a 625aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe // reference type. 626de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromDescriptor(loader, descriptor, false); 627aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe } else { 628de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier return FromClass(descriptor, klass, klass->CannotBeAssignedFromOtherTypes()); 629aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe } 630b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers } 631b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers} 632b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers 633b49035706fceb2b13e8154668f175af624cf88f4Ian Rogersvoid RegTypeCache::Dump(std::ostream& os) { 634b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers for (size_t i = 0; i < entries_.size(); i++) { 6357b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers const RegType* cur_entry = entries_[i]; 6367b078e8c04f3e1451dbdd18543c8b9692b5b067eIan Rogers if (cur_entry != nullptr) { 6372bcb4a496b7aa00d996df3a070524f7568fb35a1Ian Rogers os << i << ": " << cur_entry->Dump() << "\n"; 638b49035706fceb2b13e8154668f175af624cf88f4Ian Rogers } 639776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers } 640776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers} 641776ac1fa61237db645adb4370a4aab888530caf4Ian Rogers 642bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartiervoid RegTypeCache::VisitStaticRoots(RootVisitor* visitor) { 6437c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier // Visit the primitive types, this is required since if there are no active verifiers they wont 6447c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier // be in the entries array, and therefore not visited as roots. 6457c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier if (primitive_initialized_) { 64612d625f87bcd6c4059a205bb39007a255f57f382Mathieu Chartier RootInfo ri(kRootUnknown); 647bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier UndefinedType::GetInstance()->VisitRoots(visitor, ri); 648bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ConflictType::GetInstance()->VisitRoots(visitor, ri); 649bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier BooleanType::GetInstance()->VisitRoots(visitor, ri); 650bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ByteType::GetInstance()->VisitRoots(visitor, ri); 651bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier ShortType::GetInstance()->VisitRoots(visitor, ri); 652bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier CharType::GetInstance()->VisitRoots(visitor, ri); 653bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier IntegerType::GetInstance()->VisitRoots(visitor, ri); 654bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier LongLoType::GetInstance()->VisitRoots(visitor, ri); 655bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier LongHiType::GetInstance()->VisitRoots(visitor, ri); 656bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier FloatType::GetInstance()->VisitRoots(visitor, ri); 657bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier DoubleLoType::GetInstance()->VisitRoots(visitor, ri); 658bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier DoubleHiType::GetInstance()->VisitRoots(visitor, ri); 6597c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier for (int32_t value = kMinSmallConstant; value <= kMaxSmallConstant; ++value) { 660bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier small_precise_constants_[value - kMinSmallConstant]->VisitRoots(visitor, ri); 6617c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier } 6627c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier } 6637c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier} 6647c438b19b71932ac8a44eff44f20744a01559c8dMathieu Chartier 665bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartiervoid RegTypeCache::VisitRoots(RootVisitor* visitor, const RootInfo& root_info) { 6663e781622a67e6d83e76e1bf765e9d84b3c718dc9Hiroshi Yamauchi // Exclude the static roots that are visited by VisitStaticRoots(). 6673e781622a67e6d83e76e1bf765e9d84b3c718dc9Hiroshi Yamauchi for (size_t i = primitive_count_; i < entries_.size(); ++i) { 668bb87e0f1a52de656bc77cb01cb887e51a0e5198bMathieu Chartier entries_[i]->VisitRoots(visitor, root_info); 669c528dba35b5faece51ca658fc008b688f8b690adMathieu Chartier } 670de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier for (auto& pair : klass_entries_) { 671de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier GcRoot<mirror::Class>& root = pair.first; 672de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier root.VisitRoot(visitor, root_info); 673de40d478930d0889a2aea5cbf58aa63da24e5dfaMathieu Chartier } 674aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe} 675aa910d5ef43256102809e397de305c23f1c315e6Andreas Gampe 676a21039c3ae2b20e44ceb2735251c04d0aac89afdElliott Hughes} // namespace verifier 677a21039c3ae2b20e44ceb2735251c04d0aac89afdElliott Hughes} // namespace art 678