Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Polly] Domain for non-affine loop has too many dimensions #26684

Closed
tobiasgrosser opened this issue Jan 26, 2016 · 2 comments
Closed

[Polly] Domain for non-affine loop has too many dimensions #26684

tobiasgrosser opened this issue Jan 26, 2016 · 2 comments
Labels
bugzilla Issues migrated from bugzilla polly

Comments

@tobiasgrosser
Copy link
Contributor

Bugzilla Link 26310
Resolution FIXED
Resolved on Jan 26, 2016 05:01
Version unspecified
OS Linux
Attachments Test case
CC @jdoerfert,@jdoerfert

Extended Description

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).
@tobiasgrosser
Copy link
Contributor Author

Hi Johannes,

maybe this bug is easy for you. It is in an area where you wrote most of the code.

@jdoerfert
Copy link
Member

Fixed in r258802.

@llvmbot llvmbot transferred this issue from llvm/llvm-bugzilla-archive Dec 10, 2021
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bugzilla Issues migrated from bugzilla polly
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tobiasgrosser @jdoerfert