diff options
author | Stas Boukarev <stassats@gmail.com> | 2021-09-29 02:03:12 +0300 |
---|---|---|
committer | Stas Boukarev <stassats@gmail.com> | 2021-09-29 02:04:14 +0300 |
commit | ea34a13c10d251454e89a993dcd904eb8f83d021 (patch) | |
tree | 7953408d2430f7aaaa5a462540de7bd2759ef559 /float-math.lisp-expr | |
parent | d047b10cd98075ffe696abd40ddf3fc53daa4f8f (diff) |
Reoptimize after deleting exits.
That way the VALUES transform can see that there's only a single value
being consumed.
Diffstat (limited to 'float-math.lisp-expr')
-rw-r--r-- | float-math.lisp-expr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/float-math.lisp-expr b/float-math.lisp-expr index c5c833af7..5c2786f51 100644 --- a/float-math.lisp-expr +++ b/float-math.lisp-expr @@ -562,6 +562,7 @@ (< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x0)) NIL) (< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) NIL) (< (#.(MAKE-SINGLE-FLOAT #x3F800000) #.(MAKE-DOUBLE-FLOAT #x-100001 #xFFFFFFFF)) NIL) +(< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x3FC90FDB)) NIL) (< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T) (< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T) (< (#.(MAKE-SINGLE-FLOAT #x3FC90FDB) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T) @@ -935,6 +936,7 @@ (<= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x3F800000)) T) (<= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x-40100000 #x0)) T) (<= (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-DOUBLE-FLOAT #x3FF00000 #x0)) T) +(<= (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x3FC90FDB)) T) (<= (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x4EC90FDB)) T) (<= (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x5E490FDB)) T) (<= (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x5F490FDB)) T) @@ -2241,6 +2243,7 @@ (> (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x4E800000)) NIL) (> (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x5D800000)) NIL) (> (#.(MAKE-SINGLE-FLOAT #x-40800000) #.(MAKE-SINGLE-FLOAT #x5E800000)) NIL) +(> (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x-4036F025)) NIL) (> (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x-3136F025)) T) (> (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x-21B6F025)) T) (> (#.(MAKE-SINGLE-FLOAT #x-4036F025) #.(MAKE-SINGLE-FLOAT #x-20B6F025)) T) |