Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Sema / align-x86.c
blobc7eb1e73ac3050881f171f101445814b22a50604
1 // RUN: %clang_cc1 -std=c11 -triple i386-apple-darwin9 -fsyntax-only -verify %s
3 #define STATIC_ASSERT(cond) _Static_assert(cond, #cond)
5 // PR3433
6 #define CHECK_ALIGNMENT(type, name, abi, pref) \
7 type name; \
8 STATIC_ASSERT(__alignof__(name) == pref); \
9 STATIC_ASSERT(__alignof__(type) == pref); \
10 STATIC_ASSERT(_Alignof(type) == abi)
12 CHECK_ALIGNMENT(double, g_double, 4, 8);
13 CHECK_ALIGNMENT(long long, g_longlong, 4, 8);
14 CHECK_ALIGNMENT(unsigned long long, g_ulonglong, 4, 8);
15 CHECK_ALIGNMENT(_Complex double, g_complexdouble, 4, 8);
17 // PR6362
18 struct __attribute__((packed))
19 packed_struct {
20 unsigned int a;
22 CHECK_ALIGNMENT(struct packed_struct, g_packedstruct, 1, 1);
23 STATIC_ASSERT(__alignof__(g_packedstruct.a) == 1);
25 typedef double arr3double[3];
26 CHECK_ALIGNMENT(arr3double, g_arr3double, 4, 8);
28 enum big_enum { x = 18446744073709551615ULL };
29 CHECK_ALIGNMENT(enum big_enum, g_bigenum, 4, 8);
31 // PR5637
33 #define ALIGNED(x) __attribute__((aligned(x)))
35 typedef ALIGNED(2) struct {
36 char a[3];
37 } aligned_before_struct;
39 STATIC_ASSERT(sizeof(aligned_before_struct) == 3);
40 STATIC_ASSERT(sizeof(aligned_before_struct[1]) == 4); // expected-error {{size of array element}}
41 STATIC_ASSERT(sizeof(aligned_before_struct[2]) == 6); // expected-error {{size of array element}}
42 STATIC_ASSERT(sizeof(aligned_before_struct[2][1]) == 8); // expected-error {{size of array element}}
43 STATIC_ASSERT(sizeof(aligned_before_struct[1][2]) == 6); // expected-error {{size of array element}}
45 typedef struct ALIGNED(2) {
46 char a[3];
47 } aligned_after_struct;
49 STATIC_ASSERT(sizeof(aligned_after_struct) == 4);
50 STATIC_ASSERT(sizeof(aligned_after_struct[1]) == 4);
51 STATIC_ASSERT(sizeof(aligned_after_struct[2]) == 8);
52 STATIC_ASSERT(sizeof(aligned_after_struct[2][1]) == 8);
53 STATIC_ASSERT(sizeof(aligned_after_struct[1][2]) == 8);