HomeIsabelle/Phabricator

Move allocation code and branch tables into pre-assembler "instructions".

Description

Move allocation code and branch tables into pre-assembler "instructions".

Details

Provenance
dcjmAuthored on Jan 7 2022, 1:22 PM
Parents
rPOLYML417c12dbd538: Return small numbers of multiple results in registers.
Branches
Unknown
Tags
Unknown