Lines Matching refs:vassert
112 vassert(r >= 0 && r < 8); in ppHRegX86()
117 vassert(r >= 0 && r < 6); in ppHRegX86()
122 vassert(r >= 0 && r < 8); in ppHRegX86()
174 vassert(shift >= 0 && shift <= 3); in X86AMode_IRRS()
578 vassert(op != Xalu_MUL); in X86Instr_Alu32M()
631 vassert(op == Xsh_SHL || op == Xsh_SHR); in X86Instr_Sh3232()
648 vassert(regparms >= 0 && regparms <= 3); in X86Instr_Call()
649 vassert(is_sane_RetLoc(rloc)); in X86Instr_Call()
687 vassert(cond != Xcc_ALWAYS); in X86Instr_CMov32()
698 vassert(szSmall == 1 || szSmall == 2); in X86Instr_LoadEX()
707 vassert(sz == 1 || sz == 2); in X86Instr_Store()
729 vassert(0 == (hwcaps & ~(VEX_HWCAPS_X86_MMXEXT in X86Instr_MFence()
741 vassert(sz == 4 || sz == 2 || sz == 1); in X86Instr_ACAS()
775 vassert(sz == 4 || sz == 8 || sz == 10); in X86Instr_FpLdSt()
786 vassert(sz == 2 || sz == 4 || sz == 8); in X86Instr_FpLdStI()
802 vassert(cond != Xcc_ALWAYS); in X86Instr_FpCMov()
829 vassert(hregClass(dst) == HRcVec128); in X86Instr_SseConst()
847 vassert(sz == 4 || sz == 8); in X86Instr_SseLdzLO()
856 vassert(op != Xsse_MOV); in X86Instr_Sse32Fx4()
865 vassert(op != Xsse_MOV); in X86Instr_Sse32FLo()
874 vassert(op != Xsse_MOV); in X86Instr_Sse64Fx2()
883 vassert(op != Xsse_MOV); in X86Instr_Sse64FLo()
900 vassert(cond != Xcc_ALWAYS); in X86Instr_SseCMov()
909 vassert(order >= 0 && order <= 0xFF); in X86Instr_SseShuf()
927 vassert(mode64 == False); in ppX86Instr()
1225 vassert(mode64 == False); in getRegUsage_X86Instr()
1421 vassert(i->Xin.Sse32Fx4.op != Xsse_MOV); in getRegUsage_X86Instr()
1430 vassert(i->Xin.Sse32FLo.op != Xsse_MOV); in getRegUsage_X86Instr()
1439 vassert(i->Xin.Sse64Fx2.op != Xsse_MOV); in getRegUsage_X86Instr()
1448 vassert(i->Xin.Sse64FLo.op != Xsse_MOV); in getRegUsage_X86Instr()
1500 vassert(mode64 == False); in mapRegs_X86Instr()
1709 vassert(offsetB >= 0); in genSpill_X86()
1710 vassert(!hregIsVirtual(rreg)); in genSpill_X86()
1711 vassert(mode64 == False); in genSpill_X86()
1734 vassert(offsetB >= 0); in genReload_X86()
1735 vassert(!hregIsVirtual(rreg)); in genReload_X86()
1736 vassert(mode64 == False); in genReload_X86()
1762 vassert(spill_off >= 0 && spill_off < 10000); /* let's say */ in directReload_X86()
1772 vassert(! sameHReg(i->Xin.Alu32R.dst, vreg)); in directReload_X86()
1810 vassert(! sameHReg(i->Xin.CMov32.dst, vreg)); in directReload_X86()
1837 vassert(hregClass(r) == HRcInt32); in iregEnc()
1838 vassert(!hregIsVirtual(r)); in iregEnc()
1840 vassert(n <= 7); in iregEnc()
1847 vassert(hregClass(r) == HRcFlt64); in fregEnc()
1848 vassert(!hregIsVirtual(r)); in fregEnc()
1850 vassert(n <= 5); in fregEnc()
1857 vassert(hregClass(r) == HRcVec128); in vregEnc()
1858 vassert(!hregIsVirtual(r)); in vregEnc()
1860 vassert(n <= 7); in vregEnc()
1866 vassert(mod < 4); in mkModRegRM()
1867 vassert((reg|regmem) < 8); in mkModRegRM()
1873 vassert(shift < 4); in mkSIB()
1874 vassert((regindex|regbase) < 8); in mkSIB()
1981 vassert(gregEnc < 8); in doAMode_M_enc()
2000 vassert(gregEnc < 8); in doAMode_R_enc_reg()
2006 vassert( (gregEnc|eregEnc) < 8); in doAMode_R_enc_enc()
2022 vassert(1 <= i && i <= 7); in do_fstp_st()
2031 vassert(0 <= i && i <= 6); in do_fld_st()
2094 vassert(0 == (tags & ~0xF)); in push_word_from_tags()
2106 vassert(0); /* awaiting test case */ in push_word_from_tags()
2137 vassert(nbuf >= 32); in emit_X86Instr()
2138 vassert(mode64 == False); in emit_X86Instr()
2381 vassert(i->Xin.Sh3232.op == Xsh_SHL || i->Xin.Sh3232.op == Xsh_SHR); in emit_X86Instr()
2452 vassert(disp_cp_chain_me_to_slowEP != NULL); in emit_X86Instr()
2453 vassert(disp_cp_chain_me_to_fastEP != NULL); in emit_X86Instr()
2492 vassert(delta > 0 && delta < 40); in emit_X86Instr()
2505 vassert(disp_cp_xindir != NULL); in emit_X86Instr()
2533 vassert(delta > 0 && delta < 40); in emit_X86Instr()
2583 vassert(trcval != 0); in emit_X86Instr()
2597 vassert(delta > 0 && delta < 40); in emit_X86Instr()
2604 vassert(i->Xin.CMov32.cond != Xcc_ALWAYS); in emit_X86Instr()
2809 vassert(! hregIsInvalid(swap)); in emit_X86Instr()
2953 case 2: vassert(0); opc = 0xDF; subopc_imm = 0; break; in emit_X86Instr()
3066 vassert(i->Xin.SseLdzLO.sz == 4 || i->Xin.SseLdzLO.sz == 8); in emit_X86Instr()
3287 vassert(p - p0 == 3); in emit_X86Instr()
3291 vassert(p - p0 == 5); in emit_X86Instr()
3296 vassert(p - p0 == 8); /* also ensures that 0x03 offset above is ok */ in emit_X86Instr()
3298 vassert(evCheckSzB_X86() == 8); in emit_X86Instr()
3318 vassert(!(*is_profInc)); in emit_X86Instr()
3333 vassert(p - &buf[0] <= 32); in emit_X86Instr()
3354 vassert(endness_host == VexEndnessLE); in chainXDirect_X86()
3364 vassert(p[0] == 0xBA); in chainXDirect_X86()
3365 vassert(read_misaligned_UInt_LE(&p[1]) in chainXDirect_X86()
3367 vassert(p[5] == 0xFF); in chainXDirect_X86()
3368 vassert(p[6] == 0xD2); in chainXDirect_X86()
3387 vassert(delta == 0LL || delta == -1LL); in chainXDirect_X86()
3400 vassert(endness_host == VexEndnessLE); in unchainXDirect_X86()
3421 vassert(valid); in unchainXDirect_X86()
3445 vassert(endness_host == VexEndnessLE); in patchProfInc_X86()
3446 vassert(sizeof(ULong*) == 4); in patchProfInc_X86()
3448 vassert(p[0] == 0x83); in patchProfInc_X86()
3449 vassert(p[1] == 0x05); in patchProfInc_X86()
3450 vassert(p[2] == 0x00); in patchProfInc_X86()
3451 vassert(p[3] == 0x00); in patchProfInc_X86()
3452 vassert(p[4] == 0x00); in patchProfInc_X86()
3453 vassert(p[5] == 0x00); in patchProfInc_X86()
3454 vassert(p[6] == 0x01); in patchProfInc_X86()
3455 vassert(p[7] == 0x83); in patchProfInc_X86()
3456 vassert(p[8] == 0x15); in patchProfInc_X86()
3457 vassert(p[9] == 0x00); in patchProfInc_X86()
3458 vassert(p[10] == 0x00); in patchProfInc_X86()
3459 vassert(p[11] == 0x00); in patchProfInc_X86()
3460 vassert(p[12] == 0x00); in patchProfInc_X86()
3461 vassert(p[13] == 0x00); in patchProfInc_X86()