Lines Matching refs:vassert
132 vassert(tmp < env->n_vregmap); in lookupIRTemp()
138 vassert(tmp < env->n_vregmap); in lookupIRTemp64()
139 vassert(! hregIsInvalid(env->vregmapHI[tmp])); in lookupIRTemp64()
147 vassert(env->mode64); in lookupIRTempPair()
148 vassert(tmp < env->n_vregmap); in lookupIRTempPair()
149 vassert(! hregIsInvalid(env->vregmapHI[tmp])); in lookupIRTempPair()
190 vassert(n < 256 && (n % 8) == 0); in add_to_sp()
202 vassert(n < 256 && (n % 8) == 0); in sub_from_sp()
322 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
323 vassert(hregClass(r_src) == HRcInt32 || hregClass(r_src) == HRcInt64); in mk_iMOVds_RR()
354 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
355 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
509 vassert(argreg < MIPS_N_REGPARMS); in doHelperCall()
533 vassert(0); // ATC in doHelperCall()
539 vassert(0); in doHelperCall()
549 vassert(argreg < MIPS_N_REGPARMS); in doHelperCall()
563 vassert(0); /* out of argregs */ in doHelperCall()
576 vassert(0); in doHelperCall()
607 vassert(nGSPTRs == 0 || nGSPTRs == 1); in doHelperCall()
608 vassert(nVECRETs == ((retTy == Ity_V128 || retTy == Ity_V256) ? 1 : 0)); in doHelperCall()
609 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
610 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
623 vassert(0); // ATC in doHelperCall()
628 vassert(0); // ATC in doHelperCall()
635 vassert(0); in doHelperCall()
702 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
713 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
733 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
782 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
783 vassert(hregIsVirtual(r)); in iselWordExpr_R()
792 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I1 in iselWordExpr_R_wrk()
926 vassert(0); in iselWordExpr_R_wrk()
949 vassert(mode64); in iselWordExpr_R_wrk()
1256 vassert(mode64); in iselWordExpr_R_wrk()
1277 vassert(mode64); in iselWordExpr_R_wrk()
1417 vassert(0); in iselWordExpr_R_wrk()
1462 vassert(mode64); in iselWordExpr_R_wrk()
1509 vassert(mode64); in iselWordExpr_R_wrk()
1540 vassert(mode64); in iselWordExpr_R_wrk()
1546 vassert(mode64); in iselWordExpr_R_wrk()
1552 vassert(mode64); in iselWordExpr_R_wrk()
1557 vassert(0); in iselWordExpr_R_wrk()
1568 vassert(mode64); in iselWordExpr_R_wrk()
1603 vassert(env->mode64); in iselWordExpr_R_wrk()
1612 vassert(mode64); in iselWordExpr_R_wrk()
1673 vassert(mode64); in iselWordExpr_R_wrk()
1701 vassert(env->mode64); in iselWordExpr_R_wrk()
1714 vassert(mode64); in iselWordExpr_R_wrk()
1721 vassert(mode64); in iselWordExpr_R_wrk()
1834 vassert(ty == e->Iex.CCall.retty); in iselWordExpr_R_wrk()
1848 vassert(is_sane_RetLoc(rloc)); in iselWordExpr_R_wrk()
1849 vassert(rloc.pri == RLPri_Int); in iselWordExpr_R_wrk()
1850 vassert(addToSp == 0); in iselWordExpr_R_wrk()
1884 vassert(ri->Mrh.Imm.syned == syned); in iselWordExpr_RH()
1886 vassert(ri->Mrh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
1889 vassert(hregClass(ri->Mrh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
1890 vassert(hregIsVirtual(ri->Mrh.Reg.reg)); in iselWordExpr_RH()
1903 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || in iselWordExpr_RH_wrk()
1913 vassert(env->mode64); in iselWordExpr_RH_wrk()
1955 vassert(ri->Mrh.Imm.imm16 >= 1 && ri->Mrh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
1956 vassert(!ri->Mrh.Imm.syned); in iselWordExpr_RH5u()
1959 vassert(hregClass(ri->Mrh.Reg.reg) == HRcInt32); in iselWordExpr_RH5u()
1960 vassert(hregIsVirtual(ri->Mrh.Reg.reg)); in iselWordExpr_RH5u()
1971 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
1994 vassert(ri->Mrh.Imm.imm16 >= 1 && ri->Mrh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
1995 vassert(!ri->Mrh.Imm.syned); in iselWordExpr_RH6u()
1998 vassert(hregClass(ri->Mrh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
1999 vassert(hregIsVirtual(ri->Mrh.Reg.reg)); in iselWordExpr_RH6u()
2010 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2034 vassert(cc != MIPScc_NV); in iselCondCode()
2041 vassert(e); in iselCondCode_wrk()
2042 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1); in iselCondCode_wrk()
2171 vassert(env->mode64); in iselInt128Expr()
2173 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
2174 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
2175 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
2176 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
2183 vassert(e); in iselInt128Expr_wrk()
2184 vassert(typeOfIRExpr(env->type_env, e) == Ity_I128); in iselInt128Expr_wrk()
2236 vassert(mode64); in iselInt128Expr_wrk()
2272 vassert(!env->mode64); in iselInt64Expr()
2274 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
2275 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
2276 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
2277 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
2283 vassert(e); in iselInt64Expr_wrk()
2284 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64); in iselInt64Expr_wrk()
2310 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
2343 vassert(typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1); in iselInt64Expr_wrk()
2983 vassert(hregIsVirtual(r)); in iselFltExpr()
2991 vassert(ty == Ity_F32 || (ty == Ity_F64 && fp_mode64)); in iselFltExpr_wrk()
2998 vassert(e->Iex.Load.ty == Ity_F32 in iselFltExpr_wrk()
3039 vassert(fp_mode64); in iselFltExpr_wrk()
3063 vassert(fp_mode64); in iselFltExpr_wrk()
3094 vassert(mode64); in iselFltExpr_wrk()
3101 vassert(mode64); in iselFltExpr_wrk()
3108 vassert(mode64); in iselFltExpr_wrk()
3115 vassert(mode64); in iselFltExpr_wrk()
3146 vassert(fp_mode64); in iselFltExpr_wrk()
3153 vassert(fp_mode64); in iselFltExpr_wrk()
3160 vassert(fp_mode64); in iselFltExpr_wrk()
3167 vassert(fp_mode64); in iselFltExpr_wrk()
3171 vassert(0); in iselFltExpr_wrk()
3339 vassert(0); in iselFltExpr_wrk()
3401 vassert(typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1); in iselFltExpr_wrk()
3422 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
3423 vassert(hregIsVirtual(r)); in iselDblExpr()
3431 vassert(e); in iselDblExpr_wrk()
3432 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3442 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
3468 vassert(!mode64); in iselDblExpr_wrk()
3485 vassert(!mode64); in iselDblExpr_wrk()
3567 vassert(0); in iselDblExpr_wrk()
3600 vassert(0); in iselDblExpr_wrk()
3840 vassert(is_sane_RetLoc(rloc)); in iselStmt()
3846 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
3847 vassert(rloc.pri == RLPri_None); in iselStmt()
3848 vassert(addToSp == 0); in iselStmt()
3858 vassert(rloc.pri == RLPri_Int); in iselStmt()
3859 vassert(addToSp == 0); in iselStmt()
3868 vassert(rloc.pri == RLPri_Int); in iselStmt()
3869 vassert(addToSp == 0); in iselStmt()
3888 vassert(0); in iselStmt()
3889 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
3890 vassert(addToSp >= 16); in iselStmt()
3900 vassert(0); in iselStmt()
4080 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
4156 vassert(0); /* are we expecting any other kind? */ in iselNext()
4181 vassert(arch_host == VexArchMIPS32 || arch_host == VexArchMIPS64); in iselSB_MIPS()
4182 vassert(VEX_PRID_COMP_MIPS == VEX_MIPS_COMP_ID(hwcaps_host) in iselSB_MIPS()
4190 vassert(archinfo_host->endness == VexEndnessLE in iselSB_MIPS()
4247 vassert(mode64); in iselSB_MIPS()