Clang Project

clang_source_code/test/Sema/builtins-arm64-exclusive.c
1// RUN: %clang_cc1 -triple arm64-apple-ios7.0 -fsyntax-only -verify %s
2
3struct Simple {
4  char a, b;
5};
6
7int test_ldrex(char *addr) {
8  int sum = 0;
9  sum += __builtin_arm_ldrex(addr);
10  sum += __builtin_arm_ldrex((short *)addr);
11  sum += __builtin_arm_ldrex((int *)addr);
12  sum += __builtin_arm_ldrex((long long *)addr);
13  sum += __builtin_arm_ldrex((__int128 *)addr);
14  sum += __builtin_arm_ldrex((float *)addr);
15  sum += __builtin_arm_ldrex((double *)addr);
16  sum += *__builtin_arm_ldrex((int **)addr);
17  sum += __builtin_arm_ldrex((struct Simple **)addr)->a;
18  sum += __builtin_arm_ldrex((volatile char *)addr);
19  sum += __builtin_arm_ldrex((const volatile char *)addr);
20
21  // In principle this might be valid, but stick to ints and floats for scalar
22  // types at the moment.
23  sum += __builtin_arm_ldrex((struct Simple *)addr).a; // expected-error {{address argument to atomic builtin must be a pointer to}}
24
25  __builtin_arm_ldrex(); // expected-error {{too few arguments to function call}}
26  __builtin_arm_ldrex(1, 2); // expected-error {{too many arguments to function call}}
27  return sum;
28}
29
30int test_strex(char *addr) {
31  int res = 0;
32  struct Simple var = {0};
33  res |= __builtin_arm_strex(4, addr);
34  res |= __builtin_arm_strex(42, (short *)addr);
35  res |= __builtin_arm_strex(42, (int *)addr);
36  res |= __builtin_arm_strex(42, (long long *)addr);
37  res |= __builtin_arm_strex(42, (__int128 *)addr);
38  res |= __builtin_arm_strex(2.71828f, (float *)addr);
39  res |= __builtin_arm_strex(3.14159, (double *)addr);
40  res |= __builtin_arm_strex(&var, (struct Simple **)addr);
41
42  res |= __builtin_arm_strex(42, (volatile char *)addr);
43  res |= __builtin_arm_strex(42, (char *const)addr);
44  res |= __builtin_arm_strex(42, (const char *)addr); // expected-warning {{passing 'const char *' to parameter of type 'volatile char *' discards qualifiers}}
45
46
47  res |= __builtin_arm_strex(var, (struct Simple *)addr); // expected-error {{address argument to atomic builtin must be a pointer to}}
48  res |= __builtin_arm_strex(var, (struct Simple **)addr); // expected-error {{passing 'struct Simple' to parameter of incompatible type 'struct Simple *'}}
49  res |= __builtin_arm_strex(&var, (struct Simple **)addr).a; // expected-error {{is not a structure or union}}
50
51  __builtin_arm_strex(1); // expected-error {{too few arguments to function call}}
52  __builtin_arm_strex(1, 2, 3); // expected-error {{too many arguments to function call}}
53  return res;
54}
55
56int test_ldaex(char *addr) {
57  int sum = 0;
58  sum += __builtin_arm_ldaex(addr);
59  sum += __builtin_arm_ldaex((short *)addr);
60  sum += __builtin_arm_ldaex((int *)addr);
61  sum += __builtin_arm_ldaex((long long *)addr);
62  sum += __builtin_arm_ldaex((__int128 *)addr);
63  sum += __builtin_arm_ldaex((float *)addr);
64  sum += __builtin_arm_ldaex((double *)addr);
65  sum += *__builtin_arm_ldaex((int **)addr);
66  sum += __builtin_arm_ldaex((struct Simple **)addr)->a;
67  sum += __builtin_arm_ldaex((volatile char *)addr);
68  sum += __builtin_arm_ldaex((const volatile char *)addr);
69
70  // In principle this might be valid, but stick to ints and floats for scalar
71  // types at the moment.
72  sum += __builtin_arm_ldaex((struct Simple *)addr).a; // expected-error {{address argument to atomic builtin must be a pointer to}}
73
74  __builtin_arm_ldaex(); // expected-error {{too few arguments to function call}}
75  __builtin_arm_ldaex(1, 2); // expected-error {{too many arguments to function call}}
76  return sum;
77}
78
79int test_stlex(char *addr) {
80  int res = 0;
81  struct Simple var = {0};
82  res |= __builtin_arm_stlex(4, addr);
83  res |= __builtin_arm_stlex(42, (short *)addr);
84  res |= __builtin_arm_stlex(42, (int *)addr);
85  res |= __builtin_arm_stlex(42, (long long *)addr);
86  res |= __builtin_arm_stlex(42, (__int128 *)addr);
87  res |= __builtin_arm_stlex(2.71828f, (float *)addr);
88  res |= __builtin_arm_stlex(3.14159, (double *)addr);
89  res |= __builtin_arm_stlex(&var, (struct Simple **)addr);
90
91  res |= __builtin_arm_stlex(42, (volatile char *)addr);
92  res |= __builtin_arm_stlex(42, (char *const)addr);
93  res |= __builtin_arm_stlex(42, (const char *)addr); // expected-warning {{passing 'const char *' to parameter of type 'volatile char *' discards qualifiers}}
94
95
96  res |= __builtin_arm_stlex(var, (struct Simple *)addr); // expected-error {{address argument to atomic builtin must be a pointer to}}
97  res |= __builtin_arm_stlex(var, (struct Simple **)addr); // expected-error {{passing 'struct Simple' to parameter of incompatible type 'struct Simple *'}}
98  res |= __builtin_arm_stlex(&var, (struct Simple **)addr).a; // expected-error {{is not a structure or union}}
99
100  __builtin_arm_stlex(1); // expected-error {{too few arguments to function call}}
101  __builtin_arm_stlex(1, 2, 3); // expected-error {{too many arguments to function call}}
102  return res;
103}
104
105void test_clrex() {
106  __builtin_arm_clrex();
107  __builtin_arm_clrex(1); // expected-error {{too many arguments to function call}}
108}
109
CodeThinker, Enjoy your reading code