[llvm-bugs] [Bug 51020] New: Assertion `AL->size() == ActualAccesses.size() && "We don't have the same number of accesses in the block as on the " "access list"' failed.

[via llvm-bugs]

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: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210708/be46be52/attachment.html>