clang/test/CodeGenCXX/microsoft-abi-vbtables.cpp

   1 // RUN: %clang_cc1 %s -fno-rtti -triple=i386-pc-win32 -emit-llvm -o - | FileCheck %s
   2
   3 // See microsoft-abi-structors.cpp for constructor codegen tests.
   4
   5 namespace Test1 {
   6 // Classic diamond, fully virtual.
   7 struct A { int a; };
   8 struct B : virtual A { int b; };
   9 struct C : virtual A { int c; };
  10 struct D : virtual B, virtual C { int d; };
  11 D d; // Force vbtable emission.
  12
  13 // Layout should be:
  14 // D: vbptr D
  15 //    int d
  16 // A: int a
  17 // B: vbptr B
  18 //    int b
  19 // C: vbptr C
  20 //    int c
  21
  22 // CHECK-DAG: @"??_8D@Test1@@7B01@@" = linkonce_odr unnamed_addr constant [4 x i32] [i32 0, i32 8, i32 12, i32 20], comdat, align 4
  23 // CHECK-DAG: @"??_8D@Test1@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 -4]
  24 // CHECK-DAG: @"??_8D@Test1@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 -12]
  25 // CHECK-DAG: @"??_8C@Test1@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
  26 // CHECK-DAG: @"??_8B@Test1@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
  27 }
  28
  29 namespace Test2 {
  30 // Classic diamond, only A is virtual.
  31 struct A { int a; };
  32 struct B : virtual A { int b; };
  33 struct C : virtual A { int c; };
  34 struct D : B, C { int d; };
  35 D d; // Force vbtable emission.
  36
  37 // Layout should be:
  38 // B: vbptr B
  39 //    int b
  40 // C: vbptr C
  41 //    int c
  42 // D: int d
  43 // A: int a
  44
  45 // CHECK-DAG: @"??_8D@Test2@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 20]
  46 // CHECK-DAG: @"??_8D@Test2@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 12]
  47 // CHECK-DAG: @"??_8C@Test2@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
  48 // CHECK-DAG: @"??_8B@Test2@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
  49 }
  50
  51 namespace Test3 {
  52 struct A { int a; };
  53 struct B { int b; };
  54 struct C : virtual A, virtual B { int c; };
  55 C c;
  56
  57 // CHECK-DAG: @"??_8C@Test3@@7B@" = {{.*}} [3 x i32] [i32 0, i32 8, i32 12]
  58 }
  59
  60 namespace Test4 {
  61 // Test reusing a vbptr from a non-virtual base.
  62 struct A { int a; };
  63 struct B : virtual A { int b; };
  64 struct C : B, virtual A { int c; };
  65 C c; // Force vbtable emission.
  66
  67 // CHECK-DAG: @"??_8C@Test4@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
  68 // CHECK-DAG: @"??_8B@Test4@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
  69 }
  70
  71 namespace Test5 {
  72 // Test multiple base subobjects of the same type when that type has a virtual
  73 // base.
  74 struct A { int a; };
  75 struct B : virtual A { int b; };
  76 struct C : B { int c; };
  77 struct D : B, C { int d; };
  78 D d; // Force vbtable emission.
  79
  80 // CHECK-DAG: @"??_8D@Test5@@7BB@1@@"
  81 // CHECK-DAG: @"??_8D@Test5@@7BC@1@@"
  82 // CHECK-DAG: @"??_8C@Test5@@7B@"
  83 // CHECK-DAG: @"??_8B@Test5@@7B@"
  84 }
  85
  86 namespace Test6 {
  87 // Test that we skip unneeded base path component names.
  88 struct A { int a; };
  89 struct B : virtual A { int b; };
  90 struct C : B { int c; };
  91 struct D : B, C { int d; };
  92 struct E : D { int e; };
  93 struct F : E, B, C { int f; };
  94 struct G : F, virtual E { int g; };
  95 G g;
  96
  97 // CHECK-DAG: @"??_8G@Test6@@7BB@1@E@1@F@1@@" =
  98 // CHECK-DAG: @"??_8G@Test6@@7BC@1@E@1@F@1@@" =
  99 // CHECK-DAG: @"??_8G@Test6@@7BB@1@F@1@@" =
 100 // CHECK-DAG: @"??_8G@Test6@@7BC@1@F@1@@" =
 101 // CHECK-DAG: @"??_8G@Test6@@7BB@1@E@1@@" =
 102 // CHECK-DAG: @"??_8G@Test6@@7BC@1@E@1@@" =
 103 // CHECK-DAG: @"??_8F@Test6@@7BB@1@E@1@@" = {{.*}} [2 x i32] [i32 0, i32 52]
 104 // CHECK-DAG: @"??_8F@Test6@@7BC@1@E@1@@" = {{.*}} [2 x i32] [i32 0, i32 44]
 105 // CHECK-DAG: @"??_8F@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 24]
 106 // CHECK-DAG: @"??_8F@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 16]
 107 // CHECK-DAG: @"??_8C@Test6@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
 108 // CHECK-DAG: @"??_8B@Test6@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
 109 // CHECK-DAG: @"??_8E@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 28]
 110 // CHECK-DAG: @"??_8E@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 20]
 111 // CHECK-DAG: @"??_8D@Test6@@7BB@1@@" = {{.*}} [2 x i32] [i32 0, i32 24]
 112 // CHECK-DAG: @"??_8D@Test6@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 16]
 113 }
 114
 115 namespace Test7 {
 116 // Test a non-virtual base which reuses the vbptr of another base.
 117 struct A { int a; };
 118 struct B { int b; };
 119 struct C { int c; };
 120 struct D : virtual A { int d; };
 121 struct E : B, D, virtual A, virtual C { int e; };
 122 E o;
 123
 124 // CHECK-DAG: @"??_8E@Test7@@7B@" = {{.*}} [3 x i32] [i32 0, i32 12, i32 16]
 125 // CHECK-DAG: @"??_8D@Test7@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
 126 }
 127
 128 namespace Test8 {
 129 // Test a virtual base which reuses the vbptr of another base.
 130 struct A { int a; };
 131 struct B : virtual A { int b; };
 132 struct C : B { int c; };
 133 struct D : virtual C { int d; };
 134 D o;
 135
 136 // CHECK-DAG: @"??_8D@Test8@@7B01@@" = {{.*}} [3 x i32] [i32 0, i32 8, i32 12]
 137 // CHECK-DAG: @"??_8D@Test8@@7BC@1@@" = {{.*}} [2 x i32] [i32 0, i32 -4]
 138 // CHECK-DAG: @"??_8C@Test8@@7B@" = {{.*}} [2 x i32] [i32 0, i32 12]
 139 // CHECK-DAG: @"??_8B@Test8@@7B@" = {{.*}} [2 x i32] [i32 0, i32 8]
 140 }
 141
 142 namespace Test9 {
 143 // D has to add to B's vbtable because D has more morally virtual bases than B.
 144 // D then takes B's vbptr and the vbtable is named for D, not B.
 145 struct A { int a; };
 146 struct B : virtual A { int b; };
 147 struct C : virtual B { int c; };
 148 struct BB : B { int bb; };  // Indirection =/
 149 struct D : BB, C { int d; };
 150 struct E : virtual D { };
 151 E e;
 152
 153 // CHECK-DAG: @"??_8E@Test9@@7B01@@" =
 154 // CHECK-DAG: @"??_8E@Test9@@7BD@1@@" =
 155 // CHECK-DAG: @"??_8E@Test9@@7BC@1@@" =
 156 // CHECK-DAG: @"??_8E@Test9@@7BB@1@@" =
 157 // CHECK-DAG: @"??_8D@Test9@@7B@" =
 158 // CHECK-DAG: @"??_8D@Test9@@7BC@1@@" =
 159 // CHECK-DAG: @"??_8D@Test9@@7BB@1@@" =
 160 // CHECK-DAG: @"??_8C@Test9@@7B01@@" =
 161 // CHECK-DAG: @"??_8C@Test9@@7BB@1@@" =
 162 // CHECK-DAG: @"??_8BB@Test9@@7B@" =
 163 // CHECK-DAG: @"??_8B@Test9@@7B@" =
 164 }
 165
 166 namespace Test10 {
 167 struct A { int a; };
 168 struct B { int b; };
 169 struct C : virtual A { int c; };
 170 struct D : B, C { int d; };
 171 D d;
 172
 173 // CHECK-DAG: @"??_8D@Test10@@7B@" =
 174 // CHECK-DAG: @"??_8C@Test10@@7B@" =
 175
 176 }
 177
 178 namespace Test11 {
 179 // Typical diamond with an extra single inheritance indirection for B and C.
 180 struct A { int a; };
 181 struct B : virtual A { int b; };
 182 struct C : virtual A { int c; };
 183 struct D : B { int d; };
 184 struct E : C { int e; };
 185 struct F : D, E { int f; };
 186 F f;
 187
 188 // CHECK-DAG: @"??_8F@Test11@@7BD@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 28]
 189 // CHECK-DAG: @"??_8F@Test11@@7BE@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 16]
 190 // CHECK-DAG: @"??_8E@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 12]
 191 // CHECK-DAG: @"??_8C@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 192 // CHECK-DAG: @"??_8D@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 12]
 193 // CHECK-DAG: @"??_8B@Test11@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 194
 195 }
 196
 197 namespace Test12 {
 198 // Another vbptr inside a virtual base.
 199 struct A { int a; };
 200 struct B : virtual A { int b; };
 201 struct C : virtual B { int c; };
 202 struct D : C, B { int d; };
 203 struct E : D, C, B { int e; };
 204 E e;
 205
 206 // CHECK-DAG: @"??_8E@Test12@@7BC@1@D@1@@" =
 207 // CHECK-DAG: @"??_8E@Test12@@7BB@1@D@1@@" =
 208 // CHECK-DAG: @"??_8E@Test12@@7BD@1@@" =
 209 // CHECK-DAG: @"??_8E@Test12@@7BC@1@@" =
 210 // CHECK-DAG: @"??_8E@Test12@@7BB@1@@" =
 211 // CHECK-DAG: @"??_8C@Test12@@7B01@@" =
 212 // CHECK-DAG: @"??_8C@Test12@@7BB@1@@" =
 213 // CHECK-DAG: @"??_8D@Test12@@7BC@1@@" =
 214 // CHECK-DAG: @"??_8D@Test12@@7BB@1@@" =
 215 // CHECK-DAG: @"??_8D@Test12@@7B@" =
 216 // CHECK-DAG: @"??_8B@Test12@@7B@" =
 217 }
 218
 219 namespace Test13 {
 220 struct A { int a; };
 221 struct B : virtual A { int b; };
 222 struct C : virtual B { int c; };
 223 struct D : virtual C { int d; };
 224 struct E : D, C, B { int e; };
 225 E e;
 226
 227 // CHECK-DAG: @"??_8E@Test13@@7BD@1@@" =
 228 // CHECK-DAG: @"??_8E@Test13@@7BC@1@D@1@@" =
 229 // CHECK-DAG: @"??_8E@Test13@@7BB@1@D@1@@" =
 230 // CHECK-DAG: @"??_8E@Test13@@7BC@1@@" =
 231 // CHECK-DAG: @"??_8E@Test13@@7BB@1@@" =
 232 // CHECK-DAG: @"??_8D@Test13@@7B@" =
 233 // CHECK-DAG: @"??_8D@Test13@@7BC@1@@" =
 234 // CHECK-DAG: @"??_8D@Test13@@7BB@1@@" =
 235 // CHECK-DAG: @"??_8C@Test13@@7B01@@" =
 236 // CHECK-DAG: @"??_8C@Test13@@7BB@1@@" =
 237 // CHECK-DAG: @"??_8B@Test13@@7B@" =
 238 }
 239
 240 namespace Test14 {
 241 struct A { int a; };
 242 struct B : virtual A { int b; };
 243 struct C : virtual B { int c; };
 244 struct D : virtual C { int d; };
 245 struct E : D, virtual C, virtual B { int e; };
 246 E e;
 247
 248 // CHECK-DAG: @"??_8E@Test14@@7B@" =
 249 // CHECK-DAG: @"??_8E@Test14@@7BC@1@@" =
 250 // CHECK-DAG: @"??_8E@Test14@@7BB@1@@" =
 251 // CHECK-DAG: @"??_8D@Test14@@7B@" =
 252 // CHECK-DAG: @"??_8D@Test14@@7BC@1@@" =
 253 // CHECK-DAG: @"??_8D@Test14@@7BB@1@@" =
 254 // CHECK-DAG: @"??_8C@Test14@@7B01@@" =
 255 // CHECK-DAG: @"??_8C@Test14@@7BB@1@@" =
 256 // CHECK-DAG: @"??_8B@Test14@@7B@" =
 257 }
 258
 259 namespace Test15 {
 260 struct A { int a; };
 261 struct B : virtual A { int b; };
 262 struct C : virtual A { int c; };
 263 struct D : virtual B { int d; };
 264 struct E : D, C, B { int e; };
 265 E e;
 266
 267 // CHECK-DAG: @"??_8E@Test15@@7BD@1@@" =
 268 // CHECK-DAG: @"??_8E@Test15@@7BB@1@D@1@@" =
 269 // CHECK-DAG: @"??_8E@Test15@@7BC@1@@" =
 270 // CHECK-DAG: @"??_8E@Test15@@7BB@1@@" =
 271 // CHECK-DAG: @"??_8C@Test15@@7B@" =
 272 // CHECK-DAG: @"??_8D@Test15@@7B01@@" =
 273 // CHECK-DAG: @"??_8D@Test15@@7BB@1@@" =
 274 // CHECK-DAG: @"??_8B@Test15@@7B@" =
 275 }
 276
 277 namespace Test16 {
 278 struct A { int a; };
 279 struct B : virtual A { int b; };
 280 struct C : virtual B { int c; }; // ambig
 281 struct D : virtual C { int d; };
 282 struct E : virtual D { int e; }; // ambig
 283 struct F : E, D, C, B { int f; };  // ambig
 284 F f;
 285
 286 // CHECK-DAG: @"??_8F@Test16@@7BE@1@@" =
 287 // CHECK-DAG: @"??_8F@Test16@@7BD@1@E@1@@" =
 288 // CHECK-DAG: @"??_8F@Test16@@7BC@1@E@1@@" =
 289 // CHECK-DAG: @"??_8F@Test16@@7BB@1@E@1@@" =
 290 // CHECK-DAG: @"??_8F@Test16@@7BD@1@@" =
 291 // CHECK-DAG: @"??_8F@Test16@@7BC@1@@" =
 292 // CHECK-DAG: @"??_8F@Test16@@7BB@1@@" =
 293 // CHECK-DAG: @"??_8E@Test16@@7B01@@" =
 294 // CHECK-DAG: @"??_8E@Test16@@7BD@1@@" =
 295 // CHECK-DAG: @"??_8E@Test16@@7BC@1@@" =
 296 // CHECK-DAG: @"??_8E@Test16@@7BB@1@@" =
 297 // CHECK-DAG: @"??_8D@Test16@@7B@" =
 298 // CHECK-DAG: @"??_8D@Test16@@7BC@1@@" =
 299 // CHECK-DAG: @"??_8D@Test16@@7BB@1@@" =
 300 // CHECK-DAG: @"??_8C@Test16@@7B01@@" =
 301 // CHECK-DAG: @"??_8C@Test16@@7BB@1@@" =
 302 // CHECK-DAG: @"??_8B@Test16@@7B@" =
 303 }
 304
 305 namespace Test17 {
 306 // This test case has an interesting alternating pattern of using "vbtable of B"
 307 // and "vbtable of C for C".  This may be the key to the underlying algorithm.
 308 struct A { int a; };
 309 struct B : virtual A { int b; };
 310 struct C : virtual B { int c; }; // ambig
 311 struct D : virtual C { int d; };
 312 struct E : virtual D { int e; }; // ambig
 313 struct F : virtual E { int f; };
 314 struct G : virtual F { int g; }; // ambig
 315 struct H : virtual G { int h; };
 316 struct I : virtual H { int i; }; // ambig
 317 struct J : virtual I { int j; };
 318 struct K : virtual J { int k; }; // ambig
 319 K k;
 320
 321 // CHECK-DAG: @"??_8K@Test17@@7B01@@" =
 322 // CHECK-DAG: @"??_8J@Test17@@7B@" =
 323 // CHECK-DAG: @"??_8I@Test17@@7B01@@" =
 324 // CHECK-DAG: @"??_8H@Test17@@7B@" =
 325 // CHECK-DAG: @"??_8G@Test17@@7B01@@" =
 326 // CHECK-DAG: @"??_8F@Test17@@7B@" =
 327 // CHECK-DAG: @"??_8E@Test17@@7B01@@" =
 328 // CHECK-DAG: @"??_8D@Test17@@7B@" =
 329 // CHECK-DAG: @"??_8C@Test17@@7B01@@" =
 330 // CHECK-DAG: @"??_8B@Test17@@7B@" =
 331 }
 332
 333 namespace Test18 {
 334 struct A { int a; };
 335 struct B : virtual A { int b; };
 336 struct C : B { int c; };
 337 struct D : C, B { int d; };
 338 struct E : D, C, B { int e; };
 339 E e;
 340
 341 // CHECK-DAG: @"??_8E@Test18@@7BC@1@D@1@@" =
 342 // CHECK-DAG: @"??_8E@Test18@@7BB@1@D@1@@" =
 343 // CHECK-DAG: @"??_8E@Test18@@7BC@1@@" =
 344 // CHECK-DAG: @"??_8E@Test18@@7BB@1@@" =
 345 // CHECK-DAG: @"??_8B@Test18@@7B@" =
 346 // CHECK-DAG: @"??_8C@Test18@@7B@" =
 347 // CHECK-DAG: @"??_8D@Test18@@7BC@1@@" =
 348 // CHECK-DAG: @"??_8D@Test18@@7BB@1@@" =
 349 }
 350
 351 namespace Test19 {
 352 struct A { int a; };
 353 struct B : virtual A { int b; };
 354 struct C : virtual B { int c; };
 355 struct D : virtual C, virtual B { int d; };
 356 struct E : virtual D, virtual C, virtual B { int e; };
 357 E e;
 358
 359 // CHECK-DAG: @"??_8E@Test19@@7B01@@" =
 360 // CHECK-DAG: @"??_8E@Test19@@7BD@1@@" =
 361 // CHECK-DAG: @"??_8E@Test19@@7BC@1@@" =
 362 // CHECK-DAG: @"??_8E@Test19@@7BB@1@@" =
 363 // CHECK-DAG: @"??_8D@Test19@@7B@" =
 364 // CHECK-DAG: @"??_8D@Test19@@7BC@1@@" =
 365 // CHECK-DAG: @"??_8D@Test19@@7BB@1@@" =
 366 // CHECK-DAG: @"??_8C@Test19@@7B01@@" =
 367 // CHECK-DAG: @"??_8C@Test19@@7BB@1@@" =
 368 // CHECK-DAG: @"??_8B@Test19@@7B@" =
 369 }
 370
 371 namespace Test20 {
 372 // E has no direct vbases, but it adds to C's vbtable anyway.
 373 struct A { int a; };
 374 struct B { int b; };
 375 struct C : virtual A { int c; };
 376 struct D : virtual B { int d; };
 377 struct E : C, D { int e; };
 378 E f;
 379
 380 // CHECK-DAG: @"??_8E@Test20@@7BC@1@@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 20, i32 24]
 381 // CHECK-DAG: @"??_8E@Test20@@7BD@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 16]
 382 // CHECK-DAG: @"??_8D@Test20@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 383 // CHECK-DAG: @"??_8C@Test20@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 384 }
 385
 386 namespace Test21 {
 387 struct A { int a; };
 388 struct B : virtual A { int b; };
 389 struct C : B { int c; };
 390 struct D : B { int d; };
 391 struct E : C, D { int e; };
 392 struct F : virtual E { int f; };
 393 struct G : E { int g; };
 394 struct H : F, G { int h; };
 395 H h;
 396
 397 // CHECK-DAG: @"??_8H@Test21@@7B@" =
 398 // CHECK-DAG: @"??_8H@Test21@@7BC@1@F@1@@" =
 399 // CHECK-DAG: @"??_8H@Test21@@7BD@1@F@1@@" =
 400 // CHECK-DAG: @"??_8H@Test21@@7BC@1@G@1@@" =
 401 // CHECK-DAG: @"??_8H@Test21@@7BD@1@G@1@@" =
 402 // CHECK-DAG: @"??_8G@Test21@@7BC@1@@" =
 403 // CHECK-DAG: @"??_8G@Test21@@7BD@1@@" =
 404 // CHECK-DAG: @"??_8F@Test21@@7B@" =
 405 // CHECK-DAG: @"??_8F@Test21@@7BC@1@@" =
 406 // CHECK-DAG: @"??_8F@Test21@@7BD@1@@" =
 407 // CHECK-DAG: @"??_8E@Test21@@7BC@1@@" =
 408 // CHECK-DAG: @"??_8E@Test21@@7BD@1@@" =
 409 // CHECK-DAG: @"??_8D@Test21@@7B@" =
 410 // CHECK-DAG: @"??_8B@Test21@@7B@" =
 411 // CHECK-DAG: @"??_8C@Test21@@7B@" =
 412 }
 413
 414 namespace Test22 {
 415 struct A { int a; };
 416 struct B : virtual A { int b; };
 417 struct C { int c; };
 418 struct D : B, virtual C { int d; };
 419 D d;
 420
 421 // CHECK-DAG: @"??_8D@Test22@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 12, i32 16]
 422 // CHECK-DAG: @"??_8B@Test22@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 423 }
 424
 425 namespace Test23 {
 426 struct A { int a; };
 427 struct B : virtual A { int b; };
 428 struct C { int c; };
 429 // Note the unusual order of bases. It forces C to be laid out before A.
 430 struct D : virtual C, B { int d; };
 431 D d;
 432
 433 // CHECK-DAG: @"??_8D@Test23@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 16, i32 12]
 434 // CHECK-DAG: @"??_8B@Test23@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 435 }
 436
 437 namespace Test24 {
 438 struct A { int a; };
 439 struct B : virtual A { int b; };
 440 struct C { int c; };
 441 struct D : virtual C, B {
 442   virtual void f();  // Issues a vfptr, but the vbptr is still shared with B.
 443   int d;
 444 };
 445 D d;
 446
 447 // CHECK-DAG: @"??_8D@Test24@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 0, i32 16, i32 12]
 448 // CHECK-DAG: @"??_8B@Test24@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 8]
 449 }
 450
 451 namespace Test25 {
 452 struct A { int a; };
 453 struct B : virtual A {
 454   virtual void f();  // Issues a vfptr.
 455   int b;
 456 };
 457 struct C { int c; };
 458 struct D : virtual C, B { int d; };
 459 D d;
 460
 461 // CHECK-DAG: @"??_8D@Test25@@7B@" = linkonce_odr unnamed_addr constant [3 x i32] [i32 -4, i32 16, i32 12]
 462 // CHECK-DAG: @"??_8B@Test25@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -4, i32 8]
 463 }
 464
 465 namespace Test26 {
 466 struct A { int a; };
 467 struct B { int b; };
 468 struct C { int c; };
 469 struct D : virtual A { int d; };
 470 struct E : virtual B {
 471   virtual void foo();  // Issues a vfptr.
 472   int e;
 473 };
 474 struct F: virtual C, D, E { int f; };
 475 F f;
 476 // F reuses the D's vbptr, even though D is laid out after E.
 477 // CHECK-DAG: @"??_8F@Test26@@7BD@1@@" = linkonce_odr unnamed_addr constant [4 x i32] [i32 0, i32 16, i32 12, i32 20]
 478 // CHECK-DAG: @"??_8F@Test26@@7BE@1@@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 -4, i32 28]
 479 }
 480
 481 namespace Test27 {
 482 // PR17748
 483 struct A {};
 484 struct B : virtual A {};
 485 struct C : virtual B {};
 486 struct D : C, B {};
 487 struct E : D {};
 488 struct F : C, E {};
 489 struct G : F, D, C, B {};
 490 G x;
 491
 492 // CHECK-DAG: @"??_8G@Test27@@7BB@1@@" =
 493 // CHECK-DAG: @"??_8G@Test27@@7BB@1@F@1@@" =
 494 // CHECK-DAG: @"??_8G@Test27@@7BC@1@@" =
 495 // CHECK-DAG: @"??_8G@Test27@@7BC@1@D@1@@" =
 496 // CHECK-DAG: @"??_8G@Test27@@7BC@1@E@1@@" =
 497 // CHECK-DAG: @"??_8G@Test27@@7BC@1@F@1@@" =
 498 // CHECK-DAG: @"??_8G@Test27@@7BD@1@@" =
 499 // CHECK-DAG: @"??_8G@Test27@@7BF@1@@" =
 500 }
 501
 502 namespace Test28 {
 503 // PR17748
 504 struct A {};
 505 struct B : virtual A {};
 506 struct C : virtual B {};
 507 struct D : C, B {};
 508 struct E : C, D {};
 509 struct F : virtual E, virtual D, virtual C {};
 510 F x;
 511
 512 // CHECK-DAG: @"??_8F@Test28@@7B01@@" =
 513 // CHECK-DAG: @"??_8F@Test28@@7BB@1@@" =
 514 // CHECK-DAG: @"??_8F@Test28@@7BC@1@@" =
 515 // CHECK-DAG: @"??_8F@Test28@@7BC@1@D@1@@" =
 516 // CHECK-DAG: @"??_8F@Test28@@7BC@1@D@1@E@1@@" =
 517 // CHECK-DAG: @"??_8F@Test28@@7BC@1@E@1@@" =
 518 // CHECK-DAG: @"??_8F@Test28@@7BD@1@@" =
 519 // CHECK-DAG: @"??_8F@Test28@@7BE@1@@" =
 520 }
 521
 522 namespace Test29 {
 523 struct A {};
 524 struct B : virtual A {};
 525 struct C : virtual B {};
 526 struct D : C {};
 527 D d;
 528
 529 // CHECK-DAG: @"??_8D@Test29@@7BB@1@@" = linkonce_odr unnamed_addr constant [2 x i32] zeroinitializer
 530 }
 531
 532 namespace Test30 {
 533 struct A {};
 534 template <class> struct B : virtual A {
 535   B() {}
 536 };
 537
 538 extern template class B<int>;
 539 template B<int>::B();
 540 // CHECK-DAG: @"??_8?$B@H@Test30@@7B@" = linkonce_odr unnamed_addr constant [2 x i32] [i32 0, i32 4], comdat
 541 }