Instead of keeping a variable indicating whether there are early exits
in the loop. We keep all the early exits. This improves LICM's ability to
move instructions out of the loop based on is-guaranteed-to-execute.
I measured noise-level compilation time difference on SPECINT2006.
The comment here should explain that these are calls that might throw, etc.