Lines Matching refs:typeOfIRExpr
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);
905 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
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);
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);
