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