Lines Matching refs:decInsn
3837 DecodedInstruction decInsn; in verifyInstruction() local
3842 memset(&decInsn, 0x81, sizeof(decInsn)); in verifyInstruction()
3844 dexDecodeInstruction(insns, &decInsn); in verifyInstruction()
3846 int nextFlags = dexGetFlagsFromOpcode(decInsn.opcode); in verifyInstruction()
3866 switch (decInsn.opcode) { in verifyInstruction()
3873 if (decInsn.vA != 0) { in verifyInstruction()
3882 copyRegister1(workLine, decInsn.vA, decInsn.vB, kTypeCategory1nr, in verifyInstruction()
3888 copyRegister2(workLine, decInsn.vA, decInsn.vB, &failure); in verifyInstruction()
3893 copyRegister1(workLine, decInsn.vA, decInsn.vB, kTypeCategoryRef, in verifyInstruction()
3909 copyResultRegister1(workLine, insnRegCount, decInsn.vA, in verifyInstruction()
3913 copyResultRegister2(workLine, insnRegCount, decInsn.vA, &failure); in verifyInstruction()
3916 copyResultRegister1(workLine, insnRegCount, decInsn.vA, in verifyInstruction()
3934 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
3961 RegType srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
3969 verifyRegisterType(workLine, decInsn.vA, returnType, &failure); in verifyInstruction()
3972 decInsn.vA); in verifyInstruction()
3989 verifyRegisterType(workLine, decInsn.vA, returnType, &failure); in verifyInstruction()
3992 decInsn.vA); in verifyInstruction()
4024 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4045 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4046 determineCat1Const((s4)decInsn.vB)); in verifyInstruction()
4050 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4051 determineCat1Const((s4) decInsn.vB << 16)); in verifyInstruction()
4058 setRegisterType(workLine, decInsn.vA, kRegTypeConstLo); in verifyInstruction()
4063 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4069 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4071 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4074 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4077 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4083 handleMonitorEnter(workLine, decInsn.vA, insnIdx, &failure); in verifyInstruction()
4108 handleMonitorExit(workLine, decInsn.vA, insnIdx, &failure); in verifyInstruction()
4120 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4122 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4125 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4130 origType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4132 LOG_VFY("VFY: check-cast on non-reference in v%u",decInsn.vA); in verifyInstruction()
4136 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
4141 tmpType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4149 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure); in verifyInstruction()
4151 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vC); in verifyInstruction()
4154 decInsn.vC, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4158 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4163 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4171 setRegisterType(workLine, decInsn.vA, kRegTypeInteger); in verifyInstruction()
4175 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4177 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4180 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4206 setRegisterType(workLine, decInsn.vA, uninitType); in verifyInstruction()
4210 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure); in verifyInstruction()
4212 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vC); in verifyInstruction()
4215 decInsn.vC, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4222 verifyRegisterType(workLine, decInsn.vB, kRegTypeInteger, &failure); in verifyInstruction()
4224 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
4229 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4231 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4234 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4240 bool isRange = (decInsn.opcode == OP_FILLED_NEW_ARRAY_RANGE); in verifyInstruction()
4243 verifyFilledNewArrayRegs(meth, workLine, &decInsn, in verifyInstruction()
4254 verifyRegisterType(workLine, decInsn.vB, kRegTypeFloat, &failure); in verifyInstruction()
4255 verifyRegisterType(workLine, decInsn.vC, kRegTypeFloat, &failure); in verifyInstruction()
4256 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4260 verifyRegisterType(workLine, decInsn.vB, kRegTypeDoubleLo, &failure); in verifyInstruction()
4261 verifyRegisterType(workLine, decInsn.vC, kRegTypeDoubleLo, &failure); in verifyInstruction()
4262 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4265 verifyRegisterType(workLine, decInsn.vB, kRegTypeLongLo, &failure); in verifyInstruction()
4266 verifyRegisterType(workLine, decInsn.vC, kRegTypeLongLo, &failure); in verifyInstruction()
4267 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4271 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4290 verifyRegisterType(workLine, decInsn.vA, kRegTypeInteger, &failure); in verifyInstruction()
4300 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4373 type1 = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4374 type2 = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4396 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4405 tmpType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4417 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4431 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4459 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4464 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4500 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
4508 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4513 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4549 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4557 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4563 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4607 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4629 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4634 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4648 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4672 verifyRegisterType(workLine, decInsn.vA, dstType, &failure); in verifyInstruction()
4684 tmpType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4689 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4705 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
4708 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
4719 tmpType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4725 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4737 arrayClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4796 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4797 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4819 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
4828 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4829 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4850 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4860 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4861 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4875 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4900 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4921 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4922 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4940 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure); in verifyInstruction()
4954 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4956 RegType typeHi = getRegisterType(workLine, decInsn.vA + 1); in verifyInstruction()
4966 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4967 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4978 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
4981 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
4998 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4999 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
5015 valueType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5018 decInsn.vA, instField->name, in verifyInstruction()
5027 decInsn.vA); in verifyInstruction()
5066 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5091 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
5099 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5119 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
5128 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5143 setRegisterType(workLine, decInsn.vA, regTypeFromClass(fieldClass)); in verifyInstruction()
5166 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5187 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5210 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure); in verifyInstruction()
5223 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5225 RegType typeHi = getRegisterType(workLine, decInsn.vA + 1); in verifyInstruction()
5234 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5244 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
5247 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
5264 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5279 valueType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5282 decInsn.vA, staticField->name, in verifyInstruction()
5291 decInsn.vA); in verifyInstruction()
5320 isRange = (decInsn.opcode == OP_INVOKE_VIRTUAL_RANGE || in verifyInstruction()
5321 decInsn.opcode == OP_INVOKE_SUPER_RANGE); in verifyInstruction()
5322 isSuper = (decInsn.opcode == OP_INVOKE_SUPER || in verifyInstruction()
5323 decInsn.opcode == OP_INVOKE_SUPER_RANGE); in verifyInstruction()
5326 &decInsn, uninitMap, METHOD_VIRTUAL, isRange, in verifyInstruction()
5342 isRange = (decInsn.opcode == OP_INVOKE_DIRECT_RANGE); in verifyInstruction()
5344 &decInsn, uninitMap, METHOD_DIRECT, isRange, in verifyInstruction()
5360 thisType = getInvocationThis(workLine, &decInsn, &failure); in verifyInstruction()
5421 isRange = (decInsn.opcode == OP_INVOKE_STATIC_RANGE); in verifyInstruction()
5423 &decInsn, uninitMap, METHOD_STATIC, isRange, in verifyInstruction()
5440 isRange = (decInsn.opcode == OP_INVOKE_INTERFACE_RANGE); in verifyInstruction()
5442 &decInsn, uninitMap, METHOD_INTERFACE, isRange, in verifyInstruction()
5453 thisType = getInvocationThis(workLine, &decInsn, &failure); in verifyInstruction()
5500 checkUnop(workLine, &decInsn, in verifyInstruction()
5505 checkUnop(workLine, &decInsn, in verifyInstruction()
5509 checkUnop(workLine, &decInsn, in verifyInstruction()
5513 checkUnop(workLine, &decInsn, in verifyInstruction()
5517 checkUnop(workLine, &decInsn, in verifyInstruction()
5521 checkUnop(workLine, &decInsn, in verifyInstruction()
5525 checkUnop(workLine, &decInsn, in verifyInstruction()
5529 checkUnop(workLine, &decInsn, in verifyInstruction()
5533 checkUnop(workLine, &decInsn, in verifyInstruction()
5537 checkUnop(workLine, &decInsn, in verifyInstruction()
5541 checkUnop(workLine, &decInsn, in verifyInstruction()
5545 checkUnop(workLine, &decInsn, in verifyInstruction()
5549 checkUnop(workLine, &decInsn, in verifyInstruction()
5553 checkUnop(workLine, &decInsn, in verifyInstruction()
5557 checkUnop(workLine, &decInsn, in verifyInstruction()
5561 checkUnop(workLine, &decInsn, in verifyInstruction()
5565 checkUnop(workLine, &decInsn, in verifyInstruction()
5569 checkUnop(workLine, &decInsn, in verifyInstruction()
5573 checkUnop(workLine, &decInsn, in verifyInstruction()
5585 checkBinop(workLine, &decInsn, in verifyInstruction()
5591 checkBinop(workLine, &decInsn, in verifyInstruction()
5602 checkBinop(workLine, &decInsn, in verifyInstruction()
5609 checkBinop(workLine, &decInsn, in verifyInstruction()
5617 checkBinop(workLine, &decInsn, in verifyInstruction()
5625 checkBinop(workLine, &decInsn, in verifyInstruction()
5636 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5642 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5646 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5657 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5663 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5671 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5679 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5688 checkLitop(workLine, &decInsn, in verifyInstruction()
5694 checkLitop(workLine, &decInsn, in verifyInstruction()
5703 checkLitop(workLine, &decInsn, in verifyInstruction()
5708 decInsn.vB, decInsn.vC, false, &failure); in verifyInstruction()
5709 checkLitop(workLine, &decInsn, in verifyInstruction()
5714 decInsn.vB, decInsn.vC, true, &failure); in verifyInstruction()
5715 checkLitop(workLine, &decInsn, in verifyInstruction()
5721 checkLitop(workLine, &decInsn, in verifyInstruction()
5827 decInsn.opcode, insnIdx); in verifyInstruction()
5832 decInsn.opcode, insnIdx); in verifyInstruction()
5835 decInsn.opcode, insnIdx); in verifyInstruction()
6017 if (!(decInsn.opcode == OP_MONITOR_ENTER && in verifyInstruction()