| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | template<int z> |
|---|
| 4 | int test9(int *a) { |
|---|
| 5 | a = (int *) __builtin_assume_aligned(a, z + 1); // expected-error {{requested alignment is not a power of 2}} |
|---|
| 6 | return a[0]; |
|---|
| 7 | } |
|---|
| 8 | |
|---|
| 9 | void test9i(int *a) { |
|---|
| 10 | test9<42>(a); // expected-note {{in instantiation of function template specialization 'test9<42>' requested here}} |
|---|
| 11 | } |
|---|
| 12 | |
|---|
| 13 | template<typename T> |
|---|
| 14 | int test10(int *a, T z) { |
|---|
| 15 | a = (int *) __builtin_assume_aligned(a, z + 1); // expected-error {{must be a constant integer}} |
|---|
| 16 | return a[0]; |
|---|
| 17 | } |
|---|
| 18 | |
|---|
| 19 | int test10i(int *a) { |
|---|
| 20 | return test10(a, 42); // expected-note {{in instantiation of function template specialization 'test10<int>' requested here}} |
|---|
| 21 | } |
|---|
| 22 | |
|---|
| 23 | template <int q> |
|---|
| 24 | void *atest() __attribute__((assume_aligned(q))); // expected-error {{requested alignment is not a power of 2}} |
|---|
| 25 | |
|---|
| 26 | template <int q, int o> |
|---|
| 27 | void *atest2() __attribute__((assume_aligned(q, o))); // expected-error {{requested alignment is not a power of 2}} |
|---|
| 28 | |
|---|
| 29 | void test20() { |
|---|
| 30 | atest<31>(); // expected-note {{in instantiation of function template specialization 'atest<31>' requested here}} |
|---|
| 31 | atest<32>(); |
|---|
| 32 | |
|---|
| 33 | atest2<31, 5>(); // expected-note {{in instantiation of function template specialization 'atest2<31, 5>' requested here}} |
|---|
| 34 | atest2<32, 4>(); |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | // expected-error@+1 {{invalid application of 'sizeof' to a function type}} |
|---|
| 38 | template<typename T> __attribute__((assume_aligned(sizeof(int(T()))))) T *f(); |
|---|
| 39 | void test21() { |
|---|
| 40 | void *p = f<void>(); // expected-note {{in instantiation of function template specialization 'f<void>' requested here}} |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | // expected-error@+1 {{functional-style cast from 'void' to 'int' is not allowed}} |
|---|
| 44 | template<typename T> __attribute__((assume_aligned(sizeof((int(T())))))) T *g(); |
|---|
| 45 | void test23() { |
|---|
| 46 | void *p = g<void>(); // expected-note {{in instantiation of function template specialization 'g<void>' requested here}} |
|---|
| 47 | } |
|---|
| 48 | |
|---|
| 49 | template <typename T, int o> |
|---|
| 50 | T *atest3() __attribute__((assume_aligned(31, o))); // expected-error {{requested alignment is not a power of 2}} |
|---|
| 51 | |
|---|
| 52 | template <typename T, int o> |
|---|
| 53 | T *atest4() __attribute__((assume_aligned(32, o))); |
|---|
| 54 | |
|---|
| 55 | void test22() { |
|---|
| 56 | atest3<int, 5>(); |
|---|
| 57 | atest4<int, 5>(); |
|---|
| 58 | } |
|---|
| 59 | |
|---|
| 60 | // expected-warning@+1 {{'assume_aligned' attribute only applies to Objective-C methods and functions}} |
|---|
| 61 | class __attribute__((assume_aligned(32))) x { |
|---|
| 62 | int y; |
|---|
| 63 | }; |
|---|
| 64 | |
|---|
| 65 | // expected-warning@+1 {{'assume_aligned' attribute only applies to return values that are pointers or references}} |
|---|
| 66 | x foo() __attribute__((assume_aligned(32))); |
|---|
| 67 | |
|---|
| 68 | struct s1 { |
|---|
| 69 | static const int x = 32; |
|---|
| 70 | }; |
|---|
| 71 | |
|---|
| 72 | struct s2 { |
|---|
| 73 | static const int x = 64; |
|---|
| 74 | }; |
|---|
| 75 | |
|---|
| 76 | struct s3 { |
|---|
| 77 | static const int x = 63; |
|---|
| 78 | }; |
|---|
| 79 | |
|---|
| 80 | template <typename X> |
|---|
| 81 | void *atest5() __attribute__((assume_aligned(X::x))); // expected-error {{requested alignment is not a power of 2}} |
|---|
| 82 | void test24() { |
|---|
| 83 | atest5<s1>(); |
|---|
| 84 | atest5<s2>(); |
|---|
| 85 | atest5<s3>(); // expected-note {{in instantiation of function template specialization 'atest5<s3>' requested here}} |
|---|
| 86 | } |
|---|
| 87 | |
|---|
| 88 | |
|---|