Tests for irreducible loop support in compiler.