diff --git a/src/backend_x64/emit_x64_floating_point.cpp b/src/backend_x64/emit_x64_floating_point.cpp
index db52d822..9dc5c618 100644
--- a/src/backend_x64/emit_x64_floating_point.cpp
+++ b/src/backend_x64/emit_x64_floating_point.cpp
@@ -1112,6 +1112,9 @@ void EmitX64::EmitFPU64ToDouble(EmitContext& ctx, IR::Inst* inst) {
         code.subpd(tmp, code.MConst(xword, 0x4330000000000000, 0x4530000000000000));
         code.pshufd(result, tmp, 0b01001110);
         code.addpd(result, tmp);
+        if (ctx.FPSCR_RMode() == FP::RoundingMode::TowardsMinusInfinity) {
+            code.pand(result, code.MConst(xword, f64_non_sign_mask));
+        }
     }
 
     ctx.reg_alloc.DefineValue(inst, result);