xref: /aosp_15_r20/external/clang/test/Sema/builtins-arm.c (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -triple armv7 -fsyntax-only -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -triple armv7 -target-abi apcs-gnu \
3*67e74705SXin Li // RUN:   -fsyntax-only -verify %s
4*67e74705SXin Li 
f(void * a,void * b)5*67e74705SXin Li void f(void *a, void *b) {
6*67e74705SXin Li   __clear_cache(); // expected-error {{too few arguments to function call, expected 2, have 0}} // expected-note {{'__clear_cache' is a builtin with type 'void (void *, void *)}}
7*67e74705SXin Li   __clear_cache(a); // expected-error {{too few arguments to function call, expected 2, have 1}}
8*67e74705SXin Li   __clear_cache(a, b);
9*67e74705SXin Li }
10*67e74705SXin Li 
11*67e74705SXin Li void __clear_cache(char*, char*); // expected-error {{conflicting types for '__clear_cache'}}
12*67e74705SXin Li void __clear_cache(void*, void*);
13*67e74705SXin Li 
14*67e74705SXin Li #if defined(__ARM_PCS) || defined(__ARM_EABI__)
15*67e74705SXin Li // va_list on ARM AAPCS is struct { void* __ap }.
test1()16*67e74705SXin Li void test1() {
17*67e74705SXin Li   __builtin_va_list ptr;
18*67e74705SXin Li   ptr.__ap = "x";
19*67e74705SXin Li   *(ptr.__ap) = '0'; // expected-error {{incomplete type 'void' is not assignable}}
20*67e74705SXin Li }
21*67e74705SXin Li #else
22*67e74705SXin Li // va_list on ARM apcs-gnu is void*.
test1()23*67e74705SXin Li void test1() {
24*67e74705SXin Li   __builtin_va_list ptr;
25*67e74705SXin Li   ptr.__ap = "x";  // expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}
26*67e74705SXin Li   *(ptr.__ap) = '0';// expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}
27*67e74705SXin Li }
28*67e74705SXin Li 
test2()29*67e74705SXin Li void test2() {
30*67e74705SXin Li   __builtin_va_list ptr = "x";
31*67e74705SXin Li   *ptr = '0'; // expected-error {{incomplete type 'void' is not assignable}}
32*67e74705SXin Li }
33*67e74705SXin Li #endif
34*67e74705SXin Li 
test3()35*67e74705SXin Li void test3() {
36*67e74705SXin Li   __builtin_arm_dsb(16); // expected-error {{argument should be a value from 0 to 15}}
37*67e74705SXin Li   __builtin_arm_dmb(17); // expected-error {{argument should be a value from 0 to 15}}
38*67e74705SXin Li   __builtin_arm_isb(18); // expected-error {{argument should be a value from 0 to 15}}
39*67e74705SXin Li }
40*67e74705SXin Li 
test4()41*67e74705SXin Li void test4() {
42*67e74705SXin Li   __builtin_arm_prefetch(0, 2, 0); // expected-error {{argument should be a value from 0 to 1}}
43*67e74705SXin Li   __builtin_arm_prefetch(0, 0, 2); // expected-error {{argument should be a value from 0 to 1}}
44*67e74705SXin Li }
45*67e74705SXin Li 
test5()46*67e74705SXin Li void test5() {
47*67e74705SXin Li   __builtin_arm_dbg(16); // expected-error {{argument should be a value from 0 to 15}}
48*67e74705SXin Li }
49*67e74705SXin Li 
test6(int a,int b,int c)50*67e74705SXin Li void test6(int a, int b, int c) {
51*67e74705SXin Li   __builtin_arm_ldc(1, 2, &a);
52*67e74705SXin Li   __builtin_arm_ldc(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}
53*67e74705SXin Li   __builtin_arm_ldc(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}
54*67e74705SXin Li 
55*67e74705SXin Li   __builtin_arm_ldcl(1, 2, &a);
56*67e74705SXin Li   __builtin_arm_ldcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}
57*67e74705SXin Li   __builtin_arm_ldcl(1, a, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}
58*67e74705SXin Li 
59*67e74705SXin Li   __builtin_arm_ldc2(1, 2, &a);
60*67e74705SXin Li   __builtin_arm_ldc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}
61*67e74705SXin Li   __builtin_arm_ldc2(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}
62*67e74705SXin Li 
63*67e74705SXin Li   __builtin_arm_ldc2l(1, 2, &a);
64*67e74705SXin Li   __builtin_arm_ldc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}
65*67e74705SXin Li   __builtin_arm_ldc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}
66*67e74705SXin Li 
67*67e74705SXin Li   __builtin_arm_stc(1, 2, &a);
68*67e74705SXin Li   __builtin_arm_stc(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}
69*67e74705SXin Li   __builtin_arm_stc(1, a, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}
70*67e74705SXin Li 
71*67e74705SXin Li   __builtin_arm_stcl(1, 2, &a);
72*67e74705SXin Li   __builtin_arm_stcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}
73*67e74705SXin Li   __builtin_arm_stcl(1, a, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}
74*67e74705SXin Li 
75*67e74705SXin Li   __builtin_arm_stc2(1, 2, &a);
76*67e74705SXin Li   __builtin_arm_stc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}
77*67e74705SXin Li   __builtin_arm_stc2(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}
78*67e74705SXin Li 
79*67e74705SXin Li   __builtin_arm_stc2l(1, 2, &a);
80*67e74705SXin Li   __builtin_arm_stc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}
81*67e74705SXin Li   __builtin_arm_stc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}
82*67e74705SXin Li 
83*67e74705SXin Li   __builtin_arm_cdp(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
84*67e74705SXin Li   __builtin_arm_cdp(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
85*67e74705SXin Li   __builtin_arm_cdp(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
86*67e74705SXin Li   __builtin_arm_cdp(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
87*67e74705SXin Li   __builtin_arm_cdp(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
88*67e74705SXin Li 
89*67e74705SXin Li   __builtin_arm_cdp2(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
90*67e74705SXin Li   __builtin_arm_cdp2(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
91*67e74705SXin Li   __builtin_arm_cdp2(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
92*67e74705SXin Li   __builtin_arm_cdp2(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
93*67e74705SXin Li   __builtin_arm_cdp2(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
94*67e74705SXin Li 
95*67e74705SXin Li   __builtin_arm_mrc( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
96*67e74705SXin Li   __builtin_arm_mrc(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
97*67e74705SXin Li   __builtin_arm_mrc(15, 0,  a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
98*67e74705SXin Li   __builtin_arm_mrc(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
99*67e74705SXin Li   __builtin_arm_mrc(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
100*67e74705SXin Li 
101*67e74705SXin Li   __builtin_arm_mrc2( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
102*67e74705SXin Li   __builtin_arm_mrc2(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
103*67e74705SXin Li   __builtin_arm_mrc2(15, 0,  a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
104*67e74705SXin Li   __builtin_arm_mrc2(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
105*67e74705SXin Li   __builtin_arm_mrc2(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
106*67e74705SXin Li 
107*67e74705SXin Li   __builtin_arm_mcr( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
108*67e74705SXin Li   __builtin_arm_mcr(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
109*67e74705SXin Li   __builtin_arm_mcr(15, 0, b,  a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
110*67e74705SXin Li   __builtin_arm_mcr(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
111*67e74705SXin Li   __builtin_arm_mcr(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
112*67e74705SXin Li 
113*67e74705SXin Li   __builtin_arm_mcr2( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
114*67e74705SXin Li   __builtin_arm_mcr2(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
115*67e74705SXin Li   __builtin_arm_mcr2(15, 0, b,  a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
116*67e74705SXin Li   __builtin_arm_mcr2(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
117*67e74705SXin Li   __builtin_arm_mcr2(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
118*67e74705SXin Li 
119*67e74705SXin Li   __builtin_arm_mcrr(15, 0, b, 0);
120*67e74705SXin Li   __builtin_arm_mcrr( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
121*67e74705SXin Li   __builtin_arm_mcrr(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
122*67e74705SXin Li   __builtin_arm_mcrr(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
123*67e74705SXin Li 
124*67e74705SXin Li   __builtin_arm_mcrr2(15, 0, b, 0);
125*67e74705SXin Li   __builtin_arm_mcrr2( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
126*67e74705SXin Li   __builtin_arm_mcrr2(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
127*67e74705SXin Li   __builtin_arm_mcrr2(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
128*67e74705SXin Li 
129*67e74705SXin Li   __builtin_arm_mrrc(15, 0, 0);
130*67e74705SXin Li   __builtin_arm_mrrc( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
131*67e74705SXin Li   __builtin_arm_mrrc(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
132*67e74705SXin Li   __builtin_arm_mrrc(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
133*67e74705SXin Li 
134*67e74705SXin Li   __builtin_arm_mrrc2(15, 0, 0);
135*67e74705SXin Li   __builtin_arm_mrrc2( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
136*67e74705SXin Li   __builtin_arm_mrrc2(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
137*67e74705SXin Li   __builtin_arm_mrrc2(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
138*67e74705SXin Li }
139