<html>
<head>
<base href="https://bugs.llvm.org/">
</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 - [SCEV] Violation of proposed definitional flag rules"
href="https://bugs.llvm.org/show_bug.cgi?id=51817">bug 51817</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;">Resolution</td>
<td>---
</td>
<td>FIXED
</td>
</tr>
<tr>
<td style="text-align:right;">Status</td>
<td>NEW
</td>
<td>RESOLVED
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - [SCEV] Violation of proposed definitional flag rules"
href="https://bugs.llvm.org/show_bug.cgi?id=51817#c5">Comment # 5</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - [SCEV] Violation of proposed definitional flag rules"
href="https://bugs.llvm.org/show_bug.cgi?id=51817">bug 51817</a>
from <span class="vcard"><a class="email" href="mailto:listmail@philipreames.com" title="listmail@philipreames.com">listmail@philipreames.com</a>
</span></b>
<pre><a href="https://reviews.llvm.org/D109789">https://reviews.llvm.org/D109789</a> (the getGEPExpr issue) and
<a href="https://reviews.llvm.org/D109845">https://reviews.llvm.org/D109845</a> (the original invariant add + addrec fold
issue) have both landed.
As of now, that means all the *known* inconsistencies with the new flags model
have been addressed. Both changes have some codegen quality regression risk,
so we'll have to see what is reported over the next couple weeks.
<a href="https://reviews.llvm.org/D111003">https://reviews.llvm.org/D111003</a> has also landed. That's an effort to minimize
performance impact from D109789 preemptively.
I have other planned inference work in this area, but given the goal of this
particular PR has been achieved, I'm going to close out this bug. We can
reopen if we need to revert any of the above changes or find new
inconsistencies.</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>