LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 26310 - [Polly] Domain for non-affine loop has too many dimensions
Summary: [Polly] Domain for non-affine loop has too many dimensions
Status: RESOLVED FIXED
Alias: None
Product: Polly
Classification: Unclassified
Component: Optimizer (show other bugs)
Version: unspecified
Hardware: PC Linux
: P normal
Assignee: Polly Development Mailinglist
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-01-26 03:53 PST by Tobias Grosser
Modified: 2016-01-26 05:01 PST (History)
3 users (show)

See Also:
Fixed By Commit(s):

Attachments
Test case (914 bytes, application/octet-stream)
2016-01-26 03:53 PST, Tobias Grosser 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tobias Grosser 2016-01-26 03:53:55 PST 
Created attachment 15715 [details]
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).
Comment 1 Tobias Grosser 2016-01-26 03:56:37 PST 
Hi Johannes,

maybe this bug is easy for you. It is in an area where you wrote most of the code.
Comment 2 Johannes Doerfert 2016-01-26 05:01:51 PST 
Fixed in r258802.