|
1 |
| -// XFAIL: target=aarch64-pc-windows-msvc |
2 | 1 | // RUN: %clang_cc1 -Wno-return-type -Wno-unused-value -emit-llvm %s -w -o - | FileCheck %s
|
3 | 2 |
|
4 | 3 | // CHECK: @i = {{(dso_local )?}}global [[INT:i[0-9]+]] 0
|
@@ -27,44 +26,44 @@ int printf(const char *, ...);
|
27 | 26 | void test(void) {
|
28 | 27 | // CHECK: load volatile [[INT]], ptr @i
|
29 | 28 | i;
|
30 |
| - // CHECK-NEXT: load volatile [[INT]], ptr @ci, align 4 |
31 |
| - // CHECK-NEXT: load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 29 | + // CHECK-NEXT: load volatile [[INT]], ptr @ci, align [[ALIGN:[0-9]+]] |
| 30 | + // CHECK-NEXT: load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP:[0-9]+]] |
32 | 31 | // CHECK-NEXT: sitofp [[INT]]
|
33 | 32 | (float)(ci);
|
34 |
| - // CHECK-NEXT: load volatile [[INT]], ptr @ci, align 4 |
35 |
| - // CHECK-NEXT: load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 33 | + // CHECK-NEXT: load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 34 | + // CHECK-NEXT: load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
36 | 35 | (void)ci;
|
37 | 36 | // CHECK-NEXT: memcpy
|
38 | 37 | (void)a;
|
39 |
| - // CHECK-NEXT: [[R:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
40 |
| - // CHECK-NEXT: [[I:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
41 |
| - // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align 4 |
42 |
| - // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 38 | + // CHECK-NEXT: [[R:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 39 | + // CHECK-NEXT: [[I:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
| 40 | + // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align [[ALIGN]] |
| 41 | + // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
43 | 42 | (void)(ci=ci);
|
44 | 43 | // CHECK-NEXT: [[T:%.*]] = load volatile [[INT]], ptr @j
|
45 | 44 | // CHECK-NEXT: store volatile [[INT]] [[T]], ptr @i
|
46 | 45 | (void)(i=j);
|
47 |
| - // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
48 |
| - // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
49 |
| - // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
50 |
| - // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 46 | + // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 47 | + // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
| 48 | + // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 49 | + // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
51 | 50 | // Not sure why they're ordered this way.
|
52 | 51 | // CHECK-NEXT: [[R:%.*]] = add [[INT]] [[R2]], [[R1]]
|
53 | 52 | // CHECK-NEXT: [[I:%.*]] = add [[INT]] [[I2]], [[I1]]
|
54 |
| - // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align 4 |
55 |
| - // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 53 | + // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align [[ALIGN]] |
| 54 | + // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
56 | 55 | ci+=ci;
|
57 | 56 |
|
58 |
| - // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
59 |
| - // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
60 |
| - // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
61 |
| - // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 57 | + // CHECK-NEXT: [[R1:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 58 | + // CHECK-NEXT: [[I1:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
| 59 | + // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 60 | + // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
62 | 61 | // CHECK-NEXT: [[R:%.*]] = add [[INT]] [[R2]], [[R1]]
|
63 | 62 | // CHECK-NEXT: [[I:%.*]] = add [[INT]] [[I2]], [[I1]]
|
64 |
| - // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align 4 |
65 |
| - // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
66 |
| - // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align 4 |
67 |
| - // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align 4 |
| 63 | + // CHECK-NEXT: store volatile [[INT]] [[R]], ptr @ci, align [[ALIGN]] |
| 64 | + // CHECK-NEXT: store volatile [[INT]] [[I]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
| 65 | + // CHECK-NEXT: [[R2:%.*]] = load volatile [[INT]], ptr @ci, align [[ALIGN]] |
| 66 | + // CHECK-NEXT: [[I2:%.*]] = load volatile [[INT]], ptr getelementptr inbounds nuw ([[CINT]], ptr @ci, i32 0, i32 1), align [[ALIGN_GEP]] |
68 | 67 | // These additions can be elided
|
69 | 68 | // CHECK-NEXT: add [[INT]] [[R]], [[R2]]
|
70 | 69 | // CHECK-NEXT: add [[INT]] [[I]], [[I2]]
|
|
0 commit comments