[llvm-bugs] [Bug 37576] New: Domain generation should use last iteration loop exit constrains

[via llvm-bugs]

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

            Bug ID: 37576
           Summary: Domain generation should use last iteration loop exit
                    constrains
           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 20335
  --> https://bugs.llvm.org/attachment.cgi?id=20335&action=edit
Test case + fix

This is a patch and a test case for the problem that loop exit constraints
might have to refer to the last iteration of the loop that will actually exit.
However, since this information is not around when the branch conditions are
built the first time we have to do it again later one.

-- 
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/20180524/e6dd3d1e/attachment-0001.html>