Lines Matching refs:f64lo
10452 IRTemp f64lo = newTemp(Ity_F64); in dis_CVTxSD2SI() local
10457 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0)); in dis_CVTxSD2SI()
10464 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in dis_CVTxSD2SI()
10480 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) ); in dis_CVTxSD2SI()
10484 binop( Iop_F64toI64S, mkexpr(rmode), mkexpr(f64lo)) ); in dis_CVTxSD2SI()
13261 IRTemp f64lo = newTemp(Ity_F64); in dis_ESC_0F__SSE2() local
13270 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0)); in dis_ESC_0F__SSE2()
13277 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in dis_ESC_0F__SSE2()
13297 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) ) in dis_ESC_0F__SSE2()
13558 IRTemp f64lo = newTemp(Ity_F64); in dis_ESC_0F__SSE2() local
13563 assign(f64lo, getXMMRegLane64F(eregOfRexRM(pfx,modrm), 0)); in dis_ESC_0F__SSE2()
13568 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in dis_ESC_0F__SSE2()
13577 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) ) in dis_ESC_0F__SSE2()
25317 IRTemp f64lo = newTemp(Ity_F64); in dis_ESC_0F__VEX() local
25322 assign(f64lo, getXMMRegLane64F(rS, 0)); in dis_ESC_0F__VEX()
25328 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) ); in dis_ESC_0F__VEX()
25335 mkexpr(f64lo)) ); in dis_ESC_0F__VEX()