Lines Matching refs:Iop_64HIto32
687 unop( Iop_64HIto32, mkexpr( hi64 ) ) ) ) );
694 unop( Iop_64HIto32, mkexpr( lo64 ) ) ) ) );
722 assign( *t3, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(hi64))) );
724 assign( *t1, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(lo64))) );
749 assign( *t3, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(hi64))) );
751 assign( *t1, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(lo64))) );
775 assign( *t3, unop(Iop_64HIto32, mkexpr(hi64)) );
777 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
790 assign( hi32, unop(Iop_64HIto32, t64));
813 assign( hi32, unop(Iop_64HIto32, t64));
1874 unop(Iop_64HIto32, mkexpr(t64)),
2003 unop(Iop_64HIto32, res),
2698 exp = binop( Iop_And32, binop( Iop_Shr32, unop( Iop_64HIto32,
2732 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2756 hi32 = unop( Iop_64HIto32, mkexpr( sign_less_part ) );
2772 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2815 unop( Iop_64HIto32,
3165 assign( rD, unop(Iop_64HIto32,
3187 assign( rD, unop(Iop_64HIto32,
3917 assign(argHi, unop(Iop_64HIto32, mkexpr(rS)));
6241 assign(lo, unop(Iop_64HIto32, mkexpr(rS)));
6429 mkWidenFrom32(ty, unop(Iop_64HIto32, mkexpr(val)),
7396 sp ? mkexpr( frB_Int ) : unop( Iop_64HIto32, mkexpr( frB_Int ) ),
7425 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
7617 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
8010 unop(Iop_64HIto32,
8162 unop(Iop_64HIto32, unop(Iop_ReinterpF64asI64,
8171 unop(Iop_64HIto32,
8527 unop( Iop_64HIto32, unop( Iop_V128HIto64, getVSReg( XB ) ) ) );
8630 assign( res3, unop(Iop_64HIto32, mkexpr(hi64)) );
8632 assign( res1, unop(Iop_64HIto32, mkexpr(lo64)) );
9545 unop( Iop_64HIto32, mkexpr( frA_I64 ) ),
9552 unop( Iop_64HIto32, mkexpr( frB_I64 ) ),
9651 unop( Iop_64HIto32,
9714 unop( Iop_64HIto32,
9731 hi32 = unop( Iop_64HIto32, mkexpr(frB_I64) );
10978 storeBE( mkexpr( EA ), unop( Iop_64HIto32, mkexpr( hi64 ) ) );
10986 storeBE( irx_addr, unop( Iop_64HIto32, mkexpr( lo64 ) ) );
11076 assign( ahi32, unop(Iop_64HIto32, mkexpr(a64)) );
11080 assign( bhi32, unop(Iop_64HIto32, mkexpr(b64)) );
