[llvm-bugs] [Bug 26310] New: [Polly] Domain for non-affine loop has too many dimensions

[via llvm-bugs]

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: polly-dev at googlegroups.com
          Reporter: tobias at grosser.es
                CC: llvm-bugs at lists.llvm.org
    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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160126/525da812/attachment.html>