/art/runtime/verifier/ |
H A D | register_line-inl.h | 24 namespace verifier { namespace in namespace:art 32 } // namespace verifier
|
H A D | reg_type_cache-inl.h | 25 namespace verifier { namespace in namespace:art 38 inline const art::verifier::RegType& RegTypeCache::GetFromId(uint16_t id) const { 44 } // namespace verifier
|
H A D | instruction_flags.cc | 22 namespace verifier { namespace in namespace:art 40 } // namespace verifier
|
H A D | dex_gc_map.cc | 17 #include "verifier/dex_gc_map.h" 22 namespace verifier { namespace in namespace:art 55 } // namespace verifier
|
H A D | method_verifier_test.cc | 26 namespace verifier { namespace in namespace:art 59 } // namespace verifier
|
H A D | dex_gc_map.h | 26 namespace verifier { namespace in namespace:art 119 } // namespace verifier
|
H A D | instruction_flags.h | 26 namespace verifier { namespace in namespace:art 124 // Location of interest to the compiler for GC maps and verifier based method sharpening. 135 } // namespace verifier
|
H A D | register_line.h | 29 namespace verifier { namespace in namespace:art 54 RegisterLine(size_t num_regs, MethodVerifier* verifier) argument 56 verifier_(verifier), 348 // Back link to the verifier 362 } // namespace verifier
|
H A D | reg_type_cache.h | 34 namespace verifier { namespace in namespace:art 55 const art::verifier::RegType& GetFromId(uint16_t id) const; 163 } // namespace verifier
|
H A D | method_verifier.cc | 42 #include "verifier/dex_gc_map.h" 45 namespace verifier { namespace in namespace:art 52 MethodVerifier* verifier) { 71 pc_to_register_line_.Put(i, new RegisterLine(registers_size, verifier)); 243 if (VLOG_IS_ON(verifier)) { 244 verifier_.DumpFailures(VLOG_STREAM(verifier) << "Soft verification failures in " 276 MethodVerifier verifier(dex_file, dex_cache, class_loader, class_def, code_item, 278 verifier.Verify(); 279 verifier.DumpFailures(os); 280 os << verifier 50 Init(RegisterTrackingMode mode, InstructionFlags* flags, uint32_t insns_size, uint16_t registers_size, MethodVerifier* verifier) argument [all...] |
H A D | method_verifier.h | 42 namespace verifier { namespace in namespace:art 67 * that can potentially be corrected, and the verifier will try again at runtime. 122 uint16_t registers_size, MethodVerifier* verifier); 138 // The verifier 183 // Dump the failures encountered by the verifier. 186 // Dump the state of the verifier, namely each instruction, what flags are set on it, register 197 // by using the check-cast elision peephole optimization in the verifier 634 // All the GC maps that the verifier has created 719 // Info message log use primarily for verifier diagnostics. 729 // running and the verifier i [all...] |
/art/compiler/sea_ir/types/ |
H A D | type_inference.h | 29 // The type inference in SEA IR is different from the verifier in that it is concerned 31 // precise verification (which is the job of the verifier). 34 TypeInference() : type_cache_(new art::verifier::RegTypeCache(false)) { 46 art::verifier::RegTypeCache* const type_cache_; // TODO: Make private. 56 FunctionTypeInfo(const SeaGraph* graph, art::verifier::RegTypeCache* types); 64 art::verifier::RegTypeCache* types); 86 art::verifier::RegTypeCache* type_cache_;
|
H A D | type_inference_visitor_test.cc | 39 art::verifier::RegTypeCache type_cache(false); 51 art::verifier::RegTypeCache type_cache(false); 64 art::verifier::RegTypeCache type_cache(false); 78 art::verifier::RegTypeCache type_cache(false); 92 art::verifier::RegTypeCache type_cache(false); 108 art::verifier::RegTypeCache type_cache(false);
|
H A D | type_data_test.cc | 27 art::verifier::RegTypeCache type_cache(false);
|
H A D | types.h | 21 #include "verifier/reg_type.h" 22 #include "verifier/reg_type_cache.h" 27 typedef art::verifier::RegType Type;
|
H A D | type_inference_visitor.h | 38 art::verifier::RegTypeCache* types): 75 art::verifier::RegTypeCache* type_cache_;
|
H A D | type_inference.cc | 39 FunctionTypeInfo::FunctionTypeInfo(const SeaGraph* graph, art::verifier::RegTypeCache* types) 48 art::verifier::RegTypeCache* types): dex_file_(graph->GetDexFile()), 80 const art::verifier::RegType& declaring_class = GetDeclaringClass();
|
/art/runtime/ |
H A D | Android.mk | 129 verifier/dex_gc_map.cc \ 130 verifier/instruction_flags.cc \ 131 verifier/method_verifier.cc \ 132 verifier/reg_type.cc \ 133 verifier/reg_type_cache.cc \ 134 verifier/register_line.cc \ 250 verifier/method_verifier.h
|
H A D | common_throws.cc | 30 #include "verifier/method_verifier.h" 352 // Since we replaced the method index, we ask the verifier to tell us which 355 verifier::MethodVerifier::FindInvokedMethodAtDexPc(throw_location.GetMethod(), 383 // Since we replaced the field index, we ask the verifier to tell us which 386 verifier::MethodVerifier::FindAccessedFieldAtDexPc(throw_location.GetMethod(), 414 // Since we replaced the field index, we ask the verifier to tell us which 417 verifier::MethodVerifier::FindAccessedFieldAtDexPc(throw_location.GetMethod(),
|
/art/runtime/entrypoints/portable/ |
H A D | portable_thread_entrypoints.cc | 20 #include "verifier/dex_gc_map.h" 43 verifier::DexPcToReferenceMap dex_gc_map(gc_map + 4, gc_map_length);
|
/art/compiler/sea_ir/ |
H A D | frontend.cc | 26 #include "verifier/method_verifier.h" 62 *verifier::MethodVerifier::GetDexGcMap(mref), symbol);
|
/art/build/ |
H A D | Android.gtest.mk | 59 runtime/verifier/method_verifier_test.cc \ 60 runtime/verifier/reg_type_test.cc \
|
/art/compiler/llvm/ |
H A D | compiler_llvm.cc | 30 #include "verifier/method_verifier.h" 157 cunit->GetElfObject(), *verifier::MethodVerifier::GetDexGcMap(mref),
|
/art/oatdump/ |
H A D | oatdump.cc | 51 #include "verifier/method_verifier.h" 558 static UniquePtr<verifier::MethodVerifier> verifier; local 565 verifier.reset(new verifier::MethodVerifier(dex_file, dex_cache, class_loader, &class_def, 568 verifier->Verify(); 572 std::vector<int32_t> kinds = verifier->DescribeVRegs(dex_pc); 623 verifier::MethodVerifier::VerifyMethodAndDump(os, dex_method_idx, dex_file, dex_cache,
|
/art/runtime/base/ |
H A D | logging.h | 310 bool verifier; member in struct:art::LogVerbosity
|