<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 --- - Incorrect schedule is generated"
href="https://llvm.org/bugs/show_bug.cgi?id=25879">25879</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Incorrect schedule is generated
</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=15482" name="attach_15482" title="Testcase">attachment 15482</a> <a href="attachment.cgi?id=15482&action=edit" title="Testcase">[details]</a></span>
Testcase
The Schedule generation relies on a reverse post order traversal as the domain
generation does. Though, for the former this is not the right choice as it does
not guarantee loops are visited completely after the header was visited.
Instead, blocks after the loop can be visited first causing them to appear
prior in the schedule than they should. An example test case is attached.
This bug was detected due to a SSA-Codegen failure in an lnt benchmark. It does
apperently not cause a result change for the current code generation, even
though we basically load/use an uninitialized value...
I am working on a patch for the schedule generation but ideas are welcome.</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>