[Guile-commits] 18/27: Type inference distinguishes between untagged and tagged flonums

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 608753982f012d40a466fe08a86041e92a85f908
Author: Andy Wingo <address@hidden>
Date:   Wed Nov 11 10:14:51 2015 +0100

    Type inference distinguishes between untagged and tagged flonums
    
    * module/language/cps/types.scm (&f64): New type, for untagged f64
      values.  Having a distinct type prevents type folding from replacing
      an untagged 3.0 with a tagged 3.0.
      (scm->f64, f64->scm): Support these new primcalls.
---
 module/language/cps/types.scm |   25 ++++++++++++++++++++++++-
 1 files changed, 24 insertions(+), 1 deletions(-)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index 55cde27..fc23e16 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -117,6 +117,9 @@
             ;; Union types.
             &number &real
 
+            ;; Untagged types.
+            &f64
+
             infer-types
             lookup-pre-type
             lookup-post-type
@@ -164,7 +167,9 @@
   &bytevector
   &bitvector
   &array
-  &hash-table)
+  &hash-table
+
+  &f64)
 
 (define-syntax &no-type (identifier-syntax 0))
 
@@ -673,6 +678,24 @@ minimum, and maximum."
 
 
 ;;;
+;;; Unboxed double-precision floating-point numbers.
+;;;
+
+(define-type-checker (scm->f64 scm)
+  (check-type scm &real -inf.0 +inf.0))
+(define-type-inferrer (scm->f64 scm result)
+  (restrict! scm &real -inf.0 +inf.0)
+  (define! result &f64 (&min scm) (&max scm)))
+
+(define-type-checker (f64->scm f64)
+  #t)
+(define-type-inferrer (f64->scm f64 result)
+  (define! result &flonum (&min f64) (&max f64)))
+
+
+
+
+;;;
 ;;; Bytevectors.
 ;;;