@Override public void verify(DecodedInstruction instruction, RegisterTypeSparseArray registerTypes) throws VerifyException { RegisterType tmpType = registerTypes.get(instruction.getA(), instruction); if (tmpType.typeEnum().category() != RegisterCategory.kTypeCategory1nr || tmpType.typeEnum() == kRegTypeFloat) throw new VerifyException( VerifyErrorCause.VERIFY_ERROR_GENERIC, "VFY: args to 'if' must be cat-1nr and not float"); tmpType = registerTypes.get(instruction.getB(), instruction); if (tmpType.typeEnum().category() != RegisterCategory.kTypeCategory1nr || tmpType.typeEnum() == kRegTypeFloat) throw new VerifyException( VerifyErrorCause.VERIFY_ERROR_GENERIC, "VFY: args to 'if' must be cat-1nr and not float"); }