diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-04-07 17:19:26 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-04-07 17:19:26 +0000 |
| commit | c77764591b06655bca4313ccfb5b1b773849387e (patch) | |
| tree | 09d033db1e09b2cb0f627e4f9616e648159b4055 /lib/Analysis/ScalarEvolution.cpp | |
| parent | 93abbc272a1445d5108dfe9bddd323f6ac7b96a2 (diff) | |
SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW.
Found by inspection.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154262 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 205227ca0b..1d55642079 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -3187,7 +3187,7 @@ const SCEV *ScalarEvolution::createNodeForGEP(GEPOperator *GEP) { // Add the total offset from all the GEP indices to the base. return getAddExpr(BaseS, TotalOffset, - isInBounds ? SCEV::FlagNSW : SCEV::FlagAnyWrap); + isInBounds ? SCEV::FlagNUW : SCEV::FlagAnyWrap); } /// GetMinTrailingZeros - Determine the minimum number of zero bits that S is |