From a359468e2f0ac4b6fd4ebd1b2519bd0a5810cba8 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 13 May 2022 15:36:01 -0700
Subject: [PATCH] remove redundant bvadd with 1 input

---
 fpmul_test.smt2 | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/fpmul_test.smt2 b/fpmul_test.smt2
index 3cb042cc..48c218dc 100644
--- 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
-- 
2.30.2