Lines Matching refs:vassert
131 vassert(tmp >= 0); in lookupIRTemp()
132 vassert(tmp < env->n_vregmap); in lookupIRTemp()
138 vassert(tmp >= 0); in lookupIRTemp64()
139 vassert(tmp < env->n_vregmap); in lookupIRTemp64()
140 vassert(env->vregmapHI[tmp] != INVALID_HREG); in lookupIRTemp64()
148 vassert(env->mode64); in lookupIRTempPair()
149 vassert(tmp >= 0); in lookupIRTempPair()
150 vassert(tmp < env->n_vregmap); in lookupIRTempPair()
151 vassert(env->vregmapHI[tmp] != INVALID_HREG); in lookupIRTempPair()
191 vassert(n < 256 && (n % 8) == 0); in add_to_sp()
199 vassert(n < 256 && (n % 8) == 0); in sub_from_sp()
310 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
311 vassert(hregClass(r_src) == HRcInt32 || hregClass(r_src) == HRcInt64); in mk_iMOVds_RR()
342 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
343 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
445 vassert(argreg < MIPS_N_REGPARMS); in doHelperCall()
446 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 in doHelperCall()
453 vassert(mode64); in doHelperCall()
474 vassert(argreg < MIPS_N_REGPARMS); in doHelperCall()
475 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 in doHelperCall()
480 vassert(mode64); in doHelperCall()
569 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
579 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
628 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
629 vassert(hregIsVirtual(r)); in iselWordExpr_R()
637 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I1 in iselWordExpr_R_wrk()
762 vassert(mode64); in iselWordExpr_R_wrk()
1028 vassert(mode64); in iselWordExpr_R_wrk()
1115 vassert(0); in iselWordExpr_R_wrk()
1165 vassert(mode64); in iselWordExpr_R_wrk()
1188 vassert(mode64); in iselWordExpr_R_wrk()
1228 vassert(mode64); in iselWordExpr_R_wrk()
1241 vassert(mode64); in iselWordExpr_R_wrk()
1250 vassert(mode64); in iselWordExpr_R_wrk()
1266 vassert(env->mode64); in iselWordExpr_R_wrk()
1275 vassert(mode64); in iselWordExpr_R_wrk()
1363 vassert(env->mode64); in iselWordExpr_R_wrk()
1376 vassert(mode64); in iselWordExpr_R_wrk()
1383 vassert(mode64); in iselWordExpr_R_wrk()
1473 vassert(ty == e->Iex.CCall.retty); in iselWordExpr_R_wrk()
1515 vassert(ri->Mrh.Imm.syned == syned); in iselWordExpr_RH()
1517 vassert(ri->Mrh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
1520 vassert(hregClass(ri->Mrh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
1521 vassert(hregIsVirtual(ri->Mrh.Reg.reg)); in iselWordExpr_RH()
1534 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || in iselWordExpr_RH_wrk()
1544 vassert(env->mode64); in iselWordExpr_RH_wrk()
1586 vassert(ri->Mrh.Imm.imm16 >= 1 && ri->Mrh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
1587 vassert(!ri->Mrh.Imm.syned); in iselWordExpr_RH5u()
1590 vassert(hregClass(ri->Mrh.Reg.reg) == HRcInt32); in iselWordExpr_RH5u()
1591 vassert(hregIsVirtual(ri->Mrh.Reg.reg)); in iselWordExpr_RH5u()
1602 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
1624 vassert(cc != MIPScc_NV); in iselCondCode()
1631 vassert(e); in iselCondCode_wrk()
1632 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1); in iselCondCode_wrk()
1754 vassert(env->mode64); in iselInt128Expr()
1761 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
1762 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
1763 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
1764 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
1771 vassert(e); in iselInt128Expr_wrk()
1772 vassert(typeOfIRExpr(env->type_env, e) == Ity_I128); in iselInt128Expr_wrk()
1824 vassert(mode64); in iselInt128Expr_wrk()
1860 vassert(!env->mode64); in iselInt64Expr()
1862 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
1863 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
1864 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
1865 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
1871 vassert(e); in iselInt64Expr_wrk()
1872 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64); in iselInt64Expr_wrk()
1898 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
2169 vassert(hregIsVirtual(r)); in iselFltExpr()
2177 vassert(ty == Ity_F32 || (ty == Ity_F64 && mode64)); in iselFltExpr_wrk()
2186 vassert(e->Iex.Load.ty == Ity_F32 in iselFltExpr_wrk()
2244 vassert(mode64); in iselFltExpr_wrk()
2310 vassert(0); in iselFltExpr_wrk()
2436 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
2437 vassert(hregIsVirtual(r)); in iselDblExpr()
2445 vassert(e); in iselDblExpr_wrk()
2446 vassert(ty == Ity_F64); in iselDblExpr_wrk()
2456 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
2599 vassert(0); in iselDblExpr_wrk()
2642 vassert(0); in iselDblExpr_wrk()
2883 vassert(!d->needsBBP); in iselStmt()
3070 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
3143 vassert(0); // are we expecting any other kind? in iselNext()
3168 vassert(arch_host == VexArchMIPS32); in iselSB_MIPS()
3169 vassert(VEX_PRID_COMP_MIPS == hwcaps_host in iselSB_MIPS()
3216 vassert(mode64); in iselSB_MIPS()