================ @@ -6,20 +6,20 @@ #include <arm_sme_draft_spec_subject_to_change.h> __attribute__((target("sme"))) -void test_sme(svbool_t pg, void *ptr) { +void test_sme(svbool_t pg, void *ptr) __arm_streaming { svld1_hor_za8(0, 0, pg, ptr); } __attribute__((target("arch=armv8-a+sme"))) -void test_arch_sme(svbool_t pg, void *ptr) { +void test_arch_sme(svbool_t pg, void *ptr) __arm_streaming { svld1_hor_vnum_za32(0, 0, pg, ptr, 0); } __attribute__((target("+sme"))) -void test_plus_sme(svbool_t pg, void *ptr) { +void test_plus_sme(svbool_t pg, void *ptr) __arm_streaming { svst1_ver_za16(0, 0, pg, ptr); } -void undefined(svbool_t pg, void *ptr) { - svst1_ver_vnum_za64(0, 0, pg, ptr, 0); // expected-error {{'svst1_ver_vnum_za64' needs target feature sme}} +void undefined(svbool_t pg, void *ptr) __arm_streaming { // expected-error {{function executed in streaming-SVE mode requires 'sme'}} ---------------- sdesmalen-arm wrote:
Ah, I see that the actual message changed too. It's now complaining about `__arm_streaming` on a non-SME function, whereas before it was testing that the builtin was predicated with the correct attribute. This is already tested in `aarch64-sme-func-attrs-without-target-feature.cpp`. I think instead you want to compile this test with `__attribute__((target("+sme")))` but without the `__arm_streaming` to ensure you get a diagnostic on the builtin call that the behaviour is undefined when the (parent) function is not a streaming function. https://github.com/llvm/llvm-project/pull/74064 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits