Issue 129227
Summary [AArch64] Assertion "Invalid vector type!" with AdvSIMD intrinsics
Labels new issue
Assignees
Reporter ostannard
    This code using AdvSIMD intrinsics causes an assertion failure in the AArch64 backend:
```c
#include <arm_neon.h>

uint8x8_t test_0() {
  uint8x8_t v1 = vset_lane_u8(0xff, vdup_n_u8(0), 3);
  uint8x8_t v72 = vrhadd_u8(v1, vdup_n_u8(0));
  return vuzp1_u8(v72, vdup_n_u8(0));
}
```

```
$ /work/llvm/build/bin/clang --target=aarch64-linux-gnu -march=armv8-a -S test.c -O1 -mllvm -debug-_only_=dagcombine,isel
...
Legalized selection DAG: %bb.0 'test_0:entry'
SelectionDAG has 15 nodes:
    t0: ch,glue = EntryToken
 t27: v2i32 = AArch64ISD::MOVIshift Constant:i32<128>, Constant:i32<24>
            t28: v8i8 = AArch64ISD::NVCAST t27
 t29: f64 = AArch64ISD::NVCAST t28
        t30: f64 = fneg t29
      t31: v8i8 = AArch64ISD::NVCAST t30
      t8: v8i8 = BUILD_VECTOR Constant:i32<0>, undef:i32, Constant:i32<0>, undef:i32, Constant:i32<0>, undef:i32, Constant:i32<0>, undef:i32
    t18: v8i8 = AArch64ISD::UZP1 t31, t8
  t11: ch,glue = CopyToReg t0, Register:v8i8 $d0, t18
  t12: ch = AArch64ISD::RET_GLUE t11, Register:v8i8 $d0, t11:1



Combining: t31: v8i8 = AArch64ISD::NVCAST t30

Combining: t30: f64 = fneg t29

Combining: t29: f64 = AArch64ISD::NVCAST t28
 ... into: t32: f64 = AArch64ISD::NVCAST t27

Combining: t32: f64 = AArch64ISD::NVCAST t27

Combining: t30: f64 = fneg t32

Combining: t27: v2i32 = AArch64ISD::MOVIshift Constant:i32<128>, Constant:i32<24>

Combining: t26: i32 = Constant<24>

Combining: t24: i32 = Constant<128>

Combining: t18: v8i8 = AArch64ISD::UZP1 t31, t8
clang: /work/llvm/llvm-project/llvm/include/llvm/CodeGen/ValueTypes.h:346: llvm::ElementCount llvm::EVT::getVectorElementCount() const: Assertion `(isVector()) && "Invalid vector type!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: /work/llvm/build/bin/clang --target=aarch64-linux-gnu -march=armv8-a -S test.c -O1 -mllvm -debug-_only_=dagcombine,isel
1. <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module 'test.c'.
4.      Running pass 'AArch64 Instruction Selection' on function '@test_0'
 #0 0x0000561a2efed1b7 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/work/llvm/build/bin/clang+0x4f4e1b7)
 #1 0x0000561a2efeadae llvm::sys::RunSignalHandlers() (/work/llvm/build/bin/clang+0x4f4bdae)
 #2 0x0000561a2ef5aa28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f33b3e42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f33b3e969fc __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #5 0x00007f33b3e969fc __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #6 0x00007f33b3e969fc pthread_kill ./nptl/pthread_kill.c:89:10
 #7 0x00007f33b3e42476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007f33b3e287f3 abort ./stdlib/abort.c:81:7
 #9 0x00007f33b3e2871b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007f33b3e39e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x0000561a2dde43a2 isNVCastToHalfWidthElements(llvm::SDValue) AArch64ISelLowering.cpp:0:0
#12 0x0000561a2dda8ba1 llvm::AArch64TargetLowering::PerformDAGCombine(llvm::SDNode*, llvm::TargetLowering::DAGCombinerInfo&) const AArch64ISelLowering.cpp:0:0
#13 0x0000561a3022e8f8 (anonymous namespace)::DAGCombiner::combine(llvm::SDNode*) DAGCombiner.cpp:0:0
#14 0x0000561a3022cf52 llvm::SelectionDAG::Combine(llvm::CombineLevel, llvm::BatchAAResults*, llvm::CodeGenOptLevel) (/work/llvm/build/bin/clang+0x618df52)
#15 0x0000561a303f72b9 llvm::SelectionDAGISel::CodeGenAndEmitDAG() (/work/llvm/build/bin/clang+0x63582b9)
#16 0x0000561a303f525b llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/work/llvm/build/bin/clang+0x635625b)
#17 0x0000561a303f2211 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (/work/llvm/build/bin/clang+0x6353211)
#18 0x0000561a303efa39 llvm::SelectionDAGISelLegacy::runOnMachineFunction(llvm::MachineFunction&) (/work/llvm/build/bin/clang+0x6350a39)
#19 0x0000561a2e49e538 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (/work/llvm/build/bin/clang+0x43ff538)
#20 0x0000561a2ea9a2bb llvm::FPPassManager::runOnFunction(llvm::Function&) (/work/llvm/build/bin/clang+0x49fb2bb)
#21 0x0000561a2eaa22c1 llvm::FPPassManager::runOnModule(llvm::Module&) (/work/llvm/build/bin/clang+0x4a032c1)
#22 0x0000561a2ea9accf llvm::legacy::PassManagerImpl::run(llvm::Module&) (/work/llvm/build/bin/clang+0x49fbccf)
#23 0x0000561a2f8adbdf clang::emitBackendOutput(clang::CompilerInstance&, clang::CodeGenOptions&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) (/work/llvm/build/bin/clang+0x580ebdf)
#24 0x0000561a2f8c5170 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/work/llvm/build/bin/clang+0x5826170)
#25 0x0000561a312bc1b7 clang::ParseAST(clang::Sema&, bool, bool) (/work/llvm/build/bin/clang+0x721d1b7)
#26 0x0000561a2fd9a856 clang::FrontendAction::Execute() (/work/llvm/build/bin/clang+0x5cfb856)
#27 0x0000561a2fd0523f clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/work/llvm/build/bin/clang+0x5c6623f)
#28 0x0000561a2fe95697 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/work/llvm/build/bin/clang+0x5df6697)
#29 0x0000561a2d6a3d0c cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/work/llvm/build/bin/clang+0x3604d0c)
#30 0x0000561a2d6a00d1 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#31 0x0000561a2fb4f3e9 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::$_1>(long) Job.cpp:0:0
#32 0x0000561a2ef5a76b llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/work/llvm/build/bin/clang+0x4ebb76b)
#33 0x0000561a2fb4e950 clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (/work/llvm/build/bin/clang+0x5aaf950)
#34 0x0000561a2fb0b383 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/work/llvm/build/bin/clang+0x5a6c383)
#35 0x0000561a2fb0b687 clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/work/llvm/build/bin/clang+0x5a6c687)
#36 0x0000561a2fb2acb9 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/work/llvm/build/bin/clang+0x5a8bcb9)
#37 0x0000561a2d69f58f clang_main(int, char**, llvm::ToolContext const&) (/work/llvm/build/bin/clang+0x360058f)
#38 0x0000561a2d6affe7 main (/work/llvm/build/bin/clang+0x3610fe7)
#39 0x00007f33b3e29d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#40 0x00007f33b3e29e40 call_init ./csu/../csu/libc-start.c:128:20
#41 0x00007f33b3e29e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#42 0x0000561a2d69db25 _start (/work/llvm/build/bin/clang+0x35feb25)
clang: error: clang frontend command failed with exit code 134 (use -v to see invocation)
clang version 21.0.0git (g...@github.com:llvm/llvm-project.git a955426a16bcbb9bf05eb0e3894663dff4983b00)
Target: aarch64-unknown-linux-gnu
Thread model: posix
InstalledDir: /work/llvm/build/bin
Build config: +assertions
clang: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang: note: diagnostic msg: /tmp/test-846007.c
clang: note: diagnostic msg: /tmp/test-846007.sh
clang: note: diagnostic msg: 

********************
```
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to