1 // RUN: %clang_cc1 -Wno-unused-value -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s 2 3 // CHECK: @i = global [[INT:i[0-9]+]] 0 4 volatile int i, j, k; 5 volatile int ar[5]; 6 volatile char c; 7 // CHECK: @ci = global [[CINT:.*]] zeroinitializer 8 volatile _Complex int ci; 9 volatile struct S { 10 #ifdef __cplusplus 11 void operator =(volatile struct S&o) volatile; 12 #endif 13 int i; 14 } a, b; 15 16 //void operator =(volatile struct S&o1, volatile struct S&o2) volatile; 17 int printf(const char *, ...); 18 19 20 // CHECK: define {{.*}}void @{{.*}}test 21 void test() { 22 23 asm("nop"); // CHECK: call void asm 24 25 // should not load 26 i; 27 28 (float)(ci); 29 // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 30 // CHECK-NEXT: load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 31 // CHECK-NEXT: sitofp [[INT]] 32 33 // These are not uses in C++: 34 // [expr.static.cast]p6: 35 // The lvalue-to-rvalue . . . conversions are not applied to the expression. 36 (void)ci; 37 (void)a; 38 39 (void)(ci=ci); 40 // CHECK-NEXT: [[R:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 41 // CHECK-NEXT: [[I:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 42 // CHECK-NEXT: store volatile [[INT]] [[R]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 43 // CHECK-NEXT: store volatile [[INT]] [[I]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 44 45 (void)(i=j); 46 // CHECK-NEXT: [[T:%.*]] = load volatile [[INT]], [[INT]]* @j 47 // CHECK-NEXT: store volatile [[INT]] [[T]], [[INT]]* @i 48 49 ci+=ci; 50 // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 51 // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 52 // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 53 // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 54 // Not sure why they're ordered this way. 55 // CHECK-NEXT: [[R:%.*]] = add [[INT]] [[R2]], [[R1]] 56 // CHECK-NEXT: [[I:%.*]] = add [[INT]] [[I2]], [[I1]] 57 // CHECK-NEXT: store volatile [[INT]] [[R]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 58 // CHECK-NEXT: store volatile [[INT]] [[I]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 59 60 // Note that C++ requires an extra load volatile over C from the LHS of the '+'. 61 (ci += ci) + ci; 62 // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 63 // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 64 // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 65 // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 66 // CHECK-NEXT: [[R:%.*]] = add [[INT]] [[R2]], [[R1]] 67 // CHECK-NEXT: [[I:%.*]] = add [[INT]] [[I2]], [[I1]] 68 // CHECK-NEXT: store volatile [[INT]] [[R]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 69 // CHECK-NEXT: store volatile [[INT]] [[I]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 70 // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 71 // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 72 // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 0) 73 // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 74 // These additions can be elided. 75 // CHECK-NEXT: add [[INT]] [[R1]], [[R2]] 76 // CHECK-NEXT: add [[INT]] [[I1]], [[I2]] 77 78 asm("nop"); // CHECK-NEXT: call void asm 79 80 // Extra load volatile in C++. 81 (i += j) + k; 82 // CHECK-NEXT: load volatile 83 // CHECK-NEXT: load volatile 84 // CHECK-NEXT: add nsw [[INT]] 85 // CHECK-NEXT: store volatile 86 // CHECK-NEXT: load volatile 87 // CHECK-NEXT: load volatile 88 // CHECK-NEXT: add nsw [[INT]] 89 90 asm("nop"); // CHECK-NEXT: call void asm 91 92 // Extra load volatile in C++. 93 (i += j) + 1; 94 // CHECK-NEXT: load volatile 95 // CHECK-NEXT: load volatile 96 // CHECK-NEXT: add nsw [[INT]] 97 // CHECK-NEXT: store volatile 98 // CHECK-NEXT: load volatile 99 // CHECK-NEXT: add nsw [[INT]] 100 101 asm("nop"); // CHECK-NEXT: call void asm 102 103 ci+ci; 104 // CHECK-NEXT: load volatile 105 // CHECK-NEXT: load volatile 106 // CHECK-NEXT: load volatile 107 // CHECK-NEXT: load volatile 108 // CHECK-NEXT: add [[INT]] 109 // CHECK-NEXT: add [[INT]] 110 111 __real i; 112 113 +ci; 114 // CHECK-NEXT: load volatile 115 // CHECK-NEXT: load volatile 116 117 asm("nop"); // CHECK-NEXT: call void asm 118 119 (void)(i=i); 120 // CHECK-NEXT: load volatile 121 // CHECK-NEXT: store volatile 122 123 (float)(i=i); 124 // CHECK-NEXT: load volatile 125 // CHECK-NEXT: store volatile 126 // CHECK-NEXT: load volatile 127 // CHECK-NEXT: sitofp 128 129 (void)i; 130 131 i=i; 132 // CHECK-NEXT: load volatile 133 // CHECK-NEXT: store volatile 134 135 // Extra load volatile in C++. 136 i=i=i; 137 // CHECK-NEXT: load volatile 138 // CHECK-NEXT: store volatile 139 // CHECK-NEXT: load volatile 140 // CHECK-NEXT: store volatile 141 142 (void)__builtin_choose_expr(0, i=i, j=j); 143 // CHECK-NEXT: load volatile 144 // CHECK-NEXT: store volatile 145 146 k ? (i=i) : (j=j); 147 // CHECK-NEXT: load volatile 148 // CHECK-NEXT: icmp 149 // CHECK-NEXT: br i1 150 // CHECK: load volatile 151 // CHECK-NEXT: store volatile 152 // CHECK-NEXT: br label 153 // CHECK: load volatile 154 // CHECK-NEXT: store volatile 155 // CHECK-NEXT: br label 156 // CHECK: phi 157 158 (void)(i,(i=i)); 159 // CHECK-NEXT: load volatile 160 // CHECK-NEXT: store volatile 161 162 i=i,k; 163 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @i 164 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i 165 166 (i=j,k=j); 167 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j 168 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i 169 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j 170 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @k 171 172 (i=j,k); 173 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @j 174 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i 175 176 (i,j); 177 178 // Extra load in C++. 179 i=c=k; 180 // CHECK-NEXT: load volatile 181 // CHECK-NEXT: trunc 182 // CHECK-NEXT: store volatile 183 // CHECK-NEXT: load volatile 184 // CHECK-NEXT: sext 185 // CHECK-NEXT: store volatile 186 187 i+=k; 188 // CHECK-NEXT: load volatile 189 // CHECK-NEXT: load volatile 190 // CHECK-NEXT: add nsw [[INT]] 191 // CHECK-NEXT: store volatile 192 193 ci; 194 195 asm("nop"); // CHECK-NEXT: call void asm 196 197 (int)ci; 198 // CHECK-NEXT: load volatile {{.*}} @ci, i32 0, i32 0 199 // CHECK-NEXT: load volatile {{.*}} @ci, i32 0, i32 1 200 201 (bool)ci; 202 // CHECK-NEXT: load volatile {{.*}} @ci, i32 0, i32 0 203 // CHECK-NEXT: load volatile {{.*}} @ci, i32 0, i32 1 204 // CHECK-NEXT: icmp ne 205 // CHECK-NEXT: icmp ne 206 // CHECK-NEXT: or i1 207 208 ci=ci; 209 // CHECK-NEXT: load volatile 210 // CHECK-NEXT: load volatile 211 // CHECK-NEXT: store volatile 212 // CHECK-NEXT: store volatile 213 214 asm("nop"); // CHECK-NEXT: call void asm 215 216 // Extra load in C++. 217 ci=ci=ci; 218 // CHECK-NEXT: load volatile 219 // CHECK-NEXT: load volatile 220 // CHECK-NEXT: store volatile 221 // CHECK-NEXT: store volatile 222 // CHECK-NEXT: load volatile 223 // CHECK-NEXT: load volatile 224 // CHECK-NEXT: store volatile 225 // CHECK-NEXT: store volatile 226 227 __imag ci = __imag ci = __imag ci; 228 // CHECK-NEXT: [[T:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 229 // CHECK-NEXT: store volatile [[INT]] [[T]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 230 // CHECK-NEXT: [[T:%.*]] = load volatile [[INT]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 231 // CHECK-NEXT: store volatile [[INT]] [[T]], [[INT]]* getelementptr inbounds ([[CINT]], [[CINT]]* @ci, i32 0, i32 1) 232 233 __real (i = j); 234 // CHECK-NEXT: load volatile 235 // CHECK-NEXT: store volatile 236 237 __imag i; 238 239 // ============================================================ 240 // FIXME: Test cases we get wrong. 241 242 // A use. We load all of a into a copy of a, then load i. gcc forgets to do 243 // the assignment. 244 // (a = a).i; 245 246 // ============================================================ 247 // Test cases where we intentionally differ from gcc, due to suspected bugs in 248 // gcc. 249 250 // Not a use. gcc forgets to do the assignment. 251 // CHECK-NEXT: call {{.*}}void 252 ((a=a),a); 253 254 // Not a use. gcc gets this wrong, it doesn't emit the copy! 255 // CHECK-NEXT: call {{.*}}void 256 (void)(a=a); 257 258 // Not a use. gcc got this wrong in 4.2 and omitted the side effects 259 // entirely, but it is fixed in 4.4.0. 260 __imag (i = j); 261 // CHECK-NEXT: load volatile 262 // CHECK-NEXT: store volatile 263 264 // C++ does an extra load here. Note that we have to do full loads. 265 (float)(ci=ci); 266 // CHECK-NEXT: load volatile 267 // CHECK-NEXT: load volatile 268 // CHECK-NEXT: store volatile 269 // CHECK-NEXT: store volatile 270 // CHECK-NEXT: load volatile 271 // CHECK-NEXT: load volatile 272 // CHECK-NEXT: sitofp 273 274 // Not a use, bug? gcc treats this as not a use, that's probably a 275 // bug due to tree folding ignoring volatile. 276 (int)(ci=ci); 277 // CHECK-NEXT: load volatile 278 // CHECK-NEXT: load volatile 279 // CHECK-NEXT: store volatile 280 // CHECK-NEXT: store volatile 281 // CHECK-NEXT: load volatile 282 // CHECK-NEXT: load volatile 283 284 // A use. 285 (float)(i=i); 286 // CHECK-NEXT: load volatile 287 // CHECK-NEXT: store volatile 288 // CHECK-NEXT: load volatile 289 // CHECK-NEXT: sitofp 290 291 // A use. gcc treats this as not a use, that's probably a bug due to tree 292 // folding ignoring volatile. 293 (int)(i=i); 294 // CHECK-NEXT: load volatile 295 // CHECK-NEXT: store volatile 296 // CHECK-NEXT: load volatile 297 298 // A use. 299 -(i=j); 300 // CHECK-NEXT: load volatile 301 // CHECK-NEXT: store volatile 302 // CHECK-NEXT: load volatile 303 // CHECK-NEXT: sub 304 305 // A use. gcc treats this a not a use, that's probably a bug due to tree 306 // folding ignoring volatile. 307 +(i=k); 308 // CHECK-NEXT: load volatile 309 // CHECK-NEXT: store volatile 310 // CHECK-NEXT: load volatile 311 312 // A use. gcc treats this a not a use, that's probably a bug due to tree 313 // folding ignoring volatile. 314 __real (ci=ci); 315 // CHECK-NEXT: load volatile 316 // CHECK-NEXT: load volatile 317 // CHECK-NEXT: store volatile 318 // CHECK-NEXT: store volatile 319 320 // A use. 321 i + 0; 322 // CHECK-NEXT: load volatile 323 // CHECK-NEXT: add 324 325 // A use. 326 (i=j) + i; 327 // CHECK-NEXT: load volatile 328 // CHECK-NEXT: store volatile 329 // CHECK-NEXT: load volatile 330 // CHECK-NEXT: load volatile 331 // CHECK-NEXT: add 332 333 // A use. gcc treats this as not a use, that's probably a bug due to tree 334 // folding ignoring volatile. 335 (i=j) + 0; 336 // CHECK-NEXT: load volatile 337 // CHECK-NEXT: store volatile 338 // CHECK-NEXT: load volatile 339 // CHECK-NEXT: add 340 341 (i,j)=k; 342 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @k 343 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @j 344 345 (j=k,i)=i; 346 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @i 347 // CHECK-NEXT: load volatile [[INT]], [[INT]]* @k 348 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @j 349 // CHECK-NEXT: store volatile {{.*}}, [[INT]]* @i 350 351 // CHECK-NEXT: ret void 352 } 353