Regression test for optimizing in the presence of
an irreducible loop.