[llvm-bugs] [Bug 33265] New: Non-affine loops not code generated corretly

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=33265

            Bug ID: 33265
           Summary: Non-affine loops not code generated corretly
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: tobias at grosser.es
                CC: llvm-bugs at lists.llvm.org

Created attachment 18556
  --> https://bugs.llvm.org/attachment.cgi?id=18556&action=edit
Test case

The attached test case breaks as follows:

po /tmp/non-affine-loop-not-working.ll -polly-allow-nonaffine-loops
-polly-process-unprofitable -polly-codegen

Instruction does not dominate all uses!
  %indvar = phi i64 [ %indvar.next, %bb9 ], [ 0, %bb2 ]
  %p_indvar.next = add i64 %indvar, 1
Instruction does not dominate all uses!
  %indvar = phi i64 [ %indvar.next, %bb9 ], [ 0, %bb2 ]
  %0 = add i64 %x, %indvar
LLVM ERROR: Broken function found, compilation aborted!

It seems non-affine loops are broken in this case. Unfortunately it seems we
have no code-generation test coverage from the point when they have been
introduced. :(

As they are disabled by default that is not breaking anything in the default
configuration, but we should still fix this and add test cases to not regress
further.

-- 
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/20170601/60ce86d3/attachment.html>