Assertion `Entry.NewValue' failed. with opt -passes='function(aggressive-instcombine)' #58008
Description
llvm commit: ae42563
Reproduce with: opt -passes='function(aggressive-instcombine)' bbi-74040.ll -o /dev/null
Result:
opt: ../lib/Transforms/AggressiveInstCombine/TruncInstCombine.cpp:376: llvm::Value *llvm::TruncInstCombine::getReducedOperand(llvm::Value *, llvm::Type *): Assertion `Entry.NewValue' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: ../../main-github/llvm/build-all/bin/opt -passes=function(aggressive-instcombine) bbi-74040.ll -o /dev/null
#0 0x0000000002e50973 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e50973)
#1 0x0000000002e4e68e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e4e68e)
#2 0x0000000002e50cf6 SignalHandler(int) Signals.cpp:0:0
#3 0x00007f7ffdd7e630 __restore_rt sigaction.c:0:0
#4 0x00007f7ffb4c5387 raise (/lib64/libc.so.6+0x36387)
#5 0x00007f7ffb4c6a78 abort (/lib64/libc.so.6+0x37a78)
#6 0x00007f7ffb4be1a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
#7 0x00007f7ffb4be252 (/lib64/libc.so.6+0x2f252)
#8 0x0000000001bfbfd2 (../../main-github/llvm/build-all/bin/opt+0x1bfbfd2)
#9 0x0000000001bfc62f llvm::TruncInstCombine::ReduceExpressionGraph(llvm::Type*) (../../main-github/llvm/build-all/bin/opt+0x1bfc62f)
#10 0x0000000001bfd45b llvm::TruncInstCombine::run(llvm::Function&) (../../main-github/llvm/build-all/bin/opt+0x1bfd45b)
#11 0x0000000001bf0061 runImpl(llvm::Function&, llvm::AssumptionCache&, llvm::TargetTransformInfo&, llvm::TargetLibraryInfo&, llvm::DominatorTree&) AggressiveInstCombine.cpp:0:0
#12 0x0000000001befd38 llvm::AggressiveInstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x1befd38)
#13 0x00000000031ad10d llvm::detail::PassModel<llvm::Function, llvm::AggressiveInstCombinePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
#14 0x00000000026348ec llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x26348ec)
#15 0x0000000000ae1c7d 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
#16 0x0000000002638bce llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2638bce)
#17 0x0000000000ae1a5d llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#18 0x0000000002633b9c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2633b9c)
#19 0x000000000071f390 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (../../main-github/llvm/build-all/bin/opt+0x71f390)
#20 0x0000000000731731 main (../../main-github/llvm/build-all/bin/opt+0x731731)
#21 0x00007f7ffb4b1555 __libc_start_main (/lib64/libc.so.6+0x22555)
#22 0x0000000000717980 _start (../../main-github/llvm/build-all/bin/opt+0x717980)
Abort