projects
/
ieee754fpu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add FPFormat.get_exponent_value to get an unbiased exponent corrected for subnormals
[ieee754fpu.git]
/
fpmul_test.smt2
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