HomeIsabelle/Phabricator

Word.toInt needs to check that the value is small enough to convert to a…

Description

Word.toInt needs to check that the value is small enough to convert to a positive integer when int is FixedInt
but otherwise can just cast the value as with Word.toIntX.

Details

Provenance
dcjmAuthored on Dec 17 2021, 2:31 PM
Parents
rPOLYML1fc26611db89: Allow register spilling.
Branches
Unknown
Tags
Unknown