diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-11-26 16:42:00 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-11-26 16:42:00 +0000 |
| commit | 856a72cf38fe270513bdf51a1f879b8baa51a668 (patch) | |
| tree | c1fac4a638862c0c89f252f1be033f9b16c470a6 | |
| parent | 5d5261c819fa2a203dc8d09c7bb71e041a12cd69 (diff) | |
update status of this. basicaa is much improved now,
only missing the one form (in this testcase). Dan, do you
consider this example to be important?
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89953 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/ScalarEvolution/scev-aa.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Analysis/ScalarEvolution/scev-aa.ll b/test/Analysis/ScalarEvolution/scev-aa.ll index 0dcf52977a..371d07c7c1 100644 --- a/test/Analysis/ScalarEvolution/scev-aa.ll +++ b/test/Analysis/ScalarEvolution/scev-aa.ll @@ -1,8 +1,8 @@ ; RUN: opt < %s -scev-aa -aa-eval -print-all-alias-modref-info \ ; RUN: |& FileCheck %s -; At the time of this writing, all of these CHECK lines are cases that -; plain -basicaa misses. +; At the time of this writing, -basicaa only misses the example of the form +; A[i+(j+1)] != A[i+j]. However, it does get A[(i+j)+1] != A[i+j]. target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64" |