Test source: git
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -mtriple=riscv64 -mattr=+zve32x,+zvl128b -interleaved-access -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InterleavedAccess/RISCV/zve32x.ll -check-prefix=ZVE32X + : 'RUN: at line 3' + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InterleavedAccess/RISCV/zve32x.ll -check-prefix=ZVE64X + /home/nlopes/alive2/build/opt-alive.sh -mtriple=riscv64 -mattr=+zve64x,+zvl128b -interleaved-access -S opt: ../smt/expr.cpp:1765: smt::expr smt::expr::extract(unsigned int, unsigned int, unsigned int) const: Assertion `high >= low && high < bits()' failed. PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace. Stack dump: 0. Program arguments: /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/tv.so -tv-exit-on-error -tv -mtriple=riscv64 -mattr=+zve64x,+zvl128b -interleaved-access -S -tv -tv-smt-to=20000 -tv-report-dir=/home/nlopes/alive2/build/logs -tv-smt-stats 1. Running pass 'Translation Validator' on module '<stdin>'. #0 0x00007f2ff091bbcb llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.17git+0x1e1bcb) #1 0x00007f2ff091939b llvm::sys::RunSignalHandlers() (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMSupport.so.17git+0x1df39b) #2 0x00007f2ff09194c5 SignalHandler(int) Signals.cpp:0:0 #3 0x00007f2ff3a31cf0 __restore_rt (/lib64/libpthread.so.0+0x12cf0) #4 0x00007f2fefa94acf raise (/lib64/libc.so.6+0x4eacf) #5 0x00007f2fefa67ea5 abort (/lib64/libc.so.6+0x21ea5) #6 0x00007f2fefa67d79 _nl_load_domain.cold.0 (/lib64/libc.so.6+0x21d79) #7 0x00007f2fefa8d426 (/lib64/libc.so.6+0x47426) #8 0x00007f2feda7a224 smt::expr::extract(unsigned int, unsigned int, unsigned int) const /home/nlopes/alive2/build/../smt/expr.cpp:1767:31 #9 0x00007f2feda37e8c IR::Byte::nonptrNonpoison() const /home/nlopes/alive2/build/../ir/memory.cpp:272:1 #10 0x00007f2feda37eac IR::Byte::isPoison() const /home/nlopes/alive2/build/../ir/memory.cpp:283:23 #11 0x00007f2feda3dee6 bytesToValue(IR::Memory const&, std::vector<IR::Byte, std::allocator<IR::Byte>> const&, IR::Type const&) /home/nlopes/alive2/build/../ir/memory.cpp:496:21 #12 0x00007f2feda48289 IR::Memory::load(IR::Pointer const&, IR::Type const&, std::set<smt::expr, std::less<smt::expr>, std::allocator<smt::expr>>&, unsigned long) /home/nlopes/alive2/build/../ir/memory.cpp:1791:51 #13 0x00007f2feda482fd IR::Memory::load(IR::Pointer const&, IR::Type const&, std::set<smt::expr, std::less<smt::expr>, std::allocator<smt::expr>>&, unsigned long) /home/nlopes/alive2/build/../ir/memory.cpp:1781:31 #14 0x00007f2feda488ac IR::Memory::load(smt::expr const&, IR::Type const&, unsigned long) /home/nlopes/alive2/build/../ir/memory.cpp:1830:12 #15 0x00007f2feda2a1af IR::Load::toSMT(IR::State&) const /home/nlopes/alive2/build/../ir/instr.cpp:3755:10 #16 0x00007f2feda5719e std::vector<std::pair<IR::Value const*, IR::State::ValTy>, std::allocator<std::pair<IR::Value const*, IR::State::ValTy>>>::size() const /opt/rh/gcc-toolset-12/root/usr/include/c++/12/bits/stl_vector.h:988:40 #17 0x00007f2feda5719e IR::State::exec(IR::Value const&) /home/nlopes/alive2/build/../ir/state.cpp:202:3 #18 0x00007f2fedaa1fd2 util::sym_exec(IR::State&) /home/nlopes/alive2/build/../util/symexec.cpp:57:25 #19 0x00007f2feda8dde6 tools::TransformVerify::exec() const /home/nlopes/alive2/build/../tools/transform.cpp:1185:33 #20 0x00007f2feda8e46e tools::TransformVerify::verify() const /home/nlopes/alive2/build/../tools/transform.cpp:1266:5 #21 0x00007f2fed9d1357 (anonymous namespace)::TVLegacyPass::verify(tools::Transform&, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) /home/nlopes/alive2/build/../tv/tv.cpp:327:39 #22 0x00007f2fed9d3067 (anonymous namespace)::TVLegacyPass::runOn(llvm::Function&) /home/nlopes/alive2/build/../tv/tv.cpp:233:20 #23 0x00007f2fed9d327a llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Function, true, false, void>, false, false>::operator++() /home/nlopes/llvm/llvm/include/llvm/ADT/ilist_iterator.h:157:48 #24 0x00007f2fed9d327a (anonymous namespace)::TVLegacyPass::runOnModule(llvm::Module&) /home/nlopes/alive2/build/../tv/tv.cpp:166:19 #25 0x00007f2ff0d22e64 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/bitbucket/nlopes/llvm/build/bin/../lib/libLLVMCore.so.17git+0x2a6e64) #26 0x000000000041c096 main (/home/nlopes/llvm/build/bin/opt+0x41c096) #27 0x00007f2fefa80d85 __libc_start_main (/lib64/libc.so.6+0x3ad85) #28 0x000000000041f71e _start (/home/nlopes/llvm/build/bin/opt+0x41f71e) timeout: the monitored command dumped core /home/nlopes/alive2/build/opt-alive.sh: line 69: 1437933 Aborted $TIMEOUT /home/nlopes/llvm/build/bin/opt -load=/home/nlopes/alive2/build/tv/$TV_SHAREDLIB $NPM_PLUGIN -tv-exit-on-error $TV $@ $TV $TV_SMT_TO $TV_REPORT_DIR $TV_SMT_STATS FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InterleavedAccess/RISCV/zve32x.ll -check-prefix=ZVE64X