clang/test/CodeGen/ms-declspecs.c

   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(void) {}
  24
  25 // CHECK: define dso_local void @t22() [[NUW:#[0-9]+]]
  26 void __declspec(nothrow) t22(void);
  27 void t22(void) {}
  28
  29 // CHECK: define dso_local void @t2() [[NI:#[0-9]+]] {
  30 __declspec(noinline) void t2(void) {}
  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]] = { nounwind memory(argmem: readwrite, inaccessiblemem: readwrite){{.*}} }