Lines Matching refs:decInsn
3897 DecodedInstruction decInsn; in verifyInstruction() local
3902 memset(&decInsn, 0x81, sizeof(decInsn)); in verifyInstruction()
3904 dexDecodeInstruction(insns, &decInsn); in verifyInstruction()
3906 int nextFlags = dexGetFlagsFromOpcode(decInsn.opcode); in verifyInstruction()
3926 switch (decInsn.opcode) { in verifyInstruction()
3933 if (decInsn.vA != 0) { in verifyInstruction()
3942 copyRegister1(workLine, decInsn.vA, decInsn.vB, kTypeCategory1nr, in verifyInstruction()
3948 copyRegister2(workLine, decInsn.vA, decInsn.vB, &failure); in verifyInstruction()
3953 copyRegister1(workLine, decInsn.vA, decInsn.vB, kTypeCategoryRef, in verifyInstruction()
3969 copyResultRegister1(workLine, insnRegCount, decInsn.vA, in verifyInstruction()
3973 copyResultRegister2(workLine, insnRegCount, decInsn.vA, &failure); in verifyInstruction()
3976 copyResultRegister1(workLine, insnRegCount, decInsn.vA, in verifyInstruction()
3994 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
4021 RegType srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4029 verifyRegisterType(workLine, decInsn.vA, returnType, &failure); in verifyInstruction()
4032 decInsn.vA); in verifyInstruction()
4049 verifyRegisterType(workLine, decInsn.vA, returnType, &failure); in verifyInstruction()
4052 decInsn.vA); in verifyInstruction()
4084 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4105 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4106 determineCat1Const((s4)decInsn.vB)); in verifyInstruction()
4110 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4111 determineCat1Const((s4) decInsn.vB << 16)); in verifyInstruction()
4118 setRegisterType(workLine, decInsn.vA, kRegTypeConstLo); in verifyInstruction()
4123 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4130 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4132 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4135 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4138 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4144 handleMonitorEnter(workLine, decInsn.vA, insnIdx, &failure); in verifyInstruction()
4169 handleMonitorExit(workLine, decInsn.vA, insnIdx, &failure); in verifyInstruction()
4182 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4184 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4187 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4192 origType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4194 LOG_VFY("VFY: check-cast on non-reference in v%u",decInsn.vA); in verifyInstruction()
4198 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
4204 tmpType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4212 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure); in verifyInstruction()
4214 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vC); in verifyInstruction()
4217 decInsn.vC, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4221 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4226 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4234 setRegisterType(workLine, decInsn.vA, kRegTypeInteger); in verifyInstruction()
4239 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4241 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4244 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4270 setRegisterType(workLine, decInsn.vA, uninitType); in verifyInstruction()
4275 resClass = dvmOptResolveClass(meth->clazz, decInsn.vC, &failure); in verifyInstruction()
4277 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vC); in verifyInstruction()
4280 decInsn.vC, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4287 verifyRegisterType(workLine, decInsn.vB, kRegTypeInteger, &failure); in verifyInstruction()
4289 setRegisterType(workLine, decInsn.vA, regTypeFromClass(resClass)); in verifyInstruction()
4295 resClass = dvmOptResolveClass(meth->clazz, decInsn.vB, &failure); in verifyInstruction()
4297 const char* badClassDesc = dexStringByTypeIdx(pDexFile, decInsn.vB); in verifyInstruction()
4300 decInsn.vB, badClassDesc, meth->clazz->descriptor); in verifyInstruction()
4306 bool isRange = (decInsn.opcode == OP_FILLED_NEW_ARRAY_RANGE || in verifyInstruction()
4307 decInsn.opcode == OP_FILLED_NEW_ARRAY_JUMBO); in verifyInstruction()
4310 verifyFilledNewArrayRegs(meth, workLine, &decInsn, in verifyInstruction()
4321 verifyRegisterType(workLine, decInsn.vB, kRegTypeFloat, &failure); in verifyInstruction()
4322 verifyRegisterType(workLine, decInsn.vC, kRegTypeFloat, &failure); in verifyInstruction()
4323 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4327 verifyRegisterType(workLine, decInsn.vB, kRegTypeDoubleLo, &failure); in verifyInstruction()
4328 verifyRegisterType(workLine, decInsn.vC, kRegTypeDoubleLo, &failure); in verifyInstruction()
4329 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4332 verifyRegisterType(workLine, decInsn.vB, kRegTypeLongLo, &failure); in verifyInstruction()
4333 verifyRegisterType(workLine, decInsn.vC, kRegTypeLongLo, &failure); in verifyInstruction()
4334 setRegisterType(workLine, decInsn.vA, kRegTypeBoolean); in verifyInstruction()
4338 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4357 verifyRegisterType(workLine, decInsn.vA, kRegTypeInteger, &failure); in verifyInstruction()
4367 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4440 type1 = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4441 type2 = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4463 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4472 tmpType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4484 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4498 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4526 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4531 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4562 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
4570 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4575 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4611 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4619 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4625 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4669 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4691 indexType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4696 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4710 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4734 verifyRegisterType(workLine, decInsn.vA, dstType, &failure); in verifyInstruction()
4746 tmpType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4751 resClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4767 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
4770 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
4781 tmpType = getRegisterType(workLine, decInsn.vC); in verifyInstruction()
4787 resClass = getClassFromRegister(workLine, decInsn.vA, &failure); in verifyInstruction()
4799 arrayClass = getClassFromRegister(workLine, decInsn.vB, &failure); in verifyInstruction()
4863 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4864 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4886 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
4896 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4897 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4918 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
4929 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4930 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
4944 setRegisterType(workLine, decInsn.vA, in verifyInstruction()
4974 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
4995 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
4996 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
5014 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure); in verifyInstruction()
5029 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5031 RegType typeHi = getRegisterType(workLine, decInsn.vA + 1); in verifyInstruction()
5041 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
5042 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
5053 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
5056 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
5074 objType = getRegisterType(workLine, decInsn.vB); in verifyInstruction()
5075 instField = getInstField(meth, uninitMap, objType, decInsn.vC, in verifyInstruction()
5091 valueType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5094 decInsn.vA, instField->name, in verifyInstruction()
5103 decInsn.vA); in verifyInstruction()
5147 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5172 setRegisterType(workLine, decInsn.vA, tmpType); in verifyInstruction()
5181 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5201 setRegisterType(workLine, decInsn.vA, dstType); in verifyInstruction()
5211 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5226 setRegisterType(workLine, decInsn.vA, regTypeFromClass(fieldClass)); in verifyInstruction()
5254 srcType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5275 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5298 verifyRegisterType(workLine, decInsn.vA, fieldType, &failure); in verifyInstruction()
5312 tmpType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5314 RegType typeHi = getRegisterType(workLine, decInsn.vA + 1); in verifyInstruction()
5323 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5333 verifyRegisterType(workLine, decInsn.vA, kRegTypeDoubleLo, &failure); in verifyInstruction()
5336 verifyRegisterType(workLine, decInsn.vA, kRegTypeLongLo, &failure); in verifyInstruction()
5354 staticField = getStaticField(meth, decInsn.vB, &failure); in verifyInstruction()
5369 valueType = getRegisterType(workLine, decInsn.vA); in verifyInstruction()
5372 decInsn.vA, staticField->name, in verifyInstruction()
5381 decInsn.vA); in verifyInstruction()
5412 isRange = (decInsn.opcode == OP_INVOKE_VIRTUAL_RANGE || in verifyInstruction()
5413 decInsn.opcode == OP_INVOKE_VIRTUAL_JUMBO || in verifyInstruction()
5414 decInsn.opcode == OP_INVOKE_SUPER_RANGE || in verifyInstruction()
5415 decInsn.opcode == OP_INVOKE_SUPER_JUMBO); in verifyInstruction()
5416 isSuper = (decInsn.opcode == OP_INVOKE_SUPER || in verifyInstruction()
5417 decInsn.opcode == OP_INVOKE_SUPER_RANGE || in verifyInstruction()
5418 decInsn.opcode == OP_INVOKE_SUPER_JUMBO); in verifyInstruction()
5421 &decInsn, uninitMap, METHOD_VIRTUAL, isRange, in verifyInstruction()
5438 isRange = (decInsn.opcode == OP_INVOKE_DIRECT_RANGE || in verifyInstruction()
5439 decInsn.opcode == OP_INVOKE_DIRECT_JUMBO); in verifyInstruction()
5441 &decInsn, uninitMap, METHOD_DIRECT, isRange, in verifyInstruction()
5457 thisType = getInvocationThis(workLine, &decInsn, &failure); in verifyInstruction()
5519 isRange = (decInsn.opcode == OP_INVOKE_STATIC_RANGE || in verifyInstruction()
5520 decInsn.opcode == OP_INVOKE_STATIC_JUMBO); in verifyInstruction()
5522 &decInsn, uninitMap, METHOD_STATIC, isRange, in verifyInstruction()
5540 isRange = (decInsn.opcode == OP_INVOKE_INTERFACE_RANGE || in verifyInstruction()
5541 decInsn.opcode == OP_INVOKE_INTERFACE_JUMBO); in verifyInstruction()
5543 &decInsn, uninitMap, METHOD_INTERFACE, isRange, in verifyInstruction()
5554 thisType = getInvocationThis(workLine, &decInsn, &failure); in verifyInstruction()
5601 checkUnop(workLine, &decInsn, in verifyInstruction()
5606 checkUnop(workLine, &decInsn, in verifyInstruction()
5610 checkUnop(workLine, &decInsn, in verifyInstruction()
5614 checkUnop(workLine, &decInsn, in verifyInstruction()
5618 checkUnop(workLine, &decInsn, in verifyInstruction()
5622 checkUnop(workLine, &decInsn, in verifyInstruction()
5626 checkUnop(workLine, &decInsn, in verifyInstruction()
5630 checkUnop(workLine, &decInsn, in verifyInstruction()
5634 checkUnop(workLine, &decInsn, in verifyInstruction()
5638 checkUnop(workLine, &decInsn, in verifyInstruction()
5642 checkUnop(workLine, &decInsn, in verifyInstruction()
5646 checkUnop(workLine, &decInsn, in verifyInstruction()
5650 checkUnop(workLine, &decInsn, in verifyInstruction()
5654 checkUnop(workLine, &decInsn, in verifyInstruction()
5658 checkUnop(workLine, &decInsn, in verifyInstruction()
5662 checkUnop(workLine, &decInsn, in verifyInstruction()
5666 checkUnop(workLine, &decInsn, in verifyInstruction()
5670 checkUnop(workLine, &decInsn, in verifyInstruction()
5674 checkUnop(workLine, &decInsn, in verifyInstruction()
5686 checkBinop(workLine, &decInsn, in verifyInstruction()
5692 checkBinop(workLine, &decInsn, in verifyInstruction()
5703 checkBinop(workLine, &decInsn, in verifyInstruction()
5710 checkBinop(workLine, &decInsn, in verifyInstruction()
5718 checkBinop(workLine, &decInsn, in verifyInstruction()
5726 checkBinop(workLine, &decInsn, in verifyInstruction()
5737 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5743 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5747 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5758 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5764 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5772 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5780 checkBinop2addr(workLine, &decInsn, in verifyInstruction()
5789 checkLitop(workLine, &decInsn, in verifyInstruction()
5795 checkLitop(workLine, &decInsn, in verifyInstruction()
5804 checkLitop(workLine, &decInsn, in verifyInstruction()
5809 decInsn.vB, decInsn.vC, false, &failure); in verifyInstruction()
5810 checkLitop(workLine, &decInsn, in verifyInstruction()
5815 decInsn.vB, decInsn.vC, true, &failure); in verifyInstruction()
5816 checkLitop(workLine, &decInsn, in verifyInstruction()
5822 checkLitop(workLine, &decInsn, in verifyInstruction()
6145 decInsn.opcode, insnIdx); in verifyInstruction()
6150 decInsn.opcode, insnIdx); in verifyInstruction()
6153 decInsn.opcode, insnIdx); in verifyInstruction()
6335 if (!(decInsn.opcode == OP_MONITOR_ENTER && in verifyInstruction()