Lines Matching refs:typeOfIRExpr
596 IRType tyA = typeOfIRExpr(irsb->tyenv, addr);
677 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
678 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
685 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
686 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
697 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
715 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
733 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
751 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
772 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
810 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
837 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
863 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
898 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
920 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
938 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
939 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
940 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
941 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
955 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
956 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
957 vassert(typeOfIRExpr
958 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
1002 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1008 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1174 vassert(typeOfIRExpr(irsb->tyenv, e) == ty );
1270 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
1300 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D32 );
1306 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D64 );
1316 vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D128 );
1451 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1466 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1644 vassert(typeOfIRExpr(irsb->tyenv,rot_amt) == Ity_I8);
1646 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1734 vassert(typeOfIRExpr(irsb->tyenv,addr) == ty);
1840 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1847 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1892 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32);
1952 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 ||
1953 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
1981 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_V128);
2023 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2031 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2039 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2047 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
2099 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2100 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2101 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2232 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2233 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2234 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2387 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2388 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2389 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2390 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32);
2505 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2506 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2507 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2508 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2878 IRType ty_src = typeOfIRExpr(irsb->tyenv,src );
3048 vassert( typeOfIRExpr( irsb->tyenv,src ) == Ity_I64 );
3143 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
3317 vassert( typeOfIRExpr(irsb->tyenv, src ) == Ity_I32 );
4180 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
4199 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
6137 Bool is32bit = typeOfIRExpr(irsb->tyenv, argL0 ) == Ity_I32;
6154 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 );
6155 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 );
6157 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
6158 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
