<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 - MIR fails verifier when regalloc produces error: inline assembly requires more registers than available"
href="https://bugs.llvm.org/show_bug.cgi?id=46918">46918</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>MIR fails verifier when regalloc produces error: inline assembly requires more registers than available
</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>Register Allocator
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>Matthew.Arsenault@amd.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org, quentin.colombet@gmail.com
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=23793" name="attach_23793" title="Testcase">attachment 23793</a> <a href="attachment.cgi?id=23793&action=edit" title="Testcase">[details]</a></span>
Testcase
The register allocator currently produces MIR that fails the verifier when it
can't handle inline assembly. It produces the user error in the context, and
then has to produce something and keep going. The MIR should pass the verifier
so the compilation can reach the end successfully. I'm not sure whether it
would be better to hack up the code to avoid failing the verifier, or to change
the verifier check for the error and disable the liveness checks.
llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -verify-machineinstrs</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>