clang/test/CodeGenCXX/RelativeVTablesABI/parent-and-child-in-comdats.cpp

   1 // Cross comdat example
   2 // Both the parent and child VTablea are in their own comdat sections.
   3
   4 // RUN: %clang_cc1 %s -triple=aarch64 -S -o - -emit-llvm -fexperimental-relative-c++-abi-vtables | FileCheck %s
   5 // RUN: %clang_cc1 %s -triple=x86_64 -S -o - -emit-llvm -fexperimental-relative-c++-abi-vtables | FileCheck %s
   6
   7 // Comdats are emitted for both A and B in this module and for their respective implementations of foo().
   8 // CHECK: $_ZN1A3fooEv = comdat any
   9 // CHECK: $_ZN1B3fooEv = comdat any
  10 // CHECK: $_ZTV1A = comdat any
  11 // CHECK: $_ZTS1A = comdat any
  12 // CHECK: $_ZTI1A = comdat any
  13 // CHECK: $_ZTI1A.rtti_proxy = comdat any
  14 // CHECK: $_ZTV1B = comdat any
  15 // CHECK: $_ZTS1B = comdat any
  16 // CHECK: $_ZTI1B = comdat any
  17 // CHECK: $_ZTI1B.rtti_proxy = comdat any
  18
  19 // Both the vtables for A and B are emitted and in their own comdats.
  20 // CHECK: @_ZTV1A.local = linkonce_odr hidden unnamed_addr constant { [3 x i32] } { [3 x i32] [i32 0, i32 trunc (i64 sub (i64 ptrtoint (ptr @_ZTI1A.rtti_proxy to i64), i64 ptrtoint (ptr getelementptr inbounds ({ [3 x i32] }, ptr @_ZTV1A.local, i32 0, i32 0, i32 2) to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr dso_local_equivalent @_ZN1A3fooEv to i64), i64 ptrtoint (ptr getelementptr inbounds ({ [3 x i32] }, ptr @_ZTV1A.local, i32 0, i32 0, i32 2) to i64)) to i32)] }, comdat($_ZTV1A), align 4
  21 // CHECK: @_ZTV1B.local = linkonce_odr hidden unnamed_addr constant { [3 x i32] } { [3 x i32] [i32 0, i32 trunc (i64 sub (i64 ptrtoint (ptr @_ZTI1B.rtti_proxy to i64), i64 ptrtoint (ptr getelementptr inbounds ({ [3 x i32] }, ptr @_ZTV1B.local, i32 0, i32 0, i32 2) to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr dso_local_equivalent @_ZN1B3fooEv to i64), i64 ptrtoint (ptr getelementptr inbounds ({ [3 x i32] }, ptr @_ZTV1B.local, i32 0, i32 0, i32 2) to i64)) to i32)] }, comdat($_ZTV1B), align 4
  22
  23 // CHECK: @_ZTV1A = linkonce_odr unnamed_addr alias { [3 x i32] }, ptr @_ZTV1A.local
  24 // CHECK: @_ZTV1B = linkonce_odr unnamed_addr alias { [3 x i32] }, ptr @_ZTV1B.local
  25
  26 // CHECK: declare void @_Z5A_fooP1A(ptr noundef)
  27
  28 // The stubs and implementations for foo() are in their own comdat sections.
  29 // CHECK:      define linkonce_odr void @_ZN1A3fooEv(ptr {{.*}}%this) unnamed_addr #{{[0-9]+}} comdat
  30
  31 // CHECK:      define linkonce_odr void @_ZN1B3fooEv(ptr {{.*}}%this) unnamed_addr #{{[0-9]+}} comdat
  32
  33 class A {
  34 public:
  35   inline virtual void foo() {}
  36 };
  37 class B : public A {
  38 public:
  39   inline void foo() override {}
  40 };
  41 void A_foo(A *a);
  42
  43 // func() is used so that the vtable for B is accessed when creating the instance.
  44 void func() {
  45   A a;
  46   B b;
  47   A_foo(&a);
  48   A_foo(&b);
  49 }