[llvm-bugs] [Bug 35465] New: Domain generation should use exiting not latch conditions

[via llvm-bugs]

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

            Bug ID: 35465
           Summary: Domain generation should use exiting not latch
                    conditions
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Other
          Assignee: polly-dev at googlegroups.com
          Reporter: doerfert at cs.uni-saarland.de
                CC: llvm-bugs at lists.llvm.org

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

Attached a patch to fix and simplify the domain generation. Using latch
constraints is problematic if multiple loops are left. One test case was fixed
others have only be simplified.

-- 
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/20171129/d2a895ae/attachment.html>