[llvm-bugs] [Bug 33756] New: Assertion `MA && "Handed an instruction that MemorySSA doesn't recognize?"' failed. with -instcombine -globals-aa -early-cse-memssa

[via llvm-bugs]

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

            Bug ID: 33756
           Summary: Assertion `MA && "Handed an instruction that MemorySSA
                    doesn't recognize?"' failed. with -instcombine
                    -globals-aa -early-cse-memssa
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

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

opt -instcombine -globals-aa -early-cse-memssa -S -o - tr14022.ll

gives

opt: ../include/llvm/Transforms/Utils/MemorySSA.h:766: llvm::MemoryAccess*
llvm::MemorySSAWalker::getClobberingMemoryAccess(const llvm::Instruction*):
Assertion `MA && "Handed an instruction that MemorySSA doesn't recognize?"'
failed.

when running

[2017-07-12 10:51:50.717703492] 0x53b7e40     Executing Pass 'Early CSE w/
MemorySSA' on Function 'f3'...

The instruction that it crashes on is

(gdb) p I->dump()
  %call2 = call i16 @f1()

and MSSA looks like

(gdb) p MSSA
$3 = (llvm::MemorySSA *) 0x5e2f850
(gdb) p MSSA->dump()

define void @f3() {
  %call1 = call i16 @f1()
; 1 = MemoryDef(liveOnEntry)
  call void @f2()
  %call2 = call i16 @f1()
  ret void
}

-- 
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/20170712/5a46e842/attachment.html>