HomeIsabelle/Phabricator

Add functions to encode and decode bit pattern constants used in AND, OR and…

Description

Add functions to encode and decode bit pattern constants used in AND, OR and XOR instructions. The ARM64 uses a very complicated
scheme to encode a range of constant values using 13 bits.

Details

Provenance
dcjmAuthored on Feb 9 2021, 3:46 PM
Parents
rPOLYML1c201bcd6b7d: Return a SysWord.word value when trying to create a CIF if libffi is not…
Branches
Unknown
Tags
Unknown