1This test case runs a few odd control flow graphs through the optimizer.
2
3This test compares emitted code against a known-good (via eyeballing)
4version, so it is possible for this test to spuriously fail if other
5aspects of conversion end up altering the output in innocuous ways.
6