1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2
test1(int * a)3 int test1(int *a) {
4 a = __builtin_assume_aligned(a, 32, 0ull);
5 return a[0];
6 }
7
test2(int * a)8 int test2(int *a) {
9 a = __builtin_assume_aligned(a, 32, 0);
10 return a[0];
11 }
12
test3(int * a)13 int test3(int *a) {
14 a = __builtin_assume_aligned(a, 32);
15 return a[0];
16 }
17
test4(int * a)18 int test4(int *a) {
19 a = __builtin_assume_aligned(a, -32); // expected-error {{requested alignment is not a power of 2}}
20 // FIXME: The line below produces {{requested alignment is not a power of 2}}
21 // on i386-freebsd, but not on x86_64-linux (for example).
22 // a = __builtin_assume_aligned(a, 1ULL << 63);
23 return a[0];
24 }
25
test5(int * a,unsigned * b)26 int test5(int *a, unsigned *b) {
27 a = __builtin_assume_aligned(a, 32, b); // expected-warning {{incompatible pointer to integer conversion passing 'unsigned int *' to parameter of type}}
28 return a[0];
29 }
30
test6(int * a)31 int test6(int *a) {
32 a = __builtin_assume_aligned(a, 32, 0, 0); // expected-error {{too many arguments to function call, expected at most 3, have 4}}
33 return a[0];
34 }
35
test7(int * a)36 int test7(int *a) {
37 a = __builtin_assume_aligned(a, 31); // expected-error {{requested alignment is not a power of 2}}
38 return a[0];
39 }
40
test8(int * a,int j)41 int test8(int *a, int j) {
42 a = __builtin_assume_aligned(a, j); // expected-error {{must be a constant integer}}
43 return a[0];
44 }
45
46 void test_void_assume_aligned(void) __attribute__((assume_aligned(32))); // expected-warning {{'assume_aligned' attribute only applies to return values that are pointers}}
47 int test_int_assume_aligned(void) __attribute__((assume_aligned(16))); // expected-warning {{'assume_aligned' attribute only applies to return values that are pointers}}
48 void *test_ptr_assume_aligned(void) __attribute__((assume_aligned(64))); // no-warning
49
50 int j __attribute__((assume_aligned(8))); // expected-warning {{'assume_aligned' attribute only applies to functions and methods}}
51 void *test_no_fn_proto() __attribute__((assume_aligned(32))); // no-warning
52 void *test_with_fn_proto(void) __attribute__((assume_aligned(128))); // no-warning
53
54 void *test_no_fn_proto() __attribute__((assume_aligned(31))); // expected-error {{requested alignment is not a power of 2}}
55 void *test_no_fn_proto() __attribute__((assume_aligned(32, 73))); // no-warning
56
57 void *test_no_fn_proto() __attribute__((assume_aligned)); // expected-error {{'assume_aligned' attribute takes at least 1 argument}}
58 void *test_no_fn_proto() __attribute__((assume_aligned())); // expected-error {{'assume_aligned' attribute takes at least 1 argument}}
59 void *test_no_fn_proto() __attribute__((assume_aligned(32, 45, 37))); // expected-error {{'assume_aligned' attribute takes no more than 2 arguments}}
60
61