Lines Matching refs:vassert
131 vassert(tmp >= 0); in lookupIRTemp()
132 vassert(tmp < env->n_vregmap); in lookupIRTemp()
138 vassert(tmp >= 0); in lookupIRTemp64()
139 vassert(tmp < env->n_vregmap); in lookupIRTemp64()
140 vassert(! hregIsInvalid(env->vregmapHI[tmp])); in lookupIRTemp64()
257 vassert(sh >= 0 && sh < 32); in ROR32()
277 vassert(i == 16); in fitsIn8x4()
284 vassert(hregClass(src) == HRcInt32); in mk_iMOVds_RR()
285 vassert(hregClass(dst) == HRcInt32); in mk_iMOVds_RR()
393 vassert(ARM_N_ARGREGS == 4); in doHelperCall()
557 vassert(0); //ATC in doHelperCall()
564 vassert(0); in doHelperCall()
606 vassert(0); //ATC in doHelperCall()
612 vassert(0); in doHelperCall()
647 vassert(nextArgReg <= ARM_N_ARGREGS); in doHelperCall()
651 vassert(nBBPTRs == 0 || nBBPTRs == 1); in doHelperCall()
652 vassert(nVECRETs == (retTy == Ity_V128 || retTy == Ity_V256) ? 1 : 0); in doHelperCall()
653 vassert(*stackAdjustAfterCall == 0); in doHelperCall()
654 vassert(is_RetLoc_INVALID(*retloc)); in doHelperCall()
667 vassert(0); // ATC in doHelperCall()
672 vassert(0); // ATC in doHelperCall()
679 vassert(0); in doHelperCall()
761 vassert(sane_AMode1(am)); in iselIntExpr_AMode1()
768 vassert(ty == Ity_I32); in iselIntExpr_AMode1_wrk()
827 vassert(sane_AMode2(am)); in iselIntExpr_AMode2()
834 vassert(ty == Ity_I32); in iselIntExpr_AMode2_wrk()
881 vassert(sane_AModeV(am)); in iselIntExpr_AModeV()
888 vassert(ty == Ity_I32); in iselIntExpr_AModeV_wrk()
942 vassert(didInv != NULL); in iselIntExpr_RI84()
949 vassert(hregClass(ri->ARMri84.R.reg) == HRcInt32); in iselIntExpr_RI84()
950 vassert(hregIsVirtual(ri->ARMri84.R.reg)); in iselIntExpr_RI84()
962 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_RI84_wrk()
979 vassert(didInv); in iselIntExpr_RI84_wrk()
1006 vassert(hregClass(ri->ARMri5.R.reg) == HRcInt32); in iselIntExpr_RI5()
1007 vassert(hregIsVirtual(ri->ARMri5.R.reg)); in iselIntExpr_RI5()
1018 vassert(ty == Ity_I32 || ty == Ity_I8); in iselIntExpr_RI5_wrk()
1052 vassert(cc != ARMcc_NV); in iselCondCode()
1058 vassert(e); in iselCondCode_wrk()
1059 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1); in iselCondCode_wrk()
1146 vassert(e->Iex.Const.con->tag == Ico_U1); in iselCondCode_wrk()
1147 vassert(e->Iex.Const.con->Ico.U1 == True in iselCondCode_wrk()
1180 vassert(hregClass(r) == HRcInt32); in iselIntExpr_R()
1181 vassert(hregIsVirtual(r)); in iselIntExpr_R()
1189 vassert(ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8); in iselIntExpr_R_wrk()
1297 vassert(ty == Ity_I32); /* else the IR is ill-typed */ in iselIntExpr_R_wrk()
1379 case Iop_GetElem8x8: vassert(index < 8); size = 0; break; in iselIntExpr_R_wrk()
1380 case Iop_GetElem16x4: vassert(index < 4); size = 1; break; in iselIntExpr_R_wrk()
1381 case Iop_GetElem32x2: vassert(index < 2); size = 2; break; in iselIntExpr_R_wrk()
1382 default: vassert(0); in iselIntExpr_R_wrk()
1398 vassert(con->tag == Ico_U8); /* else IR is ill-typed */ in iselIntExpr_R_wrk()
1421 case Iop_GetElem8x16: vassert(index < 16); size = 0; break; in iselIntExpr_R_wrk()
1422 case Iop_GetElem16x8: vassert(index < 8); size = 1; break; in iselIntExpr_R_wrk()
1423 case Iop_GetElem32x4: vassert(index < 4); size = 2; break; in iselIntExpr_R_wrk()
1424 default: vassert(0); in iselIntExpr_R_wrk()
1839 vassert(ty == e->Iex.CCall.retty); in iselIntExpr_R_wrk()
1855 vassert(is_sane_RetLoc(rloc)); in iselIntExpr_R_wrk()
1856 vassert(rloc.pri == RLPri_Int); in iselIntExpr_R_wrk()
1857 vassert(addToSp == 0); in iselIntExpr_R_wrk()
1919 vassert(hregClass(*rHi) == HRcInt32); in iselInt64Expr()
1920 vassert(hregIsVirtual(*rHi)); in iselInt64Expr()
1921 vassert(hregClass(*rLo) == HRcInt32); in iselInt64Expr()
1922 vassert(hregIsVirtual(*rLo)); in iselInt64Expr()
1928 vassert(e); in iselInt64Expr_wrk()
1929 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64); in iselInt64Expr_wrk()
1938 vassert(e->Iex.Const.con->tag == Ico_U64); in iselInt64Expr_wrk()
1964 vassert(e->Iex.Load.ty == Ity_I64); in iselInt64Expr_wrk()
2140 vassert(tyC == Ity_I1); in iselInt64Expr_wrk()
2180 vassert(env->hwcaps & VEX_HWCAPS_ARM_NEON); in iselNeon64Expr()
2182 vassert(hregClass(r) == HRcFlt64); in iselNeon64Expr()
2183 vassert(hregIsVirtual(r)); in iselNeon64Expr()
2192 vassert(e); in iselNeon64Expr_wrk()
2193 vassert(ty == Ity_I64); in iselNeon64Expr_wrk()
2211 vassert(ty == Ity_I64); in iselNeon64Expr_wrk()
2220 vassert(ty == Ity_I64); in iselNeon64Expr_wrk()
2287 default: vassert(0); in iselNeon64Expr_wrk()
2341 default: vassert(0); in iselNeon64Expr_wrk()
2365 default: vassert(0); in iselNeon64Expr_wrk()
2389 default: vassert(0); in iselNeon64Expr_wrk()
2410 default: vassert(0); in iselNeon64Expr_wrk()
2429 default: vassert(0); in iselNeon64Expr_wrk()
2448 default: vassert(0); in iselNeon64Expr_wrk()
2476 default: vassert(0); in iselNeon64Expr_wrk()
2495 default: vassert(0); in iselNeon64Expr_wrk()
2512 default: vassert(0); in iselNeon64Expr_wrk()
2529 default: vassert(0); in iselNeon64Expr_wrk()
2546 default: vassert(0); in iselNeon64Expr_wrk()
2563 default: vassert(0); in iselNeon64Expr_wrk()
2583 default: vassert(0); in iselNeon64Expr_wrk()
2605 default: vassert(0); in iselNeon64Expr_wrk()
2624 default: vassert(0); in iselNeon64Expr_wrk()
2644 default: vassert(0); in iselNeon64Expr_wrk()
2663 default: vassert(0); in iselNeon64Expr_wrk()
2682 default: vassert(0); in iselNeon64Expr_wrk()
2706 default: vassert(0); in iselNeon64Expr_wrk()
2730 default: vassert(0); in iselNeon64Expr_wrk()
2754 default: vassert(0); in iselNeon64Expr_wrk()
2775 default: vassert(0); in iselNeon64Expr_wrk()
2794 vassert(e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U8); in iselNeon64Expr_wrk()
2809 default: vassert(0); in iselNeon64Expr_wrk()
2832 default: vassert(0); in iselNeon64Expr_wrk()
2851 default: vassert(0); in iselNeon64Expr_wrk()
2868 default: vassert(0); in iselNeon64Expr_wrk()
2885 default: vassert(0); in iselNeon64Expr_wrk()
2902 default: vassert(0); in iselNeon64Expr_wrk()
2926 default: vassert(0); in iselNeon64Expr_wrk()
2942 default: vassert(0); in iselNeon64Expr_wrk()
2960 default: vassert(0); in iselNeon64Expr_wrk()
2986 default: vassert(0); in iselNeon64Expr_wrk()
3003 default: vassert(0); in iselNeon64Expr_wrk()
3020 default: vassert(0); in iselNeon64Expr_wrk()
3037 default: vassert(0); in iselNeon64Expr_wrk()
3130 vassert(imm6 <= 32 && imm6 > 0); in iselNeon64Expr_wrk()
3137 default: vassert(0); in iselNeon64Expr_wrk()
3387 default: vassert(0); in iselNeon64Expr_wrk()
3402 default: vassert(0); in iselNeon64Expr_wrk()
3417 default: vassert(0); in iselNeon64Expr_wrk()
3431 default: vassert(0); in iselNeon64Expr_wrk()
3483 default: vassert(0); in iselNeon64Expr_wrk()
3499 default: vassert(0); in iselNeon64Expr_wrk()
3515 default: vassert(0); in iselNeon64Expr_wrk()
3531 default: vassert(0); in iselNeon64Expr_wrk()
3547 default: vassert(0); in iselNeon64Expr_wrk()
3563 default: vassert(0); in iselNeon64Expr_wrk()
3579 default: vassert(0); in iselNeon64Expr_wrk()
3603 default: vassert(0); in iselNeon64Expr_wrk()
3619 default: vassert(0); in iselNeon64Expr_wrk()
3759 case Iop_SetElem8x8: vassert(index < 8); size = 0; break; in iselNeon64Expr_wrk()
3760 case Iop_SetElem16x4: vassert(index < 4); size = 1; break; in iselNeon64Expr_wrk()
3761 case Iop_SetElem32x2: vassert(index < 2); size = 2; break; in iselNeon64Expr_wrk()
3762 default: vassert(0); in iselNeon64Expr_wrk()
3793 vassert(env->hwcaps & VEX_HWCAPS_ARM_NEON); in iselNeonExpr()
3795 vassert(hregClass(r) == HRcVec128); in iselNeonExpr()
3796 vassert(hregIsVirtual(r)); in iselNeonExpr()
3805 vassert(e); in iselNeonExpr_wrk()
3806 vassert(ty == Ity_V128); in iselNeonExpr_wrk()
3834 vassert(ty == Ity_V128); in iselNeonExpr_wrk()
3842 vassert(ty == Ity_V128); in iselNeonExpr_wrk()
4020 default: vassert(0); in iselNeonExpr_wrk()
4035 default: vassert(0); in iselNeonExpr_wrk()
4050 default: vassert(0); in iselNeonExpr_wrk()
4064 default: vassert(0); in iselNeonExpr_wrk()
4116 default: vassert(0); in iselNeonExpr_wrk()
4132 default: vassert(0); in iselNeonExpr_wrk()
4148 default: vassert(0); in iselNeonExpr_wrk()
4164 default: vassert(0); in iselNeonExpr_wrk()
4180 default: vassert(0); in iselNeonExpr_wrk()
4203 default: vassert(0); in iselNeonExpr_wrk()
4218 default: vassert(0); in iselNeonExpr_wrk()
4500 default: vassert(0); in iselNeonExpr_wrk()
4528 default: vassert(0); in iselNeonExpr_wrk()
4556 default: vassert(0); in iselNeonExpr_wrk()
4752 default: vassert(0); in iselNeonExpr_wrk()
4774 default: vassert(0); in iselNeonExpr_wrk()
4795 default: vassert(0); in iselNeonExpr_wrk()
4817 default: vassert(0); in iselNeonExpr_wrk()
4836 default: vassert(0); in iselNeonExpr_wrk()
4855 default: vassert(0); in iselNeonExpr_wrk()
4879 default: vassert(0); in iselNeonExpr_wrk()
4903 default: vassert(0); in iselNeonExpr_wrk()
4927 default: vassert(0); in iselNeonExpr_wrk()
4948 default: vassert(0); in iselNeonExpr_wrk()
4971 default: vassert(0); in iselNeonExpr_wrk()
4993 default: vassert(0); in iselNeonExpr_wrk()
5012 default: vassert(0); in iselNeonExpr_wrk()
5029 default: vassert(0); in iselNeonExpr_wrk()
5046 default: vassert(0); in iselNeonExpr_wrk()
5063 default: vassert(0); in iselNeonExpr_wrk()
5080 default: vassert(0); in iselNeonExpr_wrk()
5098 default: vassert(0); in iselNeonExpr_wrk()
5114 default: vassert(0); in iselNeonExpr_wrk()
5130 default: vassert(0); in iselNeonExpr_wrk()
5146 default: vassert(0); in iselNeonExpr_wrk()
5241 vassert(imm6 <= 32 && imm6 > 0); in iselNeonExpr_wrk()
5248 default: vassert(0); in iselNeonExpr_wrk()
5294 default: vassert(0); in iselNeonExpr_wrk()
5341 default: vassert(0); in iselNeonExpr_wrk()
5382 vassert(hregClass(r) == HRcFlt64); in iselDblExpr()
5383 vassert(hregIsVirtual(r)); in iselDblExpr()
5391 vassert(e); in iselDblExpr_wrk()
5392 vassert(ty == Ity_F64); in iselDblExpr_wrk()
5413 vassert(e->Iex.Load.ty == Ity_F64); in iselDblExpr_wrk()
5508 default: vassert(0); in iselDblExpr_wrk()
5551 vassert(hregClass(r) == HRcFlt32); in iselFltExpr()
5552 vassert(hregIsVirtual(r)); in iselFltExpr()
5560 vassert(e); in iselFltExpr_wrk()
5561 vassert(ty == Ity_F32); in iselFltExpr_wrk()
5570 vassert(e->Iex.Load.ty == Ity_F32); in iselFltExpr_wrk()
5650 default: vassert(0); in iselFltExpr_wrk()
5830 vassert(lg->cvt == ILGop_16Sto32 || lg->cvt == ILGop_16Uto32); in iselStmt()
5991 vassert(is_sane_RetLoc(rloc)); in iselStmt()
5997 vassert(d->tmp == IRTemp_INVALID); in iselStmt()
5998 vassert(rloc.pri == RLPri_None); in iselStmt()
5999 vassert(addToSp == 0); in iselStmt()
6003 vassert(rloc.pri == RLPri_2Int); in iselStmt()
6004 vassert(addToSp == 0); in iselStmt()
6020 vassert(rloc.pri == RLPri_Int); in iselStmt()
6021 vassert(addToSp == 0); in iselStmt()
6029 vassert(0); // ATC. The code that this produces really in iselStmt()
6038 vassert(rloc.pri == RLPri_V128SpRel); in iselStmt()
6039 vassert(rloc.spOff < 256); // else ARMRI84_I84(_,0) can't encode it in iselStmt()
6040 vassert(addToSp >= 16); in iselStmt()
6041 vassert(addToSp < 256); // ditto reason as for rloc.spOff in iselStmt()
6055 vassert(0); in iselStmt()
6074 default: vassert(0); in iselStmt()
6102 vassert(0); in iselStmt()
6114 default: vassert(0); in iselStmt()
6120 vassert(tyd == Ity_I64); in iselStmt()
6141 vassert(ty == Ity_I1); in iselStmt()
6254 vassert(cdst->tag == Ico_U32); in iselNext()
6321 vassert(0); // are we expecting any other kind? in iselNext()
6348 vassert(arch_host == VexArchARM); in iselSB_ARM()
6351 vassert(archinfo_host->endness == VexEndnessLE); in iselSB_ARM()
6354 vassert(sizeof(ARMInstr) <= 28); in iselSB_ARM()