clang/test/CodeGenCXX/code-seg.cpp

   1 // RUN: %clang_cc1 -emit-llvm -triple i686-pc-win32 -fms-extensions -verify -o - %s | FileCheck %s
   2 // expected-no-diagnostics
   3
   4 // Simple case
   5
   6 int __declspec(code_seg("foo_one")) bar_one() { return 1; }
   7 //CHECK: define {{.*}}bar_one{{.*}} section "foo_one"
   8
   9 // Simple case - explicit attribute used over pragma
  10 #pragma code_seg("foo_two")
  11 int __declspec(code_seg("foo_three")) bar2() { return 2; }
  12 //CHECK: define {{.*}}bar2{{.*}} section "foo_three"
  13
  14 // Check that attribute on one function doesn't affect another
  15 int another1() { return 1001; }
  16 //CHECK: define {{.*}}another1{{.*}} section "foo_two"
  17
  18 // Member functions
  19
  20 struct __declspec(code_seg("foo_four")) Foo {
  21   int bar3() {return 0;}
  22   int bar4();
  23   int __declspec(code_seg("foo_six")) bar6() { return 6; }
  24   int bar7() { return 7; }
  25   struct Inner {
  26     int bar5() { return 5; }
  27   } z;
  28   virtual int baz1() { return 1; }
  29 };
  30
  31 struct __declspec(code_seg("foo_four")) FooTwo : Foo {
  32   int baz1() { return 20; }
  33 };
  34
  35 int caller1() {
  36   Foo f; return f.bar3();
  37 }
  38
  39 //CHECK: define {{.*}}bar3@Foo{{.*}} section "foo_four"
  40 int Foo::bar4() { return 4; }
  41 //CHECK: define {{.*}}bar4@Foo{{.*}} section "foo_four"
  42
  43 #pragma code_seg("someother")
  44
  45 int caller2() {
  46   Foo f;
  47   Foo *fp = new FooTwo;
  48   return f.z.bar5() + f.bar6() + f.bar7() + fp->baz1();
  49 }
  50 // MS Compiler and Docs do not match for nested routines
  51 // Doc says:      define {{.*}}bar5@Inner@Foo{{.*}} section "foo_four"
  52 // Compiler says: define {{.*}}bar5@Inner@Foo{{.*}} section "foo_two"
  53 // A bug has been reported: see https://reviews.llvm.org/D22931, the
  54 // Microsoft feedback page is no longer available.
  55 //CHECK: define {{.*}}bar5@Inner@Foo{{.*}} section "foo_two"
  56 //CHECK: define {{.*}}bar6@Foo{{.*}} section "foo_six"
  57 //CHECK: define {{.*}}bar7@Foo{{.*}} section "foo_four"
  58 // Check that code_seg active at class declaration is not used on member
  59 // declared outside class when it is not active.
  60
  61 #pragma code_seg(push,"AnotherSeg")
  62
  63 struct FooThree {
  64   int bar8();
  65   int bar9() { return 9; }
  66 };
  67
  68 #pragma code_seg(pop)
  69
  70
  71 int FooThree::bar8() {return 0;}
  72
  73 int caller3()
  74 {
  75   FooThree f;
  76   return f.bar8() + f.bar9();
  77 }
  78
  79 //CHECK: define {{.*}}bar8@FooThree{{.*}} section "someother"
  80 //CHECK: define {{.*}}bar9@FooThree{{.*}} section "AnotherSeg"
  81
  82 struct NonTrivialCopy {
  83   NonTrivialCopy();
  84   NonTrivialCopy(const NonTrivialCopy&);
  85   ~NonTrivialCopy();
  86 };
  87
  88 // check the section for compiler-generated function with declspec.
  89
  90 struct __declspec(code_seg("foo_seven")) FooFour {
  91   FooFour() {}
  92   int __declspec(code_seg("foo_eight")) bar10(int t) { return t; }
  93   NonTrivialCopy f;
  94 };
  95
  96 //CHECK: define {{.*}}0FooFour@@QAE@ABU0@@Z{{.*}} section "foo_seven"
  97 // check the section for compiler-generated function with no declspec.
  98
  99 struct FooFive {
 100   FooFive() {}
 101   int __declspec(code_seg("foo_nine")) bar11(int t) { return t; }
 102   NonTrivialCopy f;
 103 };
 104
 105 //CHECK: define {{.*}}0FooFive@@QAE@ABU0@@Z{{.*}} section "someother"
 106
 107 #pragma code_seg("YetAnother")
 108 int caller4()
 109 {
 110   FooFour z1;
 111   FooFour z2 = z1;
 112   FooFive y1;
 113   FooFive y2 = y1;
 114  return z2.bar10(0) + y2.bar11(1);
 115 }
 116
 117 //CHECK: define {{.*}}bar10@FooFour{{.*}} section "foo_eight"
 118 //CHECK: define {{.*}}bar11@FooFive{{.*}} section "foo_nine"
 119
 120 struct FooSix {
 121   #pragma code_seg("foo_ten")
 122   int bar12() { return 12; }
 123   #pragma code_seg("foo_eleven")
 124   int bar13() { return 13; }
 125 };
 126
 127 int bar14() { return 14; }
 128 //CHECK: define {{.*}}bar14{{.*}} section "foo_eleven"
 129
 130 int caller5()
 131 {
 132   FooSix fsix;
 133   return fsix.bar12() + fsix.bar13();
 134 }
 135
 136 //CHECK: define {{.*}}bar12@FooSix{{.*}} section "foo_ten"
 137 //CHECK: define {{.*}}bar13@FooSix{{.*}} section "foo_eleven"
 138 //CHECK: define {{.*}}baz1@FooTwo{{.*}} section "foo_four"
 139