Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

222    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
291    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
305    vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
717    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
774    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F32);
797    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F64);
854    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
877    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
900    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
923    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
946    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
969    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
992    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1015    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1038    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1061    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1084    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1107    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1130    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I16);
1153    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1176    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I8);
1206    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I64);
1236    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1252    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);
1282    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_I32);