[all-commits] [llvm/llvm-project] ff9cdb: [Clang][Sema] Extend test coverage for SVE/SME bui...

[Paul Walker via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff9cdbdb1af25d77014707754e8d4ec72f4b75dd
      https://github.com/llvm/llvm-project/commit/ff9cdbdb1af25d77014707754e8d4ec72f4b75dd
  Author: Paul Walker <paul.walker at arm.com>
  Date:   2025-10-08 (Wed, 08 Oct 2025)

  Changed paths:
    M clang/include/clang/Basic/CMakeLists.txt
    M clang/lib/Sema/SemaARM.cpp
    M clang/test/CodeGen/AArch64/sve2-intrinsics/acle_sve2_rax1.c
    A clang/test/Sema/AArch64/arm_sme_streaming_compatible_sme.c
    A clang/test/Sema/AArch64/arm_sme_streaming_compatible_sme_AND_sme2.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_LP_sme-f16f16_OR_sme-f8f16_RP.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-b16b16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-f16f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-f64f64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-f8f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-f8f32.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-i16i64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme-lutv2.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-f64f64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-i16i64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-b16b16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-f16f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-f64f64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-f8f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-f8f32.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-mop4_AND_sme-i16i64.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-tmop.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-tmop_AND_sme-b16b16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-tmop_AND_sme-f16f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-tmop_AND_sme-f8f16.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2_AND_sme-tmop_AND_sme-f8f32.c
    A clang/test/Sema/AArch64/arm_sme_streaming_only_sme_AND_sme2p1.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_LP_sve2p1_OR_sme2_RP___sme_AND_LP_sve2p1_OR_sme2_RP.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_LP_sve2p1_OR_sme2p1_RP___sme_AND_LP_sve2p1_OR_sme2p1_RP.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_LP_sve2p1_OR_sme_RP___sme.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_bf16___sme_AND_bf16.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_i8mm___sme_AND_i8mm.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve-aes___sme_AND_ssve-aes.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve-b16b16___sme_AND_sme2_AND_sve-b16b16.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve-bitperm___sme_AND_ssve-bitperm.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve-sha3___sme_AND_sve-sha3_AND_sme2p1.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_faminmax___sme_AND_sme2_AND_faminmax.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_fp8___sme_AND_sme2_AND_fp8.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_fp8dot2___sme_AND_ssve-fp8dot2.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_fp8dot4___sme_AND_ssve-fp8dot4.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_fp8fma___sme_AND_ssve-fp8fma.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2_AND_lut___sme_AND_sme2_AND_lut.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2___sme.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve_AND_sve2p1___sme_AND_sme2.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve___sme.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve___sme_AND_sme2_AND_ssve-fexpa.c
    A clang/test/Sema/AArch64/arm_sve_feature_dependent_sve___sme_AND_sme2p2.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_bf16.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_f32mm.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_f64mm.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_i8mm.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_sve-sm4.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_sve2.c
    A clang/test/Sema/AArch64/arm_sve_non_streaming_only_sve_AND_sve2p1.c
    A clang/test/Sema/AArch64/arm_sve_streaming_only_sme_AND_sme-f16f16.c
    A clang/test/Sema/AArch64/arm_sve_streaming_only_sme_AND_sme2.c
    A clang/test/Sema/AArch64/arm_sve_streaming_only_sme_AND_sme2_AND_faminmax.c
    A clang/test/Sema/AArch64/arm_sve_streaming_only_sme_AND_sme2_AND_fp8.c
    A clang/test/Sema/AArch64/arm_sve_streaming_only_sme_AND_sme2_AND_sve-b16b16.c
    R clang/test/Sema/aarch64-streaming-sme-or-nonstreaming-sve-builtins.c
    M clang/utils/TableGen/SveEmitter.cpp
    M clang/utils/TableGen/TableGen.cpp
    M clang/utils/TableGen/TableGenBackends.h
    A clang/utils/aarch64_builtins_test_generator.py

  Log Message:
  -----------
  [Clang][Sema] Extend test coverage for SVE/SME builtin usage. (#156908)

Adds SEMA tests to verify correct SVE/SME builtin usage based on the
calling function's type (i.e. normal, streaming or streaming
compatible).

For invalid uses the tests verify the expected diagnostic is emitted.
This exposed an issue whereby some builtins are incorrectly callable by
streaming compatible functions, which this PR fixes.

The tests are autogenerated based on the builtin definitions (e.g.
arm_sve.td). This is achieved by extending SVEEmitter, which can now
emit a JSON file containing builtin usage information that can be fed to
aarch64_builtins_test_generator.py that is also part of this PR.

Everything currently in `clang/test/Sema/AArch64` is the result of:
```
clang/utils/aarch64_builtins_test_generator.py --gen-streaming-guard-tests <LLVM_BUILD_DIR>/tools/clang/include/clang/Basic/arm_sve_builtins.json --out-dir clang/test/Sema/AArch64/
clang/utils/aarch64_builtins_test_generator.py --gen-streaming-guard-tests <LLVM_BUILD_DIR>/tools/clang/include/clang/Basic/arm_sme_builtins.json --out-dir clang/test/Sema/AArch64/
```



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications