1 // RUN: %clang_cc1 -triple=%itanium_abi_triple -emit-llvm < %s | FileCheck %s -check-prefix CHECK -check-prefix CHECK-IT
2 // RUN: %clang_cc1 -triple=%ms_abi_triple -emit-llvm < %s | FileCheck %s -check-prefix CHECK -check-prefix CHECK-MS
3
4 int S;
5 volatile int vS;
6
7 int* pS;
8 volatile int* pvS;
9
10 int A[10];
11 volatile int vA[10];
12
13 struct { int x; } F;
14 struct { volatile int x; } vF;
15
16 struct { int x; } F2;
17 volatile struct { int x; } vF2;
18 volatile struct { int x; } *vpF2;
19
20 struct { struct { int y; } x; } F3;
21 volatile struct { struct { int y; } x; } vF3;
22
23 struct { int x:3; } BF;
24 struct { volatile int x:3; } vBF;
25
26 typedef int v4si __attribute__ ((vector_size (16)));
27 v4si V;
28 volatile v4si vV;
29
30 typedef __attribute__(( ext_vector_type(4) )) int extv4;
31 extv4 VE;
32 volatile extv4 vVE;
33
34 volatile struct {int x;} aggFct(void);
35
36 typedef volatile int volatile_int;
37 volatile_int vtS;
38
main()39 int main() {
40 int i;
41 // CHECK: [[I:%[a-zA-Z0-9_.]+]] = alloca i32
42 // load
43 i=S;
44 // CHECK: load i32, i32* @S
45 // CHECK: store i32 {{.*}}, i32* [[I]]
46 i=vS;
47 // CHECK: load volatile i32, i32* @vS
48 // CHECK: store i32 {{.*}}, i32* [[I]]
49 i=*pS;
50 // CHECK: [[PS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pS
51 // CHECK: load i32, i32* [[PS_VAL]]
52 // CHECK: store i32 {{.*}}, i32* [[I]]
53 i=*pvS;
54 // CHECK: [[PVS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pvS
55 // CHECK: load volatile i32, i32* [[PVS_VAL]]
56 // CHECK: store i32 {{.*}}, i32* [[I]]
57 i=A[2];
58 // CHECK: load i32, i32* getelementptr {{.*}} @A
59 // CHECK: store i32 {{.*}}, i32* [[I]]
60 i=vA[2];
61 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vA
62 // CHECK: store i32 {{.*}}, i32* [[I]]
63 i=F.x;
64 // CHECK: load i32, i32* getelementptr {{.*}} @F
65 // CHECK: store i32 {{.*}}, i32* [[I]]
66 i=vF.x;
67 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF
68 // CHECK: store i32 {{.*}}, i32* [[I]]
69 i=F2.x;
70 // CHECK: load i32, i32* getelementptr {{.*}} @F2
71 // CHECK: store i32 {{.*}}, i32* [[I]]
72 i=vF2.x;
73 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF2
74 // CHECK: store i32 {{.*}}, i32* [[I]]
75 i=vpF2->x;
76 // CHECK: [[VPF2_VAL:%[a-zA-Z0-9_.]+]] = load {{%[a-zA-Z0-9_.]+}}*, {{%[a-zA-Z0-9_.]+}}** @vpF2
77 // CHECK: [[ELT:%[a-zA-Z0-9_.]+]] = getelementptr {{.*}} [[VPF2_VAL]]
78 // CHECK: load volatile i32, i32* [[ELT]]
79 // CHECK: store i32 {{.*}}, i32* [[I]]
80 i=F3.x.y;
81 // CHECK: load i32, i32* getelementptr {{.*}} @F3
82 // CHECK: store i32 {{.*}}, i32* [[I]]
83 i=vF3.x.y;
84 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF3
85 // CHECK: store i32 {{.*}}, i32* [[I]]
86 i=BF.x;
87 // CHECK-IT: load i8, i8* getelementptr {{.*}} @BF
88 // CHECK-MS: load i32, i32* getelementptr {{.*}} @BF
89 // CHECK: store i32 {{.*}}, i32* [[I]]
90 i=vBF.x;
91 // CHECK-IT: load volatile i8, i8* getelementptr {{.*}} @vBF
92 // CHECK-MS: load volatile i32, i32* getelementptr {{.*}} @vBF
93 // CHECK: store i32 {{.*}}, i32* [[I]]
94 i=V[3];
95 // CHECK: load <4 x i32>, <4 x i32>* @V
96 // CHECK: store i32 {{.*}}, i32* [[I]]
97 i=vV[3];
98 // CHECK: load volatile <4 x i32>, <4 x i32>* @vV
99 // CHECK: store i32 {{.*}}, i32* [[I]]
100 i=VE.yx[1];
101 // CHECK: load <4 x i32>, <4 x i32>* @VE
102 // CHECK: store i32 {{.*}}, i32* [[I]]
103 i=vVE.zy[1];
104 // CHECK: load volatile <4 x i32>, <4 x i32>* @vVE
105 // CHECK: store i32 {{.*}}, i32* [[I]]
106 i = aggFct().x; // Note: not volatile
107 // N.b. Aggregate return is extremely target specific, all we can
108 // really say here is that there probably shouldn't be a volatile
109 // load.
110 // CHECK-NOT: load volatile
111 // CHECK: store i32 {{.*}}, i32* [[I]]
112 i=vtS;
113 // CHECK: load volatile i32, i32* @vtS
114 // CHECK: store i32 {{.*}}, i32* [[I]]
115
116
117 // store
118 S=i;
119 // CHECK: load i32, i32* [[I]]
120 // CHECK: store i32 {{.*}}, i32* @S
121 vS=i;
122 // CHECK: load i32, i32* [[I]]
123 // CHECK: store volatile i32 {{.*}}, i32* @vS
124 *pS=i;
125 // CHECK: load i32, i32* [[I]]
126 // CHECK: [[PS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pS
127 // CHECK: store i32 {{.*}}, i32* [[PS_VAL]]
128 *pvS=i;
129 // CHECK: load i32, i32* [[I]]
130 // CHECK: [[PVS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pvS
131 // CHECK: store volatile i32 {{.*}}, i32* [[PVS_VAL]]
132 A[2]=i;
133 // CHECK: load i32, i32* [[I]]
134 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @A
135 vA[2]=i;
136 // CHECK: load i32, i32* [[I]]
137 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vA
138 F.x=i;
139 // CHECK: load i32, i32* [[I]]
140 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @F
141 vF.x=i;
142 // CHECK: load i32, i32* [[I]]
143 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF
144 F2.x=i;
145 // CHECK: load i32, i32* [[I]]
146 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @F2
147 vF2.x=i;
148 // CHECK: load i32, i32* [[I]]
149 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF2
150 vpF2->x=i;
151 // CHECK: load i32, i32* [[I]]
152 // CHECK: [[VPF2_VAL:%[a-zA-Z0-9_.]+]] = load {{%[a-zA-Z0-9._]+}}*, {{%[a-zA-Z0-9._]+}}** @vpF2
153 // CHECK: [[ELT:%[a-zA-Z0-9_.]+]] = getelementptr {{.*}} [[VPF2_VAL]]
154 // CHECK: store volatile i32 {{.*}}, i32* [[ELT]]
155 vF3.x.y=i;
156 // CHECK: load i32, i32* [[I]]
157 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF3
158 BF.x=i;
159 // CHECK: load i32, i32* [[I]]
160 // CHECK-IT: load i8, i8* getelementptr {{.*}} @BF
161 // CHECK-MS: load i32, i32* getelementptr {{.*}} @BF
162 // CHECK-IT: store i8 {{.*}}, i8* getelementptr {{.*}} @BF
163 // CHECK-MS: store i32 {{.*}}, i32* getelementptr {{.*}} @BF
164 vBF.x=i;
165 // CHECK: load i32, i32* [[I]]
166 // CHECK-IT: load volatile i8, i8* getelementptr {{.*}} @vBF
167 // CHECK-MS: load volatile i32, i32* getelementptr {{.*}} @vBF
168 // CHECK-IT: store volatile i8 {{.*}}, i8* getelementptr {{.*}} @vBF
169 // CHECK-MS: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vBF
170 V[3]=i;
171 // CHECK: load i32, i32* [[I]]
172 // CHECK: load <4 x i32>, <4 x i32>* @V
173 // CHECK: store <4 x i32> {{.*}}, <4 x i32>* @V
174 vV[3]=i;
175 // CHECK: load i32, i32* [[I]]
176 // CHECK: load volatile <4 x i32>, <4 x i32>* @vV
177 // CHECK: store volatile <4 x i32> {{.*}}, <4 x i32>* @vV
178 vtS=i;
179 // CHECK: load i32, i32* [[I]]
180 // CHECK: store volatile i32 {{.*}}, i32* @vtS
181
182 // other ops:
183 ++S;
184 // CHECK: load i32, i32* @S
185 // CHECK: store i32 {{.*}}, i32* @S
186 ++vS;
187 // CHECK: load volatile i32, i32* @vS
188 // CHECK: store volatile i32 {{.*}}, i32* @vS
189 i+=S;
190 // CHECK: load i32, i32* @S
191 // CHECK: load i32, i32* [[I]]
192 // CHECK: store i32 {{.*}}, i32* [[I]]
193 i+=vS;
194 // CHECK: load volatile i32, i32* @vS
195 // CHECK: load i32, i32* [[I]]
196 // CHECK: store i32 {{.*}}, i32* [[I]]
197 ++vtS;
198 // CHECK: load volatile i32, i32* @vtS
199 // CHECK: store volatile i32 {{.*}}, i32* @vtS
200 (void)vF2;
201 // From vF2 to a temporary
202 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{.*}}, i8* {{.*}} @vF2 {{.*}}, i1 true)
203 vF2 = vF2;
204 // vF2 to itself
205 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
206 vF2 = vF2 = vF2;
207 // vF2 to itself twice
208 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
209 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
210 vF2 = (vF2, vF2);
211 // vF2 to a temporary, then vF2 to itself
212 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{.*}}, i8* {{.*@vF2.*}}, i1 true)
213 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
214 }
215