Low-quad form allows pointer-based optimizations that are impossible to perform in hi-quad form. As an example, low-quad form allows the optimization of:
Note that a harpoon.Analysis.Maps.Derivation
must be
maintained in low-quad form to allow compiler-supported garbage
collection in the back-end.
@author C. Scott Ananian