mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
Code Activity

Tighten up range inference for scm->u64/truncate

Browse source 
* module/language/cps/types.scm (scm->u64/truncate): Better range
analysis.
This commit is contained in:
Andy Wingo 2024-09-25 17:27:17 +02:00
parent e45b70dcde
commit 30c3849092
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1008,10 +1008,12 @@ minimum, and maximum."
(define! result &u64 param param))
(define-type-checker (scm->u64/truncate scm)
(check-type scm &exact-integer &range-min &range-max))
(check-type scm &exact-integer -inf.0 +inf.0))
(define-type-inferrer (scm->u64/truncate scm result)
(restrict! scm &exact-integer &range-min &range-max)
(define! result &u64 0 &u64-max))
(restrict! scm &exact-integer -inf.0 +inf.0)
(if (<= 0 (&min scm) (&max scm) &u64-max)
(define! result &u64 (&min scm) (&max scm))
(define! result &u64 0 &u64-max)))
(define-type-checker (u64->scm u64)
#t)