<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><span class="vcard"><a class="email" href="mailto:alina.sbirlea@gmail.com" title="Alina Sbirlea <alina.sbirlea@gmail.com>"> <span class="fn">Alina Sbirlea</span></a>
</span> changed
<a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LICM does not properly preserve MemorySSA during store promotion (was Miscompile with opt -licm -dse (due to bad memoryssa?))"
href="https://bugs.llvm.org/show_bug.cgi?id=49859">bug 49859</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 - LICM does not properly preserve MemorySSA during store promotion (was Miscompile with opt -licm -dse (due to bad memoryssa?))"
href="https://bugs.llvm.org/show_bug.cgi?id=49859#c7">Comment # 7</a>
on <a class="bz_bug_link
bz_status_RESOLVED bz_closed"
title="RESOLVED FIXED - LICM does not properly preserve MemorySSA during store promotion (was Miscompile with opt -licm -dse (due to bad memoryssa?))"
href="https://bugs.llvm.org/show_bug.cgi?id=49859">bug 49859</a>
from <span class="vcard"><a class="email" href="mailto:alina.sbirlea@gmail.com" title="Alina Sbirlea <alina.sbirlea@gmail.com>"> <span class="fn">Alina Sbirlea</span></a>
</span></b>
<pre>Committed as f6bff8d15778. I ran through a few scenarios to check the solution
is the right general one.
The verification will not catch this. Verification only catches malformed
MemorySSA, it no longer verifies incorrectly optimized accesses (see comment in
MemorySSA.cpp:1870). In short, it's possible optimizations are correct but for
an updated IR, an AA result may no longer see the optimization.</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>