mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-01 04:10:18 +02:00
Code Activity

Fix logand range analysis.

Browse source 
* module/language/cps/types.scm (logand): Fix range analysis.
This commit is contained in:
Andy Wingo 2014-07-04 11:54:03 +02:00
parent 42b544ebbc
commit 74fe7fae00
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
module/language/cps/types.scm
View file

@ -991,13 +991,13 @@ minimum, and maximum."
(define-simple-type-checker (logand &exact-integer &exact-integer)) (define-simple-type-checker (logand &exact-integer &exact-integer))
(define-type-inferrer (logand a b result) (define-type-inferrer (logand a b result)
(define (logand-min a b) (define (logand-min a b)
(if (< a b 0) (if (and (negative? a) (negative? b))
(min a b) (min a b)
0)) 0))
(define (logand-max a b) (define (logand-max a b)
(if (< a b 0) (if (and (positive? a) (positive? b))
0 (min a b)
(max a b))) 0))
(restrict! a &exact-integer -inf.0 +inf.0) (restrict! a &exact-integer -inf.0 +inf.0)
(restrict! b &exact-integer -inf.0 +inf.0) (restrict! b &exact-integer -inf.0 +inf.0)
(define! result &exact-integer (define! result &exact-integer