Lines Matching refs:vassert
324 vassert(isPlausibleIRType(ty)); in newTemp()
455 vassert(archreg < 8); in integerGuestRegOffset()
458 vassert(!host_is_bigendian); in integerGuestRegOffset()
474 vassert(archreg >= 4 && archreg < 8 && sz == 1); in integerGuestRegOffset()
521 vassert(!host_is_bigendian); in xmmGuestRegLane16offset()
522 vassert(laneno >= 0 && laneno < 8); in xmmGuestRegLane16offset()
529 vassert(!host_is_bigendian); in xmmGuestRegLane32offset()
530 vassert(laneno >= 0 && laneno < 4); in xmmGuestRegLane32offset()
537 vassert(!host_is_bigendian); in xmmGuestRegLane64offset()
538 vassert(laneno >= 0 && laneno < 2); in xmmGuestRegLane64offset()
544 vassert(sz == 1 || sz == 2 || sz == 4); in getIReg()
545 vassert(archreg < 8); in getIReg()
555 case 1: vassert(ty == Ity_I8); break; in putIReg()
556 case 2: vassert(ty == Ity_I16); break; in putIReg()
557 case 4: vassert(ty == Ity_I32); break; in putIReg()
560 vassert(archreg < 8); in putIReg()
571 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16); in putSReg()
602 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128); in putXMMReg()
608 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64); in putXMMRegLane64()
614 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64); in putXMMRegLane64F()
620 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32); in putXMMRegLane32F()
626 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32); in putXMMRegLane32()
632 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16); in putXMMRegLane16()
668 vassert(i < 256); in mkU8()
674 vassert(i < 65536); in mkU16()
711 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in mkSizedOp()
712 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8 in mkSizedOp()
739 vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1); in mkAnd1()
740 vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1); in mkAnd1()
761 vassert(tyE == tyN); in casLE()
762 vassert(tyE == Ity_I32 || tyE == Ity_I16 || tyE == Ity_I8); in casLE()
920 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in setFlags_DEP1_DEP2()
944 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in setFlags_DEP1()
974 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in setFlags_DEP1_DEP2_shift()
975 vassert(guard); in setFlags_DEP1_DEP2_shift()
1018 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in setFlags_INC_DEC()
1088 vassert(cond >= X86CondO && cond <= X86CondNLE); in positiveIse_X86Condcode()
1133 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty); in helper_ADC()
1134 vassert(sz == 1 || sz == 2 || sz == 4); in helper_ADC()
1153 vassert(restart_point == 0); in helper_ADC()
1156 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty); in helper_ADC()
1187 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty); in helper_SBB()
1188 vassert(sz == 1 || sz == 2 || sz == 4); in helper_SBB()
1207 vassert(restart_point == 0); in helper_SBB()
1210 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty); in helper_SBB()
1347 vassert(dres->whatNext == Dis_Continue); in jmp_lit()
1348 vassert(dres->len == 0); in jmp_lit()
1349 vassert(dres->continueAt == 0); in jmp_lit()
1350 vassert(dres->jk_StopHere == Ijk_INVALID); in jmp_lit()
1359 vassert(dres->whatNext == Dis_Continue); in jmp_treg()
1360 vassert(dres->len == 0); in jmp_treg()
1361 vassert(dres->continueAt == 0); in jmp_treg()
1362 vassert(dres->jk_StopHere == Ijk_INVALID); in jmp_treg()
1374 vassert(dres->whatNext == Dis_Continue); in jcc_01()
1375 vassert(dres->len == 0); in jcc_01()
1376 vassert(dres->continueAt == 0); in jcc_01()
1377 vassert(dres->jk_StopHere == Ijk_INVALID); in jcc_01()
1640 vassert(0); in disAMode()
1681 vassert(0); in disAMode()
1722 vassert(0); in disAMode()
1842 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8); in dis_op2_E_G()
1843 vassert(keep); in dis_op2_E_G()
1955 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8); in dis_op2_G_E()
1956 vassert(keep); in dis_op2_G_E()
2160 vassert(!carrying); in dis_op_imm_A()
2305 vassert(am_sz == 1); in dis_Grp1()
2403 vassert(sz == 1 || sz == 2 || sz == 4); in dis_Grp2()
2665 vassert(am_sz == 1); in dis_Grp8_Imm()
2694 vassert(0); in dis_Grp8_Imm()
3057 vassert(sz == 2 || sz == 4); in dis_Grp5()
3065 vassert(sz == 2 || sz == 4); in dis_Grp5()
3073 vassert(sz == 4); in dis_Grp5()
3079 vassert(dres->whatNext == Dis_StopHere); in dis_Grp5()
3082 vassert(sz == 4); in dis_Grp5()
3084 vassert(dres->whatNext == Dis_StopHere); in dis_Grp5()
3087 vassert(sz == 4 || sz == 2); in dis_Grp5()
3129 vassert(sz == 4); in dis_Grp5()
3135 vassert(dres->whatNext == Dis_StopHere); in dis_Grp5()
3138 vassert(sz == 4); in dis_Grp5()
3140 vassert(dres->whatNext == Dis_StopHere); in dis_Grp5()
3143 vassert(sz == 4 || sz == 2); in dis_Grp5()
3184 vassert(sorb == 0); /* hmm. so what was the point of passing it in? */ in dis_string_op()
3298 vassert(dres->whatNext == Dis_StopHere); in dis_REP_op()
3304 vassert(dres->whatNext == Dis_StopHere); in dis_REP_op()
3370 vassert(size == 1 || size == 2 || size == 4); in dis_imul_I_E_G()
3408 vassert(ty == Ity_I32 || ty == Ity_I16); in gen_LZCNT()
3447 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32); in put_emwarn()
3471 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32); in put_ftop()
3523 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_I8); in put_ST_TAG()
3547 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64); in put_ST_UNCHECKED()
5037 vassert(typeOfIRExpr(irsb->tyenv, sw) == Ity_I16); in dis_FPU()
5431 vassert(archreg < 8); in getMMXReg()
5438 vassert(archreg < 8); in putMMXReg()
5439 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64); in putMMXReg()
5569 vassert(hName == NULL); in dis_MMXop_regmem_to_reg()
5570 vassert(hAddr == NULL); in dis_MMXop_regmem_to_reg()
5573 vassert(hName != NULL); in dis_MMXop_regmem_to_reg()
5574 vassert(hAddr != NULL); in dis_MMXop_regmem_to_reg()
5639 default: vassert(0); in dis_MMX_shiftG_byE()
5663 vassert(0); in dis_MMX_shiftG_byE()
5682 vassert(epartIsReg(rm)); in dis_MMX_shiftE_imm()
5683 vassert(gregOfRM(rm) == 2 in dis_MMX_shiftE_imm()
5704 default: vassert(0); in dis_MMX_shiftE_imm()
5720 vassert(0); in dis_MMX_shiftE_imm()
5884 vassert(sz == 4); in dis_MMX()
6099 vassert(sz == 2 || sz == 4); in dis_SHLRD_Gv_Ev()
6217 vassert(sz == 2 || sz == 4); in dis_bt_G_E()
6243 vassert(vbi->guest_stack_redzone_size == 0); in dis_bt_G_E()
6367 vassert(sz == 4 || sz == 2); in dis_bs_E_G()
6465 vassert(sz == 2 || sz == 4); in codegen_xchg_eAX_Reg()
6611 else vassert(0); in dis_cmpxchg_G_E()
6758 vassert(0); in dis_xadd_G_E()
6796 vassert(sz == 2 || sz == 4); in dis_mov_Sw_Ew()
6820 vassert(sz == 2 || sz == 4); in dis_push_segreg()
6835 vassert(sz == 2 || sz == 4); in dis_pop_segreg()
6854 vassert(dres->whatNext == Dis_StopHere); in dis_ret()
7205 vassert(sz == 4 || sz == 8); in dis_SSEcmp_E_to_G()
7297 default: vassert(0); in dis_SSE_shiftG_byE()
7321 vassert(0); in dis_SSE_shiftG_byE()
7339 vassert(epartIsReg(rm)); in dis_SSE_shiftE_imm()
7340 vassert(gregOfRM(rm) == 2 in dis_SSE_shiftE_imm()
7360 default: vassert(0); in dis_SSE_shiftE_imm()
7376 vassert(0); in dis_SSE_shiftE_imm()
7395 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32); in put_sse_roundingmode()
7411 vassert(t0 && *t0 == IRTemp_INVALID); in breakup128to32s()
7412 vassert(t1 && *t1 == IRTemp_INVALID); in breakup128to32s()
7413 vassert(t2 && *t2 == IRTemp_INVALID); in breakup128to32s()
7414 vassert(t3 && *t3 == IRTemp_INVALID); in breakup128to32s()
7450 vassert(t0 && *t0 == IRTemp_INVALID); in breakup64to16s()
7451 vassert(t1 && *t1 == IRTemp_INVALID); in breakup64to16s()
7452 vassert(t2 && *t2 == IRTemp_INVALID); in breakup64to16s()
7453 vassert(t3 && *t3 == IRTemp_INVALID); in breakup64to16s()
7495 vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32); in set_EFLAGS_from_value()
7661 default: vassert(0); in dis_PSIGN_helper()
7701 default: vassert(0); in dis_PABS_helper()
7718 vassert(byteShift >= 1 && byteShift <= 7); in dis_PALIGNR_XMM_helper()
7902 vassert(0); in math_BSWAP()
7972 vassert(guest_EIP_bbstart + delta == guest_EIP_curr_instr); in disInstr_X86_WRK()
7994 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
8017 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
8156 vassert(sz == 4); in disInstr_X86_WRK()
8157 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
8215 vassert(16 == sizeof(U128)); in disInstr_X86_WRK()
8216 vassert(OFFB_XMM7 == (OFFB_XMM0 + 7 * 16)); in disInstr_X86_WRK()
8228 vassert(sz == 4); in disInstr_X86_WRK()
8229 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
8290 vassert(16 == sizeof(U128)); in disInstr_X86_WRK()
8291 vassert(OFFB_XMM7 == (OFFB_XMM0 + 7 * 16)); in disInstr_X86_WRK()
8316 vassert(sz == 4); in disInstr_X86_WRK()
8341 vassert(sz == 4); in disInstr_X86_WRK()
8387 vassert(sz == 4); in disInstr_X86_WRK()
8428 vassert(sz == 4); in disInstr_X86_WRK()
8519 vassert(sz == 4); in disInstr_X86_WRK()
8560 vassert(sz == 4); in disInstr_X86_WRK()
8573 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
8574 vassert(sz == 4); in disInstr_X86_WRK()
8631 vassert(sz == 4); in disInstr_X86_WRK()
8644 vassert(sz == 4); in disInstr_X86_WRK()
8843 vassert(sz == 4); in disInstr_X86_WRK()
8870 vassert(sz == 4); in disInstr_X86_WRK()
8893 vassert(sz == 4); in disInstr_X86_WRK()
8938 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
8989 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
9075 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
9085 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
9100 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
9108 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
9165 vassert(sz == 4); in disInstr_X86_WRK()
9173 vassert(sz == 4); in disInstr_X86_WRK()
9181 vassert(sz == 4); in disInstr_X86_WRK()
9189 vassert(sz == 4); in disInstr_X86_WRK()
9198 vassert(sz == 4); in disInstr_X86_WRK()
9262 vassert(sz == 4); in disInstr_X86_WRK()
9272 vassert(sz == 4); in disInstr_X86_WRK()
9273 vassert(!epartIsReg(modrm)); in disInstr_X86_WRK()
9301 vassert(sz == 4); in disInstr_X86_WRK()
9375 vassert(sz == 4); in disInstr_X86_WRK()
9400 vassert(sz == 4); in disInstr_X86_WRK()
9443 vassert(sz == 4); in disInstr_X86_WRK()
9514 vassert(sz == 4); in disInstr_X86_WRK()
9768 vassert(sz == 4); in disInstr_X86_WRK()
9803 vassert(sz == 4); in disInstr_X86_WRK()
9832 vassert(sz == 4); in disInstr_X86_WRK()
9859 vassert(sz == 4); in disInstr_X86_WRK()
9929 vassert(sz == 4); in disInstr_X86_WRK()
9974 vassert(sz == 4); in disInstr_X86_WRK()
9984 vassert(sz == 4); in disInstr_X86_WRK()
10001 vassert(sz == 4); in disInstr_X86_WRK()
10014 vassert(sz == 4); in disInstr_X86_WRK()
10131 vassert(sz == 4); in disInstr_X86_WRK()
10154 vassert(sz == 4); in disInstr_X86_WRK()
10173 vassert(sz == 4); in disInstr_X86_WRK()
10344 vassert(sz == 4); in disInstr_X86_WRK()
10377 vassert(sz == 4); in disInstr_X86_WRK()
10399 vassert(sz == 4); in disInstr_X86_WRK()
10428 vassert(sz == 4); in disInstr_X86_WRK()
10455 vassert(sz == 4); in disInstr_X86_WRK()
10524 vassert(sz == 4); in disInstr_X86_WRK()
10538 vassert(sz == 4); in disInstr_X86_WRK()
10770 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
11205 vassert(imm >= 0 && imm <= 255); in disInstr_X86_WRK()
11335 vassert(imm >= 0 && imm <= 255); in disInstr_X86_WRK()
11994 default: vassert(0); in disInstr_X86_WRK()
12064 default: vassert(0); in disInstr_X86_WRK()
12200 default: vassert(0); in disInstr_X86_WRK()
12246 default: vassert(0); in disInstr_X86_WRK()
12295 default: vassert(0); in disInstr_X86_WRK()
12337 default: vassert(0); in disInstr_X86_WRK()
12417 vassert(0); in disInstr_X86_WRK()
12498 vassert(0); in disInstr_X86_WRK()
12753 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
12877 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
12910 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
12940 vassert(sz == 4); in disInstr_X86_WRK()
12976 vassert(opc == 0x27 || opc == 0x2F || opc == 0x37 || opc == 0x3F); in disInstr_X86_WRK()
13004 default: vassert(0); in disInstr_X86_WRK()
13061 vassert(sz == 2); in disInstr_X86_WRK()
13121 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
13140 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
13155 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13177 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13190 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13198 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13206 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13224 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13230 vassert(sz == 4); /* JRS added 2004 July 11 */ in disInstr_X86_WRK()
13238 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13262 vassert(-128 <= jmpDelta && jmpDelta < 128); in disInstr_X86_WRK()
13310 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
13363 vassert(0); in disInstr_X86_WRK()
13711 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
13721 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
13816 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
13847 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
14141 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
14230 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
14244 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
14254 vassert(sz == 1 || sz == 2 || sz == 4); in disInstr_X86_WRK()
14278 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
14292 vassert(sz == 2 || sz == 4); in disInstr_X86_WRK()
14302 vassert(sz == 1 || sz == 2 || sz == 4); in disInstr_X86_WRK()
14674 vassert(fName); vassert(fAddr); in disInstr_X86_WRK()
14870 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
14997 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
15129 default: vassert(0); /*NOTREACHED*/ in disInstr_X86_WRK()
15174 vassert(dres.whatNext == Dis_StopHere); in disInstr_X86_WRK()
15199 vassert(0); in disInstr_X86_WRK()
15235 vassert(guest_arch == VexArchX86); in disInstr_X86()
15249 vassert(x2 >= x1); in disInstr_X86()