[llvm-commits] [llvm] r89953 - /llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll

[Chris Lattner]

Author: lattner
Date: Thu Nov 26 10:42:00 2009
New Revision: 89953

URL: http://llvm.org/viewvc/llvm-project?rev=89953&view=rev
Log:
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?


Modified:
    llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll

Modified: llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll?rev=89953&r1=89952&r2=89953&view=diff

==============================================================================
--- llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll (original)
+++ llvm/trunk/test/Analysis/ScalarEvolution/scev-aa.ll Thu Nov 26 10:42:00 2009
@@ -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"