From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 3 Mar 2019 09:59:56 +0000 (+0000)
Subject: add 3 extra unit tests
X-Git-Tag: ls180-24jan2020~1754
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=430d629639b88792caf81d987ae8eb1f1b1d8fa0;p=ieee754fpu.git

add 3 extra unit tests
---

diff --git a/src/add/test_add.py b/src/add/test_add.py
index 8363279c..1f143beb 100644
--- a/src/add/test_add.py
+++ b/src/add/test_add.py
@@ -11,6 +11,9 @@ from unit_test_single import (get_mantissa, get_exponent, get_sign, is_nan,
                                 run_edge_cases, run_corner_cases)
 
 def testbench(dut):
+    yield from check_case(dut, 0x006CE3EE, 0x806CE3EC, 0x00000002)
+    yield from check_case(dut, 0x00000047, 0x80000048, 0x80000001)
+    yield from check_case(dut, 0x000116C2, 0x8001170A, 0x80000048)
     yield from check_case(dut, 0x7ed01f25, 0xff559e2c, 0xfedb1d33)
     yield from check_case(dut, 0, 0, 0)
     yield from check_case(dut, 0xFFFFFFFF, 0xC63B800A, 0x7FC00000)