HomeIsabelle/Phabricator

Use SBFX for LargeWord.fromInt in 32-in-64. This untags and sign-extends in a…

Description

Use SBFX for LargeWord.fromInt in 32-in-64. This untags and sign-extends in a single instruction.

Details

Provenance
dcjmAuthored on Apr 1 2021, 2:02 PM
Parents
rPOLYML36a1e799acf1: Fix length field in allocation in RTS calls.
Branches
Unknown
Tags
Unknown