Lines Matching refs:vassert
195 vassert(tmp >= 0); in lookupIRTemp()
196 vassert(tmp < env->n_vregmap); in lookupIRTemp()
202 vassert(tmp >= 0); in lookupIRTemp64()
203 vassert(tmp < env->n_vregmap); in lookupIRTemp64()
204 vassert(! hregIsInvalid(env->vregmapHI[tmp])); in lookupIRTemp64()
291 vassert(hregClass(src) == HRcInt32); in mk_iMOVsd_RR()
292 vassert(hregClass(dst) == HRcInt32); in mk_iMOVsd_RR()
301 vassert(hregClass(src) == HRcVec128); in mk_vMOVsd_RR()
302 vassert(hregClass(dst) == HRcVec128); in mk_vMOVsd_RR()
310 vassert(n > 0 && n < 256 && (n%4) == 0); in add_to_esp()
317 vassert(n > 0 && n < 256 && (n%4) == 0); in sub_from_esp()
350 vassert(0); //ATC in pushArg()
351 vassert(!hregIsInvalid(r_vecRetAddr)); in pushArg()
388 vassert(sizeof(void*) == 4); in callHelperAndClearArgs()
504 vassert(cee->regparms >= 0 && cee->regparms <= 3); in doHelperCall()
519 vassert(nBBPTRs == 0 || nBBPTRs == 1); in doHelperCall()
525 vassert(retTy == Ity_V128 || retTy == Ity_V256); in doHelperCall()
526 vassert(retTy != Ity_V256); // we don't handle that yet (if ever) in doHelperCall()
532 vassert(retTy != Ity_V128 && retTy != Ity_V256); in doHelperCall()
533 vassert(nVECRETs == 0); in doHelperCall()
587 vassert(argreg >= 0); in doHelperCall()
589 vassert(0); //ATC in doHelperCall()
592 vassert(0); //ATC in doHelperCall()
594 vassert(typeOfIRExpr(env->type_env, arg) == Ity_I32); in doHelperCall()
601 vassert(argregX >= 0); in doHelperCall()
611 vassert(argreg >= 0); in doHelperCall()
613 vassert(!hregIsInvalid(r_vecRetAddr)); in doHelperCall()
619 vassert(0); //ATC in doHelperCall()
621 vassert(typeOfIRExpr(env->type_env, arg) == Ity_I32); in doHelperCall()
635 vassert(not_done_yet == 0); in doHelperCall()
656 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
657 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
674 vassert(0); // ATC in doHelperCall()
681 vassert(0); in doHelperCall()
845 vassert(hregClass(r) == HRcInt32); in iselIntExpr_R()
846 vassert(hregIsVirtual(r)); in iselIntExpr_R()
856 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_R_wrk()
1022 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in iselIntExpr_R_wrk()
1024 vassert(nshift >= 0); in iselIntExpr_R_wrk()
1139 vassert(sz == 4); in iselIntExpr_R_wrk()
1221 vassert(e->Iex.Unop.arg->Iex.Get.ty == Ity_I8); in iselIntExpr_R_wrk()
1235 vassert(e->Iex.Unop.arg->Iex.Get.ty == Ity_I16); in iselIntExpr_R_wrk()
1463 vassert(ty == e->Iex.CCall.retty); in iselIntExpr_R_wrk()
1476 vassert(is_sane_RetLoc(rloc)); in iselIntExpr_R_wrk()
1477 vassert(rloc.pri == RLPri_Int); in iselIntExpr_R_wrk()
1478 vassert(addToSp == 0); in iselIntExpr_R_wrk()
1552 vassert(sane_AMode(am)); in iselIntExpr_AMode()
1560 vassert(ty == Ity_I32); in iselIntExpr_AMode_wrk()
1632 vassert(hregClass(rmi->Xrmi.Reg.reg) == HRcInt32); in iselIntExpr_RMI()
1633 vassert(hregIsVirtual(rmi->Xrmi.Reg.reg)); in iselIntExpr_RMI()
1636 vassert(sane_AMode(rmi->Xrmi.Mem.am)); in iselIntExpr_RMI()
1647 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_RMI_wrk()
1695 vassert(hregClass(ri->Xri.Reg.reg) == HRcInt32); in iselIntExpr_RI()
1696 vassert(hregIsVirtual(ri->Xri.Reg.reg)); in iselIntExpr_RI()
1707 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_RI_wrk()
1740 vassert(hregClass(rm->Xrm.Reg.reg) == HRcInt32); in iselIntExpr_RM()
1741 vassert(hregIsVirtual(rm->Xrm.Reg.reg)); in iselIntExpr_RM()
1744 vassert(sane_AMode(rm->Xrm.Mem.am)); in iselIntExpr_RM()
1755 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_RM_wrk()
1790 vassert(e); in iselCondCode_wrk()
1791 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
1804 vassert(e->Iex.Const.con->tag == Ico_U1); in iselCondCode_wrk()
1805 vassert(e->Iex.Const.con->Ico.U1 == True in iselCondCode_wrk()
1993 vassert(cal->Iex.CCall.retty == Ity_I32); /* else ill-typed IR */ in iselCondCode_wrk()
1994 vassert(con->Iex.Const.con->tag == Ico_U32); in iselCondCode_wrk()
2001 vassert(is_sane_RetLoc(rloc)); in iselCondCode_wrk()
2002 vassert(rloc.pri == RLPri_Int); in iselCondCode_wrk()
2003 vassert(addToSp == 0); in iselCondCode_wrk()
2078 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
2079 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
2080 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
2081 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
2089 vassert(e); in iselInt64Expr_wrk()
2090 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
2099 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
2124 vassert(e->Iex.Load.ty == Ity_I64); in iselInt64Expr_wrk()
2259 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
2850 vassert(is_sane_RetLoc(rloc)); in iselInt64Expr_wrk()
2851 vassert(rloc.pri == RLPri_2Int); in iselInt64Expr_wrk()
2852 vassert(addToSp == 0); in iselInt64Expr_wrk()
2880 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
2881 vassert(hregIsVirtual(r)); in iselFltExpr()
2889 vassert(ty == Ity_F32); in iselFltExpr_wrk()
2898 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
2997 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
2998 vassert(hregIsVirtual(r)); in iselDblExpr()
3006 vassert(e); in iselDblExpr_wrk()
3007 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3016 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
3017 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
3018 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
3019 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
3041 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
3248 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
3249 vassert(hregIsVirtual(r)); in iselVecExpr()
3277 vassert(e); in iselVecExpr_wrk()
3278 vassert(ty == Ity_V128); in iselVecExpr_wrk()
3306 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
3740 vassert(fn != 0); in iselVecExpr_wrk()
4111 vassert(is_sane_RetLoc(rloc)); in iselStmt()
4117 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
4118 vassert(rloc.pri == RLPri_None); in iselStmt()
4119 vassert(addToSp == 0); in iselStmt()
4125 vassert(rloc.pri == RLPri_Int); in iselStmt()
4126 vassert(addToSp == 0); in iselStmt()
4134 vassert(rloc.pri == RLPri_2Int); in iselStmt()
4135 vassert(addToSp == 0); in iselStmt()
4147 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
4148 vassert(addToSp >= 16); in iselStmt()
4157 vassert(0); in iselStmt()
4185 vassert(cas->expdHi == NULL); in iselStmt()
4186 vassert(cas->dataHi == NULL); in iselStmt()
4333 vassert(cdst->tag == Ico_U32); in iselNext()
4410 vassert(0); // are we expecting any other kind? in iselNext()
4437 vassert(arch_host == VexArchX86); in iselSB_X86()
4438 vassert(0 == (hwcaps_host in iselSB_X86()
4446 vassert(archinfo_host->endness == VexEndnessLE); in iselSB_X86()