<html>
<head>
<base href="https://llvm.org/bugs/" />
</head>
<body><span class="vcard"><a class="email" href="mailto:mssimpso@codeaurora.org" title="Matthew Simpson <mssimpso@codeaurora.org>"> <span class="fn">Matthew Simpson</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - wrong code at -O2, -O3 (NOT -Os) on x86-64-linux-gnu (in 32- and 64-bit modes)"
href="https://llvm.org/bugs/show_bug.cgi?id=26734">bug 26734</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 - wrong code at -O2, -O3 (NOT -Os) on x86-64-linux-gnu (in 32- and 64-bit modes)"
href="https://llvm.org/bugs/show_bug.cgi?id=26734#c3">Comment # 3</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - wrong code at -O2, -O3 (NOT -Os) on x86-64-linux-gnu (in 32- and 64-bit modes)"
href="https://llvm.org/bugs/show_bug.cgi?id=26734">bug 26734</a>
from <span class="vcard"><a class="email" href="mailto:mssimpso@codeaurora.org" title="Matthew Simpson <mssimpso@codeaurora.org>"> <span class="fn">Matthew Simpson</span></a>
</span></b>
<pre>This should be fixed as of r262624 (test case included with the fix).
We should not have tried to vectorize this code because the incoming phi value
corresponding to the loop latch block (the previous value) is not defined
inside the loop. It's defined in the preheader. This led to the dominance
problem Michael discovered.
The fix ensures the previous value is defined inside the loop when checking for
first-order recurrences.</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>