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-...@googlegroups.com
          Reporter: philip.pfa...@gmail.com
                CC: llvm-bugs@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.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to