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