[polly] r260955 - [FIX] LICM test case

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Tue Feb 16 06:10:42 2016
New Revision: 260955

URL: http://llvm.org/viewvc/llvm-project?rev=260955&view=rev
Log:
[FIX] LICM test case

Modified:
    polly/trunk/test/ScopInfo/licm_load.ll

Modified: polly/trunk/test/ScopInfo/licm_load.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/licm_load.ll?rev=260955&r1=260954&r2=260955&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/licm_load.ll (original)
+++ polly/trunk/test/ScopInfo/licm_load.ll Tue Feb 16 06:10:42 2016
@@ -1,8 +1,6 @@
 ; RUN: opt %loadPolly -basicaa -loop-rotate -indvars       -polly-prepare -polly-scops -analyze < %s | FileCheck %s
 ; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s
 ;
-; XFAIL: *
-;
 ;    void foo(int n, float A[static const restrict n],
 ;             float B[static const restrict n], int j) {
 ;      for (int i = 0; i < n; i++)
@@ -39,11 +37,14 @@ for.end:
   ret void
 }
 
-
+; CHECK:      Invariant Accesses: {
+; CHECK-NEXT:   ReadAccess := [Reduction Type: NONE] [Scalar: 0]
+; CHECK-NEXT:       [n, j] -> { Stmt_{{[a-zA-Z_]*}}[{{[i0]*}}] -> MemRef_B[j] };
+; CHECK-NEXT:       Execution Context: [n, j] -> {  : n > 0 }
+; CHECK-NEXT: }
+;
 ; CHECK: Statements {
 ; CHECK:      Stmt_for_body
-; CHECK-DAG:     ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
-; CHECK-NEXT:        [n, j] -> { Stmt_for_body[i0] -> MemRef_B[j] };
-; CHECK=DAG:     MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
+; CHECK-DAG:     MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
 ; CHECK-NEXT:        [n, j] -> { Stmt_for_body[i0] -> MemRef_A[i0] };
 ; CHECK:     }