<html>
<head>
<base href="https://bugs.llvm.org/">
</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 - AMDGPU SILowerControlFlow fails to preserve LiveVariables"
href="https://bugs.llvm.org/show_bug.cgi?id=52204">52204</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>AMDGPU SILowerControlFlow fails to preserve LiveVariables
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</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>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Backend: AMDGPU
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>jay.foad@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>AMDGPU's SILowerControlFlow currently (after D111397) does this:
bool SILowerControlFlow::runOnMachineFunction(MachineFunction &MF) {
// FIXME: This pass causes verification failures.
MF.getProperties().set(
MachineFunctionProperties::Property::FailsVerification);
...
}
The problem is that the pass claims to preserve LiveVariables, but if you
remove the workaround above and then run the test suite then lots of tests fail
with machine verification errors like:
*** Bad machine code: Kill missing from LiveVariables ***
*** Bad machine code: LiveVariables: Block should not be in AliveBlocks ***</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>