diff options
| author | Dan Gohman <gohman@apple.com> | 2010-06-30 17:27:11 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-06-30 17:27:11 +0000 |
| commit | 70eff630085cb1585858344324c78c7418524795 (patch) | |
| tree | 389255a0ab79cd7b092bf551a71bd42610cbbd8b /test/Analysis/ScalarEvolution | |
| parent | a71f0e1f2a7d6d2f030f147d6d426e5bb3b56328 (diff) | |
| download | llvm-70eff630085cb1585858344324c78c7418524795.tar.gz llvm-70eff630085cb1585858344324c78c7418524795.tar.bz2 llvm-70eff630085cb1585858344324c78c7418524795.tar.xz | |
Revert the part of r107257 which introduced new logic for using
nsw and nuw flags from IR Instructions. On further consideration,
this isn't valid.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107298 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/ScalarEvolution')
| -rw-r--r-- | test/Analysis/ScalarEvolution/scev-aa.ll | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/Analysis/ScalarEvolution/scev-aa.ll b/test/Analysis/ScalarEvolution/scev-aa.ll index dd5a66ccb4..866664a3d6 100644 --- a/test/Analysis/ScalarEvolution/scev-aa.ll +++ b/test/Analysis/ScalarEvolution/scev-aa.ll @@ -190,8 +190,9 @@ define void @bar() { ret void } +; TODO: This is theoretically provable to be NoAlias. ; CHECK: Function: nonnegative: 2 pointers, 0 call sites -; CHECK: NoAlias: i64* %arrayidx, i64* %p +; CHECK: MayAlias: i64* %arrayidx, i64* %p define void @nonnegative(i64* %p) nounwind { entry: @@ -210,6 +211,6 @@ for.end: ; preds = %for.body, %entry ret void } -; CHECK: 14 no alias responses -; CHECK: 26 may alias responses +; CHECK: 13 no alias responses +; CHECK: 27 may alias responses ; CHECK: 18 must alias responses |