Lines Matching refs:vassert
232 vassert(isPlausibleIRType(ty));
270 vassert(i < 256);
276 vassert(i < 0x10000ULL);
282 vassert(i < 0x100000000ULL);
314 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8
922 vassert(reg < 16);
925 vassert(reg < 8);
927 vassert(irregular == False);
949 vassert(reg < 16);
952 vassert(reg < 8);
954 vassert(irregular == False);
977 vassert(!host_is_bigendian);
986 vassert(!host_is_bigendian);
987 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1008 vassert(!host_is_bigendian);
1021 vassert(!host_is_bigendian);
1023 case 8: vassert(ty == Ity_I64);
1026 case 4: vassert(ty == Ity_I32);
1029 case 2: vassert(ty == Ity_I16);
1032 case 1: vassert(ty == Ity_I8);
1056 vassert(!host_is_bigendian);
1068 vassert(!host_is_bigendian);
1069 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1095 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1110 vassert(!host_is_bigendian);
1118 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1134 vassert(!host_is_bigendian);
1141 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1158 vassert(lo3bits < 8);
1159 vassert(IS_VALID_PFX(pfx));
1165 vassert(lo3bits < 8);
1166 vassert(IS_VALID_PFX(pfx));
1172 vassert(lo3bits < 8);
1173 vassert(IS_VALID_PFX(pfx));
1174 vassert(sz == 8 || sz == 4 || sz == 2 || sz == 1);
1181 vassert(lo3bits < 8);
1182 vassert(IS_VALID_PFX(pfx));
1183 vassert(sz == 8 || sz == 4 || sz == 2 || sz == 1);
1204 vassert(lo3bits < 8);
1205 vassert(IS_VALID_PFX(pfx));
1206 vassert(sz == 8 || sz == 4 || sz == 2 || sz == 1);
1207 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1239 vassert(epartIsReg(mod_reg_rm));
1255 vassert(!host_is_bigendian);
1256 vassert(IS_VALID_PFX(pfx));
1257 vassert(sz == 8 || sz == 4 || sz == 2 || sz == 1);
1279 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1302 vassert(!host_is_bigendian);
1303 vassert(IS_VALID_PFX(pfx));
1304 vassert(sz == 8 || sz == 4 || sz == 2 || sz == 1);
1326 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1371 vassert(!host_is_bigendian);
1381 vassert(!host_is_bigendian);
1382 vassert(laneno >= 0 && laneno < 8);
1389 vassert(!host_is_bigendian);
1390 vassert(laneno >= 0 && laneno < 4);
1397 vassert(!host_is_bigendian);
1398 vassert(laneno >= 0 && laneno < 2);
1405 vassert(!host_is_bigendian);
1406 vassert(laneno >= 0 && laneno < 2);
1413 vassert(!host_is_bigendian);
1414 vassert(laneno >= 0 && laneno < 4);
1421 vassert(!host_is_bigendian);
1422 vassert(laneno >= 0 && laneno < 8);
1458 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1464 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1470 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1476 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1482 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1508 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
1514 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1520 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1526 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1532 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1538 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1556 vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1);
1557 vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1);
1578 vassert(tyE == tyN);
1579 vassert(tyE == Ity_I64 || tyE == Ity_I32
1750 default: vassert(0);
1775 default: vassert(0);
1806 default: vassert(0);
1809 vassert(guard);
1850 default: vassert(0);
1921 vassert(cond >= AMD64CondO && cond <= AMD64CondNLE);
1967 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1974 default: vassert(0);
1992 vassert(restart_point == 0);
1995 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2026 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2033 default: vassert(0);
2051 vassert(restart_point == 0);
2054 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2184 vassert(dres->whatNext == Dis_Continue);
2185 vassert(dres->len == 0);
2186 vassert(dres->continueAt == 0);
2187 vassert(dres->jk_StopHere == Ijk_INVALID);
2196 vassert(dres->whatNext == Dis_Continue);
2197 vassert(dres->len == 0);
2198 vassert(dres->continueAt == 0);
2199 vassert(dres->jk_StopHere == Ijk_INVALID);
2211 vassert(dres->whatNext == Dis_Continue);
2212 vassert(dres->len == 0);
2213 vassert(dres->continueAt == 0);
2214 vassert(dres->jk_StopHere == Ijk_INVALID);
2244 vassert(szB >= 0);
2249 vassert(szB == 128);
2252 vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2253 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
2417 vassert(extra_bytes >= 0 && extra_bytes < 10);
2573 vassert(0);
2620 vassert(0); /*NOTREACHED*/
2667 vassert(0); /*NOTREACHED*/
2809 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8);
2810 vassert(keep);
2925 vassert(op8 == Iop_Add8 || op8 == Iop_Sub8);
2926 vassert(keep);
3136 vassert(!carrying);
3294 vassert(am_sz == 1);
3395 vassert(sz == 1 || sz == 2 || sz == 4 || sz == 8);
3693 vassert(am_sz == 1);
3724 vassert(0);
4119 vassert(dres->whatNext == Dis_StopHere);
4129 vassert(dres->whatNext == Dis_StopHere);
4183 vassert(dres->whatNext == Dis_StopHere);
4193 vassert(dres->whatNext == Dis_StopHere);
4254 vassert(pfx == clearSegBits(pfx));
4408 vassert(pfx == clearSegBits(pfx));
4433 vassert(dres->whatNext == Dis_StopHere);
4440 vassert(dres->whatNext == Dis_StopHere);
4510 vassert(/*size == 1 ||*/ size == 2 || size == 4 || size == 8);
4632 vassert(0);
4643 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16);
4682 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4706 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4719 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
4731 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4760 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_I8);
4784 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
6312 vassert(typeOfIRExpr(irsb->tyenv, sw) == Ity_I16);
6674 vassert(archreg < 8);
6681 vassert(archreg < 8);
6682 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
6813 vassert(hName == NULL);
6814 vassert(hAddr == NULL);
6817 vassert(hName != NULL);
6818 vassert(hAddr != NULL);
6884 default: vassert(0);
6907 vassert(0);
6926 vassert(epartIsReg(rm));
6927 vassert(gregLO3ofRM(rm) == 2
6948 default: vassert(0);
6963 vassert(0);
7179 vassert(sz == 4);
7439 vassert(sz == 2 || sz == 4 || sz == 8);
7548 vassert(sz == 8);
7606 vassert(sz == 2 || sz == 4 || sz == 8);
7641 vassert(vbi->guest_stack_redzone_size == 128);
7769 vassert(sz == 8 || sz == 4 || sz == 2);
7877 vassert(sz == 2 || sz == 4 || sz == 8);
7878 vassert(regLo3 < 8);
8037 else vassert(0);
8185 vassert(0);
8223 //.. vassert(sz == 2 || sz == 4);
8247 //.. vassert(sz == 2 || sz == 4);
8262 //.. vassert(sz == 2 || sz == 4);
8284 vassert(dres->whatNext == Dis_StopHere);
8661 default: vassert(0);
8670 default: vassert(0);
8679 default: vassert(0);
8688 default: vassert(0);
8718 vassert(sz == 4 || sz == 8);
8724 vassert(!preSwap); /* never needed for imm8 < 8 */
8738 vassert(!preSwap); /* never needed for imm8 < 8 */
8820 default: vassert(0);
8845 vassert(0);
8864 vassert(epartIsReg(rm));
8865 vassert(gregLO3ofRM(rm) == 2
8885 default: vassert(0);
8900 vassert(0);
8921 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);
8938 vassert(t0 && *t0 == IRTemp_INVALID);
8939 vassert(t1 && *t1 == IRTemp_INVALID);
8940 vassert(t2 && *t2 == IRTemp_INVALID);
8941 vassert(t3 && *t3 == IRTemp_INVALID);
8977 vassert(t0 && *t0 == IRTemp_INVALID);
8978 vassert(t1 && *t1 == IRTemp_INVALID);
8979 vassert(t2 && *t2 == IRTemp_INVALID);
8980 vassert(t3 && *t3 == IRTemp_INVALID);
9011 vassert(t0 && *t0 == IRTemp_INVALID);
9012 vassert(t1 && *t1 == IRTemp_INVALID);
9013 vassert(t2 && *t2 == IRTemp_INVALID);
9014 vassert(t3 && *t3 == IRTemp_INVALID);
9031 vassert(t0 && *t0 == IRTemp_INVALID);
9032 vassert(t1 && *t1 == IRTemp_INVALID);
9061 vassert(t0 && *t0 == IRTemp_INVALID);
9062 vassert(t1 && *t1 == IRTemp_INVALID);
9192 default: vassert(0);
9233 default: vassert(0);
9278 vassert(byteShift >= 1 && byteShift <= 7);
9338 vassert(0);
9511 vassert(opc == 0x2F/*COMISD*/ || opc == 0x2E/*UCOMISD*/);
9554 vassert(opc == 0x2F/*COMISS*/ || opc == 0x2E/*UCOMISS*/);
9650 vassert(imm >= 0 && imm <= 255);
9697 vassert(imm >= 0 && imm <= 255);
9739 vassert(opc == 0x2D/*CVTSD2SI*/ || opc == 0x2C/*CVTTSD2SI*/);
9775 vassert(sz == 8);
9787 vassert(opc == 0x2D/*CVTSS2SI*/ || opc == 0x2C/*CVTTSS2SI*/);
9825 vassert(sz == 8);
10274 vassert(epartIsReg(modrm)); /* ensured by caller */
10373 vassert(imm8 < 256);
10456 default: vassert(0); break;
10759 default: vassert(0);
10808 vassert(!epartIsReg(modrm)); /* ensured by caller */
10809 vassert(gregOfRexRM(pfx,modrm) == 3); /* ditto */
10840 vassert(!epartIsReg(modrm)); /* ensured by caller */
10841 vassert(gregOfRexRM(pfx,modrm) == 2); /* ditto */
10890 vassert(imm8 >= 0 && imm8 <= 7);
11531 vassert(!epartIsReg(modrm));
11541 default: vassert(0);
12517 vassert(sz == 2 || sz == 8);
12727 vassert(imm >= 0 && imm <= 255);
12957 vassert(!epartIsReg(modrm));
13018 vassert(32 == sizeof(U256));
13019 vassert(OFFB_YMM15 == (OFFB_YMM0 + 15 * 32));
13033 vassert(!epartIsReg(modrm));
13097 vassert(32 == sizeof(U256));
13098 vassert(OFFB_YMM15 == (OFFB_YMM0 + 15 * 32));
13190 default: vassert(0);
13244 default: vassert(0);
14497 default: vassert(0);
14707 default: vassert(0);
14842 default: vassert(0);
14889 default: vassert(0);
15007 default: vassert(0);
15041 default: vassert(0);
15185 vassert(0);
16132 default: vassert(0);
16256 vassert(nm);
16651 vassert(sz == 2 || sz == 4 || sz == 8);
16689 vassert(nm && fn);
16739 vassert(0==getRexW(pfx)); /* ensured by caller */
16759 default: vassert(0);
16794 vassert(0==getRexW(pfx)); /* ensured by caller */
16811 default: vassert(0);
16843 vassert(1==getRexW(pfx)); /* ensured by caller */
16859 default: vassert(0);
17012 vassert(imm8 >= 0 && imm8 <= 15);
17058 default: vassert(0);
17079 vassert(imm8 == 1);
17098 vassert(imm8 <= 255);
17142 default: vassert(0);
17168 vassert(imm8 < 256);
17193 vassert(imm8 < 256);
17312 default: vassert(0);
18302 vassert(sz == 2 || sz == 4 || sz == 8);
18324 vassert(sz == 2 || sz == 4 || sz == 8);
18339 vassert(sz == 8);
18422 vassert(-128 <= jmpDelta && jmpDelta < 128);
18470 vassert(dres->whatNext == Dis_StopHere);
18601 vassert(sz == 2 || sz == 4
18612 vassert(sz == 8);
18642 vassert(dres->whatNext == Dis_StopHere);
18687 vassert(sz == 2 || sz == 4 || sz == 8);
18709 vassert(sz == 2 || sz == 4 || sz == 8);
18765 vassert(sz == 2 || sz == 4);
18918 vassert(dres->whatNext == Dis_StopHere);
18953 vassert(dres->whatNext == Dis_StopHere);
18963 vassert(dres->whatNext == Dis_StopHere);
19098 vassert(d64 >= 0 && d64 <= 0xFFFF);
19141 vassert(dres->whatNext == Dis_StopHere);
19291 vassert(0);
19360 vassert(sz == 1 || sz == 2 || sz == 4);
19409 vassert(sz == 1 || sz == 2 || sz == 4);
19441 vassert(dres->whatNext == Dis_StopHere);
19457 vassert(dres->whatNext == Dis_StopHere);
19473 vassert(dres->whatNext == Dis_StopHere);
19642 vassert(0);
19692 default: vassert(0); /*NOTREACHED*/
19738 vassert(dres->whatNext == Dis_StopHere);
19745 vassert(dres->whatNext == Dis_StopHere);
19761 default: vassert(0); /*NOTREACHED*/
19883 vassert(dres->whatNext == Dis_StopHere);
19951 vassert(fName); vassert(fAddr);
20299 vassert(sz == 4 || sz == 8);
20594 vassert(0==getVexL(pfx)/*128*/ && 0==getRexW(pfx)/*WIG?*/);
20615 vassert(opFn == NULL);
20620 vassert(opFn != NULL);
20705 default: vassert(0);
20730 vassert(0);
20750 vassert(epartIsReg(rm));
20751 vassert(gregLO3ofRM(rm) == 2
20772 default: vassert(0);
20787 vassert(0);
21000 vassert(sz == 4 || sz == 8);
21110 vassert(sz == 4 || sz == 8);
21256 vassert(1==getVexL(pfx)/*256*/ && 0==getRexW(pfx)/*WIG?*/);
21277 vassert(opFn == NULL);
21282 vassert(opFn != NULL);
23109 vassert(sz == 2); /* even tho we are transferring 4, not 2. */
23134 vassert(sz == 2); /* even tho we are transferring 8, not 2. */
23524 vassert(sz == 4); /* even tho we are transferring 8, not 4. */
24610 default: vassert(0);
25249 vassert(imm8 < 256);
26493 vassert(guest_RIP_next_assumed == 0);
26494 vassert(guest_RIP_next_mustcheck == False);
26524 vassert(dres.whatNext == Dis_StopHere);
26549 vassert(dres.whatNext == Dis_StopHere);
26627 default: vassert(0);
26648 default: vassert(0);
26704 vassert(esc == ESC_NONE);
26748 vassert(0);
26780 vassert(0);
26790 vassert(delta - delta_at_primary_opcode >= 0);
26791 vassert(delta - delta_at_primary_opcode < 16/*let's say*/);
26889 vassert(dres.whatNext == Dis_StopHere);
27029 vassert(dres.whatNext == Dis_StopHere);
27054 vassert(0);
27090 vassert(guest_arch == VexArchAMD64);
27108 vassert(x2 >= x1);
27217 // vassert(0);
