Lines Matching refs:vassert
298 vassert(tmp >= 0); in lookupIRTemp()
299 vassert(tmp < env->n_vregmap); in lookupIRTemp()
306 vassert(tmp >= 0); in lookupIRTempPair()
307 vassert(tmp < env->n_vregmap); in lookupIRTempPair()
308 vassert(env->vregmapMedLo[tmp] != INVALID_HREG); in lookupIRTempPair()
317 vassert(!env->mode64); in lookupIRTempQuad()
318 vassert(tmp >= 0); in lookupIRTempQuad()
319 vassert(tmp < env->n_vregmap); in lookupIRTempQuad()
320 vassert(env->vregmapMedLo[tmp] != INVALID_HREG); in lookupIRTempQuad()
474 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
475 vassert(hregClass(r_src) == HRcInt32 || in mk_iMOVds_RR()
485 vassert(n < 256 && (n%16) == 0); in add_to_sp()
493 vassert(n < 256 && (n%16) == 0); in sub_from_sp()
528 vassert(!env->mode64); in mk_LoadRR32toFPR()
529 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
530 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
553 vassert(env->mode64); in mk_LoadR64toFPR()
554 vassert(hregClass(r_src) == HRcInt64); in mk_LoadR64toFPR()
805 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
806 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 || in doHelperCall()
819 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
852 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
853 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 || in doHelperCall()
863 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
954 vassert(hregClass(r_rmIR) == HRcGPR(env->mode64)); in roundModeIRtoPPC()
1010 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32); in _set_FPU_rounding_mode()
1018 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32); in _set_FPU_rounding_mode()
1105 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in mk_AvDuplicateRI()
1182 vassert(hregClass(vSrc) == HRcVec128); in isNan()
1230 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
1231 vassert(hregIsVirtual(r)); in iselWordExpr_R()
1243 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_R_wrk()
1349 vassert(0); /* AWAITING TEST CASE */ in iselWordExpr_R_wrk()
1355 vassert(mode64); in iselWordExpr_R_wrk()
1392 vassert(mode64); in iselWordExpr_R_wrk()
1463 vassert(mode64); in iselWordExpr_R_wrk()
1489 vassert(mode64); in iselWordExpr_R_wrk()
1688 vassert(mode64); in iselWordExpr_R_wrk()
1716 vassert(mode64); in iselWordExpr_R_wrk()
1728 vassert(mode64); in iselWordExpr_R_wrk()
1740 if (op_unop == Iop_Not64) vassert(mode64); in iselWordExpr_R_wrk()
2099 vassert(ty == Ity_I32); in iselWordExpr_R_wrk()
2225 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
2245 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
2271 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
2315 vassert(ri->Prh.Imm.syned == syned); in iselWordExpr_RH()
2317 vassert(ri->Prh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
2320 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
2321 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH()
2334 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RH_wrk()
2343 case Ico_U64: vassert(env->mode64); in iselWordExpr_RH_wrk()
2380 vassert(hregClass(ri->Pri.Reg) == HRcGPR(env->mode64)); in iselWordExpr_RI()
2381 vassert(hregIsVirtual(ri->Pri.Reg)); in iselWordExpr_RI()
2393 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RI_wrk()
2400 case Ico_U64: vassert(env->mode64); in iselWordExpr_RI_wrk()
2424 vassert(!env->mode64); in iselWordExpr_RH5u()
2429 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
2430 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH5u()
2433 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH5u()
2434 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH5u()
2445 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
2469 vassert(env->mode64); in iselWordExpr_RH6u()
2474 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
2475 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH6u()
2478 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
2479 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH6u()
2490 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2520 vassert(e); in iselCondCode_wrk()
2521 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
2645 vassert(env->mode64); in iselCondCode_wrk()
2690 vassert(env->mode64); in iselInt128Expr()
2695 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
2696 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
2697 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
2698 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
2705 vassert(e); in iselInt128Expr_wrk()
2706 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_wrk()
2769 vassert(!env->mode64); in iselInt128Expr_to_32x4()
2774 vassert(hregClass(*rHi) == HRcInt32); in iselInt128Expr_to_32x4()
2775 vassert(hregIsVirtual(*rHi)); in iselInt128Expr_to_32x4()
2776 vassert(hregClass(*rMedHi) == HRcInt32); in iselInt128Expr_to_32x4()
2777 vassert(hregIsVirtual(*rMedHi)); in iselInt128Expr_to_32x4()
2778 vassert(hregClass(*rMedLo) == HRcInt32); in iselInt128Expr_to_32x4()
2779 vassert(hregIsVirtual(*rMedLo)); in iselInt128Expr_to_32x4()
2780 vassert(hregClass(*rLo) == HRcInt32); in iselInt128Expr_to_32x4()
2781 vassert(hregIsVirtual(*rLo)); in iselInt128Expr_to_32x4()
2788 vassert(e); in iselInt128Expr_to_32x4_wrk()
2789 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_to_32x4_wrk()
2825 vassert(!env->mode64); in iselInt64Expr()
2830 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
2831 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
2832 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
2833 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
2840 vassert(e); in iselInt64Expr_wrk()
2841 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
2848 vassert(!env->mode64); in iselInt64Expr_wrk()
2867 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
2995 vassert(!env->mode64); in iselInt64Expr_wrk()
3050 vassert(env->mode64 == False); in iselInt64Expr_wrk()
3335 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
3336 vassert(hregIsVirtual(r)); in iselFltExpr()
3346 vassert(ty == Ity_F32); in iselFltExpr_wrk()
3355 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
3506 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
3507 vassert(hregIsVirtual(r)); in iselDblExpr()
3516 vassert(e); in iselDblExpr_wrk()
3517 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3526 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
3527 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
3528 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
3529 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
3557 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
3815 vassert(hregClass(r) == HRcFlt64); in iselDfp64Expr()
3816 vassert( hregIsVirtual(r) ); in iselDfp64Expr()
3827 vassert( e ); in iselDfp64Expr_wrk()
3828 vassert( ty == Ity_D64 ); in iselDfp64Expr_wrk()
4046 vassert( hregIsVirtual(*rHi) ); in iselDfp128Expr()
4047 vassert( hregIsVirtual(*rLo) ); in iselDfp128Expr()
4053 vassert( e ); in iselDfp128Expr_wrk()
4054 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 ); in iselDfp128Expr_wrk()
4249 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
4250 vassert(hregIsVirtual(r)); in iselVecExpr()
4261 vassert(e); in iselVecExpr_wrk()
4262 vassert(ty == Ity_V128); in iselVecExpr_wrk()
4282 vassert(e->Iex.Load.ty == Ity_V128); in iselVecExpr_wrk()
4649 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
4942 vassert(tyRes == Ity_I1); in iselStmt()
4976 vassert(!d->needsBBP); in iselStmt()
5128 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
5201 vassert(0); // are we expecting any other kind? in iselNext()
5229 vassert(arch_host == VexArchPPC32 || arch_host == VexArchPPC64); in iselSB_PPC()
5231 if (!mode64) vassert(max_ga <= 0xFFFFFFFFULL); in iselSB_PPC()
5242 vassert((hwcaps_host & mask32) == 0); in iselSB_PPC()
5244 vassert((hwcaps_host & mask64) == 0); in iselSB_PPC()