<p>also, you can print the design at any time and if it contains unapplied changes, we print it with diff markup too</p><p>i'm not aware of any other compiler that does this, and this is _incredibly_ useful for investigating failed transformations, especially given how instructions in our IR don't have names and are renumbered very often</p>