Lines Matching refs:typeOfIRExpr
988 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1021 IRType ty = typeOfIRExpr(irsb->tyenv, e);
1070 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1096 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1119 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1142 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I16);
1208 vassert(typeOfIRExpr(irsb->tyenv, e) == szToITy(sz));
1280 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1312 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1359 vassert(typeOfIRExpr(irsb->tyenv,e) == szToITy(sz));
1491 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1497 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1503 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1509 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1515 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1541 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V256);
1547 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_V128);
1553 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1559 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1565 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F32);
1571 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
1589 vassert(typeOfIRExpr(irsb->tyenv,x) == Ity_I1);
1590 vassert(typeOfIRExpr(irsb->tyenv,y) == Ity_I1);
1607 IRType tyE = typeOfIRExpr(irsb->tyenv, expVal);
1608 IRType tyN = typeOfIRExpr(irsb->tyenv, newVal);
1723 switch (typeOfIRExpr(irsb->tyenv,e)) {
1736 switch (typeOfIRExpr(irsb->tyenv,e)) {
1749 IRType src_ty = typeOfIRExpr(irsb->tyenv,e);
4924 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4948 typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
4961 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
4973 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
5002 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_I8);
5026 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
6656 vassert(typeOfIRExpr(irsb->tyenv, sw) == Ity_I16);
7026 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
9336 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);