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()
482 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
483 vassert(hregClass(r_src) == HRcInt32 || in mk_iMOVds_RR()
493 vassert(n <= 1024 && (n%16) == 0); in add_to_sp()
501 vassert(n <= 1024 && (n%16) == 0); in sub_from_sp()
536 vassert(!env->mode64); in mk_LoadRR32toFPR()
537 vassert(hregClass(r_srcHi) == HRcInt32); in mk_LoadRR32toFPR()
538 vassert(hregClass(r_srcLo) == HRcInt32); in mk_LoadRR32toFPR()
561 vassert(env->mode64); in mk_LoadR64toFPR()
562 vassert(hregClass(r_src) == HRcInt64); in mk_LoadR64toFPR()
783 vassert(PPC_N_REGPARMS == 8); in doHelperCall()
851 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
859 vassert(arg->tag != Iex_VECRET); in doHelperCall()
861 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
873 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
914 vassert(0); //ATC in doHelperCall()
921 vassert(n_args >= 0 && n_args <= 8); in doHelperCall()
924 vassert(argreg < PPC_N_REGPARMS); in doHelperCall()
934 vassert(!hregIsInvalid(r_vecRetAddr)); in doHelperCall()
940 vassert(ty == Ity_I32 || ty == Ity_I64); in doHelperCall()
949 vassert(argreg < PPC_N_REGPARMS-1); in doHelperCall()
991 vassert(nVECRETs == 1); in doHelperCall()
993 vassert(nVECRETs == 0); in doHelperCall()
996 vassert(nBBPTRs == 0 || nBBPTRs == 1); in doHelperCall()
998 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
999 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
1018 vassert(0); // ATC in doHelperCall()
1026 vassert(0); in doHelperCall()
1083 vassert(hregClass(r_rmIR) == HRcGPR(env->mode64)); in roundModeIRtoPPC()
1139 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32); in _set_FPU_rounding_mode()
1147 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32); in _set_FPU_rounding_mode()
1234 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32); in mk_AvDuplicateRI()
1311 vassert(hregClass(vSrc) == HRcVec128); in isNan()
1359 vassert(hregClass(r) == HRcGPR(env->mode64)); in iselWordExpr_R()
1360 vassert(hregIsVirtual(r)); in iselWordExpr_R()
1372 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_R_wrk()
1478 vassert(0); /* AWAITING TEST CASE */ in iselWordExpr_R_wrk()
1484 vassert(mode64); in iselWordExpr_R_wrk()
1521 vassert(mode64); in iselWordExpr_R_wrk()
1592 vassert(mode64); in iselWordExpr_R_wrk()
1619 vassert(mode64); in iselWordExpr_R_wrk()
1858 vassert(mode64); in iselWordExpr_R_wrk()
1886 vassert(mode64); in iselWordExpr_R_wrk()
1898 vassert(mode64); in iselWordExpr_R_wrk()
1910 if (op_unop == Iop_Not64) vassert(mode64); in iselWordExpr_R_wrk()
2315 vassert(ty == e->Iex.CCall.retty); /* well-formedness of IR */ in iselWordExpr_R_wrk()
2327 vassert(is_sane_RetLoc(rloc)); in iselWordExpr_R_wrk()
2328 vassert(rloc.pri == RLPri_Int); in iselWordExpr_R_wrk()
2329 vassert(addToSp == 0); in iselWordExpr_R_wrk()
2441 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
2461 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
2487 vassert(ty == Ity_I32); in iselWordExpr_AMode_wrk()
2531 vassert(ri->Prh.Imm.syned == syned); in iselWordExpr_RH()
2533 vassert(ri->Prh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
2536 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH()
2537 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH()
2550 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RH_wrk()
2559 case Ico_U64: vassert(env->mode64); in iselWordExpr_RH_wrk()
2596 vassert(hregClass(ri->Pri.Reg) == HRcGPR(env->mode64)); in iselWordExpr_RI()
2597 vassert(hregIsVirtual(ri->Pri.Reg)); in iselWordExpr_RI()
2609 vassert(ty == Ity_I8 || ty == Ity_I16 || in iselWordExpr_RI_wrk()
2616 case Ico_U64: vassert(env->mode64); in iselWordExpr_RI_wrk()
2640 vassert(!env->mode64); in iselWordExpr_RH5u()
2645 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 31); in iselWordExpr_RH5u()
2646 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH5u()
2649 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH5u()
2650 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH5u()
2661 vassert(ty == Ity_I8); in iselWordExpr_RH5u_wrk()
2685 vassert(env->mode64); in iselWordExpr_RH6u()
2690 vassert(ri->Prh.Imm.imm16 >= 1 && ri->Prh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
2691 vassert(!ri->Prh.Imm.syned); in iselWordExpr_RH6u()
2694 vassert(hregClass(ri->Prh.Reg.reg) == HRcGPR(env->mode64)); in iselWordExpr_RH6u()
2695 vassert(hregIsVirtual(ri->Prh.Reg.reg)); in iselWordExpr_RH6u()
2706 vassert(ty == Ity_I8); in iselWordExpr_RH6u_wrk()
2736 vassert(e); in iselCondCode_wrk()
2737 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
2862 vassert(env->mode64); in iselCondCode_wrk()
2924 vassert(env->mode64); in iselInt128Expr()
2929 vassert(hregClass(*rHi) == HRcGPR(env->mode64)); in iselInt128Expr()
2930 vassert(hregIsVirtual(*rHi)); in iselInt128Expr()
2931 vassert(hregClass(*rLo) == HRcGPR(env->mode64)); in iselInt128Expr()
2932 vassert(hregIsVirtual(*rLo)); in iselInt128Expr()
2939 vassert(e); in iselInt128Expr_wrk()
2940 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_wrk()
3003 vassert(!env->mode64); in iselInt128Expr_to_32x4()
3008 vassert(hregClass(*rHi) == HRcInt32); in iselInt128Expr_to_32x4()
3009 vassert(hregIsVirtual(*rHi)); in iselInt128Expr_to_32x4()
3010 vassert(hregClass(*rMedHi) == HRcInt32); in iselInt128Expr_to_32x4()
3011 vassert(hregIsVirtual(*rMedHi)); in iselInt128Expr_to_32x4()
3012 vassert(hregClass(*rMedLo) == HRcInt32); in iselInt128Expr_to_32x4()
3013 vassert(hregIsVirtual(*rMedLo)); in iselInt128Expr_to_32x4()
3014 vassert(hregClass(*rLo) == HRcInt32); in iselInt128Expr_to_32x4()
3015 vassert(hregIsVirtual(*rLo)); in iselInt128Expr_to_32x4()
3022 vassert(e); in iselInt128Expr_to_32x4_wrk()
3023 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128); in iselInt128Expr_to_32x4_wrk()
3059 vassert(!env->mode64); in iselInt64Expr()
3064 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
3065 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
3066 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
3067 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
3074 vassert(e); in iselInt64Expr_wrk()
3075 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
3082 vassert(!env->mode64); in iselInt64Expr_wrk()
3101 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
3219 vassert(!env->mode64); in iselInt64Expr_wrk()
3247 vassert(!env->mode64); in iselInt64Expr_wrk()
3319 vassert(env->mode64 == False); in iselInt64Expr_wrk()
3650 vassert(hregClass(r) == HRcFlt64); /* yes, really Flt64 */ in iselFltExpr()
3651 vassert(hregIsVirtual(r)); in iselFltExpr()
3661 vassert(ty == Ity_F32); in iselFltExpr_wrk()
3670 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
3821 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
3822 vassert(hregIsVirtual(r)); in iselDblExpr()
3831 vassert(e); in iselDblExpr_wrk()
3832 vassert(ty == Ity_F64); in iselDblExpr_wrk()
3841 vassert(sizeof(u) == 8); in iselDblExpr_wrk()
3842 vassert(sizeof(u.u64) == 8); in iselDblExpr_wrk()
3843 vassert(sizeof(u.f64) == 8); in iselDblExpr_wrk()
3844 vassert(sizeof(u.u32x2) == 8); in iselDblExpr_wrk()
3872 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
4106 vassert(hregClass(r) == HRcFlt64); in iselDfp32Expr()
4107 vassert( hregIsVirtual(r) ); in iselDfp32Expr()
4117 vassert( e ); in iselDfp32Expr_wrk()
4118 vassert( ty == Ity_D32 ); in iselDfp32Expr_wrk()
4133 vassert(e->Iex.Load.ty == Ity_D32); in iselDfp32Expr_wrk()
4157 vassert(hregClass(r) == HRcFlt64); in iselDfp64Expr()
4158 vassert( hregIsVirtual(r) ); in iselDfp64Expr()
4169 vassert( e ); in iselDfp64Expr_wrk()
4170 vassert( ty == Ity_D64 ); in iselDfp64Expr_wrk()
4188 vassert(e->Iex.Load.ty == Ity_D64); in iselDfp64Expr_wrk()
4317 vassert(shift->tag == Pri_Imm); in iselDfp64Expr_wrk()
4433 vassert( hregIsVirtual(*rHi) ); in iselDfp128Expr()
4434 vassert( hregIsVirtual(*rLo) ); in iselDfp128Expr()
4440 vassert( e ); in iselDfp128Expr_wrk()
4441 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 ); in iselDfp128Expr_wrk()
4705 vassert(hregClass(r) == HRcVec128); in iselVecExpr()
4706 vassert(hregIsVirtual(r)); in iselVecExpr()
4717 vassert(e); in iselVecExpr_wrk()
4718 vassert(ty == Ity_V128); in iselVecExpr_wrk()
4738 vassert(e->Iex.Load.ty == Ity_V128); in iselVecExpr_wrk()
5239 vassert(e->Iex.Const.con->tag == Ico_V128); in iselVecExpr_wrk()
5563 vassert(tyRes == Ity_I1); in iselStmt()
5629 vassert(is_sane_RetLoc(rloc)); in iselStmt()
5635 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
5636 vassert(rloc.pri == RLPri_None); in iselStmt()
5637 vassert(addToSp == 0); in iselStmt()
5645 vassert(rloc.pri == RLPri_Int); in iselStmt()
5646 vassert(addToSp == 0); in iselStmt()
5655 vassert(rloc.pri == RLPri_Int); in iselStmt()
5656 vassert(addToSp == 0); in iselStmt()
5665 vassert(rloc.pri == RLPri_2Int); in iselStmt()
5666 vassert(addToSp == 0); in iselStmt()
5674 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
5675 vassert(addToSp >= 16); in iselStmt()
5684 vassert(0); in iselStmt()
5808 vassert(cdst->tag == (env->mode64 ? Ico_U64 :Ico_U32)); in iselNext()
5881 vassert(0); // are we expecting any other kind? in iselNext()
5909 vassert(arch_host == VexArchPPC32 || arch_host == VexArchPPC64); in iselSB_PPC()
5911 if (!mode64) vassert(max_ga <= 0xFFFFFFFFULL); in iselSB_PPC()
5924 vassert((hwcaps_host & mask32) == 0); in iselSB_PPC()
5926 vassert((hwcaps_host & mask64) == 0); in iselSB_PPC()