maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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
This commit is contained in:
Michael Kruse 2015-08-18 21:08:41 +00:00
parent 06abbceebc
commit d568a3e20d
1 changed files with 10 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
polly/test/ScopDetect/multidim_indirect_access.ll
View File

@ -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"