From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 16 Feb 2019 12:14:21 +0000 (+0000)
Subject: add extra arbitrary div unit test
X-Git-Tag: ls180-24jan2020~1940
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60861482dcda7f752cc17477e993df063d9f2c79;p=ieee754fpu.git

add extra arbitrary div unit test
---

diff --git a/src/add/test_div.py b/src/add/test_div.py
index 2945f5be..6ca4c4af 100644
--- a/src/add/test_div.py
+++ b/src/add/test_div.py
@@ -49,6 +49,7 @@ def testbench(dut):
     yield from check_case(dut, 0x40000000, 0x3F800000, 0x40000000)
     yield from check_case(dut, 0x3F800000, 0x40000000, 0x3F000000)
     yield from check_case(dut, 0x3F800000, 0x40400000, 0x3EAAAAAB)
+    yield from check_case(dut, 0x40400000, 0x41F80000, 0x3DC6318C)
 
 if __name__ == '__main__':
     dut = FPDIV(width=32)