[PATCH] ScalarEvolution incorrectly assumes that the start of certain add recurrences don't overflow

[Sanjoy Das]

Added back the optimization with a condition on `L->getExitingBlock() == L->getLoopLatch()`.


http://reviews.llvm.org/D7331

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/scev-prestart-nowrap.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7331.19542.patch
Type: text/x-patch
Size: 4168 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150208/eb5e0247/attachment.bin>