<html>
<head>
<base href="https://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:llvm@meinersbur.de" title="Michael Kruse <llvm@meinersbur.de>"> <span class="fn">Michael Kruse</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [LazyValueInfo] Assertion `isa<Argument>(Val) && "Unknown live-in to the entry block"' failed."
href="https://llvm.org/bugs/show_bug.cgi?id=26718">bug 26718</a>
<br>
<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>What</th>
<th>Removed</th>
<th>Added</th>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>NEW
</td>
<td>RESOLVED
</td>
</tr>
<tr>
<td style="text-align:right;">Resolution</td>
<td>---
</td>
<td>INVALID
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [LazyValueInfo] Assertion `isa<Argument>(Val) && "Unknown live-in to the entry block"' failed."
href="https://llvm.org/bugs/show_bug.cgi?id=26718#c12">Comment # 12</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED INVALID - [LazyValueInfo] Assertion `isa<Argument>(Val) && "Unknown live-in to the entry block"' failed."
href="https://llvm.org/bugs/show_bug.cgi?id=26718">bug 26718</a>
from <span class="vcard"><a class="email" href="mailto:llvm@meinersbur.de" title="Michael Kruse <llvm@meinersbur.de>"> <span class="fn">Michael Kruse</span></a>
</span></b>
<pre>"Fixed" as the verifier now rejects such IR since
<a href="http://reviews.llvm.org/D18443">http://reviews.llvm.org/D18443</a> (r264528)
During the review Sanjoy mentioned that InstsInThisBlock is just a performance
optimization to quickly accept instructions that were just seen in the
BasicBlock. This means it should behave the same as if only DT.dominates(Op, U)
decides whether it the domination is correct, which rejects such IR.</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>