Lines Matching refs:lo64
675 IRTemp lo64 = newTemp(Ity_I64);
688 assign( lo64, unop(Iop_V128to64, t128) );
699 unop( Iop_64HIto32, mkexpr( lo64 ) ) ) ) );
702 unop( Iop_ReinterpI32asF32, unop( Iop_64to32, mkexpr( lo64 ) ) ) ) );
713 IRTemp lo64 = newTemp(Ity_I64);
726 assign( lo64, unop(Iop_V128to64, t128) );
729 assign( *t1, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(lo64))) );
730 assign( *t0, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(lo64))) );
740 IRTemp lo64 = newTemp(Ity_I64);
753 assign( lo64, unop(Iop_V128to64, t128) );
756 assign( *t1, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(lo64))) );
757 assign( *t0, unop(Iop_32Uto64, unop(Iop_64to32, mkexpr(lo64))) );
766 IRTemp lo64 = newTemp(Ity_I64);
779 assign( lo64, unop(Iop_V128to64, t128) );
782 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
783 assign( *t0, unop(Iop_64to32, mkexpr(lo64)) );
11771 IRTemp lo64 = newTemp(Ity_I64);
11780 assign( lo64, unop(Iop_V128to64, mkexpr(tempResult)) );
11783 assign( res1, unop(Iop_64HIto32, mkexpr(lo64)) );
11784 assign( res0, unop(Iop_64to32, mkexpr(lo64)) );
14122 IRTemp lo64 = newTemp( Ity_I64 );
14129 assign( lo64, unop( Iop_V128to64, mkexpr( vS ) ) );
14139 storeBE( irx_addr, unop( Iop_64HIto32, mkexpr( lo64 ) ) );
14143 storeBE( irx_addr, unop( Iop_64to32, mkexpr( lo64 ) ) );
