From d568a3e20d8c3839a49a9575e53460ab351cece0 Mon Sep 17 00:00:00 2001 From: Michael Kruse Date: Tue, 18 Aug 2015 21:08:41 +0000 Subject: [PATCH] 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. llvm-svn: 245353 --- .../ScopDetect/multidim_indirect_access.ll | 21 +++++++++---------- 1 file changed, 10 insertions(+), 11 deletions(-) diff --git a/polly/test/ScopDetect/multidim_indirect_access.ll b/polly/test/ScopDetect/multidim_indirect_access.ll index 99174910b3c0..d277a0d550cd 100644 --- a/polly/test/ScopDetect/multidim_indirect_access.ll +++ b/polly/test/ScopDetect/multidim_indirect_access.ll @@ -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"