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