| /* |
| * Copyright (C) 2012 The Android Open Source Project |
| * |
| * Licensed under the Apache License, Version 2.0 (the "License"); |
| * you may not use this file except in compliance with the License. |
| * You may obtain a copy of the License at |
| * |
| * http://www.apache.org/licenses/LICENSE-2.0 |
| * |
| * Unless required by applicable law or agreed to in writing, software |
| * distributed under the License is distributed on an "AS IS" BASIS, |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| * See the License for the specific language governing permissions and |
| * limitations under the License. |
| */ |
| |
| #ifndef ART_RUNTIME_VERIFIER_REG_TYPE_CACHE_INL_H_ |
| #define ART_RUNTIME_VERIFIER_REG_TYPE_CACHE_INL_H_ |
| |
| #include "class_linker.h" |
| #include "class_root.h" |
| #include "mirror/class-inl.h" |
| #include "mirror/method_handle_impl.h" |
| #include "mirror/method_type.h" |
| #include "mirror/string.h" |
| #include "mirror/throwable.h" |
| #include "reg_type.h" |
| #include "reg_type_cache.h" |
| |
| namespace art { |
| namespace verifier { |
| |
| inline const art::verifier::RegType& RegTypeCache::GetFromId(uint16_t id) const { |
| DCHECK_LT(id, entries_.size()); |
| const RegType* result = entries_[id]; |
| DCHECK(result != nullptr); |
| return *result; |
| } |
| |
| inline const ConstantType& RegTypeCache::FromCat1Const(int32_t value, bool precise) { |
| // We only expect 0 to be a precise constant. |
| DCHECK(value != 0 || precise); |
| if (precise && (value >= kMinSmallConstant) && (value <= kMaxSmallConstant)) { |
| return *small_precise_constants_[value - kMinSmallConstant]; |
| } |
| return FromCat1NonSmallConstant(value, precise); |
| } |
| |
| inline const BooleanType& RegTypeCache::Boolean() { |
| return *BooleanType::GetInstance(); |
| } |
| inline const ByteType& RegTypeCache::Byte() { |
| return *ByteType::GetInstance(); |
| } |
| inline const CharType& RegTypeCache::Char() { |
| return *CharType::GetInstance(); |
| } |
| inline const ShortType& RegTypeCache::Short() { |
| return *ShortType::GetInstance(); |
| } |
| inline const IntegerType& RegTypeCache::Integer() { |
| return *IntegerType::GetInstance(); |
| } |
| inline const FloatType& RegTypeCache::Float() { |
| return *FloatType::GetInstance(); |
| } |
| inline const LongLoType& RegTypeCache::LongLo() { |
| return *LongLoType::GetInstance(); |
| } |
| inline const LongHiType& RegTypeCache::LongHi() { |
| return *LongHiType::GetInstance(); |
| } |
| inline const DoubleLoType& RegTypeCache::DoubleLo() { |
| return *DoubleLoType::GetInstance(); |
| } |
| inline const DoubleHiType& RegTypeCache::DoubleHi() { |
| return *DoubleHiType::GetInstance(); |
| } |
| inline const UndefinedType& RegTypeCache::Undefined() { |
| return *UndefinedType::GetInstance(); |
| } |
| inline const ConflictType& RegTypeCache::Conflict() { |
| return *ConflictType::GetInstance(); |
| } |
| inline const NullType& RegTypeCache::Null() { |
| return *NullType::GetInstance(); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::ByteConstant() { |
| const ConstantType& result = FromCat1Const(std::numeric_limits<jbyte>::min(), false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::CharConstant() { |
| int32_t jchar_max = static_cast<int32_t>(std::numeric_limits<jchar>::max()); |
| const ConstantType& result = FromCat1Const(jchar_max, false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::ShortConstant() { |
| const ConstantType& result = FromCat1Const(std::numeric_limits<jshort>::min(), false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::IntConstant() { |
| const ConstantType& result = FromCat1Const(std::numeric_limits<jint>::max(), false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::PosByteConstant() { |
| const ConstantType& result = FromCat1Const(std::numeric_limits<jbyte>::max(), false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const ImpreciseConstType& RegTypeCache::PosShortConstant() { |
| const ConstantType& result = FromCat1Const(std::numeric_limits<jshort>::max(), false); |
| DCHECK(result.IsImpreciseConstant()); |
| return *down_cast<const ImpreciseConstType*>(&result); |
| } |
| |
| inline const PreciseReferenceType& RegTypeCache::JavaLangClass() { |
| const RegType* result = &FromClass("Ljava/lang/Class;", |
| GetClassRoot<mirror::Class>(), |
| /* precise= */ true); |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } |
| |
| inline const PreciseReferenceType& RegTypeCache::JavaLangString() { |
| // String is final and therefore always precise. |
| const RegType* result = &FromClass("Ljava/lang/String;", |
| GetClassRoot<mirror::String>(), |
| /* precise= */ true); |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } |
| |
| inline const PreciseReferenceType& RegTypeCache::JavaLangInvokeMethodHandle() { |
| const RegType* result = &FromClass("Ljava/lang/invoke/MethodHandle;", |
| GetClassRoot<mirror::MethodHandle>(), |
| /* precise= */ true); |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } |
| |
| inline const PreciseReferenceType& RegTypeCache::JavaLangInvokeMethodType() { |
| const RegType* result = &FromClass("Ljava/lang/invoke/MethodType;", |
| GetClassRoot<mirror::MethodType>(), |
| /* precise= */ true); |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } |
| |
| inline const RegType& RegTypeCache::JavaLangThrowable(bool precise) { |
| const RegType* result = &FromClass("Ljava/lang/Throwable;", |
| GetClassRoot<mirror::Throwable>(), |
| precise); |
| if (precise) { |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } else { |
| DCHECK(result->IsReference()); |
| return *down_cast<const ReferenceType*>(result); |
| } |
| } |
| |
| inline const RegType& RegTypeCache::JavaLangObject(bool precise) { |
| const RegType* result = &FromClass("Ljava/lang/Object;", GetClassRoot<mirror::Object>(), precise); |
| if (precise) { |
| DCHECK(result->IsPreciseReference()); |
| return *down_cast<const PreciseReferenceType*>(result); |
| } else { |
| DCHECK(result->IsReference()); |
| return *down_cast<const ReferenceType*>(result); |
| } |
| } |
| |
| template <class RegTypeType> |
| inline RegTypeType& RegTypeCache::AddEntry(RegTypeType* new_entry) { |
| DCHECK(new_entry != nullptr); |
| entries_.push_back(new_entry); |
| if (new_entry->HasClass()) { |
| ObjPtr<mirror::Class> klass = new_entry->GetClass(); |
| DCHECK(!klass->IsPrimitive()); |
| klass_entries_.push_back(std::make_pair(GcRoot<mirror::Class>(klass), new_entry)); |
| } |
| return *new_entry; |
| } |
| |
| } // namespace verifier |
| } // namespace art |
| #endif // ART_RUNTIME_VERIFIER_REG_TYPE_CACHE_INL_H_ |