1Regression test for the SimplifyCFG phase of optimizing.
2The invariant that the pre header of a loop header is the
3first predecessor was not preserved.
4