[llvm-bugs] [Bug 25879] New: Incorrect schedule is generated

[via llvm-bugs]

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

            Bug ID: 25879
           Summary: Incorrect schedule is generated
           Product: Projects
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Polly
          Assignee: polly-dev at googlegroups.com
          Reporter: doerfert at cs.uni-saarland.de
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15482
  --> https://llvm.org/bugs/attachment.cgi?id=15482&action=edit
Testcase

The Schedule generation relies on a reverse post order traversal as the domain
generation does. Though, for the former this is not the right choice as it does
not guarantee loops are visited completely after the header was visited.
Instead, blocks after the loop can be visited first causing them to appear
prior in the schedule than they should. An example test case is attached.

This bug was detected due to a SSA-Codegen failure in an lnt benchmark. It does
apperently not cause a result change for the current code generation, even
though we basically load/use an uninitialized value...

I am working on a patch for the schedule generation but ideas are welcome.

-- 
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/20151218/e3fb1b87/attachment.html>