<html>
<head>
<base href="https://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - Execute SCoP conditionally moves trivial PHI nodes and thereby causes dominace problems"
href="https://llvm.org/bugs/show_bug.cgi?id=25394">25394</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Execute SCoP conditionally moves trivial PHI nodes and thereby causes dominace problems
</td>
</tr>
<tr>
<th>Product</th>
<td>Projects
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Polly
</td>
</tr>
<tr>
<th>Assignee</th>
<td>polly-dev@googlegroups.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>doerfert@cs.uni-saarland.de
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=15212" name="attach_15212" title="Testcase">attachment 15212</a> <a href="attachment.cgi?id=15212&action=edit" title="Testcase">[details]</a></span>
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.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>