clang/test/CodeGenCXX/RelativeVTablesABI/child-inheritted-from-parent-in-comdat.cpp

   1 // Cross comdat example
   2 // Parent VTable is in a comdat section.
   3
   4 // RUN: %clang_cc1 %s -triple=aarch64-unknown-fuchsia -O1 -S -o - -emit-llvm -fhalf-no-semantic-interposition | FileCheck %s
   5
   6 // The inline function is emitted in each module with the same comdat
   7 // CHECK: $_ZTS1A = comdat any
   8 // CHECK: $_ZTI1A = comdat any
   9 // CHECK: $_ZTI1B.rtti_proxy = comdat any
  10
  11 // The VTable is emitted everywhere used
  12 // CHECK: $_ZTV1A = comdat any
  13 // CHECK: $_ZTI1A.rtti_proxy = comdat any
  14
  15 // The VTable for B is emitted here since it has a key function which is defined in this module
  16 // CHECK: @_ZTV1B.local = private 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)] }, align 4
  17
  18 // The VTable for A is emitted here and in a comdat section since it has no key function, and is used in this module when creating an instance of A (in func()).
  19 // 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
  20
  21 // CHECK: @_ZTV1B ={{.*}} unnamed_addr alias { [3 x i32] }, ptr @_ZTV1B.local
  22 // CHECK: @_ZTV1A = linkonce_odr unnamed_addr alias { [3 x i32] }, ptr @_ZTV1A.local
  23
  24 // CHECK:      define{{.*}} void @_ZN1B3fooEv(ptr {{.*}}%this) unnamed_addr
  25 // CHECK-NEXT: entry:
  26 // CHECK-NEXT:   ret void
  27 // CHECK-NEXT: }
  28
  29 class A {
  30 public:
  31   inline virtual void foo() {}
  32 };
  33 class B : public A {
  34 public:
  35   void foo() override;
  36 };
  37 void A_foo(A *a);
  38
  39 void B::foo() {}
  40 void func2() {
  41   A a;
  42   A_foo(&a);
  43 }