| /art/compiler/dex/ |
| D | verified_method.cc | 46 const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier, in Create()
79 bool VerifiedMethod::GenerateGcMap(verifier::MethodVerifier* method_verifier) { in GenerateGcMap()
99 verifier::RegisterMapFormat format; in GenerateGcMap()
101 format = verifier::kRegMapFormatCompact8; in GenerateGcMap()
104 format = verifier::kRegMapFormatCompact16; in GenerateGcMap()
128 verifier::RegisterLine* line = method_verifier->GetRegLine(i); in GenerateGcMap()
136 void VerifiedMethod::VerifyGcMap(verifier::MethodVerifier* method_verifier, in VerifyGcMap()
140 verifier::DexPcToReferenceMap map(&data[0]); in VerifyGcMap()
151 verifier::RegisterLine* line = method_verifier->GetRegLine(i); in VerifyGcMap()
168 void VerifiedMethod::ComputeGcMapSizes(verifier::MethodVerifier* method_verifier, in ComputeGcMapSizes()
[all …]
|
| D | verified_method.h | 28 namespace verifier {
42 static const VerifiedMethod* Create(verifier::MethodVerifier* method_verifier, bool compile)
74 bool GenerateGcMap(verifier::MethodVerifier* method_verifier);
77 static void VerifyGcMap(verifier::MethodVerifier* method_verifier,
81 static void ComputeGcMapSizes(verifier::MethodVerifier* method_verifier,
85 void GenerateDevirtMap(verifier::MethodVerifier* method_verifier)
89 void GenerateSafeCastSet(verifier::MethodVerifier* method_verifier)
|
| D | quick_compiler_callbacks.cc | 25 bool QuickCompilerCallbacks::MethodVerified(verifier::MethodVerifier* verifier) { in MethodVerified() argument
26 bool result = verification_results_->ProcessVerifiedMethod(verifier); in MethodVerified()
28 MethodReference ref = verifier->GetMethodReference(); in MethodVerified()
30 ->AnalyseMethodCode(verifier); in MethodVerified()
|
| D | quick_compiler_callbacks.h | 39 bool MethodVerified(verifier::MethodVerifier* verifier)
|
| D | verification_results.h | 32 namespace verifier {
45 bool ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier)
|
| /art/runtime/quick/ |
| D | inline_method_analyser.cc | 87 bool InlineMethodAnalyser::AnalyseMethodCode(verifier::MethodVerifier* verifier, in AnalyseMethodCode() argument
89 DCHECK(verifier != nullptr); in AnalyseMethodCode()
91 DCHECK_EQ(verifier->CanLoadClasses(), method != nullptr); in AnalyseMethodCode()
94 const DexFile::CodeItem* code_item = verifier->CodeItem(); in AnalyseMethodCode()
124 return AnalyseIGetMethod(verifier, method); in AnalyseMethodCode()
132 return AnalyseIPutMethod(verifier, method); in AnalyseMethodCode()
199 bool InlineMethodAnalyser::AnalyseIGetMethod(verifier::MethodVerifier* verifier, in AnalyseIGetMethod() argument
201 const DexFile::CodeItem* code_item = verifier->CodeItem(); in AnalyseIGetMethod()
232 if ((verifier->GetAccessFlags() & kAccStatic) != 0u || object_arg != 0u) { in AnalyseIGetMethod()
235 if (!IsSyntheticAccessor(verifier->GetMethodReference())) { in AnalyseIGetMethod()
[all …]
|
| D | inline_method_analyser.h | 33 namespace verifier {
152 static bool AnalyseMethodCode(verifier::MethodVerifier* verifier, InlineMethod* method)
177 static bool AnalyseIGetMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
179 static bool AnalyseIPutMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
185 verifier::MethodVerifier* verifier,
|
| /art/compiler/sea_ir/types/ |
| D | type_inference.h | 34 TypeInference() : type_cache_(new art::verifier::RegTypeCache(false)) { in TypeInference()
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_;
|
| D | type_inference_visitor_test.cc | 38 art::verifier::RegTypeCache type_cache(false); in TEST_F()
50 art::verifier::RegTypeCache type_cache(false); in TEST_F()
63 art::verifier::RegTypeCache type_cache(false); in TEST_F()
77 art::verifier::RegTypeCache type_cache(false); in TEST_F()
91 art::verifier::RegTypeCache type_cache(false); in TEST_F()
107 art::verifier::RegTypeCache type_cache(false); in TEST_F()
|
| D | type_inference_visitor.h | 38 art::verifier::RegTypeCache* types): in TypeInferenceVisitor()
75 art::verifier::RegTypeCache* type_cache_;
|
| D | type_inference.cc | 39 FunctionTypeInfo::FunctionTypeInfo(const SeaGraph* graph, art::verifier::RegTypeCache* types) in FunctionTypeInfo()
48 art::verifier::RegTypeCache* types): dex_file_(graph->GetDexFile()), in FunctionTypeInfo()
80 const art::verifier::RegType& declaring_class = GetDeclaringClass(); in GetDeclaredArgumentTypes()
|
| D | types.h | 27 typedef art::verifier::RegType Type;
|
| /art/runtime/ |
| D | compiler_callbacks.h | 25 namespace verifier {
35 virtual bool MethodVerified(verifier::MethodVerifier* verifier)
|
| D | noop_compiler_callbacks.h | 29 bool MethodVerified(verifier::MethodVerifier* verifier) OVERRIDE { in MethodVerified() argument
|
| D | runtime.h | 57 namespace verifier {
422 void AddMethodVerifier(verifier::MethodVerifier* verifier) LOCKS_EXCLUDED(method_verifier_lock_);
423 void RemoveMethodVerifier(verifier::MethodVerifier* verifier)
579 std::set<verifier::MethodVerifier*> method_verifiers_;
|
| D | runtime.cc | 203 verifier::MethodVerifier::Shutdown(); in ~Runtime()
841 verifier::MethodVerifier::Init(); in Init()
1169 verifier::MethodVerifier::VisitStaticRoots(callback, arg); in VisitNonThreadRoots()
1172 for (verifier::MethodVerifier* verifier : method_verifiers_) { in VisitNonThreadRoots()
1173 verifier->VisitRoots(callback, arg); in VisitNonThreadRoots()
1335 void Runtime::AddMethodVerifier(verifier::MethodVerifier* verifier) { in AddMethodVerifier() argument
1336 DCHECK(verifier != nullptr); in AddMethodVerifier()
1338 method_verifiers_.insert(verifier); in AddMethodVerifier()
1341 void Runtime::RemoveMethodVerifier(verifier::MethodVerifier* verifier) { in RemoveMethodVerifier() argument
1342 DCHECK(verifier != nullptr); in RemoveMethodVerifier()
[all …]
|
| D | Android.mk | 156 verifier/dex_gc_map.cc \
157 verifier/instruction_flags.cc \
158 verifier/method_verifier.cc \
159 verifier/reg_type.cc \
160 verifier/reg_type_cache.cc \
161 verifier/register_line.cc \
317 verifier/method_verifier.h
|
| /art/test/076-boolean-put/ |
| D | info.txt | 2 boolean field. The code as generated should not pass the verifier, so the
3 verifier had to be "loosened" to allow this case.
|
| /art/test/303-verification-stress/ |
| D | info.txt | 1 This is more a benchmark for the verifier than a real test. We create many
4 verifier on such method.
|
| /art/runtime/verifier/ |
| D | register_line.h | 28 namespace verifier {
53 static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier) { in Create() argument
55 RegisterLine* rl = new (memory) RegisterLine(num_regs, verifier); in Create()
339 RegisterLine(size_t num_regs, MethodVerifier* verifier) in RegisterLine() argument
340 : verifier_(verifier), num_regs_(num_regs) { in RegisterLine()
|
| D | register_line-inl.h | 26 namespace verifier {
|
| D | instruction_flags.cc | 22 namespace verifier { namespace
|
| D | reg_type_cache-inl.h | 25 namespace verifier {
|
| /art/test/088-monitor-verification/ |
| D | info.txt | 2 lock checks in the bytecode verifier.
|
| /art/compiler/dex/quick/ |
| D | dex_file_method_inliner.h | 30 namespace verifier {
64 bool AnalyseMethodCode(verifier::MethodVerifier* verifier)
|