[polly] r245353 - Update test case multidim_indirect_access.ll

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Tue Aug 18 16:08:41 2015
New Revision: 245353

URL: http://llvm.org/viewvc/llvm-project?rev=245353&view=rev
Log:
Update test case multidim_indirect_access.ll

This test was written to check the workings of IndependentBlocks on
arrays which doesn't do such transformations anymore. The test itself
is still useful to check that the region is rejected as SCoP.  


Modified:
    polly/trunk/test/ScopDetect/multidim_indirect_access.ll

Modified: polly/trunk/test/ScopDetect/multidim_indirect_access.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopDetect/multidim_indirect_access.ll?rev=245353&r1=245352&r2=245353&view=diff
==============================================================================
--- polly/trunk/test/ScopDetect/multidim_indirect_access.ll (original)
+++ polly/trunk/test/ScopDetect/multidim_indirect_access.ll Tue Aug 18 16:08:41 2015
@@ -1,17 +1,17 @@
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -analyze < %s | FileCheck %s --check-prefix=INDEPENDENT
-; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -analyze  < %s | FileCheck %s --check-prefix=NON_INDEPENDENT
+; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -analyze < %s | FileCheck %s
 ;
-; With the IndependentBlocks and PollyPrepare passes this will __correctly__
-; not be recognized as a SCoP and the debug states:
+; The outer loop of this function will correctly not be recognized with the
+; message:
 ;
-;   SCEV of PHI node refers to SSA names in region
+;   Non affine access function: (sext i32 %tmp to i64)
 ;
-; Without IndependentBlocks and PollyPrepare the access A[x] is mistakenly
-; treated as a multidimensional access with dimension size x. This test will
-; check that we correctly invalidate the region and do not detect a outer SCoP.
+; The access A[x] might mistakenly be treated as a multidimensional access with
+; dimension size x. This test will check that we correctly invalidate the
+; region and do not detect an outer SCoP.
 ;
 ; FIXME:
-; We should detect the inner region but the PHI node in the exit blocks that.
+; We should detect the inner region but the PHI node in the exit blocks
+; prohibits that.
 ;
 ;    void f(int *A, long N) {
 ;      int j = 0;
@@ -25,8 +25,7 @@
 ;      }
 ;    }
 ;
-; INDEPENDENT-NOT: Valid
-; NON_INDEPENDENT-NOT: Valid
+; CHECK-NOT: Valid Region for Scop: bb0 => bb13
 ;
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"