Home | History | Annotate | Download | only in priv

Lines Matching refs:tyenv

228    return newIRTemp( irsb->tyenv, ty );
355 IRType ty = typeOfIRExpr(irsb->tyenv, value);
995 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1028 IRType ty = typeOfIRExpr(irsb->tyenv, e);
1077 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1103 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1126 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1149 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1215 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1287 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1319 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1366 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1498 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1504 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1510 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1516 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1522 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1548 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
1554 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1560 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1566 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1572 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1578 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1596 vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1);
1597 vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1);
1614 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
1615 IRType tyN = typeOfIRExpr(irsb->tyenv, newVal);
1730 switch (typeOfIRExpr(irsb->tyenv,e)) {
1743 switch (typeOfIRExpr(irsb->tyenv,e)) {
1756 IRType src_ty = typeOfIRExpr(irsb->tyenv,e);
2012 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2040 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2071 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2099 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2297 vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2298 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
4931 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4955 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4968 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
4980 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
5009 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_I8);
5033 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
6680 vassert(typeOfIRExpr(irsb->tyenv, sw) == Ity_I16);
7053 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
9434 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);