HomeIsabelle/Phabricator

Add instructions to the code-generator to find the highest bit set in a word.

Description

Add instructions to the code-generator to find the highest bit set in a word. Use this in IntInf.log2. Implement log2 for long-format
numbers in the RTS. Remove the RTS call to get the size of a "limb" since it's no longer needed.

Details

Provenance
dcjmAuthored on Nov 7 2023, 8:22 AM
Parents
rPOLYMLac5512b38ecd: Merge branch 'master' into IntInfFix
Branches
Unknown
Tags
Unknown