From 896cca536525fef80167350c30a71ea53735abd4 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 2 Feb 2026 14:52:23 +1300
Subject: [PATCH] Don't raise DZ when left is inf

---
 libs/symfpu           | 2 +-
 tests/symfpu/edges.sv | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/libs/symfpu b/libs/symfpu
index 1452b0b39..f5eccd093 160000
--- a/libs/symfpu
+++ b/libs/symfpu
@@ -1 +1 @@
-Subproject commit 1452b0b39c40c1a22dcbb0cc5b22ab628247ee5b
+Subproject commit f5eccd09323fba1a7ee78df2e7bb43dc5509dfe5
diff --git a/tests/symfpu/edges.sv b/tests/symfpu/edges.sv
index eecb60bad..9959ad1bd 100644
--- a/tests/symfpu/edges.sv
+++ b/tests/symfpu/edges.sv
@@ -228,9 +228,8 @@ module edges();
 
 `ifdef DIV
         assume (c_zero);
-        // a = finite, b = 0
-        if ((a_norm || a_subnorm) && b_unsigned == '0)
-            assert (DZ);
+        // div/zero when a = finite, b = 0
+        assert (!DZ || ((a_norm || a_subnorm) && b_unsigned == '0));
         // 0/0 or inf/inf
         if ((a_zero && b_zero) || (a_inf && b_inf))
             assert (NV);