Lines Matching full:high64
7441 IRExpr * high64;
7453 high64 = unop( Iop_V128HIto64, mkexpr( vS ) );
7454 putIReg( rA_addr, (mode64) ? high64 :
7455 unop( Iop_64to32, high64 ) );
7463 IRExpr * high64;
7475 high64 = unop( Iop_V128HIto64, mkexpr( vS ) );
7478 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) :
7480 binop( Iop_And64, high64, mkU64( 0xFFFFFFFF ) ) ) );
15680 IRExpr * high64, * low32;
15682 high64 = unop( Iop_V128HIto64, mkexpr( vS ) );
15683 low32 = unop( Iop_64to32, high64 );
15689 IRTemp high64 = newTemp(Ity_F64);
15692 assign(high64, unop( Iop_ReinterpI64asF64,
15696 mkexpr(high64) ) ) );
15702 IRExpr * high64;
15704 high64 = unop( Iop_V128HIto64, mkexpr( vS ) );
15705 store( mkexpr( EA ), high64 );
15710 IRExpr * high64, *low64;
15712 high64 = unop( Iop_V128HIto64, mkexpr( vS ) );
15714 store( mkexpr( EA ), high64 );
