[llvm-bugs] [Bug 46513] New: [Dead Store Elimination] Assertion "Should not hit the entry block because SI must be dominated by LI" failed.

[via llvm-bugs]

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

            Bug ID: 46513
           Summary: [Dead Store Elimination] Assertion "Should not hit the
                    entry block because SI must be dominated by LI"
                    failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          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 23657
  --> https://bugs.llvm.org/attachment.cgi?id=23657&action=edit
reduced testcase

opt -mtriple=s390x-linux-gnu -mcpu=z13 -O3 tc_dse_entryblock.ll
-enable-dse-memoryssa

llvm-project/llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:688: bool
memoryIsNotModifiedBetween(llvm::Instruction*, llvm::Instruction*,
llvm::AliasAnalysis*, const llvm::DataLayout&, llvm::DominatorTree*): Assertion
`B != &FirstBB->getParent()->getEntryBlock() && "Should not hit the entry block
because SI must be dominated by LI"' failed.
...
#11 0x000002aa3936fd28 (anonymous namespace)::DSELegacyPass::runOnFunction

-- 
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/20200630/22f4fef9/attachment.html>