[llvm-bugs] [Bug 51915] New: Assertion `MSSA->dominates(NewDef, FirstDef) && "Should have dominated the new access"' failed when running GVN

[via llvm-bugs]

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

            Bug ID: 51915
           Summary: Assertion `MSSA->dominates(NewDef, FirstDef) &&
                    "Should have dominated the new access"' failed when
                    running GVN
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: david.stenberg at ericsson.com
                CC: alina.sbirlea at gmail.com, htmldeveloper at gmail.com,
                    llvm-bugs at lists.llvm.org

Created attachment 25274
  --> https://bugs.llvm.org/attachment.cgi?id=25274&action=edit
IR reproducer.

LLVM commit: 15feaaa359c7245bb59ff0a2aa3b806682f44286

$ opt -enable-new-pm=0 -licm -gvn -memcpyopt -S
should-have-dominated-the-new-access.ll
opt: /llvm/lib/Analysis/MemorySSAUpdater.cpp:505: void
llvm::MemorySSAUpdater::fixupDefs(const llvm::SmallVectorImpl<llvm::WeakVH>&):
Assertion `MSSA->dominates(NewDef, FirstDef) && "Should have dominated the new
access"' failed.

I have not been able to reduce this to a single-pass opt invocation, nor
reproduce this with the new pass manager.

-- 
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/20210920/df1d5c12/attachment-0001.html>