Lines Matching refs:vassert
304 vassert(tmp >= 0); in lookupIRTemp()
305 vassert(tmp < env->n_vregmap); in lookupIRTemp()
312 vassert(tmp >= 0); in lookupIRTempPair()
313 vassert(tmp < env->n_vregmap); in lookupIRTempPair()
314 vassert(! hregIsInvalid(env->vregmapMedLo[tmp])); in lookupIRTempPair()
323 vassert(!env->mode64); in lookupIRTempQuad()
324 vassert(tmp >= 0); in lookupIRTempQuad()
325 vassert(tmp < env->n_vregmap); in lookupIRTempQuad()
326 vassert(! hregIsInvalid(env->vregmapMedLo[tmp])); in lookupIRTempQuad()
519 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
520 vassert(hregClass(r_src) == HRcInt32 || in mk_iMOVds_RR()
530 vassert(n <= 1024 && (n%16) == 0); in add_to_sp()
538 vassert(n <= 1024 && (n%16) == 0); in sub_from_sp()
573 vassert(!env->mode64); in mk_LoadRR32toFPR()
574 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
575 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
598 vassert(env->mode64); in mk_LoadR64toFPR()
599 vassert(hregClass(r_src) == HRcInt64); in mk_LoadR64toFPR()
815 vassert(PPC_N_REGPARMS == 8); in doHelperCall()
883 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
891 vassert(arg->tag != Iex_VECRET); in doHelperCall()
893 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
906 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
948 vassert(0); //ATC in doHelperCall()
955 vassert(n_args >= 0 && n_args <= 8); in doHelperCall()
958 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
968 vassert(!hregIsInvalid(r_vecRetAddr)); in doHelperCall()
974 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
983 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
1025 vassert(nVECRETs == 1); in doHelperCall()
1027 vassert(nVECRETs == 0); in doHelperCall()
1030 vassert(nGSPTRs == 0 || nGSPTRs == 1); in doHelperCall()
1032 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
1033 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
1052 vassert(0); // ATC in doHelperCall()
1060 vassert(0); in doHelperCall()
1117 vassert(hregClass(r_rmIR) == HRcGPR(env->mode64)); in roundModeIRtoPPC()
1174 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32); in _set_FPU_rounding_mode()
1182 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32); in _set_FPU_rounding_mode()
1242 vassert(mode->Iex.Const.con->tag == Ico_U32); in FPU_rounding_mode_isOdd()
1243 vassert(mode->Iex.Const.con->Ico.U32 == 0x8); in FPU_rounding_mode_isOdd()
1285 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in mk_AvDuplicateRI()
1361 vassert(hregClass(vSrc) == HRcVec128); in isNan()
1410 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
1411 vassert(hregIsVirtual(r)); in iselWordExpr_R()
1424 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_R_wrk()
1531 vassert(0); /* AWAITING TEST CASE */ in iselWordExpr_R_wrk()
1537 vassert(mode64); in iselWordExpr_R_wrk()
1574 vassert(mode64); in iselWordExpr_R_wrk()
1647 vassert(mode64); in iselWordExpr_R_wrk()
1674 vassert(mode64); in iselWordExpr_R_wrk()
1918 vassert(mode64); in iselWordExpr_R_wrk()
1946 vassert(mode64); in iselWordExpr_R_wrk()
1958 vassert(mode64); in iselWordExpr_R_wrk()
1970 if (op_unop == Iop_Not64) vassert(mode64); in iselWordExpr_R_wrk()
2484 vassert(ty == e->Iex.CCall.retty); /* well-formedness of IR */ in iselWordExpr_R_wrk()
2497 vassert(is_sane_RetLoc(rloc)); in iselWordExpr_R_wrk()
2498 vassert(rloc.pri == RLPri_Int); in iselWordExpr_R_wrk()
2499 vassert(addToSp == 0); in iselWordExpr_R_wrk()
2614 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
2635 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
2662 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
2708 vassert(ri->Prh.Imm.syned == syned); in iselWordExpr_RH()
2710 vassert(ri->Prh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
2713 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
2714 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH()
2728 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RH_wrk()
2737 case Ico_U64: vassert(env->mode64); in iselWordExpr_RH_wrk()
2775 vassert(hregClass(ri->Pri.Reg) == HRcGPR(env->mode64)); in iselWordExpr_RI()
2776 vassert(hregIsVirtual(ri->Pri.Reg)); in iselWordExpr_RI()
2789 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RI_wrk()
2796 case Ico_U64: vassert(env->mode64); in iselWordExpr_RI_wrk()
2821 vassert(!env->mode64); in iselWordExpr_RH5u()
2826 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
2827 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH5u()
2830 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH5u()
2831 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH5u()
2843 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
2868 vassert(env->mode64); in iselWordExpr_RH6u()
2873 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
2874 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH6u()
2877 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
2878 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH6u()
2890 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2922 vassert(e); in iselCondCode_wrk()
2923 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
3048 vassert(env->mode64); in iselCondCode_wrk()
3110 vassert(env->mode64); in iselInt128Expr()
3115 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
3116 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
3117 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
3118 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
3127 vassert(e); in iselInt128Expr_wrk()
3128 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_wrk()
3207 vassert(!env->mode64); in iselInt128Expr_to_32x4()
3212 vassert(hregClass(*rHi) == HRcInt32); in iselInt128Expr_to_32x4()
3213 vassert(hregIsVirtual(*rHi)); in iselInt128Expr_to_32x4()
3214 vassert(hregClass(*rMedHi) == HRcInt32); in iselInt128Expr_to_32x4()
3215 vassert(hregIsVirtual(*rMedHi)); in iselInt128Expr_to_32x4()
3216 vassert(hregClass(*rMedLo) == HRcInt32); in iselInt128Expr_to_32x4()
3217 vassert(hregIsVirtual(*rMedLo)); in iselInt128Expr_to_32x4()
3218 vassert(hregClass(*rLo) == HRcInt32); in iselInt128Expr_to_32x4()
3219 vassert(hregIsVirtual(*rLo)); in iselInt128Expr_to_32x4()
3227 vassert(e); in iselInt128Expr_to_32x4_wrk()
3228 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_to_32x4_wrk()
3265 vassert(!env->mode64); in iselInt64Expr()
3270 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
3271 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
3272 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
3273 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
3281 vassert(e); in iselInt64Expr_wrk()
3282 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
3289 vassert(!env->mode64); in iselInt64Expr_wrk()
3308 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
3341 vassert(ty == e->Iex.CCall.retty); /* well-formedness of IR */ in iselInt64Expr_wrk()
3345 vassert(!(ty == Ity_I32 || (mode64 && ty == Ity_I64))); in iselInt64Expr_wrk()
3353 vassert(is_sane_RetLoc(rloc)); in iselInt64Expr_wrk()
3355 vassert(rloc.pri == RLPri_2Int); in iselInt64Expr_wrk()
3356 vassert(addToSp == 0); in iselInt64Expr_wrk()
3459 vassert(!env->mode64); in iselInt64Expr_wrk()
3487 vassert(!env->mode64); in iselInt64Expr_wrk()
3560 vassert(env->mode64 == False); in iselInt64Expr_wrk()
3906 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
3907 vassert(hregIsVirtual(r)); in iselFltExpr()
3918 vassert(ty == Ity_F32); in iselFltExpr_wrk()
3927 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
4079 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
4080 vassert(hregIsVirtual(r)); in iselDblExpr()
4090 vassert(e); in iselDblExpr_wrk()
4091 vassert(ty == Ity_F64); in iselDblExpr_wrk()
4100 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
4101 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
4102 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
4103 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
4131 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
4443 vassert(hregClass(r) == HRcFlt64); in iselDfp32Expr()
4444 vassert( hregIsVirtual(r) ); in iselDfp32Expr()
4455 vassert( e ); in iselDfp32Expr_wrk()
4456 vassert( ty == Ity_D32 ); in iselDfp32Expr_wrk()
4471 vassert(e->Iex.Load.ty == Ity_D32); in iselDfp32Expr_wrk()
4496 vassert(hregClass(r) == HRcVec128); in iselFp128Expr()
4497 vassert(hregIsVirtual(r)); in iselFp128Expr()
4509 vassert(e); in iselFp128Expr_wrk()
4510 vassert( ty == Ity_F128 ); in iselFp128Expr_wrk()
4813 vassert(hregClass(r) == HRcFlt64); in iselDfp64Expr()
4814 vassert( hregIsVirtual(r) ); in iselDfp64Expr()
4826 vassert( e ); in iselDfp64Expr_wrk()
4827 vassert( ty == Ity_D64 ); in iselDfp64Expr_wrk()
4845 vassert(e->Iex.Load.ty == Ity_D64); in iselDfp64Expr_wrk()
4980 vassert(shift->tag == Pri_Imm); in iselDfp64Expr_wrk()
5098 vassert( hregIsVirtual(*rHi) ); in iselDfp128Expr()
5099 vassert( hregIsVirtual(*rLo) ); in iselDfp128Expr()
5106 vassert( e ); in iselDfp128Expr_wrk()
5107 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 ); in iselDfp128Expr_wrk()
5377 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
5378 vassert(hregIsVirtual(r)); in iselVecExpr()
5390 vassert(e); in iselVecExpr_wrk()
5391 vassert(ty == Ity_V128); in iselVecExpr_wrk()
5429 vassert(e->Iex.Load.ty == Ity_V128); in iselVecExpr_wrk()
5498 vassert(mode64); in iselVecExpr_wrk()
6110 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
6483 vassert(tyRes == Ity_I1); in iselStmt()
6554 vassert(is_sane_RetLoc(rloc)); in iselStmt()
6560 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
6561 vassert(rloc.pri == RLPri_None); in iselStmt()
6562 vassert(addToSp == 0); in iselStmt()
6570 vassert(rloc.pri == RLPri_Int); in iselStmt()
6571 vassert(addToSp == 0); in iselStmt()
6580 vassert(rloc.pri == RLPri_Int); in iselStmt()
6581 vassert(addToSp == 0); in iselStmt()
6590 vassert(rloc.pri == RLPri_2Int); in iselStmt()
6591 vassert(addToSp == 0); in iselStmt()
6599 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
6600 vassert(addToSp >= 16); in iselStmt()
6609 vassert(0); in iselStmt()
6736 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
6809 vassert(0); // are we expecting any other kind? in iselNext()
6838 vassert(arch_host == VexArchPPC32 || arch_host == VexArchPPC64); in iselSB_PPC()
6853 vassert((hwcaps_host & mask32) == 0); in iselSB_PPC()
6855 vassert((hwcaps_host & mask64) == 0); in iselSB_PPC()
6859 vassert((archinfo_host->endness == VexEndnessBE) || in iselSB_PPC()