Lines Matching refs:f64lo
9796 IRTemp f64lo = newTemp(Ity_F64); in disInstr_X86_WRK() local
9805 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
9812 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in disInstr_X86_WRK()
9832 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo) ) in disInstr_X86_WRK()
10003 IRTemp f64lo = newTemp(Ity_F64); in disInstr_X86_WRK() local
10010 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
10016 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in disInstr_X86_WRK()
10030 binop( Iop_F64toI32S, mkexpr(rmode), mkexpr(f64lo)) ); in disInstr_X86_WRK()
10039 IRTemp f64lo = newTemp(Ity_F64); in disInstr_X86_WRK() local
10045 assign(f64lo, getXMMRegLane64F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
10050 assign(f64lo, loadLE(Ity_F64, mkexpr(addr))); in disInstr_X86_WRK()
10059 binop( Iop_F64toF32, mkexpr(rmode), mkexpr(f64lo) ) in disInstr_X86_WRK()