HomeIsabelle/Phabricator

Add an optimisation pass. Currently this only deals with eliminating…

Description

Add an optimisation pass. Currently this only deals with eliminating unreachable code. Remove the "exited" flag from
the higher level pass since this can now be handled more generally.

Details

Provenance
dcjmAuthored on Wed, Oct 7, 12:14 PM
Parents
rPOLYML4ebb4df22931: Add some combined instructions that implement common sequences for datatype tag…
Branches
Unknown
Tags
Unknown