Lines Matching refs:vassert
195 vassert(tmp >= 0);
196 vassert(tmp < env->n_vregmap);
202 vassert(tmp >= 0);
203 vassert(tmp < env->n_vregmap);
204 vassert(env->vregmapHI[tmp] != INVALID_HREG);
291 vassert(hregClass(src) == HRcInt32);
292 vassert(hregClass(dst) == HRcInt32);
301 vassert(hregClass(src) == HRcVec128);
302 vassert(hregClass(dst) == HRcVec128);
310 vassert(n > 0 && n < 256 && (n%4) == 0);
317 vassert(n > 0 && n < 256 && (n%4) == 0);
374 vassert(sizeof(void*) == 4);
462 vassert(cee->regparms >= 0 && cee->regparms <= 3);
520 vassert(argreg >= 0);
521 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
527 vassert(argregX >= 0);
536 vassert(argreg >= 0);
537 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
548 vassert(argreg == 1);
566 vassert(not_done_yet == 0);
745 vassert(hregClass(r) == HRcInt32);
746 vassert(hregIsVirtual(r));
756 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
922 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8);
924 vassert(nshift >= 0);
1039 vassert(sz == 4);
1121 vassert(e->Iex.Unop.arg->Iex.Get.ty == Ity_I8);
1135 vassert(e->Iex.Unop.arg->Iex.Get.ty == Ity_I16);
1345 vassert(ty == e->Iex.CCall.retty);
1429 vassert(sane_AMode(am));
1437 vassert(ty == Ity_I32);
1509 vassert(hregClass(rmi->Xrmi.Reg.reg) == HRcInt32);
1510 vassert(hregIsVirtual(rmi->Xrmi.Reg.reg));
1513 vassert(sane_AMode(rmi->Xrmi.Mem.am));
1524 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
1572 vassert(hregClass(ri->Xri.Reg.reg) == HRcInt32);
1573 vassert(hregIsVirtual(ri->Xri.Reg.reg));
1584 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
1617 vassert(hregClass(rm->Xrm.Reg.reg) == HRcInt32);
1618 vassert(hregIsVirtual(rm->Xrm.Reg.reg));
1621 vassert(sane_AMode(rm->Xrm.Mem.am));
1632 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
1667 vassert(e);
1668 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1681 vassert(e->Iex.Const.con->tag == Ico_U1);
1682 vassert(e->Iex.Const.con->Ico.U1 == True
1866 vassert(cal->Iex.CCall.retty == Ity_I32); /* else ill-typed IR */
1867 vassert(con->Iex.Const.con->tag == Ico_U32);
1941 vassert(hregClass(*rHi) == HRcInt32);
1942 vassert(hregIsVirtual(*rHi));
1943 vassert(hregClass(*rLo) == HRcInt32);
1944 vassert(hregIsVirtual(*rLo));
1952 vassert(e);
1953 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
1962 vassert(e->Iex.Const.con->tag == Ico_U64);
1987 vassert(e->Iex.Load.ty == Ity_I64);
2165 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U64);
2775 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */
2776 vassert(hregIsVirtual(r));
2784 vassert(ty == Ity_F32);
2793 vassert(e->Iex.Load.ty == Ity_F32);
2892 vassert(hregClass(r) == HRcFlt64);
2893 vassert(hregIsVirtual(r));
2901 vassert(e);
2902 vassert(ty == Ity_F64);
2911 vassert(sizeof(u) == 8);
2912 vassert(sizeof(u.u64) == 8);
2913 vassert(sizeof(u.f64) == 8);
2914 vassert(sizeof(u.u32x2) == 8);
2936 vassert(e->Iex.Load.ty == Ity_F64);
3139 vassert(hregClass(r) == HRcVec128);
3140 vassert(hregIsVirtual(r));
3167 vassert(e);
3168 vassert(ty == Ity_V128);
3196 vassert(e->Iex.Const.con->tag == Ico_V128);
3638 vassert(fn != 0);
3945 vassert(!d->needsBBP);
4000 vassert(cas->expdHi == NULL);
4001 vassert(cas->dataHi == NULL);
4145 vassert(cdst->tag == Ico_U32);
4219 vassert(0); // are we expecting any other kind?
4246 vassert(arch_host == VexArchX86);
4247 vassert(0 == (hwcaps_host
4252 vassert(sizeof(max_ga) == 8);
4253 vassert((max_ga >> 32) == 0);
