Searched defs:verifier (Results 1 - 25 of 30) sorted by relevance

12

/art/runtime/verifier/
H A Dinstruction_flags.cc22 namespace verifier { namespace in namespace:art
40 } // namespace verifier
H A Dregister_line-inl.h26 namespace verifier { namespace in namespace:art
34 } // namespace verifier
H A Dmethod_verifier_test.cc28 namespace verifier { namespace in namespace:art
61 } // namespace verifier
H A Dreg_type_cache-inl.h25 namespace verifier { namespace in namespace:art
43 } // 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 Dreg_type_cache.h37 namespace verifier { namespace in namespace:art
191 } // namespace verifier
H A Dmethod_verifier-inl.h27 namespace verifier { namespace in namespace:art
76 } // 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.h28 namespace verifier { namespace in namespace:art
53 static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier) { argument
55 RegisterLine* rl = new (memory) RegisterLine(num_regs, verifier);
339 RegisterLine(size_t num_regs, MethodVerifier* verifier) argument
340 : verifier_(verifier), num_regs_(num_regs) {
348 // Back link to the verifier
365 } // namespace verifier
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.
120 uint16_t registers_size, MethodVerifier* verifier);
132 // The verifier
176 // Dump the failures encountered by the verifier.
179 // Dump the state of the verifier, namely each instruction, what flags are set on it, register
687 // Info message log use primarily for verifier diagnostics.
697 // running and the verifier is called from the class linker.
722 } // namespace verifier
H A Dreg_type.cc34 namespace verifier { namespace in namespace:art
1017 } // namespace verifier
H A Dreg_type_cache.cc26 namespace verifier { namespace in namespace:art
623 } // namespace verifier
H A Dreg_type_test.cc28 namespace verifier { namespace in namespace:art
626 } // namespace verifier
H A Dregister_line.cc25 namespace verifier { namespace in namespace:art
516 } // namespace verifier
/art/compiler/dex/
H A Dquick_compiler_callbacks.cc20 #include "verifier/method_verifier-inl.h"
25 bool QuickCompilerCallbacks::MethodVerified(verifier::MethodVerifier* verifier) { argument
26 bool result = verification_results_->ProcessVerifiedMethod(verifier);
28 MethodReference ref = verifier->GetMethodReference();
30 ->AnalyseMethodCode(verifier);
H A Dverification_results.h32 namespace verifier { namespace in namespace:art
34 } // namespace verifier
45 bool ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier)
H A Dverified_method.h28 namespace verifier { namespace in namespace:art
30 } // namespace verifier
42 static const VerifiedMethod* Create(verifier::MethodVerifier* method_verifier, bool compile)
62 // by using the check-cast elision peephole optimization in the verifier.
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)
/art/runtime/
H A Dcompiler_callbacks.h25 namespace verifier { namespace in namespace:art
29 } // namespace verifier
35 virtual bool MethodVerified(verifier::MethodVerifier* verifier)
/art/compiler/dex/quick/
H A Ddex_file_method_inliner.h30 namespace verifier { namespace in namespace:art
32 } // namespace verifier
48 * from the verifier and mark them for inlining. Inline these methods early
61 * @param verifier the method verifier holding data about the method to analyse.
64 bool AnalyseMethodCode(verifier::MethodVerifier* verifier)
H A Ddex_file_method_inliner.cc30 #include "verifier/method_verifier.h"
31 #include "verifier/method_verifier-inl.h"
407 bool DexFileMethodInliner::AnalyseMethodCode(verifier::MethodVerifier* verifier) { argument
409 bool success = InlineMethodAnalyser::AnalyseMethodCode(verifier, &method);
410 return success && AddInlineMethod(verifier->GetMethodReference().dex_method_index, method);
/art/runtime/quick/
H A Dinline_method_analyser.cc28 #include "verifier/method_verifier.h"
29 #include "verifier/method_verifier-inl.h"
87 bool InlineMethodAnalyser::AnalyseMethodCode(verifier::MethodVerifier* verifier, argument
89 DCHECK(verifier != nullptr);
91 DCHECK_EQ(verifier->CanLoadClasses(), method != nullptr);
94 const DexFile::CodeItem* code_item = verifier->CodeItem();
124 return AnalyseIGetMethod(verifier, method);
132 return AnalyseIPutMethod(verifier, method);
199 bool InlineMethodAnalyser::AnalyseIGetMethod(verifier argument
262 AnalyseIPutMethod(verifier::MethodVerifier* verifier, InlineMethod* result) argument
329 ComputeSpecialAccessorInfo(uint32_t field_idx, bool is_put, verifier::MethodVerifier* verifier, InlineIGetIPutData* result) argument
[all...]
H A Dinline_method_analyser.h33 namespace verifier { namespace in namespace:art
35 } // namespace verifier
148 * @param verifier the method verifier holding data about the method to analyse.
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, InlineMetho
[all...]
/art/runtime/base/
H A Dlogging.h315 bool verifier; member in struct:art::LogVerbosity
/art/compiler/driver/
H A Dcompiler_driver.h45 namespace verifier { namespace in namespace:art
47 } // namespace verifier

Completed in 2738 milliseconds

12