[llvm-bugs] [Bug 48072] New: Assertion `&*ALI == *AAI && "Not the same accesses in the same order"' failed.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=48072

            Bug ID: 48072
           Summary: Assertion `&*ALI == *AAI && "Not the same accesses in
                    the same order"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 24134
  --> https://bugs.llvm.org/attachment.cgi?id=24134&action=edit
bbi-49235.ll reproducer

With

opt -S -o - bbi-49235.ll -memoryssa -gvn -dse -verify-memoryssa

I hit

opt: ../lib/Analysis/MemorySSA.cpp:2063: void
llvm::MemorySSA::verifyOrderingDominationAndDefUses(llvm::Function &) const:
Assertion `&*ALI == *AAI && "Not the same accesses in the same order"' failed.

This starts happening with 51ff04567b2f:

    Recommit "[DSE] Switch to MemorySSA-backed DSE by default."

    After investigation by @asbirlea, the issue that caused the
    revert appears to be an issue in the original source, rather
    than a problem with the compiler.

    This patch enables MemorySSA DSE again.

    This reverts commit 915310bf14cbac58a81fd60e0fa9dc8d341108e2.

-- 
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/20201104/f4919646/attachment.html>