Lines Matching refs:hi64r
10354 IRTemp hi64r = newTemp(Ity_I64); in math_PSRLDQ() local
10368 assign( hi64r, mkexpr(hi64) ); in math_PSRLDQ()
10372 assign( hi64r, mkU64(0) ); in math_PSRLDQ()
10377 assign( hi64r, mkU64(0) ); in math_PSRLDQ()
10380 assign( hi64r, binop( Iop_Shr64, mkexpr(hi64), mkU8(8 * imm) )); in math_PSRLDQ()
10391 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in math_PSRLDQ()
10401 IRTemp hi64r = newTemp(Ity_I64); in math_PSLLDQ() local
10415 assign( hi64r, mkexpr(hi64) ); in math_PSLLDQ()
10420 assign( hi64r, mkexpr(lo64) ); in math_PSLLDQ()
10425 assign( hi64r, binop( Iop_Shl64, mkexpr(lo64), mkU8( 8*(imm-8) ) )); in math_PSLLDQ()
10428 assign( hi64r, in math_PSLLDQ()
10438 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in math_PSLLDQ()