Lines Matching refs:vassert
68 vassert(r >= 0 && r < 32);
73 vassert(r >= 0 && r < 32);
78 vassert(r >= 0 && r < 32);
83 vassert(r >= 0 && r < 32);
270 vassert(i == *nregs);
302 vassert(flag == Pcf_NONE);
304 vassert(flag != Pcf_NONE);
312 vassert(ct != Pct_ALWAYS);
321 vassert(idx >= -0x8000 && idx < 0x8000);
404 vassert(imm16 != 0x8000);
405 vassert(syned == True || syned == False);
521 vassert(simm5 >= -16 && simm5 <= 15);
528 vassert(hregClass(reg) == HRcVec128);
760 vassert( (Long)imm64 == (Long)(Int)(UInt)imm64 );
826 if (!hi) vassert(!syned);
851 vassert(0 == (argiregs & ~mask));
890 vassert(cond.test != Pct_ALWAYS);
900 vassert(sz == 1 || sz == 2 || sz == 4 || sz == 8);
901 if (sz == 8) vassert(mode64);
912 vassert(sz == 4 || sz == 8);
913 if (sz == 8) vassert(mode64);
923 vassert(sz == 1 || sz == 2 || sz == 4 || sz == 8);
924 if (sz == 8) vassert(mode64);
933 vassert(sz == 4 || sz == 8);
934 if (sz == 8) vassert(mode64);
996 vassert(sz == 4 || sz == 8);
1235 vassert(tmp == True || tmp == False); // iow, no high bits set
1262 vassert(cond.test != Pct_ALWAYS);
1409 vassert(cond.test != Pct_ALWAYS);
2217 vassert(0 == (argir & ~((1<<3)|(1<<4)|(1<<5)|(1<<6)
2851 vassert(!hregIsVirtual(rreg));
2856 vassert(mode64);
2860 vassert(!mode64);
2881 vassert(!hregIsVirtual(rreg));
2886 vassert(mode64);
2890 vassert(!mode64);
2912 vassert(hregClass(r) == mode64 ? HRcInt64 : HRcInt32);
2913 vassert(!hregIsVirtual(r));
2915 vassert(n <= 32);
2922 vassert(hregClass(fr) == HRcFlt64);
2923 vassert(!hregIsVirtual(fr));
2925 vassert(n <= 32);
2932 vassert(hregClass(v) == HRcVec128);
2933 vassert(!hregIsVirtual(v));
2935 vassert(n <= 32);
2968 vassert(opc1 < 0x40);
2969 vassert(r1 < 0x20);
2970 vassert(r2 < 0x20);
2980 vassert(opc1 < 0x40);
2981 vassert(r1 < 0x20);
2982 vassert(r2 < 0x20);
2983 vassert(imm1 < 0x40);
2984 vassert(imm2 < 0x40);
2985 vassert(opc2 < 0x08);
2997 vassert(opc1 < 0x40);
2998 vassert(r1 < 0x20);
2999 vassert(r2 < 0x20);
3000 vassert(r3 < 0x20);
3001 vassert(opc2 < 0x400);
3002 vassert(b0 < 0x2);
3012 vassert(opc1 < 0x40);
3013 vassert(r1 < 0x20);
3014 vassert(r2 < 0x20);
3015 vassert(r3 < 0x20);
3016 vassert(b10 < 0x2);
3017 vassert(opc2 < 0x200);
3018 vassert(b0 < 0x2);
3028 vassert(opc1 < 0x40);
3029 vassert(f1 < 0x20);
3030 vassert(f2 < 0x20);
3031 vassert(f3 < 0x20);
3032 vassert(opc2 < 0x400);
3033 vassert(b0 < 0x2);
3043 vassert(r1 < 0x20);
3044 vassert(f2 < 0x20);
3045 vassert(opc2 < 0x400);
3048 vassert(f2 < 0x100);
3054 vassert(f2 < 0x400);
3068 vassert(FM < 0x100);
3069 vassert(freg < 0x20);
3078 vassert(opc1 < 0x40);
3079 vassert(r1 < 0x20);
3080 vassert(r2 < 0x20);
3081 vassert(imm < 0x40);
3082 vassert(opc2 < 0x400);
3083 vassert(b0 < 0x2);
3095 vassert(LI < 0x1000000);
3096 vassert(AA < 0x2);
3097 vassert(LK < 0x2);
3108 vassert(BO < 0x20);
3109 vassert(BI < 0x20);
3110 vassert(BD < 0x4000);
3111 vassert(AA < 0x2);
3112 vassert(LK < 0x2);
3123 vassert(opc1 < 0x40);
3124 vassert(r1 < 0x20);
3125 vassert(r2 < 0x20);
3126 vassert(f3 < 0x20);
3127 vassert(MB < 0x20);
3128 vassert(ME < 0x20);
3129 vassert(Rc < 0x2);
3139 vassert(opc1 < 0x40);
3140 vassert(r1 < 0x20);
3141 vassert(r2 < 0x20);
3142 vassert(r3 < 0x20);
3143 vassert(r4 < 0x20);
3144 vassert(opc2 < 0x20);
3145 vassert(b0 < 0x2 );
3155 vassert(opc1 < 0x40);
3156 vassert(r1 < 0x20);
3157 vassert(r2 < 0x20);
3158 vassert(constant < 0x40); /* 6 bit constant */
3159 vassert(opc2 < 0x200); /* 9 bit field */
3160 vassert(b0 < 0x2);
3170 vassert(opc1 < 0x40);
3171 vassert(r1 < 0x20);
3172 vassert(r2 < 0x20);
3173 vassert(r3 < 0x20);
3174 vassert(rmc < 0x4);
3175 vassert(opc2 < 0x100);
3176 vassert(b0 < 0x2);
3186 vassert(am->tag == Pam_IR);
3187 vassert(am->Pam.IR.index < 0x10000);
3193 vassert(mode64);
3196 vassert(0 == (idx & 3));
3206 vassert(am->tag == Pam_RR);
3219 vassert(r_dst < 0x20);
3246 vassert(mode64);
3281 vassert(r_dst < 0x20);
3326 vassert(r_dst < 0x20);
3344 vassert(p == (UChar*)&expect[2]);
3371 vassert(p == (UChar*)&expect[5]);
3393 vassert(0 == (am->Pam.IR.index & 3));
3396 case 4: opc1 = 32; vassert(!mode64); break;
3397 case 8: opc1 = 58; vassert(mode64); break;
3398 default: vassert(0);
3405 vassert(0);
3407 vassert(0);
3414 vassert(0 == (am->Pam.IR.index & 3));
3417 case 4: opc1 = 36; vassert(!mode64); break;
3418 case 8: opc1 = 62; vassert(mode64); break;
3419 default: vassert(0);
3426 vassert(0);
3428 vassert(0);
3445 vassert(0 == (am->Pam.IR.index & 3));
3453 vassert(0);
3455 vassert(0);
3462 vassert(0 == (am->Pam.IR.index & 3));
3470 vassert(0);
3472 vassert(0);
3481 vassert(r_dst < 0x20);
3482 vassert(r_src < 0x20);
3495 vassert(opc1 < 0x40);
3496 vassert(r1 < 0x20);
3497 vassert(r2 < 0x20);
3498 vassert(r3 < 0x20);
3499 vassert(opc2 < 0x800);
3508 vassert(opc1 < 0x40);
3509 vassert(r1 < 0x20);
3510 vassert(r2 < 0x20);
3511 vassert(r3 < 0x20);
3512 vassert(Rc < 0x2);
3513 vassert(opc2 < 0x400);
3523 vassert(opc1 < 0x40);
3524 vassert(r1 < 0x20);
3525 vassert(r2 < 0x20);
3526 vassert(r3 < 0x20);
3527 vassert(r4 < 0x20);
3528 vassert(opc2 < 0x40);
3551 vassert(nbuf >= 32);
3576 vassert(srcR->Prh.Imm.syned);
3577 vassert(srcR->Prh.Imm.imm16 != 0x8000);
3588 vassert(srcR->Prh.Imm.syned);
3589 vassert(srcR->Prh.Imm.imm16 != 0x8000);
3600 vassert(!srcR->Prh.Imm.syned);
3611 vassert(!srcR->Prh.Imm.syned);
3622 vassert(!srcR->Prh.Imm.syned);
3645 vassert(sz32);
3656 vassert(!srcR->Prh.Imm.syned);
3657 vassert(n > 0 && n < 32);
3670 vassert(!srcR->Prh.Imm.syned);
3671 vassert(n > 0 && n < 64);
3688 vassert(!srcR->Prh.Imm.syned);
3689 vassert(n > 0 && n < 32);
3702 vassert(!srcR->Prh.Imm.syned);
3703 vassert(n > 0 && n < 64);
3717 vassert(!srcR->Prh.Imm.syned);
3722 vassert(n >= 0 && n < 32);
3724 vassert(n > 0 && n < 32);
3734 vassert(!srcR->Prh.Imm.syned);
3735 vassert(n > 0 && n < 64);
3781 vassert(sz32);
3787 vassert(syned == srcR->Prh.Imm.syned);
3790 vassert(imm_srcR != 0x8000);
3824 vassert(mode64);
3828 vassert(mode64);
3844 vassert(sz32);
3861 vassert(!i->Pin.MulL.syned);
3878 vassert(sz32);
3938 vassert(delta >= 16 && delta <= 32);
3952 vassert(disp_cp_chain_me_to_slowEP != NULL);
3953 vassert(disp_cp_chain_me_to_fastEP != NULL);
3960 vassert(i->Pin.XDirect.cond.flag != Pcf_NONE);
3964 vassert(i->Pin.XDirect.cond.flag == Pcf_NONE);
3969 if (!mode64) vassert(0 == (((ULong)i->Pin.XDirect.dstGA) >> 32));
3997 vassert(delta >= 16 && delta <= 64 && 0 == (delta & 3));
4012 vassert(disp_cp_xindir != NULL);
4019 vassert(i->Pin.XIndir.cond.flag != Pcf_NONE);
4023 vassert(i->Pin.XIndir.cond.flag == Pcf_NONE);
4044 vassert(delta >= 16 && delta <= 32 && 0 == (delta & 3));
4058 vassert(i->Pin.XAssisted.cond.flag != Pcf_NONE);
4062 vassert(i->Pin.XAssisted.cond.flag == Pcf_NONE);
4098 vassert(trcval != 0);
4112 vassert(delta >= 16 && delta <= 32 && 0 == (delta & 3));
4124 vassert(i->Pin.CMov.cond.test != Pct_ALWAYS);
4154 vassert(delta >= 8 && delta <= 24);
4170 vassert(0 == (am_addr->Pam.IR.index & 3));
4176 case 8: opc1 = 58; vassert(mode64); break;
4186 case 8: opc2 = 21; vassert(mode64); break;
4221 vassert(cond.flag != Pcf_NONE);
4260 vassert(0 == (am_addr->Pam.IR.index & 3));
4266 case 8: vassert(mode64);
4278 case 8: vassert(mode64);
4410 vassert(sz == 4 || sz == 8);
4499 vassert(cc.test != Pct_ALWAYS);
4523 vassert(crfD < 8);
4549 vassert(sz == 1 || sz == 2 || sz == 4 || sz == 16);
4875 vassert(shift <= 0xF);
4884 vassert(sz == 8 || sz == 16 || sz == 32);
4891 vassert(simm5 >= -16 && simm5 <= 15);
4898 vassert(hregClass(i->Pin.AvSplat.src->Pvi.Reg) == HRcVec128);
4913 vassert(cc.test != Pct_ALWAYS);
5336 vassert(crfD < 8);
5356 vassert(crfD < 8);
5411 vassert(evCheckSzB_PPC() == (UChar*)p - (UChar*)p0);
5452 vassert(!(*is_profInc));
5468 vassert(p - &buf[0] <= 64);
5499 vassert(0 == (3 & (HWord)p));
5500 vassert(isLoadImm_EXACTLY2or5(p, /*r*/30,
5503 vassert(fetch32(p + (mode64 ? 20 : 8) + 0) == 0x7FC903A6);
5504 vassert(fetch32(p + (mode64 ? 20 : 8) + 4) == 0x4E800421);
5521 vassert(len == (mode64 ? 28 : 16)); /* stay sane */
5544 vassert(0 == (3 & (HWord)p));
5545 vassert(isLoadImm_EXACTLY2or5(p, /*r*/30,
5548 vassert(fetch32(p + (mode64 ? 20 : 8) + 0) == 0x7FC903A6);
5549 vassert(fetch32(p + (mode64 ? 20 : 8) + 4) == 0x4E800420);
5566 vassert(len == (mode64 ? 28 : 16)); /* stay sane */
5579 vassert(0 == (3 & (HWord)p));
5583 vassert(isLoadImm_EXACTLY2or5(p, /*r*/30,
5585 vassert(fetch32(p + 20) == 0xEBBE0000);
5586 vassert(fetch32(p + 24) == 0x3BBD0001);
5587 vassert(fetch32(p + 28) == 0xFBBE0000);
5592 vassert(len == 20);
5594 vassert(isLoadImm_EXACTLY2or5(p, /*r*/30,
5596 vassert(fetch32(p + 8) == 0x83BE0004);
5597 vassert(fetch32(p + 12) == 0x37BD0001);
5598 vassert(fetch32(p + 16) == 0x93BE0004);
5599 vassert(fetch32(p + 20) == 0x83BE0000);
5600 vassert(fetch32(p + 24) == 0x7FBD0194);
5601 vassert(fetch32(p + 28) == 0x93BE0000);
5606 vassert(len == 8);
