1 // Check the vtable layout for classes with key functions defined in different
2 // translation units. This TU manifests the vtable for B.
3 
4 // RUN: %clang_cc1 %s -triple=aarch64-unknown-fuchsia -O1 -S -o - -emit-llvm -fexperimental-relative-c++-abi-vtables | FileCheck %s
5 
6 #include "cross-tu-header.h"
7 
8 // CHECK: $_ZN1B3fooEv.stub = comdat any
9 // CHECK: $_ZN1A3barEv.stub = comdat any
10 // CHECK: $_ZTI1B.rtti_proxy = comdat any
11 
12 // CHECK: @_ZTV1B.local = private unnamed_addr constant { [4 x i32] } { [4 x i32] [i32 0, i32 trunc (i64 sub (i64 ptrtoint ({ i8*, i8*, i8* }** @_ZTI1B.rtti_proxy to i64), i64 ptrtoint (i32* getelementptr inbounds ({ [4 x i32] }, { [4 x i32] }* @_ZTV1B.local, i32 0, i32 0, i32 2) to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (void (%class.B*)* @_ZN1B3fooEv.stub to i64), i64 ptrtoint (i32* getelementptr inbounds ({ [4 x i32] }, { [4 x i32] }* @_ZTV1B.local, i32 0, i32 0, i32 2) to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (void (%class.A*)* @_ZN1A3barEv.stub to i64), i64 ptrtoint (i32* getelementptr inbounds ({ [4 x i32] }, { [4 x i32] }* @_ZTV1B.local, i32 0, i32 0, i32 2) to i64)) to i32)] }, align 4
13 // CHECK: @_ZTV1B = unnamed_addr alias { [4 x i32] }, { [4 x i32] }* @_ZTV1B.local
14 
15 // A::bar() is defined outside of the module that defines the vtable for A
16 // CHECK:      define void @_ZN1A3barEv(%class.A* nocapture %this) unnamed_addr
17 // CHECK-NEXT: entry:
18 // CHECK-NEXT:   ret void
19 // CHECK-NEXT: }
20 
21 // CHECK:      define void @_ZN1B3fooEv(%class.B* nocapture %this) unnamed_addr
22 // CHECK-NEXT: entry:
23 // CHECK-NEXT:   ret void
24 // CHECK-NEXT: }
25 
26 // The stubs for B::foo() and A::bar() are hidden
27 // CHECK:      define hidden void @_ZN1B3fooEv.stub(%class.B* nocapture %0) unnamed_addr #{{[0-9]+}} comdat
28 // CHECK-NEXT: entry:
29 // CHECK-NEXT:   ret void
30 // CHECK-NEXT: }
31 
32 // CHECK:      define hidden void @_ZN1A3barEv.stub(%class.A* nocapture %0) unnamed_addr #{{[0-9]+}} comdat
33 // CHECK-NEXT: entry:
34 // CHECK-NEXT:   ret void
35 // CHECK-NEXT: }
36 
37 void A::bar() {}
38 void B::foo() {}
39