HomeIsabelle/Phabricator

Make all conditional branches jump round an unconditional branch. This allows…

Description

Make all conditional branches jump round an unconditional branch. This allows the maximum offset. They can
then be shortened if the offset is suitable.

Details

Provenance
dcjmAuthored on Mar 8 2021, 8:00 PM
Parents
rPOLYML4f0dcbd1f67e: Use conditional branches directly for some simple tests rather than generating…
Branches
Unknown
Tags
Unknown