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