Home
last modified time | relevance | path

Searched refs:insn_type (Results 1 – 2 of 2) sorted by relevance

/art/runtime/verifier/
Dmethod_verifier.cc3720 const RegType& insn_type, bool is_primitive) { in VerifyAGet() argument
3730 if (!is_primitive || insn_type.IsCategory1Types()) { in VerifyAGet()
3750 } else if (is_primitive && !insn_type.Equals(component_type) && in VerifyAGet()
3751 !((insn_type.IsInteger() && component_type.IsFloat()) || in VerifyAGet()
3752 (insn_type.IsLong() && component_type.IsDouble()))) { in VerifyAGet()
3754 << " incompatible with aget of type " << insn_type; in VerifyAGet()
3770 void MethodVerifier::VerifyPrimitivePut(const RegType& target_type, const RegType& insn_type, in VerifyPrimitivePut() argument
3777 instruction_compatible = target_type.Equals(insn_type); in VerifyPrimitivePut()
3780 instruction_compatible = insn_type.IsInteger(); // no put-float, so expect put-int in VerifyPrimitivePut()
3783 instruction_compatible = insn_type.IsLong(); in VerifyPrimitivePut()
[all …]
Dmethod_verifier.h530 void VerifyPrimitivePut(const RegType& target_type, const RegType& insn_type,
537 void VerifyAGet(const Instruction* inst, const RegType& insn_type,
541 void VerifyAPut(const Instruction* inst, const RegType& insn_type,
557 void VerifyISFieldAccess(const Instruction* inst, const RegType& insn_type,
562 void VerifyQuickFieldAccess(const Instruction* inst, const RegType& insn_type, bool is_primitive)