Home | History | Annotate | Download | only in priv

Lines Matching refs:tyenv

233    return newIRTemp( irsb->tyenv, ty );
955 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
988 IRType ty = typeOfIRExpr(irsb->tyenv, e);
1037 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1063 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1086 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1109 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1175 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1247 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1294 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1383 //.. vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1419 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1425 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1431 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1437 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1443 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1449 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1460 vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1);
1461 vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1);
1478 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
1479 IRType tyN = typeOfIRExpr(irsb->tyenv, newVal);
1593 switch (typeOfIRExpr(irsb->tyenv,e)) {
1605 switch (typeOfIRExpr(irsb->tyenv,e)) {
1618 IRType src_ty = typeOfIRExpr(irsb->tyenv,e);
1870 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1898 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
1929 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1957 vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2125 vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2126 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
4550 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4574 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4587 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
4599 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4628 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_I8);
4652 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
6125 vassert(typeOfIRExpr(irsb->tyenv, sw) == Ity_I16);
6495 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
8651 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);