[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)
committerGianfranco Costamagna <locutusofborg@debian.org>
Sat, 15 Aug 2020 19:53:41 +0000 (20:53 +0100)
commit700a4a182670272443cbcb6db0766cb4633af061
treeaae6fc78bf612ebc6cdccd9af2dfbc5e9de2ecb9
parentd91f1b8f52c621d7da0ea37ad150c5513e52ccfc
[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