Lines Matching refs:tyenv
110 return newIRTemp(irsb->tyenv, type);
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);
563 switch (typeOfIRTemp(irsb->tyenv, v)) {
647 if (sizeofIRType(typeOfIRTemp(irsb->tyenv, d1)) == 4) {
671 if (sizeofIRType(typeOfIRTemp(irsb->tyenv, d1)) == 4) {
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);
