HomeIsabelle/Phabricator

Remove "destinations" datatype from ICode and include it in ICodeToX86Code…

Description

Remove "destinations" datatype from ICode and include it in ICodeToX86Code since that's the only place it's used.

Details

Provenance
dcjmAuthored on Nov 26 2021, 1:37 PM
Parents
rPOLYML72da33114b76: Use the general register list in AllocateRegisters rather than duplicate it in…
Branches
Unknown
Tags
Unknown