[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-commits
Subject:    [Sbcl-commits] master: Get rid of more mentions of SHORT-FLOAT-P.
From:       stassats via Sbcl-commits <sbcl-commits () lists ! sourceforge ! net>
Date:       2023-06-30 12:45:53
Message-ID: 1688129153.866607.3856 () sfp-scm-2 ! v30 ! lw ! sourceforge ! com
[Download RAW message or body]

The branch "master" has been updated in SBCL:
       via  d285f11efe50cd5385a69b8513f3a4dee9cf4ec1 (commit)
      from  ce39b45f8c1dfe3b530fd80f3d88b738a2d63b28 (commit)

- Log -----------------------------------------------------------------
commit d285f11efe50cd5385a69b8513f3a4dee9cf4ec1
Author: Stas Boukarev <stassats@gmail.com>
Date:   Fri Jun 30 15:43:20 2023 +0300

    Get rid of more mentions of SHORT-FLOAT-P.
---
 src/code/cross-early.lisp         | 4 +---
 src/code/pred.lisp                | 1 -
 src/cold/exports.lisp             | 1 -
 src/compiler/generic/vm-fndb.lisp | 2 +-
 src/compiler/generic/vm-tran.lisp | 1 -
 5 files changed, 2 insertions(+), 7 deletions(-)

diff --git a/src/code/cross-early.lisp b/src/code/cross-early.lisp
index b1b20be9f..e1fe98953 100644
--- a/src/code/cross-early.lisp
+++ b/src/code/cross-early.lisp
@@ -49,13 +49,11 @@
 (declaim (inline realp))
 (defun realp (x) (cl:typep x 'real))
 
-(declaim (inline short-float-p single-float-p double-float-p long-float-p))
+(declaim (inline single-float-p double-float-p long-float-p))
 (defun single-float-p (x) (and (floatp x) (eq (flonum-format x) 'single-float)))
 (defun double-float-p (x) (and (floatp x) (eq (flonum-format x) 'double-float)))
-(defun short-float-p  (x) (single-float-p x))
 (defun long-float-p   (x) (double-float-p x))
 
-(deftype short-float  () '(satisfies short-float-p))
 (deftype single-float () '(satisfies single-float-p))
 (deftype double-float () '(satisfies double-float-p))
 (deftype long-float   () '(satisfies long-float-p))
diff --git a/src/code/pred.lisp b/src/code/pred.lisp
index 671a93e0f..884114d5c 100644
--- a/src/code/pred.lisp
+++ b/src/code/pred.lisp
@@ -114,7 +114,6 @@
   (def-type-predicate-wrapper rationalp)
   (def-type-predicate-wrapper ratiop)
   (def-type-predicate-wrapper realp)
-  (def-type-predicate-wrapper short-float-p)
   (def-type-predicate-wrapper single-float-p)
   #+sb-simd-pack (def-type-predicate-wrapper simd-pack-p)
   #+sb-simd-pack-256 (def-type-predicate-wrapper simd-pack-256-p)
diff --git a/src/cold/exports.lisp b/src/cold/exports.lisp
index b3823626c..d2d93a2f1 100644
--- a/src/cold/exports.lisp
+++ b/src/cold/exports.lisp
@@ -3254,7 +3254,6 @@ possibly temporarily, because it might be used internally.")
            "DOUBLE-FLOAT-P"
            "LOGICAL-PATHNAME-P"
            "LONG-FLOAT-P"
-           "SHORT-FLOAT-P"
            "SINGLE-FLOAT-P"
            "FIXNUMP"
            "BIGNUMP"
diff --git a/src/compiler/generic/vm-fndb.lisp b/src/compiler/generic/vm-fndb.lisp
index f004a2cd2..3d87306b3 100644
--- a/src/compiler/generic/vm-fndb.lisp
+++ b/src/compiler/generic/vm-fndb.lisp
@@ -16,7 +16,7 @@
 ;;; Simple TYPEP uses that don't have any standard predicate are
 ;;; translated into non-standard unary predicates.
 (defknown (fixnump bignump ratiop
-           short-float-p single-float-p double-float-p long-float-p
+           single-float-p double-float-p long-float-p
            complex-rational-p complex-float-p complex-single-float-p
            complex-double-float-p #+long-float complex-long-float-p
            complex-vector-p
diff --git a/src/compiler/generic/vm-tran.lisp b/src/compiler/generic/vm-tran.lisp
index 522c30d6f..455a02db8 100644
--- a/src/compiler/generic/vm-tran.lisp
+++ b/src/compiler/generic/vm-tran.lisp
@@ -14,7 +14,6 @@
 ;;; We need to define these predicates, since the TYPEP source
 ;;; transform picks whichever predicate was defined last when there
 ;;; are multiple predicates for equivalent types.
-(define-source-transform short-float-p (x) `(single-float-p ,x))
 #-long-float
 (define-source-transform long-float-p (x) `(double-float-p ,x))
 

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL


_______________________________________________
Sbcl-commits mailing list
Sbcl-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-commits
[prev in list] [next in list] [prev in thread] [next in thread]