Test source: git
Transforms/InstCombine/simplify-libcalls-new.ll' FAILED ******************** Exit Code: 2 Command Output (stdout): -- # RUN: at line 4 /home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll -passes=instcombine -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll --check-prefix=OFF # executed command: /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S # executed command: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll --check-prefix=OFF # RUN: at line 9 /home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll -passes=instcombine -optimize-hot-cold-new -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll --check-prefixes=HOTCOLD,NOBUILTIN-OFF -DCOLD=1 -DHOT=-2 -DNOTCOLD=-128 -DAMBIG=-34 -DPREVHINTCOLD=7 -DPREVHINTNOTCOLD=7 -DPREVHINTHOT=7 -DPREVHINTAMBIG=7 # executed command: /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -optimize-hot-cold-new -S # .---command stderr------------ # | opt: /home/nlopes/alive2/ir/instr.cpp:2739: virtual IR::StateValue IR::FnCall::toSMT(IR::State&) const: Assertion `getType().isPtrType()' failed. # | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug. # | Stack dump: # | 0. Program arguments: /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/tv.so -load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so -tv-exit-on-error -passes=instcombine -optimize-hot-cold-new -S -tv-smt-to=20000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats # | 1. Running pass "function(instcombine<max-iterations=1;verify-fixpoint>)" on module "<stdin>" # | 2. Running pass "instcombine<max-iterations=1;verify-fixpoint>" on function "size_returning_test" # | #0 0x00007faa00c2138b llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.22.0git+0x22138b) # | #1 0x00007faa00c1e25a SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0 # | #2 0x00007faa0023fc30 __restore_rt (/lib64/libc.so.6+0x3fc30) # | #3 0x00007faa0028d02c __pthread_kill_implementation (/lib64/libc.so.6+0x8d02c) # | #4 0x00007faa0023fb86 gsignal (/lib64/libc.so.6+0x3fb86) # | #5 0x00007faa00229873 abort (/lib64/libc.so.6+0x29873) # | #6 0x00007faa0022979b _nl_load_domain.cold (/lib64/libc.so.6+0x2979b) # | #7 0x00007faa002388c6 (/lib64/libc.so.6+0x388c6) # | #8 0x00007fa9fed7e9e8 IR::FnCall::toSMT(IR::State&) const /home/nlopes/alive2/ir/instr.cpp:2741:38 # | #9 0x00007fa9fedb3406 IR::State::exec(IR::Value const&) /home/nlopes/alive2/ir/state.cpp:318:26 # | #10 0x00007fa9fee05770 sym_exec_instr(IR::State&, IR::Instr const&) /home/nlopes/alive2/util/symexec.cpp:14:21 # | #11 0x00007fa9fee05ba6 __gnu_cxx::__normal_iterator<std::unique_ptr<IR::Instr, std::default_delete<IR::Instr>> const*, std::vector<std::unique_ptr<IR::Instr, std::default_delete<IR::Instr>>, std::allocator<std::unique_ptr<IR::Instr, std::default_delete<IR::Instr>>>>>::operator++() /opt/rh/gcc-toolset-12/root/usr/include/c++/12/bits/stl_iterator.h:1107:2 # | #12 0x00007fa9fee05ba6 util::const_strip_unique_ptr<std::vector<std::unique_ptr<IR::Instr, std::default_delete<IR::Instr>>, std::allocator<std::unique_ptr<IR::Instr, std::default_delete<IR::Instr>>>>>::const_iterator::operator++() /home/nlopes/alive2/util/compiler.h:39:46 # | #13 0x00007fa9fee05ba6 util::sym_exec(IR::State&) /home/nlopes/alive2/util/symexec.cpp:87:31 # | #14 0x00007fa9fedfd344 tools::TransformVerify::exec() const /home/nlopes/alive2/tools/transform.cpp:1407:33 # | #15 0x00007fa9fedfda15 tools::TransformVerify::verify() const /home/nlopes/alive2/tools/transform.cpp:1490:5 # | #16 0x00007fa9fed156bf (anonymous namespace)::TVLegacyPass::verify(tools::Transform&, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) /home/nlopes/alive2/tv/tv.cpp:335:37 # | #17 0x00007fa9fed173bb (anonymous namespace)::TVLegacyPass::runOn(llvm::Function&) /home/nlopes/alive2/tv/tv.cpp:237:20 # | #18 0x00007fa9fed18214 void (anonymous namespace)::TVPass::run<llvm::Function>(llvm::Function&, std::function<llvm::TargetLibraryInfo* (llvm::Function&)> const&) /home/nlopes/alive2/tv/tv.cpp:659:15 # | #19 0x00007fa9fed18416 void (anonymous namespace)::runTVPass<llvm::Function>(llvm::Function&) /home/nlopes/alive2/tv/tv.cpp:682:9 # | #20 0x00007fa9fed184f7 llvmGetPassPluginInfo::'lambda'(llvm::PassBuilder&)::operator()(llvm::PassBuilder&) const::'lambda3'(llvm::StringRef, llvm::Any)::operator()(llvm::StringRef, llvm::Any) const /home/nlopes/alive2/tv/tv.cpp:772:24 # | #21 0x00007fa9fed185dc llvm::Any::~Any() /home/nlopes/llvm/llvm/include/llvm/ADT/Any.h:28:16 # | #22 0x00007fa9fed185dc llvmGetPassPluginInfo::'lambda'(llvm::PassBuilder&)::operator()(llvm::PassBuilder&) const::'lambda4'(llvm::StringRef, llvm::Any, llvm::PreservedAnalyses const&)::operator()(llvm::StringRef, llvm::Any, llvm::PreservedAnalyses const&) const /home/nlopes/alive2/tv/tv.cpp:791:22 # | #23 0x00007fa9fed18622 llvm::Any::~Any() /home/nlopes/llvm/llvm/include/llvm/ADT/Any.h:28:16 # | #24 0x00007fa9fed18622 void llvm::detail::UniqueFunctionBase<void, llvm::StringRef, llvm::Any, llvm::PreservedAnalyses const&>::CallImpl<llvmGetPassPluginInfo::'lambda'(llvm::PassBuilder&)::operator()(llvm::PassBuilder&) const::'lambda4'(llvm::StringRef, llvm::Any, llvm::PreservedAnalyses const&)>(void*, llvm::StringRef, llvm::Any&, llvm::PreservedAnalyses const&) /home/nlopes/llvm/llvm/include/llvm/ADT/FunctionExtras.h:222:16 # | #25 0x00007faa0110d103 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.22.0git+0x30d103) # | #26 0x00007faa0962e04d llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMAMDGPUCodeGen.so.22.0git+0x42e04d) # | #27 0x00007faa0110db40 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.22.0git+0x30db40) # | #28 0x00007faa0b2984fd llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMOptDriver.so.22.0git+0x214fd) # | #29 0x00007faa0110b5bd llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.22.0git+0x30b5bd) # | #30 0x00007faa0b2a3a98 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool, bool) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMOptDriver.so.22.0git+0x2ca98) # | #31 0x00007faa0b2ae415 optMain (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMOptDriver.so.22.0git+0x37415) # | #32 0x00007faa0022a610 __libc_start_call_main (/lib64/libc.so.6+0x2a610) # | #33 0x00007faa0022a6c0 __libc_start_main@GLIBC_2.2.5 (/lib64/libc.so.6+0x2a6c0) # | #34 0x0000000000402075 _start (/home/nlopes/llvm/build/bin/opt+0x402075) # | timeout: the monitored command dumped core # | /home/nlopes/alive2/build/opt-alive.sh: line 93: 3795907 Aborted $COMMAND # `----------------------------- # error: command failed with exit status: 134 # executed command: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll --check-prefixes=HOTCOLD,NOBUILTIN-OFF -DCOLD=1 -DHOT=-2 -DNOTCOLD=-128 -DAMBIG=-34 -DPREVHINTCOLD=7 -DPREVHINTNOTCOLD=7 -DPREVHINTHOT=7 -DPREVHINTAMBIG=7 # .---command stderr------------ # | FileCheck error: '<stdin>' is empty. # | FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/simplify-libcalls-new.ll --check-prefixes=HOTCOLD,NOBUILTIN-OFF -DCOLD=1 -DHOT=-2 -DNOTCOLD=-128 -DAMBIG=-34 -DPREVHINTCOLD=7 -DPREVHINTNOTCOLD=7 -DPREVHINTHOT=7 -DPREVHINTAMBIG=7 # `----------------------------- # error: command failed with exit status: 2 --