[llvm-bugs] [Bug 25394] New: Execute SCoP conditionally moves trivial PHI nodes and thereby causes dominace problems

[via llvm-bugs]

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

            Bug ID: 25394
           Summary: Execute SCoP conditionally moves trivial PHI nodes and
                    thereby causes dominace problems
           Product: Projects
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Polly
          Assignee: polly-dev at googlegroups.com
          Reporter: doerfert at cs.uni-saarland.de
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15212
  --> https://llvm.org/bugs/attachment.cgi?id=15212&action=edit
Testcase

As the summary states, the executeScopConditionally uses the splitEdge function
that will cause all tivial PHI nodes (one incoming value) in the region entry
block to be moved to the "original" entry block that is now reachable from
polly.split_new_and_old. However, that changes the dominance relation and if
this happens in a loop (around the SCoP) the trivial PHI value cannot be used
in the header any more.

-- 
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/20151103/606955fc/attachment.html>