Lines Matching full:lo64
689 IRTemp lo64 = newTemp(Ity_I64);
702 assign( lo64, unop(Iop_V128to64, t128) );
713 unop( Iop_64HIto32, mkexpr( lo64 ) ) ) ) );
716 unop( Iop_ReinterpI32asF32, unop( Iop_64to32, mkexpr( lo64 ) ) ) ) );
727 IRTemp lo64 = newTemp(Ity_I64);
740 assign( lo64, unop(Iop_V128to64, t128) );
743 assign( *t1, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(lo64))) );
744 assign( *t0, unop(Iop_32Sto64, unop(Iop_64to32, mkexpr(lo64))) );
754 IRTemp lo64 = newTemp(Ity_I64);
767 assign( lo64, unop(Iop_V128to64, t128) );
770 assign( *t1, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(lo64))) );
771 assign( *t0, unop(Iop_32Uto64, unop(Iop_64to32, mkexpr(lo64))) );
780 IRTemp lo64 = newTemp(Ity_I64);
793 assign( lo64, unop(Iop_V128to64, t128) );
796 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
797 assign( *t0, unop(Iop_64to32, mkexpr(lo64)) );
12409 IRTemp lo64 = newTemp(Ity_I64);
12418 assign( lo64, unop(Iop_V128to64, mkexpr(tempResult)) );
12421 assign( res1, unop(Iop_64HIto32, mkexpr(lo64)) );
12422 assign( res0, unop(Iop_64to32, mkexpr(lo64)) );
15248 IRTemp lo64 = newTemp( Ity_I64 );
15255 assign( lo64, unop( Iop_V128to64, mkexpr( vS ) ) );
15265 storeBE( irx_addr, unop( Iop_64HIto32, mkexpr( lo64 ) ) );
15269 storeBE( irx_addr, unop( Iop_64to32, mkexpr( lo64 ) ) );
