| /art/runtime/verifier/ |
| D | register_line.h | 31 class MethodVerifier; variable
55 static RegisterLine* Create(size_t num_regs, MethodVerifier* verifier) { in Create()
62 void CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc, TypeCategory cat)
67 void CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc)
72 void CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference)
77 void CopyResultRegister2(MethodVerifier* verifier, uint32_t vdst)
81 void SetResultTypeToUnknown(MethodVerifier* verifier) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_);
86 ALWAYS_INLINE bool SetRegisterType(MethodVerifier* verifier, uint32_t vdst,
90 bool SetRegisterTypeWide(MethodVerifier* verifier, uint32_t vdst, const RegType& new_type1,
95 void SetResultRegisterType(MethodVerifier* verifier, const RegType& new_type)
[all …]
|
| D | method_verifier-inl.h | 29 inline const DexFile::CodeItem* MethodVerifier::CodeItem() const { in CodeItem()
33 inline RegisterLine* MethodVerifier::GetRegLine(uint32_t dex_pc) { in GetRegLine()
37 inline const InstructionFlags& MethodVerifier::GetInstructionFlags(size_t index) const { in GetInstructionFlags()
41 inline mirror::ClassLoader* MethodVerifier::GetClassLoader() { in GetClassLoader()
45 inline mirror::DexCache* MethodVerifier::GetDexCache() { in GetDexCache()
49 inline MethodReference MethodVerifier::GetMethodReference() const { in GetMethodReference()
53 inline uint32_t MethodVerifier::GetAccessFlags() const { in GetAccessFlags()
57 inline bool MethodVerifier::HasCheckCasts() const { in HasCheckCasts()
61 inline bool MethodVerifier::HasVirtualOrInterfaceInvokes() const { in HasVirtualOrInterfaceInvokes()
65 inline bool MethodVerifier::HasFailures() const { in HasFailures()
[all …]
|
| D | register_line-inl.h | 28 inline const RegType& RegisterLine::GetRegisterType(MethodVerifier* verifier, uint32_t vsrc) const { in GetRegisterType()
34 inline bool RegisterLine::SetRegisterType(MethodVerifier* verifier, uint32_t vdst, in SetRegisterType()
51 inline bool RegisterLine::SetRegisterTypeWide(MethodVerifier* verifier, uint32_t vdst, in SetRegisterTypeWide()
69 inline void RegisterLine::SetResultTypeToUnknown(MethodVerifier* verifier) { in SetResultTypeToUnknown()
74 inline void RegisterLine::SetResultRegisterType(MethodVerifier* verifier, const RegType& new_type) { in SetResultRegisterType()
88 inline void RegisterLine::CopyRegister1(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc, in CopyRegister1()
105 inline void RegisterLine::CopyRegister2(MethodVerifier* verifier, uint32_t vdst, uint32_t vsrc) { in CopyRegister2()
117 inline size_t RegisterLine::GetMaxNonZeroReferenceReg(MethodVerifier* verifier, in GetMaxNonZeroReferenceReg()
128 inline bool RegisterLine::VerifyRegisterType(MethodVerifier* verifier, uint32_t vsrc, in VerifyRegisterType()
161 inline bool RegisterLine::VerifyMonitorStackEmpty(MethodVerifier* verifier) const { in VerifyMonitorStackEmpty()
|
| D | register_line.cc | 28 bool RegisterLine::CheckConstructorReturn(MethodVerifier* verifier) const { in CheckConstructorReturn()
47 const RegType& RegisterLine::GetInvocationThis(MethodVerifier* verifier, const Instruction* inst, in GetInvocationThis()
70 bool RegisterLine::VerifyRegisterTypeWide(MethodVerifier* verifier, uint32_t vsrc, in VerifyRegisterTypeWide()
94 void RegisterLine::MarkRefsAsInitialized(MethodVerifier* verifier, const RegType& uninit_type, in MarkRefsAsInitialized()
123 void RegisterLine::MarkAllRegistersAsConflicts(MethodVerifier* verifier) { in MarkAllRegistersAsConflicts()
130 void RegisterLine::MarkAllRegistersAsConflictsExcept(MethodVerifier* verifier, uint32_t vsrc) { in MarkAllRegistersAsConflictsExcept()
139 void RegisterLine::MarkAllRegistersAsConflictsExceptWide(MethodVerifier* verifier, uint32_t vsrc) { in MarkAllRegistersAsConflictsExceptWide()
148 std::string RegisterLine::Dump(MethodVerifier* verifier) const { in Dump()
161 void RegisterLine::MarkUninitRefsAsInvalid(MethodVerifier* verifier, const RegType& uninit_type) { in MarkUninitRefsAsInvalid()
170 void RegisterLine::CopyResultRegister1(MethodVerifier* verifier, uint32_t vdst, bool is_reference) { in CopyResultRegister1()
[all …]
|
| D | method_verifier.cc | 58 MethodVerifier* verifier) { in Init()
93 ALWAYS_INLINE static inline bool FailOrAbort(MethodVerifier* verifier, bool condition, in FailOrAbort()
109 static void SafelyMarkAllRegistersAsConflicts(MethodVerifier* verifier, RegisterLine* reg_line) { in SafelyMarkAllRegistersAsConflicts()
117 MethodVerifier::FailureKind MethodVerifier::VerifyMethod( in VerifyMethod()
129 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self, in VerifyClass()
167 MethodVerifier::FailureKind MethodVerifier::VerifyClass(Thread* self, in VerifyClass()
218 MethodVerifier::FailureKind result = VerifyMethod(self, in VerifyClass()
261 MethodVerifier::FailureKind result = VerifyMethod(self, in VerifyClass()
302 MethodVerifier::FailureKind MethodVerifier::VerifyMethod(Thread* self, uint32_t method_idx, in VerifyMethod()
312 MethodVerifier::FailureKind result = kNoFailure; in VerifyMethod()
[all …]
|
| D | method_verifier.h | 39 class MethodVerifier; variable
116 uint16_t registers_size, MethodVerifier* verifier);
131 class MethodVerifier {
150 static MethodVerifier* VerifyMethodAndDump(Thread* self, std::ostream& os, uint32_t method_idx,
211 MethodVerifier(Thread* self, const DexFile* dex_file, Handle<mirror::DexCache> dex_cache, in MethodVerifier() function
218 : MethodVerifier(self, dex_file, dex_cache, class_loader, class_def, code_item, method_idx, in MethodVerifier()
222 ~MethodVerifier();
282 MethodVerifier(Thread* self, const DexFile* dex_file, Handle<mirror::DexCache> dex_cache,
772 MethodVerifier* link_;
781 DISALLOW_COPY_AND_ASSIGN(MethodVerifier);
[all …]
|
| D | method_verifier_test.cc | 40 …ASSERT_TRUE(MethodVerifier::VerifyClass(self, klass, true, &error_msg) == MethodVerifier::kNoFailu… in VerifyClass()
|
| /art/compiler/dex/ |
| D | verified_method.h | 30 class MethodVerifier; variable
46 static const VerifiedMethod* Create(verifier::MethodVerifier* method_verifier, bool compile)
98 bool GenerateGcMap(verifier::MethodVerifier* method_verifier);
101 static void VerifyGcMap(verifier::MethodVerifier* method_verifier,
105 static void ComputeGcMapSizes(verifier::MethodVerifier* method_verifier,
109 void GenerateDevirtMap(verifier::MethodVerifier* method_verifier)
113 bool GenerateDequickenMap(verifier::MethodVerifier* method_verifier)
117 void GenerateSafeCastSet(verifier::MethodVerifier* method_verifier)
|
| D | verification_results.h | 33 class MethodVerifier; variable
45 bool ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier)
|
| D | verified_method.cc | 40 const VerifiedMethod* VerifiedMethod::Create(verifier::MethodVerifier* method_verifier, in Create()
89 bool VerifiedMethod::GenerateGcMap(verifier::MethodVerifier* method_verifier) { in GenerateGcMap()
147 void VerifiedMethod::VerifyGcMap(verifier::MethodVerifier* method_verifier, in VerifyGcMap()
179 void VerifiedMethod::ComputeGcMapSizes(verifier::MethodVerifier* method_verifier, in ComputeGcMapSizes()
203 bool VerifiedMethod::GenerateDequickenMap(verifier::MethodVerifier* method_verifier) { in GenerateDequickenMap()
246 void VerifiedMethod::GenerateDevirtMap(verifier::MethodVerifier* method_verifier) { in GenerateDevirtMap()
321 void VerifiedMethod::GenerateSafeCastSet(verifier::MethodVerifier* method_verifier) { in GenerateSafeCastSet()
|
| D | quick_compiler_callbacks.cc | 25 bool QuickCompilerCallbacks::MethodVerified(verifier::MethodVerifier* verifier) { in MethodVerified()
|
| D | quick_compiler_callbacks.h | 40 bool MethodVerified(verifier::MethodVerifier* verifier)
|
| D | verification_results.cc | 48 bool VerificationResults::ProcessVerifiedMethod(verifier::MethodVerifier* method_verifier) { in ProcessVerifiedMethod()
|
| /art/runtime/quick/ |
| D | inline_method_analyser.h | 34 class MethodVerifier; variable
159 static bool AnalyseMethodCode(verifier::MethodVerifier* verifier, InlineMethod* method)
184 static bool AnalyseIGetMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
186 static bool AnalyseIPutMethod(verifier::MethodVerifier* verifier, InlineMethod* result)
192 verifier::MethodVerifier* verifier,
|
| D | inline_method_analyser.cc | 73 bool InlineMethodAnalyser::AnalyseMethodCode(verifier::MethodVerifier* verifier, in AnalyseMethodCode()
198 bool InlineMethodAnalyser::AnalyseIGetMethod(verifier::MethodVerifier* verifier, in AnalyseIGetMethod()
261 bool InlineMethodAnalyser::AnalyseIPutMethod(verifier::MethodVerifier* verifier, in AnalyseIPutMethod()
329 verifier::MethodVerifier* verifier, in ComputeSpecialAccessorInfo()
|
| /art/runtime/ |
| D | compiler_callbacks.h | 27 class MethodVerifier; variable
40 virtual bool MethodVerified(verifier::MethodVerifier* verifier)
|
| D | noop_compiler_callbacks.h | 29 bool MethodVerified(verifier::MethodVerifier* verifier ATTRIBUTE_UNUSED) OVERRIDE { in MethodVerified()
|
| D | common_throws.cc | 392 verifier::MethodVerifier::FindInvokedMethodAtDexPc(method, throw_dex_pc); in ThrowNullPointerExceptionFromDexPC()
424 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc); in ThrowNullPointerExceptionFromDexPC()
456 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc); in ThrowNullPointerExceptionFromDexPC()
|
| D | thread.h | 68 class MethodVerifier; variable
944 void PushVerifier(verifier::MethodVerifier* verifier);
945 void PopVerifier(verifier::MethodVerifier* verifier);
1270 verifier::MethodVerifier* method_verifier;
|
| D | quick_exception_handler.cc | 208 verifier::MethodVerifier verifier(self_, h_dex_cache->GetDexFile(), h_dex_cache, h_class_loader, in HandleDeoptimization()
|
| D | runtime.cc | 285 verifier::MethodVerifier::Shutdown(); in ~Runtime()
1039 verifier::MethodVerifier::Init(); in Init()
1403 verifier::MethodVerifier::VisitStaticRoots(visitor); in VisitNonThreadRoots()
|
| D | runtime.h | 66 class MethodVerifier; variable
|
| /art/compiler/dex/quick/ |
| D | dex_file_method_inliner.h | 31 class MethodVerifier; variable
64 bool AnalyseMethodCode(verifier::MethodVerifier* verifier)
|
| /art/compiler/jit/ |
| D | jit_compiler.cc | 133 if (verifier::MethodVerifier::VerifyMethod(method, true, &error) == in CompileMethod()
134 verifier::MethodVerifier::kHardFailure) { in CompileMethod()
|
| /art/oatdump/ |
| D | oatdump.cc | 810 std::unique_ptr<verifier::MethodVerifier> verifier; in DumpOatMethod()
1256 void DumpVRegsAtDexPc(std::ostream& os, verifier::MethodVerifier* verifier, in DumpVRegsAtDexPc()
1305 verifier::MethodVerifier* DumpVerifier(std::ostream& os, uint32_t dex_method_idx, in DumpVerifier()
1316 return verifier::MethodVerifier::VerifyMethodAndDump( in DumpVerifier()
1324 void DumpCode(std::ostream& os, verifier::MethodVerifier* verifier, in DumpCode()
|