[PATCH] Revert "[SCEV] add no wrap flag for SCEVAddExpr."
authorTim Northover <tnorthover@apple.com>
Mon, 30 Sep 2019 07:46:52 +0000 (07:46 +0000)
committerSylvestre Ledru <sylvestre@debian.org>
Sat, 31 Oct 2020 13:09:15 +0000 (13:09 +0000)
commit19b7c8d07f82f91723e440058d6d8cc88fd73303
tree0cd66707a53e0bf0f33d4531699ca87d07e79c69
parenta214e1c665c0520dc0bde597ab6205d98d99cc84
[PATCH] Revert "[SCEV] add no wrap flag for SCEVAddExpr."

This reverts r366419 because the analysis performed is within the context of
the loop and it's only valid to add wrapping flags to "global" expressions if
they're always correct.

llvm-svn: 373184
(cherry picked from commit 58e8c793d0e43150a6452e971a32d7407a8a7401)

Gbp-Pq: Name 373184.patch
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/ScalarEvolution/limit-depth.ll
llvm/test/Analysis/ScalarEvolution/nsw.ll
llvm/test/Analysis/ScalarEvolution/trip-count12.ll
llvm/test/Analysis/ScalarEvolution/trip-count9.ll