Lines Matching refs:tyenv
452 return newIRTemp( irsb->tyenv, ty );
512 IRType tyA = typeOfIRExpr(irsb->tyenv, addr);
577 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
578 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
585 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
586 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
597 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
615 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
633 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
651 vassert(typeOfIRExpr(irsb->tyenv, vIn) == Ity_V128);
672 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
710 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
737 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
763 vassert(typeOfIRExpr(irsb->tyenv, t128) == Ity_V128);
788 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
811 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
829 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
830 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
831 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
832 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
846 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
847 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
848 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
849 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
882 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
888 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1055 vassert(typeOfIRExpr(irsb->tyenv, e) == ty );
1113 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
1243 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1258 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1361 vassert(typeOfIRExpr(irsb->tyenv,rot_amt) == Ity_I8);
1363 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1450 vassert(typeOfIRExpr(irsb->tyenv,addr) == ty);
1462 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1473 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1501 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1508 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
1556 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1563 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1608 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32);
1668 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 ||
1669 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
1697 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_V128);
1739 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1747 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1755 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1763 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I8);
1815 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
1816 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
1817 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
1948 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
1949 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
1950 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2087 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2088 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2089 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2090 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32);
2205 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2206 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2207 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2208 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2525 IRType ty_src = typeOfIRExpr(irsb->tyenv,src );
2588 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
2646 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
3600 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
3619 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
5456 Bool is32bit = typeOfIRExpr(irsb->tyenv, argL0 ) == Ity_I32;
5473 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 );
5474 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 );
5476 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
5477 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
6136 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6155 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
