[Guile-commits] 11/12: Add missing lsh/immediate, rsh/immediate type inferrers

[Andy Wingo]

wingo pushed a commit to branch master
in repository guile.

commit 107f70a633efa33a7605623d3d02b2bafabbc0a2
Author: Andy Wingo <address@hidden>
Date:   Sat Nov 11 21:44:45 2017 +0100

    Add missing lsh/immediate, rsh/immediate type inferrers
    
    * module/language/cps/types.scm (lsh/immediate, rsh/immediate): Add
      missing type inferrers.
---
 module/language/cps/types.scm | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm
index a185eaa..1443841 100644
--- a/module/language/cps/types.scm
+++ b/module/language/cps/types.scm
@@ -1324,6 +1324,12 @@ minimum, and maximum."
                                              (&min/0 count)
                                              (&max/u64 count))))
     (define-exact-integer! result min max)))
+(define-type-inferrer/param (lsh/immediate count val result)
+  (restrict! val &exact-integer -inf.0 +inf.0)
+  (let-values (((min max) (compute-ash-range (&min val)
+                                             (&max val)
+                                             count count)))
+    (define-exact-integer! result min max)))
 (define-type-inferrer (rsh val count result)
   (restrict! val &exact-integer -inf.0 +inf.0)
   (let-values (((min max) (compute-ash-range (&min val)
@@ -1331,6 +1337,12 @@ minimum, and maximum."
                                              (- (&min/0 count))
                                              (- (&max/u64 count)))))
     (define-exact-integer! result min max)))
+(define-type-inferrer/param (rsh/immediate count val result)
+  (restrict! val &exact-integer -inf.0 +inf.0)
+  (let-values (((min max) (compute-ash-range (&min val)
+                                             (&max val)
+                                             (- count) (- count))))
+    (define-exact-integer! result min max)))
 
 (define-simple-type-checker (ursh &u64 &u64))
 (define-type-inferrer (ursh a b result)