This package contains specialized visitors that transform their input
according to some figure of merit.
Typical figures of merit are:
- Code size and estimated cost to execute instructions
-
- Graph normalization to exclude unreachable regions
(dead code) and to remove unnecessary branch instructions.