Lines Matching refs:f32lo
8693 IRTemp f32lo = newTemp(Ity_F32); in disInstr_X86_WRK() local
8702 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
8709 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in disInstr_X86_WRK()
8733 unop( Iop_F32toF64, mkexpr(f32lo) ) ) in disInstr_X86_WRK()
8748 IRTemp f32lo = newTemp(Ity_F32); in disInstr_X86_WRK() local
8755 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
8761 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in disInstr_X86_WRK()
8777 unop( Iop_F32toF64, mkexpr(f32lo) ) ) in disInstr_X86_WRK()
9968 IRTemp f32lo = newTemp(Ity_F32); in disInstr_X86_WRK() local
9973 assign( f32lo, getXMMRegLane32F(eregOfRM(modrm), 0) ); in disInstr_X86_WRK()
9980 assign( f32lo, loadLE(Ity_F32, mkexpr(addr)) ); in disInstr_X86_WRK()
9991 unop(Iop_F32toF64, mkexpr(f32lo)) ); in disInstr_X86_WRK()
10095 IRTemp f32lo = newTemp(Ity_F32); in disInstr_X86_WRK() local
10101 assign(f32lo, getXMMRegLane32F(eregOfRM(modrm), 0)); in disInstr_X86_WRK()
10106 assign(f32lo, loadLE(Ity_F32, mkexpr(addr))); in disInstr_X86_WRK()
10113 unop( Iop_F32toF64, mkexpr(f32lo) ) ); in disInstr_X86_WRK()