Cross Reference: /external/valgrind/VEX/priv/guest_s390

Lines Matching refs:vassert
39 #include "main_util.h"               /* vassert */
108    vassert(isPlausibleIRType(type));
184    vassert(value < 256);
193    vassert(value < 65536);
232    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
299    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
316    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
380    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
399    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
409    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
478    vassert(typeOfIRExpr(irsb->tyenv, emfailure) == Ity_I32);
495    vassert(typeOfIRExpr(irsb->tyenv, emwarning) == Ity_I32);
888    vassert(archreg < 16);
905    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
945    vassert(archreg < 16);
962    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F32);
985    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F64);
1001    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_D32);
1017    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_D64);
1056    vassert(archreg < 16);
1073    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1096    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1119    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1142    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1165    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1188    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1211    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1234    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1257    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1280    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1303    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1326    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1349    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1372    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1395    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1425    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1455    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1471    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1501    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
2327    vassert(dis_res->whatNext == Dis_Continue);
14008    vassert(sizeof(formats) == 2);
14214    vassert(sizeof(formats) == 4);
15353    vassert(sizeof(formats) == 6);
16461       vassert(guest_IA_next_instr - guest_IA_curr_instr ==
16664    vassert(guest_arch == VexArchS390X);
16667    vassert(host_endness == VexEndnessBE);