Add checks for consistency in irreducible loops Fix bugs that this new check discovered Test: art/test/testrunner/testrunner.py --host --64 --optimizing -b Flag: EXEMPT BUGFIX Change-Id: I7c8374f8b9950cfe715ea9680ce181ae0bdf3d5f