| // RUN: %clang_cc1 -triple i386-pc-win32 -fms-extensions -emit-llvm -fms-volatile -o - < %s | FileCheck %s |
| struct foo { |
| volatile int x; |
| }; |
| struct bar { |
| int x; |
| }; |
| typedef _Complex float __declspec(align(8)) baz; |
| |
| #pragma pack(push) |
| #pragma pack(1) |
| struct qux { |
| volatile int f; |
| }; |
| #pragma pack(pop) |
| |
| void test1(struct foo *p, struct foo *q) { |
| *p = *q; |
| // CHECK-LABEL: @test1 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test2(volatile int *p, volatile int *q) { |
| *p = *q; |
| // CHECK-LABEL: @test2 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test3(struct foo *p, struct foo *q) { |
| p->x = q->x; |
| // CHECK-LABEL: @test3 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test4(volatile struct foo *p, volatile struct foo *q) { |
| p->x = q->x; |
| // CHECK-LABEL: @test4 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test5(volatile struct foo *p, volatile struct foo *q) { |
| *p = *q; |
| // CHECK-LABEL: @test5 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test6(struct bar *p, struct bar *q) { |
| *p = *q; |
| // CHECK-LABEL: @test6 |
| // CHECK-NOT: load atomic volatile {{.*}} |
| // CHECK-NOT: store atomic volatile {{.*}}, {{.*}} |
| } |
| void test7(volatile struct bar *p, volatile struct bar *q) { |
| *p = *q; |
| // CHECK-LABEL: @test7 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| void test8(volatile double *p, volatile double *q) { |
| *p = *q; |
| // CHECK-LABEL: @test8 |
| // CHECK: load volatile {{.*}} |
| // CHECK: store volatile {{.*}}, {{.*}} |
| } |
| void test9(volatile baz *p, baz *q) { |
| *p = *q; |
| // CHECK-LABEL: @test9 |
| // CHECK: store volatile {{.*}}, {{.*}} |
| // CHECK: store volatile {{.*}}, {{.*}} |
| } |
| void test10(volatile long long *p, volatile long long *q) { |
| *p = *q; |
| // CHECK-LABEL: @test10 |
| // CHECK: load volatile {{.*}} |
| // CHECK: store volatile {{.*}}, {{.*}} |
| } |
| void test11(volatile float *p, volatile float *q) { |
| *p = *q; |
| // CHECK-LABEL: @test11 |
| // CHECK: load atomic volatile {{.*}} acquire |
| // CHECK: store atomic volatile {{.*}}, {{.*}} release |
| } |
| int test12(struct qux *p) { |
| return p->f; |
| // CHECK-LABEL: @test12 |
| // CHECK: load volatile {{.*}} |
| } |
