<html>
<head>
<base href="https://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:listmail@philipreames.com" title="listmail@philipreames.com">listmail@philipreames.com</a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LVI gives up too early on zext / lshr"
href="https://llvm.org/bugs/show_bug.cgi?id=27434">bug 27434</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>FIXED
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LVI gives up too early on zext / lshr"
href="https://llvm.org/bugs/show_bug.cgi?id=27434#c8">Comment # 8</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LVI gives up too early on zext / lshr"
href="https://llvm.org/bugs/show_bug.cgi?id=27434">bug 27434</a>
from <span class="vcard"><a class="email" href="mailto:listmail@philipreames.com" title="listmail@philipreames.com">listmail@philipreames.com</a>
</span></b>
<pre>I've landed the changes for binary and unary operations. I've also gone
through and audited the other uses of pushBlockValue. I believe that all of
the remaining cases are as precise as they can be.
John's patch included a change to recurse on both operands of a binary
operation. That has not landed and should probably be discussed elsewhere.
@John, I'd really be curious to know what the precision is of the revised code
without the binary operator dual recursion bits. If it was easy for you to
gather, it'd be an insightful set of numbers.</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>