1 // RUN: %clang_cc1 -triple armv8 -target-cpu cortex-a57 -fsyntax-only -ffreestanding -verify %s
2
3 #include <arm_acle.h>
4 /*
5 * Memory barrier intrinsics
6 * Argument for dmb, dsb, isb must be compile-time constant,
7 * otherwise an error should be raised.
8 */
test_dmb_const_diag(const unsigned int t)9 void test_dmb_const_diag(const unsigned int t) {
10 return __dmb(t); // expected-error-re {{argument to {{.*}} must be a constant integer}}
11 }
12
test_dsb_const_diag(const unsigned int t)13 void test_dsb_const_diag(const unsigned int t) {
14 return __dsb(t); // expected-error-re {{argument to {{.*}} must be a constant integer}}
15 }
16
test_isb_const_diag(const unsigned int t)17 void test_isb_const_diag(const unsigned int t) {
18 return __isb(t); // expected-error-re {{argument to {{.*}} must be a constant integer}}
19 }
20
21 /*
22 * Saturating intrinsics
23 * Second argument for SSAT and USAT intrinsics must be compile-time constant,
24 * otherwise an error should be raised.
25 */
test_ssat_const_diag(int32_t t,const int32_t v)26 int32_t test_ssat_const_diag(int32_t t, const int32_t v) {
27 return __ssat(t, v); // expected-error-re {{argument to {{.*}} must be a constant integer}}
28 }
29
test_usat_const_diag(int32_t t,const int32_t v)30 int32_t test_usat_const_diag(int32_t t, const int32_t v) {
31 return __usat(t, v); // expected-error-re {{argument to {{.*}} must be a constant integer}}
32 }
33
34 /*
35 * Prefetch intrinsics
36 */
test_pldx_const_diag(int32_t i)37 void test_pldx_const_diag(int32_t i) {
38 __pldx(i, 0, 0, 0); // expected-error-re {{argument to {{.*}} must be a constant integer}}
39 }
40
41 /*
42 * DBG intrinsic
43 * First argument for DBG intrinsic must be compile-time constant,
44 * otherwise an error should be raised.
45 */
test_dbg_const_diag(unsigned int t)46 void test_dbg_const_diag(unsigned int t) {
47 __dbg(t); // expected-error-re {{argument to {{.*}} must be a constant integer}}
48 }
49