[llvm] r274935 - [LAA] Port test to the new PM

Adam Nemet via llvm-commits llvm-commits at lists.llvm.org
Fri Jul 8 14:24:06 PDT 2016


Author: anemet
Date: Fri Jul  8 16:24:06 2016
New Revision: 274935

URL: http://llvm.org/viewvc/llvm-project?rev=274935&view=rev
Log:
[LAA] Port test to the new PM

This is a follow-on to r274452.

The LAA with the new PM is a loop pass so we go from inner to outer loops.

Also using a CHECK-NOT didn't make much sense because we print something
in either case; whether an invariant is 'found' or 'not found'.

Modified:
    llvm/trunk/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll

Modified: llvm/trunk/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll?rev=274935&r1=274934&r2=274935&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll (original)
+++ llvm/trunk/test/Analysis/LoopAccessAnalysis/store-to-invariant-check1.ll Fri Jul  8 16:24:06 2016
@@ -1,4 +1,5 @@
-; RUN: opt < %s -loop-accesses -analyze | FileCheck %s
+; RUN: opt < %s -loop-accesses -analyze | FileCheck -check-prefix=OLDPM %s
+; RUN: opt -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' -disable-output  < %s 2>&1 | FileCheck -check-prefix=NEWPM %s
 
 ; Test to confirm LAA will find store to invariant address.
 ; Inner loop has a store to invariant address.
@@ -9,8 +10,17 @@
 ;    }
 ;  }
 
-; CHECK: Store to invariant address was found in loop.
-; CHECK-NOT: Store to invariant address was not found in loop.
+; The LAA with the new PM is a loop pass so we go from inner to outer loops.
+
+; OLDPM: for.cond1.preheader:
+; OLDPM:   Store to invariant address was not found in loop.
+; OLDPM: for.body3:
+; OLDPM:   Store to invariant address was found in loop.
+
+; NEWPM: for.body3:
+; NEWPM:   Store to invariant address was found in loop.
+; NEWPM: for.cond1.preheader:
+; NEWPM:   Store to invariant address was not found in loop.
 
 define i32 @foo(i32* nocapture %var1, i32* nocapture readonly %var2, i32 %itr) #0 {
 entry:




More information about the llvm-commits mailing list