HomeIsabelle/Phabricator

Need to allocate a register for every argument in BeginFunction even if it…

Description

Need to allocate a register for every argument in BeginFunction even if it isn't used.

Details

Provenance
dcjmAuthored on Dec 17 2021, 1:17 PM
Parents
rPOLYMLec608e858e1a: Cannot use the same register for the source and destination in BitFieldInsert.
Branches
Unknown
Tags
Unknown