<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Assertion `AL->size() == ActualAccesses.size() && "We don't have the same number of accesses in the block as on the " "access list"' failed."
href="https://bugs.llvm.org/show_bug.cgi?id=51020">51020</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion `AL->size() == ActualAccesses.size() && "We don't have the same number of accesses in the block as on the " "access list"' failed.
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Loop Optimizer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>mikael.holmen@ericsson.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=25010" name="attach_25010" title="bbi-57909.ll reproducer">attachment 25010</a> <a href="attachment.cgi?id=25010&action=edit" title="bbi-57909.ll reproducer">[details]</a></span>
bbi-57909.ll reproducer
llvm commit: 21fd87595297
Reproduce with:
opt -verify-memoryssa -passes='function(loop-mssa(loop-unroll-full))'
bbi-57909.ll -o /dev/null
Result:
opt: ../lib/Analysis/MemorySSA.cpp:2020: void
llvm::MemorySSA::verifyOrderingDominationAndDefUses(llvm::Function&) const:
Assertion `AL->size() == ActualAccesses.size() && "We don't have the same
number of accesses in the block as on the " "access list"' failed.
This starts happening with 94c269baf58
[NewPM] Verify LoopAnalysisResults after a loop pass
All loop passes should preserve all analyses in LoopAnalysisResults.
Add
checks for those.
Note that due to PR44815, we don't check LAR's ScalarEvolution.
Apparently calling SE.verify() can change its results.
Only verify MSSA when VerifyMemorySSA, normally it's very expensive.
Reviewed By: asbirlea
Differential Revision: <a href="https://reviews.llvm.org/D98820">https://reviews.llvm.org/D98820</a></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>