Searched refs:verifier (Results 1 - 25 of 38) sorted by relevance

12

/art/runtime/verifier/
H A Dregister_line-inl.h24 namespace verifier { namespace in namespace:art
32 } // namespace verifier
H A Dreg_type_cache-inl.h25 namespace verifier { namespace in namespace:art
38 inline const art::verifier::RegType& RegTypeCache::GetFromId(uint16_t id) const {
44 } // namespace verifier
H A Dinstruction_flags.cc22 namespace verifier { namespace in namespace:art
40 } // namespace verifier
H A Ddex_gc_map.cc17 #include "verifier/dex_gc_map.h"
22 namespace verifier { namespace in namespace:art
55 } // namespace verifier
H A Dmethod_verifier_test.cc26 namespace verifier { namespace in namespace:art
59 } // namespace verifier
H A Ddex_gc_map.h26 namespace verifier { namespace in namespace:art
119 } // namespace verifier
H A Dinstruction_flags.h26 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 Dregister_line.h29 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 Dreg_type_cache.h34 namespace verifier { namespace in namespace:art
55 const art::verifier::RegType& GetFromId(uint16_t id) const;
163 } // namespace verifier
H A Dmethod_verifier.cc42 #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 Dmethod_verifier.h42 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 Dtype_inference.h29 // 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 Dtype_inference_visitor_test.cc39 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 Dtype_data_test.cc27 art::verifier::RegTypeCache type_cache(false);
H A Dtypes.h21 #include "verifier/reg_type.h"
22 #include "verifier/reg_type_cache.h"
27 typedef art::verifier::RegType Type;
H A Dtype_inference_visitor.h38 art::verifier::RegTypeCache* types):
75 art::verifier::RegTypeCache* type_cache_;
H A Dtype_inference.cc39 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 DAndroid.mk129 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 Dcommon_throws.cc30 #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 Dportable_thread_entrypoints.cc20 #include "verifier/dex_gc_map.h"
43 verifier::DexPcToReferenceMap dex_gc_map(gc_map + 4, gc_map_length);
/art/compiler/sea_ir/
H A Dfrontend.cc26 #include "verifier/method_verifier.h"
62 *verifier::MethodVerifier::GetDexGcMap(mref), symbol);
/art/build/
H A DAndroid.gtest.mk59 runtime/verifier/method_verifier_test.cc \
60 runtime/verifier/reg_type_test.cc \
/art/compiler/llvm/
H A Dcompiler_llvm.cc30 #include "verifier/method_verifier.h"
157 cunit->GetElfObject(), *verifier::MethodVerifier::GetDexGcMap(mref),
/art/oatdump/
H A Doatdump.cc51 #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 Dlogging.h310 bool verifier; member in struct:art::LogVerbosity

Completed in 297 milliseconds

12