Lines Matching refs:vassert

121   vassert(tmp >= 0);  in lookupIRTemp()
122 vassert(tmp < env->n_vregmap); in lookupIRTemp()
184 vassert(hregClass(r_dst) == hregClass(r_src)); in mk_iMOVds_RR()
185 vassert(hregClass(r_src) == HRcInt32 || hregClass(r_src) == HRcInt64); in mk_iMOVds_RR()
303 vassert(argreg < TILEGX_N_REGPARMS); in doHelperCall()
304 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 || in doHelperCall()
320 vassert(argreg < TILEGX_N_REGPARMS); in doHelperCall()
321 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 in doHelperCall()
395 vassert(sane_AMode(env, am)); in iselWordExpr_AMode()
405 vassert(ty == Ity_I64); in iselWordExpr_AMode_wrk()
446 vassert(hregClass(r) == HRcGPR()); in iselWordExpr_R()
447 vassert(hregIsVirtual(r)); in iselWordExpr_R()
455 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || in iselWordExpr_R_wrk()
717 vassert(0); in iselWordExpr_R_wrk()
1086 vassert(ty == e->Iex.CCall.retty); in iselWordExpr_R_wrk()
1128 vassert(ri->GXrh.Imm.syned == syned); in iselWordExpr_RH()
1130 vassert(ri->GXrh.Imm.imm16 != 0x8000); in iselWordExpr_RH()
1133 vassert(hregClass(ri->GXrh.Reg.reg) == HRcGPR()); in iselWordExpr_RH()
1134 vassert(hregIsVirtual(ri->GXrh.Reg.reg)); in iselWordExpr_RH()
1147 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || in iselWordExpr_RH_wrk()
1198 vassert(ri->GXrh.Imm.imm16 >= 1 && ri->GXrh.Imm.imm16 <= 63); in iselWordExpr_RH6u()
1199 vassert(!ri->GXrh.Imm.syned); in iselWordExpr_RH6u()
1202 vassert(hregClass(ri->GXrh.Reg.reg) == HRcInt64); in iselWordExpr_RH6u()
1203 vassert(hregIsVirtual(ri->GXrh.Reg.reg)); in iselWordExpr_RH6u()
1246 vassert(cc != TILEGXcc_NV); in iselCondCode()
1253 vassert(e); in iselCondCode_wrk()
1254 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1); in iselCondCode_wrk()
1469 vassert(0); in iselStmt()
1521 vassert(cas->expdHi == NULL); in iselStmt()
1522 vassert(cas->dataHi == NULL); in iselStmt()
1523 vassert(r_addr->tag == GXam_IR); in iselStmt()
1524 vassert(r_addr->GXam.IR.index == 0); in iselStmt()
1530 default: vassert(0); in iselStmt()
1579 vassert(0); in iselStmt()
1763 vassert(0); /* are we expecting any other kind? */ in iselNext()
1788 vassert(arch_host == VexArchTILEGX); in iselSB_TILEGX()