<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 --- - MachineVerifier complains about Windows EH constructs"
href="https://llvm.org/bugs/show_bug.cgi?id=25461">25461</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>MachineVerifier complains about Windows EH constructs
</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>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Common Code Generator Code
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>rnk@google.com
</td>
</tr>
<tr>
<th>CC</th>
<td>andrew.kaylor@intel.com, david.majnemer@gmail.com, JCTremoulet@gmail.com, llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Apparently we've never run the MachineVerifier with WinEH, and I'm getting
errors like this now:
*** Bad machine code: MBB has more than one landing pad successor ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: MBB exits via conditional branch/fall-through but the CFG
successors don't match the actual successors! ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
*** Bad machine code: Using an undefined physical register ***
We should relax the first verifier invariant, since in WinEH there can be
multiple EH pad successors for an invoke.
The undefined physreg stuff is probably our bad and we should sort that out.
The condbr/fallthrough stuff might be our bad, I'm not sure.</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>