diff --git a/fpu.vhdl b/fpu.vhdl
index 190f4a3..d8b95f2 100644
--- a/fpu.vhdl
+++ b/fpu.vhdl
@@ -2015,7 +2015,7 @@ begin
                 set_r := '0';
                 opsel_r <= RES_SHIFT;
                 re_sel2 <= REXP2_NE;
-                if (r.r(UNIT_BIT + 2) or r_hi_nz or r_lo_nz or (or (r.r(DP_LSB - 1 downto 0)))) = '0' then
+                if (or (r.r(UNIT_BIT + 3 downto 0))) = '0' then
                     -- R is all zeroes but there may be non-zero bits in S
                     -- so shift them into R and set S to 0
                     set_r := '1';
diff --git a/tests/fpu/fpu.c b/tests/fpu/fpu.c
index a123f62..cdbc7a1 100644
--- a/tests/fpu/fpu.c
+++ b/tests/fpu/fpu.c
@@ -1629,6 +1629,8 @@ struct fmavals {
 	  0x41fffffffff00000, 0xc3ffffffffe00000, 0xc1fffffffff00000, 0x43ffffffffe00000 },
 	{ 0x3ff0000000000000, 0x000060fbffffefc1, 0x000060fbffffefc1, FPS_RN_NEAR,
 	  0x0000c1f7ffffdf82, 0x0000000000000000, 0x8000c1f7ffffdf82, 0x8000000000000000 },
+	{ 0x80000000fffffffd, 0x3ff0000000000000, 0x8000000300000003, FPS_UE | FPS_RN_NEAR,
+	  0xdef0000000000000, 0x5ee0000000300000, 0x5ef0000000000000, 0xdee0000000300000 },
 };
 
 int test23(long arg)
diff --git a/tests/test_fpu.bin b/tests/test_fpu.bin
index cd1d647..d48077e 100755
Binary files a/tests/test_fpu.bin and b/tests/test_fpu.bin differ