clang/test/CodeGenCXX/vtable-layout-abi-examples.cpp

   1 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm-only -fdump-vtable-layouts > %t 2>/dev/null
   2 // RUN: FileCheck --check-prefix=CHECK-1 %s < %t
   3 // RUN: FileCheck --check-prefix=CHECK-2 %s < %t
   4 // RUN: FileCheck --check-prefix=CHECK-3 %s < %t
   5 // RUN: FileCheck --check-prefix=CHECK-4 %s < %t
   6 // RUN: FileCheck --check-prefix=CHECK-5 %s < %t
   7 // RUN: FileCheck --check-prefix=CHECK-6 %s < %t
   8 // RUN: FileCheck --check-prefix=CHECK-7 %s < %t
   9 // RUN: FileCheck --check-prefix=CHECK-8 %s < %t
  10 // RUN: FileCheck --check-prefix=CHECK-9 %s < %t
  11 // RUN: FileCheck --check-prefix=CHECK-10 %s < %t
  12 // RUN: FileCheck --check-prefix=CHECK-11 %s < %t
  13
  14 /// Examples from the Itanium C++ ABI specification.
  15 /// http://www.codesourcery.com/public/cxx-abi/
  16
  17 namespace Test1 {
  18
  19 // This is from http://www.codesourcery.com/public/cxx-abi/cxx-vtable-ex.html
  20
  21 // CHECK-1:      Vtable for 'Test1::A' (5 entries).
  22 // CHECK-1-NEXT:    0 | offset_to_top (0)
  23 // CHECK-1-NEXT:    1 | Test1::A RTTI
  24 // CHECK-1-NEXT:        -- (Test1::A, 0) vtable address --
  25 // CHECK-1-NEXT:    2 | void Test1::A::f()
  26 // CHECK-1-NEXT:    3 | void Test1::A::g()
  27 // CHECK-1-NEXT:    4 | void Test1::A::h()
  28 struct A {
  29   virtual void f ();
  30   virtual void g ();
  31   virtual void h ();
  32   int ia;
  33 };
  34 void A::f() {}
  35
  36 // CHECK-2:      Vtable for 'Test1::B' (13 entries).
  37 // CHECK-2-NEXT:    0 | vbase_offset (16)
  38 // CHECK-2-NEXT:    1 | offset_to_top (0)
  39 // CHECK-2-NEXT:    2 | Test1::B RTTI
  40 // CHECK-2-NEXT:        -- (Test1::B, 0) vtable address --
  41 // CHECK-2-NEXT:    3 | void Test1::B::f()
  42 // CHECK-2-NEXT:    4 | void Test1::B::h()
  43 // CHECK-2-NEXT:    5 | vcall_offset (-16)
  44 // CHECK-2-NEXT:    6 | vcall_offset (0)
  45 // CHECK-2-NEXT:    7 | vcall_offset (-16)
  46 // CHECK-2-NEXT:    8 | offset_to_top (-16)
  47 // CHECK-2-NEXT:    9 | Test1::B RTTI
  48 // CHECK-2-NEXT:        -- (Test1::A, 16) vtable address --
  49 // CHECK-2-NEXT:   10 | void Test1::B::f()
  50 // CHECK-2-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
  51 // CHECK-2-NEXT:   11 | void Test1::A::g()
  52 // CHECK-2-NEXT:   12 | void Test1::B::h()
  53 // CHECK-2-NEXT:        [this adjustment: 0 non-virtual, -40 vcall offset offset]
  54 struct B: public virtual A {
  55   void f ();
  56   void h ();
  57   int ib;
  58 };
  59 void B::f() {}
  60
  61 // CHECK-3:      Vtable for 'Test1::C' (13 entries).
  62 // CHECK-3-NEXT:    0 | vbase_offset (16)
  63 // CHECK-3-NEXT:    1 | offset_to_top (0)
  64 // CHECK-3-NEXT:    2 | Test1::C RTTI
  65 // CHECK-3-NEXT:        -- (Test1::C, 0) vtable address --
  66 // CHECK-3-NEXT:    3 | void Test1::C::g()
  67 // CHECK-3-NEXT:    4 | void Test1::C::h()
  68 // CHECK-3-NEXT:    5 | vcall_offset (-16)
  69 // CHECK-3-NEXT:    6 | vcall_offset (-16)
  70 // CHECK-3-NEXT:    7 | vcall_offset (0)
  71 // CHECK-3-NEXT:    8 | offset_to_top (-16)
  72 // CHECK-3-NEXT:    9 | Test1::C RTTI
  73 // CHECK-3-NEXT:        -- (Test1::A, 16) vtable address --
  74 // CHECK-3-NEXT:   10 | void Test1::A::f()
  75 // CHECK-3-NEXT:   11 | void Test1::C::g()
  76 // CHECK-3-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
  77 // CHECK-3-NEXT:   12 | void Test1::C::h()
  78 // CHECK-3-NEXT:        [this adjustment: 0 non-virtual, -40 vcall offset offset]
  79 struct C: public virtual A {
  80   void g ();
  81   void h ();
  82   int ic;
  83 };
  84 void C::g() {}
  85
  86 // CHECK-4:      Vtable for 'Test1::D' (18 entries).
  87 // CHECK-4-NEXT:    0 | vbase_offset (32)
  88 // CHECK-4-NEXT:    1 | offset_to_top (0)
  89 // CHECK-4-NEXT:    2 | Test1::D RTTI
  90 // CHECK-4-NEXT:        -- (Test1::B, 0) vtable address --
  91 // CHECK-4-NEXT:        -- (Test1::D, 0) vtable address --
  92 // CHECK-4-NEXT:    3 | void Test1::B::f()
  93 // CHECK-4-NEXT:    4 | void Test1::D::h()
  94 // CHECK-4-NEXT:    5 | vbase_offset (16)
  95 // CHECK-4-NEXT:    6 | offset_to_top (-16)
  96 // CHECK-4-NEXT:    7 | Test1::D RTTI
  97 // CHECK-4-NEXT:        -- (Test1::C, 16) vtable address --
  98 // CHECK-4-NEXT:    8 | void Test1::C::g()
  99 // CHECK-4-NEXT:    9 | void Test1::D::h()
 100 // CHECK-4-NEXT:        [this adjustment: -16 non-virtual]
 101 // CHECK-4-NEXT:   10 | vcall_offset (-32)
 102 // CHECK-4-NEXT:   11 | vcall_offset (-16)
 103 // CHECK-4-NEXT:   12 | vcall_offset (-32)
 104 // CHECK-4-NEXT:   13 | offset_to_top (-32)
 105 // CHECK-4-NEXT:   14 | Test1::D RTTI
 106 // CHECK-4-NEXT:        -- (Test1::A, 32) vtable address --
 107 // CHECK-4-NEXT:   15 | void Test1::B::f()
 108 // CHECK-4-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 109 // CHECK-4-NEXT:   16 | void Test1::C::g()
 110 // CHECK-4-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
 111 // CHECK-4-NEXT:   17 | void Test1::D::h()
 112 // CHECK-4-NEXT:        [this adjustment: 0 non-virtual, -40 vcall offset offset]
 113 struct D: public B, public C {
 114   void h ();
 115   int id;
 116 };
 117 void D::h() { }
 118
 119 struct X {
 120   int ix;
 121   virtual void x();
 122 };
 123
 124 // CHECK-5:      Vtable for 'Test1::E' (24 entries).
 125 // CHECK-5-NEXT:    0 | vbase_offset (56)
 126 // CHECK-5-NEXT:    1 | offset_to_top (0)
 127 // CHECK-5-NEXT:    2 | Test1::E RTTI
 128 // CHECK-5-NEXT:        -- (Test1::E, 0) vtable address --
 129 // CHECK-5-NEXT:        -- (Test1::X, 0) vtable address --
 130 // CHECK-5-NEXT:    3 | void Test1::X::x()
 131 // CHECK-5-NEXT:    4 | void Test1::E::f()
 132 // CHECK-5-NEXT:    5 | void Test1::E::h()
 133 // CHECK-5-NEXT:    6 | vbase_offset (40)
 134 // CHECK-5-NEXT:    7 | offset_to_top (-16)
 135 // CHECK-5-NEXT:    8 | Test1::E RTTI
 136 // CHECK-5-NEXT:        -- (Test1::B, 16) vtable address --
 137 // CHECK-5-NEXT:        -- (Test1::D, 16) vtable address --
 138 // CHECK-5-NEXT:    9 | void Test1::E::f()
 139 // CHECK-5-NEXT:        [this adjustment: -16 non-virtual]
 140 // CHECK-5-NEXT:   10 | void Test1::E::h()
 141 // CHECK-5-NEXT:        [this adjustment: -16 non-virtual]
 142 // CHECK-5-NEXT:   11 | vbase_offset (24)
 143 // CHECK-5-NEXT:   12 | offset_to_top (-32)
 144 // CHECK-5-NEXT:   13 | Test1::E RTTI
 145 // CHECK-5-NEXT:        -- (Test1::C, 32) vtable address --
 146 // CHECK-5-NEXT:   14 | void Test1::C::g()
 147 // CHECK-5-NEXT:   15 | void Test1::E::h()
 148 // CHECK-5-NEXT:        [this adjustment: -32 non-virtual]
 149 // CHECK-5-NEXT:   16 | vcall_offset (-56)
 150 // CHECK-5-NEXT:   17 | vcall_offset (-24)
 151 // CHECK-5-NEXT:   18 | vcall_offset (-56)
 152 // CHECK-5-NEXT:   19 | offset_to_top (-56)
 153 // CHECK-5-NEXT:   20 | Test1::E RTTI
 154 // CHECK-5-NEXT:        -- (Test1::A, 56) vtable address --
 155 // CHECK-5-NEXT:   21 | void Test1::E::f()
 156 // CHECK-5-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 157 // CHECK-5-NEXT:   22 | void Test1::C::g()
 158 // CHECK-5-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
 159 // CHECK-5-NEXT:   23 | void Test1::E::h()
 160 // CHECK-5-NEXT:        [this adjustment: 0 non-virtual, -40 vcall offset offset]
 161 struct E : X, D {
 162   int ie;
 163   void f();
 164   void h ();
 165 };
 166 void E::f() { }
 167
 168 }
 169
 170 namespace Test2 {
 171
 172 // From http://www.codesourcery.com/public/cxx-abi/abi.html#class-types.
 173
 174 struct A { virtual void f(); };
 175 struct B : virtual public A { int i; };
 176 struct C : virtual public A { int j; };
 177
 178 // CHECK-6:      Vtable for 'Test2::D' (11 entries).
 179 // CHECK-6-NEXT:    0 | vbase_offset (0)
 180 // CHECK-6-NEXT:    1 | vcall_offset (0)
 181 // CHECK-6-NEXT:    2 | offset_to_top (0)
 182 // CHECK-6-NEXT:    3 | Test2::D RTTI
 183 // CHECK-6-NEXT:        -- (Test2::A, 0) vtable address --
 184 // CHECK-6-NEXT:        -- (Test2::B, 0) vtable address --
 185 // CHECK-6-NEXT:        -- (Test2::D, 0) vtable address --
 186 // CHECK-6-NEXT:    4 | void Test2::A::f()
 187 // CHECK-6-NEXT:    5 | void Test2::D::d()
 188 // CHECK-6-NEXT:    6 | vbase_offset (-16)
 189 // CHECK-6-NEXT:    7 | vcall_offset (-16)
 190 // CHECK-6-NEXT:    8 | offset_to_top (-16)
 191 // CHECK-6-NEXT:    9 | Test2::D RTTI
 192 // CHECK-6-NEXT:        -- (Test2::C, 16) vtable address --
 193 // CHECK-6-NEXT:   10 | [unused] void Test2::A::f()
 194 struct D : public B, public C {
 195   virtual void d();
 196 };
 197 void D::d() { }
 198
 199 }
 200
 201 namespace Test3 {
 202
 203 // From http://www.codesourcery.com/public/cxx-abi/abi-examples.html#vtable-ctor
 204
 205 struct V1 {
 206   int v1;
 207   virtual void f();
 208 };
 209
 210 struct V2 : virtual V1 {
 211   int v2;
 212   virtual void f();
 213 };
 214
 215 // CHECK-7:      Vtable for 'Test3::C' (14 entries).
 216 // CHECK-7-NEXT:    0 | vbase_offset (32)
 217 // CHECK-7-NEXT:    1 | vbase_offset (16)
 218 // CHECK-7-NEXT:    2 | offset_to_top (0)
 219 // CHECK-7-NEXT:    3 | Test3::C RTTI
 220 // CHECK-7-NEXT:        -- (Test3::C, 0) vtable address --
 221 // CHECK-7-NEXT:    4 | void Test3::C::f()
 222 // CHECK-7-NEXT:    5 | vcall_offset (-16)
 223 // CHECK-7-NEXT:    6 | offset_to_top (-16)
 224 // CHECK-7-NEXT:    7 | Test3::C RTTI
 225 // CHECK-7-NEXT:        -- (Test3::V1, 16) vtable address --
 226 // CHECK-7-NEXT:    8 | void Test3::C::f()
 227 // CHECK-7-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 228 // CHECK-7-NEXT:    9 | vcall_offset (-32)
 229 // CHECK-7-NEXT:   10 | vbase_offset (-16)
 230 // CHECK-7-NEXT:   11 | offset_to_top (-32)
 231 // CHECK-7-NEXT:   12 | Test3::C RTTI
 232 // CHECK-7-NEXT:        -- (Test3::V2, 32) vtable address --
 233 // CHECK-7-NEXT:   13 | void Test3::C::f()
 234 // CHECK-7-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
 235
 236 // CHECK-8:      Construction vtable for ('Test3::V2', 32) in 'Test3::C' (9 entries).
 237 // CHECK-8-NEXT:    0 | vcall_offset (0)
 238 // CHECK-8-NEXT:    1 | vbase_offset (-16)
 239 // CHECK-8-NEXT:    2 | offset_to_top (0)
 240 // CHECK-8-NEXT:    3 | Test3::V2 RTTI
 241 // CHECK-8-NEXT:        -- (Test3::V2, 32) vtable address --
 242 // CHECK-8-NEXT:    4 | void Test3::V2::f()
 243 // CHECK-8-NEXT:    5 | vcall_offset (16)
 244 // CHECK-8-NEXT:    6 | offset_to_top (16)
 245 // CHECK-8-NEXT:    7 | Test3::V2 RTTI
 246 // CHECK-8-NEXT:        -- (Test3::V1, 16) vtable address --
 247 // CHECK-8-NEXT:    8 | void Test3::V2::f()
 248 // CHECK-8-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 249 struct C : virtual V1, virtual V2 {
 250   int c;
 251   virtual void f();
 252 };
 253 void C::f() { }
 254
 255 struct B {
 256   int b;
 257 };
 258
 259 // CHECK-9:      Vtable for 'Test3::D' (15 entries).
 260 // CHECK-9-NEXT:    0 | vbase_offset (40)
 261 // CHECK-9-NEXT:    1 | vbase_offset (24)
 262 // CHECK-9-NEXT:    2 | offset_to_top (0)
 263 // CHECK-9-NEXT:    3 | Test3::D RTTI
 264 // CHECK-9-NEXT:        -- (Test3::C, 0) vtable address --
 265 // CHECK-9-NEXT:        -- (Test3::D, 0) vtable address --
 266 // CHECK-9-NEXT:    4 | void Test3::C::f()
 267 // CHECK-9-NEXT:    5 | void Test3::D::g()
 268 // CHECK-9-NEXT:    6 | vcall_offset (-24)
 269 // CHECK-9-NEXT:    7 | offset_to_top (-24)
 270 // CHECK-9-NEXT:    8 | Test3::D RTTI
 271 // CHECK-9-NEXT:        -- (Test3::V1, 24) vtable address --
 272 // CHECK-9-NEXT:    9 | void Test3::C::f()
 273 // CHECK-9-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 274 // CHECK-9-NEXT:   10 | vcall_offset (-40)
 275 // CHECK-9-NEXT:   11 | vbase_offset (-16)
 276 // CHECK-9-NEXT:   12 | offset_to_top (-40)
 277 // CHECK-9-NEXT:   13 | Test3::D RTTI
 278 // CHECK-9-NEXT:        -- (Test3::V2, 40) vtable address --
 279 // CHECK-9-NEXT:   14 | void Test3::C::f()
 280 // CHECK-9-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
 281
 282 // CHECK-10:      Construction vtable for ('Test3::C', 0) in 'Test3::D' (14 entries).
 283 // CHECK-10-NEXT:    0 | vbase_offset (40)
 284 // CHECK-10-NEXT:    1 | vbase_offset (24)
 285 // CHECK-10-NEXT:    2 | offset_to_top (0)
 286 // CHECK-10-NEXT:    3 | Test3::C RTTI
 287 // CHECK-10-NEXT:        -- (Test3::C, 0) vtable address --
 288 // CHECK-10-NEXT:    4 | void Test3::C::f()
 289 // CHECK-10-NEXT:    5 | vcall_offset (-24)
 290 // CHECK-10-NEXT:    6 | offset_to_top (-24)
 291 // CHECK-10-NEXT:    7 | Test3::C RTTI
 292 // CHECK-10-NEXT:        -- (Test3::V1, 24) vtable address --
 293 // CHECK-10-NEXT:    8 | void Test3::C::f()
 294 // CHECK-10-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 295 // CHECK-10-NEXT:    9 | vcall_offset (-40)
 296 // CHECK-10-NEXT:   10 | vbase_offset (-16)
 297 // CHECK-10-NEXT:   11 | offset_to_top (-40)
 298 // CHECK-10-NEXT:   12 | Test3::C RTTI
 299 // CHECK-10-NEXT:        -- (Test3::V2, 40) vtable address --
 300 // CHECK-10-NEXT:   13 | void Test3::C::f()
 301 // CHECK-10-NEXT:        [this adjustment: 0 non-virtual, -32 vcall offset offset]
 302
 303 // CHECK-11:      Construction vtable for ('Test3::V2', 40) in 'Test3::D' (9 entries).
 304 // CHECK-11-NEXT:    0 | vcall_offset (0)
 305 // CHECK-11-NEXT:    1 | vbase_offset (-16)
 306 // CHECK-11-NEXT:    2 | offset_to_top (0)
 307 // CHECK-11-NEXT:    3 | Test3::V2 RTTI
 308 // CHECK-11-NEXT:        -- (Test3::V2, 40) vtable address --
 309 // CHECK-11-NEXT:    4 | void Test3::V2::f()
 310 // CHECK-11-NEXT:    5 | vcall_offset (16)
 311 // CHECK-11-NEXT:    6 | offset_to_top (16)
 312 // CHECK-11-NEXT:    7 | Test3::V2 RTTI
 313 // CHECK-11-NEXT:        -- (Test3::V1, 24) vtable address --
 314 // CHECK-11-NEXT:    8 | void Test3::V2::f()
 315 // CHECK-11-NEXT:        [this adjustment: 0 non-virtual, -24 vcall offset offset]
 316 struct D : B, C {
 317   int d;
 318   virtual void g();
 319 };
 320 void D::g() { }
 321
 322 }