clang/test/Layout/ms-x86-vfvb-alignment.cpp

   1 // RUN: %clang_cc1 -fno-rtti -emit-llvm-only -triple i686-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>&1 \
   2 // RUN:            | FileCheck %s --strict-whitespace
   3 // RUN: %clang_cc1 -fno-rtti -emit-llvm-only -triple x86_64-pc-win32 -fms-extensions -fdump-record-layouts -fsyntax-only %s 2>/dev/null \
   4 // RUN:            | FileCheck %s -check-prefix CHECK-X64 --strict-whitespace
   5
   6 extern "C" int printf(const char *fmt, ...);
   7
   8 struct B0 { int a; B0() : a(0xf00000B0) {} };
   9 struct B1 { char a; B1() : a(0xB1) {} };
  10 struct B2 : virtual B1 { int a; B2() : a(0xf00000B2) {} };
  11 struct B3 { __declspec(align(16)) int a; B3() : a(0xf00000B3) {} };
  12 struct B4 : virtual B3 { int a; B4() : a(0xf00000B4) {} };
  13 struct B5 { __declspec(align(32)) int a; B5() : a(0xf00000B5) {} };
  14 struct B6 { int a; B6() : a(0xf00000B6) {} virtual void f() { printf("B6"); } };
  15
  16 struct A : B0, virtual B1 { __declspec(align(16)) int a; A() : a(0xf000000A) {} virtual void f() { printf("A"); } };
  17
  18 // CHECK-LABEL:   0 | struct A
  19 // CHECK-NEXT:    0 |   (A vftable pointer)
  20 // CHECK-NEXT:   16 |   struct B0 (base)
  21 // CHECK-NEXT:   16 |     int a
  22 // CHECK-NEXT:   20 |   (A vbtable pointer)
  23 // CHECK-NEXT:   48 |   int a
  24 // CHECK-NEXT:   64 |   struct B1 (virtual base)
  25 // CHECK-NEXT:   64 |     char a
  26 // CHECK-NEXT:      | [sizeof=80, align=16
  27 // CHECK-NEXT:      |  nvsize=64, nvalign=16]
  28 // CHECK-X64-LABEL:   0 | struct A
  29 // CHECK-X64-NEXT:    0 |   (A vftable pointer)
  30 // CHECK-X64-NEXT:   16 |   struct B0 (base)
  31 // CHECK-X64-NEXT:   16 |     int a
  32 // CHECK-X64-NEXT:   24 |   (A vbtable pointer)
  33 // CHECK-X64-NEXT:   48 |   int a
  34 // CHECK-X64-NEXT:   64 |   struct B1 (virtual base)
  35 // CHECK-X64-NEXT:   64 |     char a
  36 // CHECK-X64-NEXT:      | [sizeof=80, align=16
  37 // CHECK-X64-NEXT:      |  nvsize=64, nvalign=16]
  38
  39 struct C : B4 {
  40   int a;
  41   C() : a(0xf000000C) {}
  42   virtual void f() { printf("C"); }
  43 };
  44
  45 // CHECK-LABEL:   0 | struct C
  46 // CHECK-NEXT:    0 |   (C vftable pointer)
  47 // CHECK-NEXT:   16 |   struct B4 (base)
  48 // CHECK-NEXT:   16 |     (B4 vbtable pointer)
  49 // CHECK-NEXT:   20 |     int a
  50 // CHECK-NEXT:   24 |   int a
  51 // CHECK-NEXT:   32 |   struct B3 (virtual base)
  52 // CHECK-NEXT:   32 |     int a
  53 // CHECK-NEXT:      | [sizeof=48, align=16
  54 // CHECK-NEXT:      |  nvsize=32, nvalign=16]
  55 // CHECK-X64-LABEL:   0 | struct C
  56 // CHECK-X64-NEXT:    0 |   (C vftable pointer)
  57 // CHECK-X64-NEXT:   16 |   struct B4 (base)
  58 // CHECK-X64-NEXT:   16 |     (B4 vbtable pointer)
  59 // CHECK-X64-NEXT:   24 |     int a
  60 // CHECK-X64-NEXT:   32 |   int a
  61 // CHECK-X64-NEXT:   48 |   struct B3 (virtual base)
  62 // CHECK-X64-NEXT:   48 |     int a
  63 // CHECK-X64-NEXT:      | [sizeof=64, align=16
  64 // CHECK-X64-NEXT:      |  nvsize=48, nvalign=16]
  65
  66 struct K {
  67   int a;
  68   K() : a(0xf0000013) {}
  69   virtual void f() { printf("K"); }
  70 };
  71
  72 // CHECK-LABEL:   0 | struct K
  73 // CHECK-NEXT:    0 |   (K vftable pointer)
  74 // CHECK-NEXT:    4 |   int a
  75 // CHECK-NEXT:      | [sizeof=8, align=4
  76 // CHECK-NEXT:      |  nvsize=8, nvalign=4]
  77 // CHECK-X64-LABEL:   0 | struct K
  78 // CHECK-X64-NEXT:    0 |   (K vftable pointer)
  79 // CHECK-X64-NEXT:    8 |   int a
  80 // CHECK-X64-NEXT:      | [sizeof=16, align=8
  81 // CHECK-X64-NEXT:      |  nvsize=16, nvalign=8]
  82
  83 struct B : A, B2 { int a; B() : a(0xf000000B) {} virtual void f() { printf("B"); } };
  84
  85 // CHECK-LABEL:   0 | struct B{{$}}
  86 // CHECK-NEXT:    0 |   struct A (primary base)
  87 // CHECK-NEXT:    0 |     (A vftable pointer)
  88 // CHECK-NEXT:   16 |     struct B0 (base)
  89 // CHECK-NEXT:   16 |       int a
  90 // CHECK-NEXT:   20 |     (A vbtable pointer)
  91 // CHECK-NEXT:   48 |     int a
  92 // CHECK-NEXT:   64 |   struct B2 (base)
  93 // CHECK-NEXT:   64 |     (B2 vbtable pointer)
  94 // CHECK-NEXT:   68 |     int a
  95 // CHECK-NEXT:   72 |   int a
  96 // CHECK-NEXT:   80 |   struct B1 (virtual base)
  97 // CHECK-NEXT:   80 |     char a
  98 // CHECK-NEXT:      | [sizeof=96, align=16
  99 // CHECK-NEXT:      |  nvsize=80, nvalign=16]
 100 // CHECK-X64-LABEL:   0 | struct B{{$}}
 101 // CHECK-X64-NEXT:    0 |   struct A (primary base)
 102 // CHECK-X64-NEXT:    0 |     (A vftable pointer)
 103 // CHECK-X64-NEXT:   16 |     struct B0 (base)
 104 // CHECK-X64-NEXT:   16 |       int a
 105 // CHECK-X64-NEXT:   24 |     (A vbtable pointer)
 106 // CHECK-X64-NEXT:   48 |     int a
 107 // CHECK-X64-NEXT:   64 |   struct B2 (base)
 108 // CHECK-X64-NEXT:   64 |     (B2 vbtable pointer)
 109 // CHECK-X64-NEXT:   72 |     int a
 110 // CHECK-X64-NEXT:   80 |   int a
 111 // CHECK-X64-NEXT:   96 |   struct B1 (virtual base)
 112 // CHECK-X64-NEXT:   96 |     char a
 113 // CHECK-X64-NEXT:      | [sizeof=112, align=16
 114 // CHECK-X64-NEXT:      |  nvsize=96, nvalign=16]
 115
 116 struct D : C { int a; D() : a(0xf000000D) {} virtual void f() { printf("D"); } };
 117
 118 // CHECK-LABEL:   0 | struct D
 119 // CHECK-NEXT:    0 |   struct C (primary base)
 120 // CHECK-NEXT:    0 |     (C vftable pointer)
 121 // CHECK-NEXT:   16 |     struct B4 (base)
 122 // CHECK-NEXT:   16 |       (B4 vbtable pointer)
 123 // CHECK-NEXT:   20 |       int a
 124 // CHECK-NEXT:   24 |     int a
 125 // CHECK-NEXT:   32 |   int a
 126 // CHECK-NEXT:   48 |   struct B3 (virtual base)
 127 // CHECK-NEXT:   48 |     int a
 128 // CHECK-NEXT:      | [sizeof=64, align=16
 129 // CHECK-NEXT:      |  nvsize=48, nvalign=16]
 130 // CHECK-X64-LABEL:   0 | struct D
 131 // CHECK-X64-NEXT:    0 |   struct C (primary base)
 132 // CHECK-X64-NEXT:    0 |     (C vftable pointer)
 133 // CHECK-X64-NEXT:   16 |     struct B4 (base)
 134 // CHECK-X64-NEXT:   16 |       (B4 vbtable pointer)
 135 // CHECK-X64-NEXT:   24 |       int a
 136 // CHECK-X64-NEXT:   32 |     int a
 137 // CHECK-X64-NEXT:   48 |   int a
 138 // CHECK-X64-NEXT:   64 |   struct B3 (virtual base)
 139 // CHECK-X64-NEXT:   64 |     int a
 140 // CHECK-X64-NEXT:      | [sizeof=80, align=16
 141 // CHECK-X64-NEXT:      |  nvsize=64, nvalign=16]
 142
 143 struct E : virtual C { int a; E() : a(0xf000000E) {} virtual void f() { printf("E"); } };
 144
 145 // CHECK-LABEL:   0 | struct E
 146 // CHECK-NEXT:    0 |   (E vbtable pointer)
 147 // CHECK-NEXT:    4 |   int a
 148 // CHECK-NEXT:   16 |   struct B3 (virtual base)
 149 // CHECK-NEXT:   16 |     int a
 150 // CHECK-NEXT:   44 |   (vtordisp for vbase C)
 151 // CHECK-NEXT:   48 |   struct C (virtual base)
 152 // CHECK-NEXT:   48 |     (C vftable pointer)
 153 // CHECK-NEXT:   64 |     struct B4 (base)
 154 // CHECK-NEXT:   64 |       (B4 vbtable pointer)
 155 // CHECK-NEXT:   68 |       int a
 156 // CHECK-NEXT:   72 |     int a
 157 // CHECK-NEXT:      | [sizeof=80, align=16
 158 // CHECK-NEXT:      |  nvsize=8, nvalign=16]
 159 // CHECK-X64-LABEL:   0 | struct E
 160 // CHECK-X64-NEXT:    0 |   (E vbtable pointer)
 161 // CHECK-X64-NEXT:    8 |   int a
 162 // CHECK-X64-NEXT:   16 |   struct B3 (virtual base)
 163 // CHECK-X64-NEXT:   16 |     int a
 164 // CHECK-X64-NEXT:   44 |   (vtordisp for vbase C)
 165 // CHECK-X64-NEXT:   48 |   struct C (virtual base)
 166 // CHECK-X64-NEXT:   48 |     (C vftable pointer)
 167 // CHECK-X64-NEXT:   64 |     struct B4 (base)
 168 // CHECK-X64-NEXT:   64 |       (B4 vbtable pointer)
 169 // CHECK-X64-NEXT:   72 |       int a
 170 // CHECK-X64-NEXT:   80 |     int a
 171 // CHECK-X64-NEXT:      | [sizeof=96, align=16
 172 // CHECK-X64-NEXT:      |  nvsize=16, nvalign=16]
 173
 174 struct F : B3, virtual B0 { int a; F() : a(0xf000000F) {} virtual void f() { printf("F"); } };
 175
 176 // CHECK-LABEL:   0 | struct F
 177 // CHECK-NEXT:    0 |   (F vftable pointer)
 178 // CHECK-NEXT:   16 |   struct B3 (base)
 179 // CHECK-NEXT:   16 |     int a
 180 // CHECK-NEXT:   32 |   (F vbtable pointer)
 181 // CHECK-NEXT:   48 |   int a
 182 // CHECK-NEXT:   64 |   struct B0 (virtual base)
 183 // CHECK-NEXT:   64 |     int a
 184 // CHECK-NEXT:      | [sizeof=80, align=16
 185 // CHECK-NEXT:      |  nvsize=64, nvalign=16]
 186 // CHECK-X64-LABEL:   0 | struct F
 187 // CHECK-X64-NEXT:    0 |   (F vftable pointer)
 188 // CHECK-X64-NEXT:   16 |   struct B3 (base)
 189 // CHECK-X64-NEXT:   16 |     int a
 190 // CHECK-X64-NEXT:   32 |   (F vbtable pointer)
 191 // CHECK-X64-NEXT:   48 |   int a
 192 // CHECK-X64-NEXT:   64 |   struct B0 (virtual base)
 193 // CHECK-X64-NEXT:   64 |     int a
 194 // CHECK-X64-NEXT:      | [sizeof=80, align=16
 195 // CHECK-X64-NEXT:      |  nvsize=64, nvalign=16]
 196
 197 struct G : B2, B6, virtual B1 { int a; G() : a(0xf0000010) {} };
 198
 199 // CHECK-LABEL:   0 | struct G
 200 // CHECK-NEXT:    0 |   struct B6 (primary base)
 201 // CHECK-NEXT:    0 |     (B6 vftable pointer)
 202 // CHECK-NEXT:    4 |     int a
 203 // CHECK-NEXT:    8 |   struct B2 (base)
 204 // CHECK-NEXT:    8 |     (B2 vbtable pointer)
 205 // CHECK-NEXT:   12 |     int a
 206 // CHECK-NEXT:   16 |   int a
 207 // CHECK-NEXT:   20 |   struct B1 (virtual base)
 208 // CHECK-NEXT:   20 |     char a
 209 // CHECK-NEXT:      | [sizeof=21, align=4
 210 // CHECK-NEXT:      |  nvsize=20, nvalign=4]
 211 // CHECK-X64-LABEL:   0 | struct G
 212 // CHECK-X64-NEXT:    0 |   struct B6 (primary base)
 213 // CHECK-X64-NEXT:    0 |     (B6 vftable pointer)
 214 // CHECK-X64-NEXT:    8 |     int a
 215 // CHECK-X64-NEXT:   16 |   struct B2 (base)
 216 // CHECK-X64-NEXT:   16 |     (B2 vbtable pointer)
 217 // CHECK-X64-NEXT:   24 |     int a
 218 // CHECK-X64-NEXT:   32 |   int a
 219 // CHECK-X64-NEXT:   40 |   struct B1 (virtual base)
 220 // CHECK-X64-NEXT:   40 |     char a
 221 // CHECK-X64-NEXT:      | [sizeof=48, align=8
 222 // CHECK-X64-NEXT:      |  nvsize=40, nvalign=8]
 223
 224 struct H : B6, B2, virtual B1 { int a; H() : a(0xf0000011) {} };
 225
 226 // CHECK-LABEL:   0 | struct H
 227 // CHECK-NEXT:    0 |   struct B6 (primary base)
 228 // CHECK-NEXT:    0 |     (B6 vftable pointer)
 229 // CHECK-NEXT:    4 |     int a
 230 // CHECK-NEXT:    8 |   struct B2 (base)
 231 // CHECK-NEXT:    8 |     (B2 vbtable pointer)
 232 // CHECK-NEXT:   12 |     int a
 233 // CHECK-NEXT:   16 |   int a
 234 // CHECK-NEXT:   20 |   struct B1 (virtual base)
 235 // CHECK-NEXT:   20 |     char a
 236 // CHECK-NEXT:      | [sizeof=21, align=4
 237 // CHECK-NEXT:      |  nvsize=20, nvalign=4]
 238 // CHECK-X64-LABEL:   0 | struct H
 239 // CHECK-X64-NEXT:    0 |   struct B6 (primary base)
 240 // CHECK-X64-NEXT:    0 |     (B6 vftable pointer)
 241 // CHECK-X64-NEXT:    8 |     int a
 242 // CHECK-X64-NEXT:   16 |   struct B2 (base)
 243 // CHECK-X64-NEXT:   16 |     (B2 vbtable pointer)
 244 // CHECK-X64-NEXT:   24 |     int a
 245 // CHECK-X64-NEXT:   32 |   int a
 246 // CHECK-X64-NEXT:   40 |   struct B1 (virtual base)
 247 // CHECK-X64-NEXT:   40 |     char a
 248 // CHECK-X64-NEXT:      | [sizeof=48, align=8
 249 // CHECK-X64-NEXT:      |  nvsize=40, nvalign=8]
 250
 251 struct I : B0, virtual B1 { int a; int a1; __declspec(align(16)) int a2; I() : a(0xf0000011), a1(0xf0000011), a2(0xf0000011) {} };
 252
 253 // CHECK-LABEL:   0 | struct I
 254 // CHECK-NEXT:    0 |   struct B0 (base)
 255 // CHECK-NEXT:    0 |     int a
 256 // CHECK-NEXT:    4 |   (I vbtable pointer)
 257 // CHECK-NEXT:   20 |   int a
 258 // CHECK-NEXT:   24 |   int a1
 259 // CHECK-NEXT:   32 |   int a2
 260 // CHECK-NEXT:   48 |   struct B1 (virtual base)
 261 // CHECK-NEXT:   48 |     char a
 262 // CHECK-NEXT:      | [sizeof=64, align=16
 263 // CHECK-NEXT:      |  nvsize=48, nvalign=16]
 264 // CHECK-X64-LABEL:   0 | struct I
 265 // CHECK-X64-NEXT:    0 |   struct B0 (base)
 266 // CHECK-X64-NEXT:    0 |     int a
 267 // CHECK-X64-NEXT:    8 |   (I vbtable pointer)
 268 // CHECK-X64-NEXT:   20 |   int a
 269 // CHECK-X64-NEXT:   24 |   int a1
 270 // CHECK-X64-NEXT:   32 |   int a2
 271 // CHECK-X64-NEXT:   48 |   struct B1 (virtual base)
 272 // CHECK-X64-NEXT:   48 |     char a
 273 // CHECK-X64-NEXT:      | [sizeof=64, align=16
 274 // CHECK-X64-NEXT:      |  nvsize=48, nvalign=16]
 275
 276 struct J : B0, B3, virtual B1 { int a; int a1; J() : a(0xf0000012), a1(0xf0000012) {} };
 277
 278 // CHECK-LABEL:   0 | struct J
 279 // CHECK-NEXT:    0 |   struct B0 (base)
 280 // CHECK-NEXT:    0 |     int a
 281 // CHECK-NEXT:   16 |   struct B3 (base)
 282 // CHECK-NEXT:   16 |     int a
 283 // CHECK-NEXT:   32 |   (J vbtable pointer)
 284 // CHECK-NEXT:   48 |   int a
 285 // CHECK-NEXT:   52 |   int a1
 286 // CHECK-NEXT:   64 |   struct B1 (virtual base)
 287 // CHECK-NEXT:   64 |     char a
 288 // CHECK-NEXT:      | [sizeof=80, align=16
 289 // CHECK-NEXT:      |  nvsize=64, nvalign=16]
 290 // CHECK-X64-LABEL:   0 | struct J
 291 // CHECK-X64-NEXT:    0 |   struct B0 (base)
 292 // CHECK-X64-NEXT:    0 |     int a
 293 // CHECK-X64-NEXT:   16 |   struct B3 (base)
 294 // CHECK-X64-NEXT:   16 |     int a
 295 // CHECK-X64-NEXT:   32 |   (J vbtable pointer)
 296 // CHECK-X64-NEXT:   48 |   int a
 297 // CHECK-X64-NEXT:   52 |   int a1
 298 // CHECK-X64-NEXT:   64 |   struct B1 (virtual base)
 299 // CHECK-X64-NEXT:   64 |     char a
 300 // CHECK-X64-NEXT:      | [sizeof=80, align=16
 301 // CHECK-X64-NEXT:      |  nvsize=64, nvalign=16]
 302
 303 struct L : virtual K { int a; L() : a(0xf0000014) {} virtual void g() { printf("L"); } };
 304
 305 // CHECK-LABEL:   0 | struct L
 306 // CHECK-NEXT:    0 |   (L vftable pointer)
 307 // CHECK-NEXT:    4 |   (L vbtable pointer)
 308 // CHECK-NEXT:    8 |   int a
 309 // CHECK-NEXT:   12 |   struct K (virtual base)
 310 // CHECK-NEXT:   12 |     (K vftable pointer)
 311 // CHECK-NEXT:   16 |     int a
 312 // CHECK-NEXT:      | [sizeof=20, align=4
 313 // CHECK-NEXT:      |  nvsize=12, nvalign=4]
 314 // CHECK-X64-LABEL:   0 | struct L
 315 // CHECK-X64-NEXT:    0 |   (L vftable pointer)
 316 // CHECK-X64-NEXT:    8 |   (L vbtable pointer)
 317 // CHECK-X64-NEXT:   16 |   int a
 318 // CHECK-X64-NEXT:   24 |   struct K (virtual base)
 319 // CHECK-X64-NEXT:   24 |     (K vftable pointer)
 320 // CHECK-X64-NEXT:   32 |     int a
 321 // CHECK-X64-NEXT:      | [sizeof=40, align=8
 322 // CHECK-X64-NEXT:      |  nvsize=24, nvalign=8]
 323
 324 struct M : virtual K { int a; M() : a(0xf0000015) {} virtual void f() { printf("M"); } };
 325
 326 // CHECK-LABEL:   0 | struct M
 327 // CHECK-NEXT:    0 |   (M vbtable pointer)
 328 // CHECK-NEXT:    4 |   int a
 329 // CHECK-NEXT:    8 |   (vtordisp for vbase K)
 330 // CHECK-NEXT:   12 |   struct K (virtual base)
 331 // CHECK-NEXT:   12 |     (K vftable pointer)
 332 // CHECK-NEXT:   16 |     int a
 333 // CHECK-NEXT:      | [sizeof=20, align=4
 334 // CHECK-NEXT:      |  nvsize=8, nvalign=4]
 335 // CHECK-X64-LABEL:   0 | struct M
 336 // CHECK-X64-NEXT:    0 |   (M vbtable pointer)
 337 // CHECK-X64-NEXT:    8 |   int a
 338 // CHECK-X64-NEXT:   20 |   (vtordisp for vbase K)
 339 // CHECK-X64-NEXT:   24 |   struct K (virtual base)
 340 // CHECK-X64-NEXT:   24 |     (K vftable pointer)
 341 // CHECK-X64-NEXT:   32 |     int a
 342 // CHECK-X64-NEXT:      | [sizeof=40, align=8
 343 // CHECK-X64-NEXT:      |  nvsize=16, nvalign=8]
 344
 345 int a[
 346 sizeof(A)+
 347 sizeof(B)+
 348 sizeof(C)+
 349 sizeof(D)+
 350 sizeof(E)+
 351 sizeof(F)+
 352 sizeof(G)+
 353 sizeof(H)+
 354 sizeof(I)+
 355 sizeof(J)+
 356 sizeof(K)+
 357 sizeof(L)+
 358 sizeof(M)];