[PATCH] Exit ScalarEvolution::getMulExpr Early when Choose Overflows

[Andrew Trick]

I know the problem with the loop structure isn't a problem with your change per-say, but it makes your change a lot harder to understand.

It seems obvious to me that the 2nd and 3rd loop are redundant. But I have been wrong before. Can you confirm? If you agree, would you be willing to remove that extra loop as a separate checkin before committing your change?

http://reviews.llvm.org/D5113