https://bugs.llvm.org/show_bug.cgi?id=51020
Bug ID: 51020
Summary: Assertion `AL->size() == ActualAccesses.size() && "We
don't have the same number of accesses in the block as
on the " "access list"' failed.
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Loop Optimizer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Created attachment 25010
--> https://bugs.llvm.org/attachment.cgi?id=25010&action=edit
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: https://reviews.llvm.org/D98820
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
