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 | c0cca7fdda493edb1477662cd5517fa2744f93c5 (patch) | |
| tree | b9e4458de7da172f1df517f9544d7934a43eb03c /llvm/test/Analysis | |
| parent | b4591efa93a9634ff7a977e46eccaa7856dc2568 (diff) | |
| download | bcm5719-llvm-c0cca7fdda493edb1477662cd5517fa2744f93c5.tar.gz bcm5719-llvm-c0cca7fdda493edb1477662cd5517fa2744f93c5.zip | |
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.
llvm-svn: 107298
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/ScalarEvolution/scev-aa.ll | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/llvm/test/Analysis/ScalarEvolution/scev-aa.ll b/llvm/test/Analysis/ScalarEvolution/scev-aa.ll index dd5a66ccb44..866664a3d66 100644 --- a/llvm/test/Analysis/ScalarEvolution/scev-aa.ll +++ b/llvm/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 |
