| 1 | // RUN: %clang_cc1 -triple i386-pc-win32 %s -emit-llvm -fms-compatibility -O2 -disable-llvm-passes -o - | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | __declspec(selectany) int x1 = 1; |
|---|
| 4 | const __declspec(selectany) int x2 = 2; |
|---|
| 5 | // CHECK: @x1 = weak_odr dso_local global i32 1, comdat, align 4 |
|---|
| 6 | // CHECK: @x2 = weak_odr dso_local constant i32 2, comdat, align 4 |
|---|
| 7 | |
|---|
| 8 | // selectany turns extern variable declarations into definitions. |
|---|
| 9 | __declspec(selectany) int x3; |
|---|
| 10 | extern __declspec(selectany) int x4; |
|---|
| 11 | // CHECK: @x3 = weak_odr dso_local global i32 0, comdat, align 4 |
|---|
| 12 | // CHECK: @x4 = weak_odr dso_local global i32 0, comdat, align 4 |
|---|
| 13 | |
|---|
| 14 | struct __declspec(align(16)) S { |
|---|
| 15 | char x; |
|---|
| 16 | }; |
|---|
| 17 | union { struct S s; } u; |
|---|
| 18 | |
|---|
| 19 | // CHECK: @u = {{.*}}zeroinitializer, align 16 |
|---|
| 20 | |
|---|
| 21 | |
|---|
| 22 | // CHECK: define dso_local void @t3() [[NAKED:#[0-9]+]] { |
|---|
| 23 | __declspec(naked) void t3() {} |
|---|
| 24 | |
|---|
| 25 | // CHECK: define dso_local void @t22() [[NUW:#[0-9]+]] |
|---|
| 26 | void __declspec(nothrow) t22(); |
|---|
| 27 | void t22() {} |
|---|
| 28 | |
|---|
| 29 | // CHECK: define dso_local void @t2() [[NI:#[0-9]+]] { |
|---|
| 30 | __declspec(noinline) void t2() {} |
|---|
| 31 | |
|---|
| 32 | // CHECK: call void @f20_t() [[NR:#[0-9]+]] |
|---|
| 33 | __declspec(noreturn) void f20_t(void); |
|---|
| 34 | void f20(void) { f20_t(); } |
|---|
| 35 | |
|---|
| 36 | __declspec(noalias) void noalias_callee(int *x); |
|---|
| 37 | // CHECK: call void @noalias_callee({{.*}}) [[NA:#[0-9]+]] |
|---|
| 38 | void noalias_caller(int *x) { noalias_callee(x); } |
|---|
| 39 | |
|---|
| 40 | // CHECK: attributes [[NAKED]] = { naked noinline nounwind{{.*}} } |
|---|
| 41 | // CHECK: attributes [[NUW]] = { nounwind{{.*}} } |
|---|
| 42 | // CHECK: attributes [[NI]] = { noinline nounwind{{.*}} } |
|---|
| 43 | // CHECK: attributes [[NR]] = { noreturn } |
|---|
| 44 | // CHECK: attributes [[NA]] = { argmemonly nounwind{{.*}} } |
|---|
| 45 | |
|---|