[llvm-bugs] [Bug 51160] New: Assertion `NodeB && "B must be in the tree"' with opt -passes='sink'

[via llvm-bugs]

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

            Bug ID: 51160
           Summary: Assertion `NodeB && "B must be in the tree"' with opt
                    -passes='sink'
           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 25045
  --> https://bugs.llvm.org/attachment.cgi?id=25045&action=edit
bbi-58422.ll reproducer

llvm commit: 732a8a9dfb3e

Reproduce with:
 opt -passes='sink' -o /dev/null bbi-58422.ll

Result:
 opt: ../include/llvm/Support/GenericDomTree.h:484: NodeT
*llvm::DominatorTreeBase<llvm::BasicBlock,
false>::findNearestCommonDominator(NodeT *, NodeT *) const [NodeT =
llvm::BasicBlock, IsPostDom = false]: Assertion `NodeB && "B must be in the
tree"' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace.
Stack dump:
0.      Program arguments: ../../master-github/llvm/build-all-builtins/bin/opt
-passes=sink -o /dev/null bbi-58422.ll
 #0 0x0000000002aaa143 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(../../master-github/llvm/build-all-builtins/bin/opt+0x2aaa143)
 #1 0x0000000002aa7dbe llvm::sys::RunSignalHandlers()
(../../master-github/llvm/build-all-builtins/bin/opt+0x2aa7dbe)
 #2 0x0000000002aaa4c6 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007efe6cb35630 __restore_rt sigaction.c:0:0
 #4 0x00007efe6a268387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007efe6a269a78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x00007efe6a2611a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
 #7 0x00007efe6a261252 (/lib64/libc.so.6+0x2f252)
 #8 0x00000000021df922 llvm::DominatorTreeBase<llvm::BasicBlock,
false>::findNearestCommonDominator(llvm::BasicBlock*, llvm::BasicBlock*) const
(../../master-github/llvm/build-all-builtins/bin/opt+0x21df922)
 #9 0x0000000002990aeb iterativelySinkInstructions(llvm::Function&,
llvm::DominatorTree&, llvm::LoopInfo&, llvm::AAResults&) Sink.cpp:0:0
#10 0x0000000002990238 llvm::SinkingPass::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(../../master-github/llvm/build-all-builtins/bin/opt+0x2990238)
#11 0x0000000002da902d llvm::detail::PassModel<llvm::Function,
llvm::SinkingPass, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
#12 0x0000000002295655 llvm::PassManager<llvm::Function,
llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&,
llvm::AnalysisManager<llvm::Function>&)
(../../master-github/llvm/build-all-builtins/bin/opt+0x2295655)
#13 0x0000000000aca3fd llvm::detail::PassModel<llvm::Function,
llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >,
llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>
>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
#14 0x0000000002299936 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(../../master-github/llvm/build-all-builtins/bin/opt+0x2299936)
#15 0x0000000000794f7d llvm::detail::PassModel<llvm::Module,
llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#16 0x0000000002294848 llvm::PassManager<llvm::Module,
llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&,
llvm::AnalysisManager<llvm::Module>&)
(../../master-github/llvm/build-all-builtins/bin/opt+0x2294848)
#17 0x000000000078d2e0 llvm::runPassPipeline(llvm::StringRef, llvm::Module&,
llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*,
llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef,
llvm::ArrayRef<llvm::StringRef>, llvm::opt_tool::OutputKind,
llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool)
(../../master-github/llvm/build-all-builtins/bin/opt+0x78d2e0)
#18 0x000000000079fbc5 main
(../../master-github/llvm/build-all-builtins/bin/opt+0x79fbc5)
#19 0x00007efe6a254555 __libc_start_main (/lib64/libc.so.6+0x22555)
#20 0x00000000007880fc _start
(../../master-github/llvm/build-all-builtins/bin/opt+0x7880fc)
Abort

-- 
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/20210722/8e5a424b/attachment.html>