[llvm-bugs] [Bug 33876] New: RegionInfo is not updated correctly in polly-prepare

[via llvm-bugs]

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

            Bug ID: 33876
           Summary: RegionInfo is not updated correctly in polly-prepare
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Other
          Assignee: polly-dev at googlegroups.com
          Reporter: philip.pfaffe at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 18829
  --> https://bugs.llvm.org/attachment.cgi?id=18829&action=edit
Lit testcase

In polly-prepare we split the entry block of a function, and subsequently
update and preserved a precomputed RegionInfo, if it exists. The attached
testcase demonstrates this. If -region is run after -polly-prepare, the
resulting region tree looks like this:
[0] entry => <Function Return>
  [1] entry.split => for.end
    [2] for.cond => for.end

If -region is run before, the region tree is this:
[0] entry => <Function Return>
  [1] entry => for.end
    [2] for.cond => for.end

This is the correct tree before the split, but it is not correct after. The
expected result should be the same as above. If -region runs before the
CodePreparation pass, the CodePreparation pass will try to update it.

- Philip

-- 
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/20170721/2c408d1a/attachment.html>