[llvm-bugs] [Bug 40509] New: [MemorySSA + EXPENSIVE_CHECKS] Assertion "Found clobber before reaching ClobberAt!"' failed.

[via llvm-bugs]

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

            Bug ID: 40509
           Summary: [MemorySSA + EXPENSIVE_CHECKS] Assertion "Found
                    clobber before reaching ClobberAt!"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: paulsson at linux.vnet.ibm.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 21399
  --> https://bugs.llvm.org/attachment.cgi?id=21399&action=edit
reduced testcase

Building opt with EXPENSIVE_CHECKS seems to expose a problem in MemorySSA:

bin/opt -mtriple=systemz-unknown -march=z13 -S -O3  tc_memssa.ll
-enable-mssa-loop-dependency

lib/Analysis/MemorySSA.cpp:440: void checkClobberSanity(const
llvm::MemoryAccess*, llvm::MemoryAccess*, const llvm::MemoryLocation&, 
const llvm::MemorySSA&, const {anonymous}::UpwardsMemoryQuery&,
llvm::AliasAnalysis&, bool): Assertion `!instructionClobbersQuery(MD,
MAP.second, Query.Inst, AA) .IsClo
bber && "Found clobber before reaching ClobberAt!"' failed.

-- 
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/20190129/8f9073a8/attachment.html>