maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/polly/test/ScopDetect/indvars.ll

40 lines
1.2 KiB
LLVM
Raw Normal View History

tests: Drop -polly-detect-unprofitable and -polly-no-early-exit These flags are now always passed to all tests and need to be disabled if not needed. Disabling these flags, rather than passing them to almost all tests, significantly simplfies our RUN: lines. llvm-svn: 249422
2015-10-06 23:36:44 +08:00
; RUN: opt %loadPolly -analyze -polly-detect -polly-codegen < %s | FileCheck %s
Test that independent block pass does not transform induction variables The original test case showed a problem with the independet blocks pass and we decided to XFAIL it for now. Unfortunately the failure is not detected if we build without asserts and the verification of the independent block pass is not run. This change tests now for the actual reason of the failure and should trigger even in a non asserts build. We did not yet solve the underlying bug, but this should at least make the test suite behavior consistent. llvm-svn: 183025
2013-06-01 01:44:38 +08:00
;
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
[tests] Add memory writes to make this scop not trivially empty llvm-svn: 248697
2015-09-28 15:37:06 +08:00
define void @main(i64* %A, i64* %B) nounwind {
Test that independent block pass does not transform induction variables The original test case showed a problem with the independet blocks pass and we decided to XFAIL it for now. Unfortunately the failure is not detected if we build without asserts and the verification of the independent block pass is not run. This change tests now for the actual reason of the failure and should trigger even in a non asserts build. We did not yet solve the underlying bug, but this should at least make the test suite behavior consistent. llvm-svn: 183025
2013-06-01 01:44:38 +08:00
entry:
br label %for.i
for.i:
%indvar.i = phi i64 [ 0, %entry ], [ %indvar.next.i, %for.i.backedge ]
ScopDetect: check region entering edges are valid. When a region header is part of a loop, then all entering edges of this region should not come from the loop but outside the region. Otherwise, the loop may be only partially part of the region, which would cause troubles in handling induction variables. Currently, we can only model induction variables that are either fully part of the scop (loop induction variable) or induction variables that are scop- invariant (parameter). A loop that is only partially part of the scop causes troubles, as there is no good way to handle the induction variable in the independent blocks pass. Contributed-by: Star Tan <tanmx_star@yeah.net> llvm-svn: 183800
2013-06-12 06:20:40 +08:00
%indvar.next.i = add i64 %indvar.i, 1
Update Polly tests to handle explicitly typed gep changes in LLVM llvm-svn: 230784
2015-02-28 03:20:19 +08:00
%scevgep = getelementptr i64, i64* %A, i64 %indvar.i
ScopDetect: check region entering edges are valid. When a region header is part of a loop, then all entering edges of this region should not come from the loop but outside the region. Otherwise, the loop may be only partially part of the region, which would cause troubles in handling induction variables. Currently, we can only model induction variables that are either fully part of the scop (loop induction variable) or induction variables that are scop- invariant (parameter). A loop that is only partially part of the scop causes troubles, as there is no good way to handle the induction variable in the independent blocks pass. Contributed-by: Star Tan <tanmx_star@yeah.net> llvm-svn: 183800
2013-06-12 06:20:40 +08:00
store i64 %indvar.i, i64* %scevgep, align 4
Test that independent block pass does not transform induction variables The original test case showed a problem with the independet blocks pass and we decided to XFAIL it for now. Unfortunately the failure is not detected if we build without asserts and the verification of the independent block pass is not run. This change tests now for the actual reason of the failure and should trigger even in a non asserts build. We did not yet solve the underlying bug, but this should at least make the test suite behavior consistent. llvm-svn: 183025
2013-06-01 01:44:38 +08:00
br i1 true, label %for.j.preheader, label %for.j2
for.j.preheader:
br label %for.j
for.j:
%indvar.j = phi i64 [ %indvar.next.j, %for.j ], [ 0, %for.j.preheader ]
%indvar.next.j = add i64 %indvar.j, 1
[tests] Add memory writes to make this scop not trivially empty llvm-svn: 248697
2015-09-28 15:37:06 +08:00
%scevgep2 = getelementptr i64, i64* %B, i64 %indvar.j
store i64 %indvar.j, i64* %scevgep2, align 4
ScopDetect: check region entering edges are valid. When a region header is part of a loop, then all entering edges of this region should not come from the loop but outside the region. Otherwise, the loop may be only partially part of the region, which would cause troubles in handling induction variables. Currently, we can only model induction variables that are either fully part of the scop (loop induction variable) or induction variables that are scop- invariant (parameter). A loop that is only partially part of the scop causes troubles, as there is no good way to handle the induction variable in the independent blocks pass. Contributed-by: Star Tan <tanmx_star@yeah.net> llvm-svn: 183800
2013-06-12 06:20:40 +08:00
%exitcond.j = icmp eq i64 %indvar.next.j, 10
Test that independent block pass does not transform induction variables The original test case showed a problem with the independet blocks pass and we decided to XFAIL it for now. Unfortunately the failure is not detected if we build without asserts and the verification of the independent block pass is not run. This change tests now for the actual reason of the failure and should trigger even in a non asserts build. We did not yet solve the underlying bug, but this should at least make the test suite behavior consistent. llvm-svn: 183025
2013-06-01 01:44:38 +08:00
br i1 %exitcond.j, label %for.j2, label %for.j
for.j2:
fence seq_cst
br label %for.i.backedge
for.i.backedge:
%exitcond.i = icmp eq i64 %indvar.next.i, 2048
br i1 %exitcond.i, label %for.i, label %.end
.end:
ret void
}
Remove obsolete check This check was needed at some point but seems not useful anymore. Only one adjustment in the domain generation was needed to cope with the cases this check prevented from happening before. llvm-svn: 248695
2015-09-28 09:30:37 +08:00
; CHECK: Valid Region for Scop: for.i => for.j2