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
2 files changed