文本文件  |  4行  |  152 B

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