1 // RUN: %clang_cc1 -triple x86_64-linux-gnu -std=c++11 -S -emit-llvm -fsanitize=alignment %s -o - | FileCheck %s
2
3 struct alignas(32) S1 {
4 int x;
5 S1();
6 };
7
8 struct alignas(32) S2 {
9 int x;
10 };
11
12 struct alignas(32) S3 {
13 int x;
14 S3(int *p = new int[4]);
15 };
16
17 struct S4 : public S3 {
S4S418 S4() : S3() {}
19 };
20
21 typedef __attribute__((ext_vector_type(2), aligned(32))) float float32x2_t;
22
23 struct S5 {
24 float32x2_t x;
25 };
26
operator new(unsigned long,void * p)27 void *operator new (unsigned long, void *p) { return p; }
operator new[](unsigned long,void * p)28 void *operator new[] (unsigned long, void *p) { return p; }
29
func_01()30 S1 *func_01() {
31 // CHECK-LABEL: define {{.*}} @_Z7func_01v
32 // CHECK: and i64 %{{.*}}, 31, !nosanitize
33 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
34 // CHECK: call void @_ZN2S1C1Ev(
35 // CHECK-NOT: and i64 %{{.*}}, 31
36 // CHECK: ret %struct.S1*
37 return new S1[20];
38 }
39
func_02()40 S2 *func_02() {
41 // CHECK-LABEL: define {{.*}} @_Z7func_02v
42 // CHECK: and i64 %{{.*}}, 31, !nosanitize
43 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
44 // CHECK: ret %struct.S2*
45 return new S2;
46 }
47
func_03()48 S2 *func_03() {
49 // CHECK-LABEL: define {{.*}} @_Z7func_03v
50 // CHECK: and i64 %{{.*}}, 31, !nosanitize
51 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
52 // CHECK-NOT: and i64 %{{.*}}, 31
53 // CHECK: ret %struct.S2*
54 return new S2[20];
55 }
56
func_04()57 float32x2_t *func_04() {
58 // CHECK-LABEL: define {{.*}} @_Z7func_04v
59 // CHECK: and i64 %{{.*}}, 31, !nosanitize
60 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
61 // CHECK: ret <2 x float>*
62 return new float32x2_t;
63 }
64
func_05()65 float32x2_t *func_05() {
66 // CHECK-LABEL: define {{.*}} @_Z7func_05v
67 // CHECK: and i64 %{{.*}}, 31, !nosanitize
68 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
69 // CHECK-NOT: and i64 %{{.*}}, 31
70 // CHECK: ret <2 x float>*
71 return new float32x2_t[20];
72 }
73
func_07()74 S3 *func_07() {
75 // CHECK-LABEL: define {{.*}} @_Z7func_07v
76 // CHECK: and i64 %{{.*}}, 31, !nosanitize
77 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
78 // CHECK: and i64 %{{.*}}, 3, !nosanitize
79 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
80 // CHECK: ret %struct.S3*
81 return new S3;
82 }
83
func_08()84 S3 *func_08() {
85 // CHECK-LABEL: define {{.*}} @_Z7func_08v
86 // CHECK: and i64 %{{.*}}, 31, !nosanitize
87 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
88 // CHECK: and i64 %{{.*}}, 3, !nosanitize
89 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
90 // CHECK: ret %struct.S3*
91 return new S3[10];
92 }
93
94
func_10(void * p)95 S2 *func_10(void *p) {
96 // CHECK-LABEL: define {{.*}} @_Z7func_10Pv
97 // CHECK: and i64 %{{.*}}, 31, !nosanitize
98 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
99 // CHECK: ret %struct.S2*
100 return new(p) S2;
101 }
102
func_11(void * p)103 S2 *func_11(void *p) {
104 // CHECK-LABEL: define {{.*}} @_Z7func_11Pv
105 // CHECK: and i64 %{{.*}}, 31, !nosanitize
106 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
107 // CHECK-NOT: and i64 %{{.*}}, 31, !nosanitize
108 // CHECK-NOT: icmp eq i64 %{{.*}}, 0, !nosanitize
109 // CHECK: ret %struct.S2*
110 return new(p) S2[10];
111 }
112
func_12()113 float32x2_t *func_12() {
114 // CHECK-LABEL: define {{.*}} @_Z7func_12v
115 // CHECK: and i64 %{{.*}}, 31, !nosanitize
116 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
117 // CHECK: ret <2 x float>*
118 return new float32x2_t;
119 }
120
func_13()121 float32x2_t *func_13() {
122 // CHECK-LABEL: define {{.*}} @_Z7func_13v
123 // CHECK: and i64 %{{.*}}, 31, !nosanitize
124 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
125 // CHECK-NOT: and i64 %{{.*}}, 31
126 // CHECK: ret <2 x float>*
127 return new float32x2_t[20];
128 }
129
func_14()130 S4 *func_14() {
131 // CHECK-LABEL: define {{.*}} @_Z7func_14v
132 // CHECK: and i64 %{{.*}}, 31, !nosanitize
133 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
134 // CHECK-NOT: and i64 %{{.*}}, 31
135 // CHECK: ret %struct.S4*
136 return new S4;
137 }
138
func_15(const S5 * ptr)139 S5 *func_15(const S5 *ptr) {
140 // CHECK-LABEL: define {{.*}} @_Z7func_15PK2S5
141 // CHECK: and i64 %{{.*}}, 31, !nosanitize
142 // CHECK: icmp eq i64 %{{.*}}, 0, !nosanitize
143 // CHECK-NOT: and i64
144 // CHECK: ret %struct.S5*
145 return new S5(*ptr);
146 }
147