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 0x00007f5eac0289ab llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.22.0git+0x2289ab) # | #1 0x00007f5eac02587a SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0 # | #2 0x00007f5eab63fc30 __restore_rt (/lib64/libc.so.6+0x3fc30) # | #3 0x00007f5eab68d03c __pthread_kill_implementation (/lib64/libc.so.6+0x8d03c) # | #4 0x00007f5eab63fb86 gsignal (/lib64/libc.so.6+0x3fb86) # | #5 0x00007f5eab629873 abort (/lib64/libc.so.6+0x29873) # | #6 0x00007f5eab62979b _nl_load_domain.cold (/lib64/libc.so.6+0x2979b) # | #7 0x00007f5eab6388c6 (/lib64/libc.so.6+0x388c6) # | #8 0x00007f5ea9f7edc6 IR::FnCall::toSMT(IR::State&) const /home/nlopes/alive2/ir/instr.cpp:2741:38 # | #9 0x00007f5ea9fb3262 IR::State::exec(IR::Value const&) /home/nlopes/alive2/ir/state.cpp:318:26 # | #10 0x00007f5eaa0055cc sym_exec_instr(IR::State&, IR::Instr const&) /home/nlopes/alive2/util/symexec.cpp:14:21 # | #11 0x00007f5eaa005a02 __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 0x00007f5eaa005a02 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 0x00007f5eaa005a02 util::sym_exec(IR::State&) /home/nlopes/alive2/util/symexec.cpp:87:31 # | #14 0x00007f5ea9ffd1a0 tools::TransformVerify::exec() const /home/nlopes/alive2/tools/transform.cpp:1407:33 # | #15 0x00007f5ea9ffd871 tools::TransformVerify::verify() const /home/nlopes/alive2/tools/transform.cpp:1490:5 # | #16 0x00007f5ea9f15881 (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 0x00007f5ea9f17593 (anonymous namespace)::TVLegacyPass::runOn(llvm::Function&) /home/nlopes/alive2/tv/tv.cpp:237:20 # | #18 0x00007f5ea9f183ec 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 0x00007f5ea9f185ee void (anonymous namespace)::runTVPass<llvm::Function>(llvm::Function&) /home/nlopes/alive2/tv/tv.cpp:682:9 # | #20 0x00007f5ea9f186cf 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 0x00007f5ea9f187b4 llvm::Any::~Any() /home/nlopes/llvm/llvm/include/llvm/ADT/Any.h:28:16 # | #22 0x00007f5ea9f187b4 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 0x00007f5ea9f187fa llvm::Any::~Any() /home/nlopes/llvm/llvm/include/llvm/ADT/Any.h:28:16 # | #24 0x00007f5ea9f187fa 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:212:16 # | #25 0x00007f5eac501d03 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+0x301d03) # | #26 0x00007f5eb4a4fbdd 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+0x44fbdd) # | #27 0x00007f5eac502740 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.22.0git+0x302740) # | #28 0x00007f5eb6a7bedd 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+0x20edd) # | #29 0x00007f5eac5001bd 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+0x3001bd) # | #30 0x00007f5eb6a875e1 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::RTLIB::RuntimeLibcallsInfo&, 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+0x2c5e1) # | #31 0x00007f5eb6a91e00 optMain (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMOptDriver.so.22.0git+0x36e00) # | #32 0x00007f5eab62a610 __libc_start_call_main (/lib64/libc.so.6+0x2a610) # | #33 0x00007f5eab62a6c0 __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: 3553255 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 --