https://llvm.org/bugs/show_bug.cgi?id=26310
Bug ID: 26310
Summary: [Polly] Domain for non-affine loop has too many
dimensions
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Optimizer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Created attachment 15715
--> https://llvm.org/bugs/attachment.cgi?id=15715&action=edit
Test case
opt /tmp/test.ll -polly-scops -polly-process-unprofitable
-polly-allow-nonaffine-loops -analyze
Statements {
Stmt_loop2__TO__loop
Domain :=
{ Stmt_loop2__TO__loop[i0] : i0 >= -1 };
Schedule :=
{ Stmt_loop2__TO__loop[i0] -> [] };
ReadAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar_2__phi[] };
MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]
{ Stmt_loop2__TO__loop[i0] -> MemRef_A[0] };
ReadAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar_next_3[] };
MayWriteAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar_3[] };
ReadAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar_next_3[] };
MayWriteAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar_3[] };
MayWriteAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar[] };
MayWriteAccess := [Reduction Type: NONE] [Scalar: 1]
{ Stmt_loop2__TO__loop[i0] -> MemRef_indvar[] };
However, there is no loop within the scop (except the one hidden in the
non-affine region).
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
