[llvm-bugs] [Bug 46275] New: opt -memoryssa -loop-deletion -loop-simplifycfg -verify-memoryssa failing with "Memory Def does not dominate it's uses"

[via llvm-bugs]

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

            Bug ID: 46275
           Summary: opt -memoryssa -loop-deletion -loop-simplifycfg
                    -verify-memoryssa failing with "Memory Def does not
                    dominate it's uses"
           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 23600
  --> https://bugs.llvm.org/attachment.cgi?id=23600&action=edit
bbi-43779.ll reproducer

Reproduce with:
 opt -memoryssa -loop-deletion -loop-simplifycfg -verify-memoryssa -S -o -
bbi-43779.ll

Result:
 opt: ../lib/Analysis/MemorySSA.cpp:2013: void
llvm::MemorySSA::verifyOrderingDominationAndDefUses(llvm::Function &) const:
Assertion `dominates(MD, U) && "Memory Def does not dominate it's uses"'
failed.

This starts happening with efb130fc930:

    [LoopDeletion] Teach LoopDeletion to preserve MemorySSA if available.

    If MemorySSA analysis is analysis, LoopDeletion now preserves it.

-- 
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/20200611/eb6cbae0/attachment.html>