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()
2523 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
2544 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
2571 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
2617 vassert(ri->Prh.Imm.syned == syned); in iselWordExpr_RH()
2619 vassert(ri->Prh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
2622 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
2623 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH()
2637 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RH_wrk()
2646 case Ico_U64: vassert(env->mode64); in iselWordExpr_RH_wrk()
2683 vassert(hregClass(ri->Pri.Reg) == HRcGPR(env->mode64)); in iselWordExpr_RI()
2684 vassert(hregIsVirtual(ri->Pri.Reg)); in iselWordExpr_RI()
2697 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RI_wrk()
2704 case Ico_U64: vassert(env->mode64); in iselWordExpr_RI_wrk()
2729 vassert(!env->mode64); in iselWordExpr_RH5u()
2734 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
2735 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH5u()
2738 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH5u()
2739 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH5u()
2751 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
2776 vassert(env->mode64); in iselWordExpr_RH6u()
2781 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
2782 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH6u()
2785 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
2786 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH6u()
2798 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2830 vassert(e); in iselCondCode_wrk()
2831 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
2956 vassert(env->mode64); in iselCondCode_wrk()
3018 vassert(env->mode64); in iselInt128Expr()
3023 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
3024 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
3025 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
3026 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
3033 vassert(e); in iselInt128Expr_wrk()
3034 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_wrk()
3098 vassert(!env->mode64); in iselInt128Expr_to_32x4()
3103 vassert(hregClass(*rHi) == HRcInt32); in iselInt128Expr_to_32x4()
3104 vassert(hregIsVirtual(*rHi)); in iselInt128Expr_to_32x4()
3105 vassert(hregClass(*rMedHi) == HRcInt32); in iselInt128Expr_to_32x4()
3106 vassert(hregIsVirtual(*rMedHi)); in iselInt128Expr_to_32x4()
3107 vassert(hregClass(*rMedLo) == HRcInt32); in iselInt128Expr_to_32x4()
3108 vassert(hregIsVirtual(*rMedLo)); in iselInt128Expr_to_32x4()
3109 vassert(hregClass(*rLo) == HRcInt32); in iselInt128Expr_to_32x4()
3110 vassert(hregIsVirtual(*rLo)); in iselInt128Expr_to_32x4()
3118 vassert(e); in iselInt128Expr_to_32x4_wrk()
3119 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_to_32x4_wrk()
3156 vassert(!env->mode64); in iselInt64Expr()
3161 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
3162 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
3163 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
3164 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
3172 vassert(e); in iselInt64Expr_wrk()
3173 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
3180 vassert(!env->mode64); in iselInt64Expr_wrk()
3199 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
3320 vassert(!env->mode64); in iselInt64Expr_wrk()
3348 vassert(!env->mode64); in iselInt64Expr_wrk()
3421 vassert(env->mode64 == False); in iselInt64Expr_wrk()
3767 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
3768 vassert(hregIsVirtual(r)); in iselFltExpr()
3778 vassert(ty == Ity_F32); in iselFltExpr_wrk()
3787 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
3939 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
3940 vassert(hregIsVirtual(r)); in iselDblExpr()
3949 vassert(e); in iselDblExpr_wrk()
3950 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3959 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
3960 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
3961 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
3962 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
3990 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
4230 vassert(hregClass(r) == HRcFlt64); in iselDfp32Expr()
4231 vassert( hregIsVirtual(r) ); in iselDfp32Expr()
4241 vassert( e ); in iselDfp32Expr_wrk()
4242 vassert( ty == Ity_D32 ); in iselDfp32Expr_wrk()
4257 vassert(e->Iex.Load.ty == Ity_D32); in iselDfp32Expr_wrk()
4282 vassert(hregClass(r) == HRcFlt64); in iselDfp64Expr()
4283 vassert( hregIsVirtual(r) ); in iselDfp64Expr()
4294 vassert( e ); in iselDfp64Expr_wrk()
4295 vassert( ty == Ity_D64 ); in iselDfp64Expr_wrk()
4313 vassert(e->Iex.Load.ty == Ity_D64); in iselDfp64Expr_wrk()
4448 vassert(shift->tag == Pri_Imm); in iselDfp64Expr_wrk()
4566 vassert( hregIsVirtual(*rHi) ); in iselDfp128Expr()
4567 vassert( hregIsVirtual(*rLo) ); in iselDfp128Expr()
4574 vassert( e ); in iselDfp128Expr_wrk()
4575 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 ); in iselDfp128Expr_wrk()
4845 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
4846 vassert(hregIsVirtual(r)); in iselVecExpr()
4857 vassert(e); in iselVecExpr_wrk()
4858 vassert(ty == Ity_V128); in iselVecExpr_wrk()
4896 vassert(e->Iex.Load.ty == Ity_V128); in iselVecExpr_wrk()
5438 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
5783 vassert(tyRes == Ity_I1); in iselStmt()
5854 vassert(is_sane_RetLoc(rloc)); in iselStmt()
5860 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
5861 vassert(rloc.pri == RLPri_None); in iselStmt()
5862 vassert(addToSp == 0); in iselStmt()
5870 vassert(rloc.pri == RLPri_Int); in iselStmt()
5871 vassert(addToSp == 0); in iselStmt()
5880 vassert(rloc.pri == RLPri_Int); in iselStmt()
5881 vassert(addToSp == 0); in iselStmt()
5890 vassert(rloc.pri == RLPri_2Int); in iselStmt()
5891 vassert(addToSp == 0); in iselStmt()
5899 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
5900 vassert(addToSp >= 16); in iselStmt()
5909 vassert(0); in iselStmt()
6036 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
6109 vassert(0); // are we expecting any other kind? in iselNext()
6138 vassert(arch_host == VexArchPPC32 || arch_host == VexArchPPC64); in iselSB_PPC()
6152 vassert((hwcaps_host & mask32) == 0); in iselSB_PPC()
6154 vassert((hwcaps_host & mask64) == 0); in iselSB_PPC()
6158 vassert((archinfo_host->endness == VexEndnessBE) || in iselSB_PPC()