[llvm-bugs] [Bug 35434] New: Domain adjustment needs to consider potentially entered loop even if multiple are left

[via llvm-bugs]

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

            Bug ID: 35434
           Summary: Domain adjustment needs to consider potentially
                    entered loop even if multiple are left
           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 19478
  --> https://bugs.llvm.org/attachment.cgi?id=19478&action=edit
Test case + fix

The attached test case (see patch) shows how the domain generation uses domain
constraints of a non-related loop if multiple loops are left and one is entered
when traversing a single CFG edge. A potential fix is also included in the
patch. Unit tests pass but no other testing was performed.

-- 
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/20171127/c83d9ce5/attachment.html>