<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 - LICM: Ignore loop exits which don't exit on first iteration when computing isGuaranteedToExecute"
href="https://bugs.llvm.org/show_bug.cgi?id=26428">bug 26428</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>ASSIGNED
</td>
<td>RESOLVED
</td>
</tr>
<tr>
<td style="text-align:right;">Assignee</td>
<td>ovmold@gmail.com
</td>
<td>listmail@philipreames.com
</td>
</tr></table>
<p>
<div>
<b><a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LICM: Ignore loop exits which don't exit on first iteration when computing isGuaranteedToExecute"
href="https://bugs.llvm.org/show_bug.cgi?id=26428#c6">Comment # 6</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LICM: Ignore loop exits which don't exit on first iteration when computing isGuaranteedToExecute"
href="https://bugs.llvm.org/show_bug.cgi?id=26428">bug 26428</a>
from <span class="vcard"><a class="email" href="mailto:listmail@philipreames.com" title="listmail@philipreames.com">listmail@philipreames.com</a>
</span></b>
<pre>Closing the bug as support was implemented a while back. There are some next
steps which would be nice to pursue, let me summarize them:
1) pipe SCEV through LICM and down into MustExecute. This lets us handle much
more complicated cases than the current Constants and SimplifyInstruction
approach.
2) figure out a way to efficiently handle implicit control flow (i.e. handle
cases where potentially faulting instructions only run on the second iteration
down some rare path...) I'd been working on this, but have basically given up
now and approached my original problem from a different angel.</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>