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