projects / ieee754fpu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3365871)
remove redundant bvadd with 1 input
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:36:01 +0000 (15:36 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:36:01 +0000 (15:36 -0700)
fpmul_test.smt2 patch | blob | history

diff --git a/fpmul_test.smt2 b/fpmul_test.smt2
index 3cb042cccfc09e6ec0d99b251be4da8241849c9d..48c218dc56347ad0bf22539b147d35e9c0371497 100644 (file)
--- a/fpmul_test.smt2
+++ b/fpmul_test.smt2
@@ -259,11 +259,9 @@
                     ; subnormals:
                     (f32_round_product_rne
                         sign
-                        (bvadd
-                            (bv48_lshr_merging
-                                norm_product
-                                (f32_sexp_to_bv48 subnormal_shift)
-                            )
+                        (bv48_lshr_merging
+                            norm_product
+                            (f32_sexp_to_bv48 subnormal_shift)
                         )
                         f32_subnormal_exponent
                         #x00