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()
515 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
516 vassert(hregClass(r_src) == HRcInt32 || in mk_iMOVds_RR()
526 vassert(n <= 1024 && (n%16) == 0); in add_to_sp()
534 vassert(n <= 1024 && (n%16) == 0); in sub_from_sp()
569 vassert(!env->mode64); in mk_LoadRR32toFPR()
570 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
571 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
594 vassert(env->mode64); in mk_LoadR64toFPR()
595 vassert(hregClass(r_src) == HRcInt64); in mk_LoadR64toFPR()
811 vassert(PPC_N_REGPARMS == 8); in doHelperCall()
879 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
887 vassert(arg->tag != Iex_VECRET); in doHelperCall()
889 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
902 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
944 vassert(0); //ATC in doHelperCall()
951 vassert(n_args >= 0 && n_args <= 8); in doHelperCall()
954 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
964 vassert(!hregIsInvalid(r_vecRetAddr)); in doHelperCall()
970 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
979 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
1021 vassert(nVECRETs == 1); in doHelperCall()
1023 vassert(nVECRETs == 0); in doHelperCall()
1026 vassert(nBBPTRs == 0 || nBBPTRs == 1); in doHelperCall()
1028 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
1029 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
1048 vassert(0); // ATC in doHelperCall()
1056 vassert(0); in doHelperCall()
1113 vassert(hregClass(r_rmIR) == HRcGPR(env->mode64)); in roundModeIRtoPPC()
1170 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32); in _set_FPU_rounding_mode()
1178 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32); in _set_FPU_rounding_mode()
1267 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in mk_AvDuplicateRI()
1343 vassert(hregClass(vSrc) == HRcVec128); in isNan()
1391 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
1392 vassert(hregIsVirtual(r)); in iselWordExpr_R()
1405 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_R_wrk()
1512 vassert(0); /* AWAITING TEST CASE */ in iselWordExpr_R_wrk()
1518 vassert(mode64); in iselWordExpr_R_wrk()
1555 vassert(mode64); in iselWordExpr_R_wrk()
1628 vassert(mode64); in iselWordExpr_R_wrk()
1655 vassert(mode64); in iselWordExpr_R_wrk()
1899 vassert(mode64); in iselWordExpr_R_wrk()
1927 vassert(mode64); in iselWordExpr_R_wrk()
1939 vassert(mode64); in iselWordExpr_R_wrk()
1951 if (op_unop == Iop_Not64) vassert(mode64); in iselWordExpr_R_wrk()
2395 vassert(ty == e->Iex.CCall.retty); /* well-formedness of IR */ in iselWordExpr_R_wrk()
2408 vassert(is_sane_RetLoc(rloc)); in iselWordExpr_R_wrk()
2409 vassert(rloc.pri == RLPri_Int); in iselWordExpr_R_wrk()
2410 vassert(addToSp == 0); in iselWordExpr_R_wrk()
2525 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
2546 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
2573 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
2619 vassert(ri->Prh.Imm.syned == syned); in iselWordExpr_RH()
2621 vassert(ri->Prh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
2624 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
2625 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH()
2639 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RH_wrk()
2648 case Ico_U64: vassert(env->mode64); in iselWordExpr_RH_wrk()
2685 vassert(hregClass(ri->Pri.Reg) == HRcGPR(env->mode64)); in iselWordExpr_RI()
2686 vassert(hregIsVirtual(ri->Pri.Reg)); in iselWordExpr_RI()
2699 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RI_wrk()
2706 case Ico_U64: vassert(env->mode64); in iselWordExpr_RI_wrk()
2731 vassert(!env->mode64); in iselWordExpr_RH5u()
2736 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
2737 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH5u()
2740 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH5u()
2741 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH5u()
2753 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
2778 vassert(env->mode64); in iselWordExpr_RH6u()
2783 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
2784 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH6u()
2787 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
2788 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH6u()
2800 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2832 vassert(e); in iselCondCode_wrk()
2833 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
2958 vassert(env->mode64); in iselCondCode_wrk()
3020 vassert(env->mode64); in iselInt128Expr()
3025 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
3026 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
3027 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
3028 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
3035 vassert(e); in iselInt128Expr_wrk()
3036 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_wrk()
3100 vassert(!env->mode64); in iselInt128Expr_to_32x4()
3105 vassert(hregClass(*rHi) == HRcInt32); in iselInt128Expr_to_32x4()
3106 vassert(hregIsVirtual(*rHi)); in iselInt128Expr_to_32x4()
3107 vassert(hregClass(*rMedHi) == HRcInt32); in iselInt128Expr_to_32x4()
3108 vassert(hregIsVirtual(*rMedHi)); in iselInt128Expr_to_32x4()
3109 vassert(hregClass(*rMedLo) == HRcInt32); in iselInt128Expr_to_32x4()
3110 vassert(hregIsVirtual(*rMedLo)); in iselInt128Expr_to_32x4()
3111 vassert(hregClass(*rLo) == HRcInt32); in iselInt128Expr_to_32x4()
3112 vassert(hregIsVirtual(*rLo)); in iselInt128Expr_to_32x4()
3120 vassert(e); in iselInt128Expr_to_32x4_wrk()
3121 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_to_32x4_wrk()
3158 vassert(!env->mode64); in iselInt64Expr()
3163 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
3164 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
3165 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
3166 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
3174 vassert(e); in iselInt64Expr_wrk()
3175 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
3182 vassert(!env->mode64); in iselInt64Expr_wrk()
3201 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
3322 vassert(!env->mode64); in iselInt64Expr_wrk()
3350 vassert(!env->mode64); in iselInt64Expr_wrk()
3423 vassert(env->mode64 == False); in iselInt64Expr_wrk()
3769 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
3770 vassert(hregIsVirtual(r)); in iselFltExpr()
3780 vassert(ty == Ity_F32); in iselFltExpr_wrk()
3789 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
3941 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
3942 vassert(hregIsVirtual(r)); in iselDblExpr()
3951 vassert(e); in iselDblExpr_wrk()
3952 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3961 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
3962 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
3963 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
3964 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
3992 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
4232 vassert(hregClass(r) == HRcFlt64); in iselDfp32Expr()
4233 vassert( hregIsVirtual(r) ); in iselDfp32Expr()
4243 vassert( e ); in iselDfp32Expr_wrk()
4244 vassert( ty == Ity_D32 ); in iselDfp32Expr_wrk()
4259 vassert(e->Iex.Load.ty == Ity_D32); in iselDfp32Expr_wrk()
4284 vassert(hregClass(r) == HRcFlt64); in iselDfp64Expr()
4285 vassert( hregIsVirtual(r) ); in iselDfp64Expr()
4296 vassert( e ); in iselDfp64Expr_wrk()
4297 vassert( ty == Ity_D64 ); in iselDfp64Expr_wrk()
4315 vassert(e->Iex.Load.ty == Ity_D64); in iselDfp64Expr_wrk()
4450 vassert(shift->tag == Pri_Imm); in iselDfp64Expr_wrk()
4568 vassert( hregIsVirtual(*rHi) ); in iselDfp128Expr()
4569 vassert( hregIsVirtual(*rLo) ); in iselDfp128Expr()
4576 vassert( e ); in iselDfp128Expr_wrk()
4577 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 ); in iselDfp128Expr_wrk()
4847 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
4848 vassert(hregIsVirtual(r)); in iselVecExpr()
4859 vassert(e); in iselVecExpr_wrk()
4860 vassert(ty == Ity_V128); in iselVecExpr_wrk()
4898 vassert(e->Iex.Load.ty == Ity_V128); in iselVecExpr_wrk()
5440 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
5785 vassert(tyRes == Ity_I1); in iselStmt()
5856 vassert(is_sane_RetLoc(rloc)); in iselStmt()
5862 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
5863 vassert(rloc.pri == RLPri_None); in iselStmt()
5864 vassert(addToSp == 0); in iselStmt()
5872 vassert(rloc.pri == RLPri_Int); in iselStmt()
5873 vassert(addToSp == 0); in iselStmt()
5882 vassert(rloc.pri == RLPri_Int); in iselStmt()
5883 vassert(addToSp == 0); in iselStmt()
5892 vassert(rloc.pri == RLPri_2Int); in iselStmt()
5893 vassert(addToSp == 0); in iselStmt()
5901 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
5902 vassert(addToSp >= 16); in iselStmt()
5911 vassert(0); in iselStmt()
6038 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
6111 vassert(0); // are we expecting any other kind? in iselNext()
6140 vassert(arch_host == VexArchPPC32 || arch_host == VexArchPPC64); in iselSB_PPC()
6154 vassert((hwcaps_host & mask32) == 0); in iselSB_PPC()
6156 vassert((hwcaps_host & mask64) == 0); in iselSB_PPC()
6160 vassert((archinfo_host->endness == VexEndnessBE) || in iselSB_PPC()