HomeIsabelle/Phabricator

Allocate the registers at the same time as converting the code. This changes…

Description

Allocate the registers at the same time as converting the code. This changes the allocation order so that registers
are allocated at the point they are defined rather than at their last use.

Details

Provenance
dcjmAuthored on Jan 1 2022, 8:29 AM
Parents
rPOLYMLc092b36b9e93: Move conflict state code into the register allocator.
Branches
Unknown
Tags
Unknown