<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 - MSP430 machine verifier error"
href="https://bugs.llvm.org/show_bug.cgi?id=33050">33050</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>MSP430 machine verifier error
</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>Windows NT
</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: MSP430
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>llvm-dev@redking.me.uk
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Blocks</th>
<td>32146
</td>
</tr></table>
<p>
<div>
<pre>Enabling machine code verification with EXPENSIVE_CHECKS
(<a href="https://reviews.llvm.org/D30625">https://reviews.llvm.org/D30625</a>) causes a machine verifier error with `ninja
check-codegen-msp430`:
Failing Tests (1):
LLVM :: CodeGen/MSP430/vararg.ll
# After Instruction Selection
# Machine code for function va_start: IsSSA, TracksLiveness
Frame Objects:
fi#-2: size=2, align=2, fixed, at location [SP+2]
fi#-1: size=1, align=2, fixed, at location [SP+4]
fi#0: size=2, align=2, at location [SP+2]
BB#0: derived from LLVM BB %entry
%vreg0<def> = ADD16ri <fi#-1>, 0, %SR<imp-def,dead>; GR16:%vreg0
MOV16mr <fi#0>, 0, %vreg0<kill>; mem:ST2[%vl1] GR16:%vreg0
RET
# End machine code for function va_start.
*** Bad machine code: Tied use must be a register ***
- function: va_start
- basic block: BB#0 entry (0x4703e0)
- instruction: %vreg0<def> = ADD16ri
- operand 1: <fi#-1>
LLVM ERROR: Found 1 machine code errors.</pre>
</div>
</p>
<div id="referenced">
<hr style="border: 1px dashed #969696">
<b>Referenced Bugs:</b>
<ul>
<li>
[<a class="bz_bug_link
bz_status_NEW "
title="NEW - Enable -verify-machineinstrs with EXPENSIVE_CHECKS"
href="https://bugs.llvm.org/show_bug.cgi?id=32146">Bug 32146</a>] Enable -verify-machineinstrs with EXPENSIVE_CHECKS
</li>
</ul>
</div>
<br>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>