mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-07-02 15:40:38 +02:00
* module/language/cps/types.scm (*min-s32*, *max-s32*): Remove unused definitions. (&range-min, &range-max): New definitions, replacing min-fixnum and max-fixnum as the bounds of precise range analysis. (type-entry-min, type-entry-max): Store inf values directly as -inf.0/+inf.0. (type-entry-clamped-min, type-entry-clamped-max): Remove, as they are no longer needed. (clamp-min, clamp-max, make-type-entry): Clamp minimum and maximum half-ranges in different ways. (type-entry-union, type-entry-saturating-union) (type-entry-intersection): Adapt to type-entry-min / type-entry-max change. (bv-u32-ref, bv-u32-set!): (bv-s32-ref, bv-s32-set!): (bv-u64-ref, bv-u64-set!): (bv-s64-ref, bv-s64-set!): Precise range inference. This will allow robust unboxing. (ash): Infer 64-bit shifts. |
||
---|---|---|
.. | ||
ice-9 | ||
language | ||
oop | ||
rnrs | ||
scripts | ||
srfi | ||
sxml | ||
system | ||
texinfo | ||
web | ||
Makefile.am | ||
rnrs.scm | ||
statprof.scm | ||
texinfo.scm |