test/CodeGen/WebAssembly/vtable.ll

   1 ; RUN: llc < %s -asm-verbose=false -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s --check-prefix=TYPEINFONAME
   2 ; RUN: llc < %s -asm-verbose=false -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s --check-prefix=VTABLE
   3 ; RUN: llc < %s -asm-verbose=false -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s --check-prefix=TYPEINFO
   4
   5 ; Test that simple vtables assemble as expected.
   6 ;
   7 ; The class hierarchy is:
   8 ;   struct A;
   9 ;   struct B : public A;
  10 ;   struct C : public A;
  11 ;   struct D : public B;
  12 ; Each with a virtual dtor and method foo.
  13
  14 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
  15 target triple = "wasm32-unknown-unknown"
  16
  17 %struct.A = type { i32 (...)** }
  18 %struct.B = type { %struct.A }
  19 %struct.C = type { %struct.A }
  20 %struct.D = type { %struct.B }
  21
  22 @_ZTVN10__cxxabiv117__class_type_infoE = external global i8*
  23 @_ZTVN10__cxxabiv120__si_class_type_infoE = external global i8*
  24
  25 ; TYPEINFONAME-LABEL: _ZTS1A:
  26 ; TYPEINFONAME-NEXT: .asciz "1A"
  27 @_ZTS1A = constant [3 x i8] c"1A\00"
  28 ; TYPEINFONAME-LABEL: _ZTS1B:
  29 ; TYPEINFONAME-NEXT: .asciz "1B"
  30 @_ZTS1B = constant [3 x i8] c"1B\00"
  31 ; TYPEINFONAME-LABEL: _ZTS1C:
  32 ; TYPEINFONAME-NEXT: .asciz "1C"
  33 @_ZTS1C = constant [3 x i8] c"1C\00"
  34 ; TYPEINFONAME-LABEL: _ZTS1D:
  35 ; TYPEINFONAME-NEXT: .asciz "1D"
  36 @_ZTS1D = constant [3 x i8] c"1D\00"
  37
  38 ; VTABLE:       .type _ZTV1A,@object
  39 ; VTABLE-NEXT:  .section .rodata._ZTV1A,
  40 ; VTABLE-NEXT:  .globl _ZTV1A
  41 ; VTABLE-LABEL: _ZTV1A:
  42 ; VTABLE-NEXT:  .int32 0
  43 ; VTABLE-NEXT:  .int32 _ZTI1A
  44 ; VTABLE-NEXT:  .int32 _ZN1AD2Ev
  45 ; VTABLE-NEXT:  .int32 _ZN1AD0Ev
  46 ; VTABLE-NEXT:  .int32 _ZN1A3fooEv
  47 ; VTABLE-NEXT:  .size _ZTV1A, 20
  48 @_ZTV1A = constant [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast (%struct.A* (%struct.A*)* @_ZN1AD2Ev to i8*), i8* bitcast (void (%struct.A*)* @_ZN1AD0Ev to i8*), i8* bitcast (void (%struct.A*)* @_ZN1A3fooEv to i8*)], align 4
  49 ; VTABLE:       .type _ZTV1B,@object
  50 ; VTABLE-NEXT:  .section .rodata._ZTV1B,
  51 ; VTABLE-NEXT:  .globl _ZTV1B
  52 ; VTABLE-LABEL: _ZTV1B:
  53 ; VTABLE-NEXT:  .int32 0
  54 ; VTABLE-NEXT:  .int32 _ZTI1B
  55 ; VTABLE-NEXT:  .int32 _ZN1AD2Ev
  56 ; VTABLE-NEXT:  .int32 _ZN1BD0Ev
  57 ; VTABLE-NEXT:  .int32 _ZN1B3fooEv
  58 ; VTABLE-NEXT:  .size _ZTV1B, 20
  59 @_ZTV1B = constant [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1B to i8*), i8* bitcast (%struct.A* (%struct.A*)* @_ZN1AD2Ev to i8*), i8* bitcast (void (%struct.B*)* @_ZN1BD0Ev to i8*), i8* bitcast (void (%struct.B*)* @_ZN1B3fooEv to i8*)], align 4
  60 ; VTABLE:       .type _ZTV1C,@object
  61 ; VTABLE-NEXT:  .section .rodata._ZTV1C,
  62 ; VTABLE-NEXT:  .globl _ZTV1C
  63 ; VTABLE-LABEL: _ZTV1C:
  64 ; VTABLE-NEXT:  .int32 0
  65 ; VTABLE-NEXT:  .int32 _ZTI1C
  66 ; VTABLE-NEXT:  .int32 _ZN1AD2Ev
  67 ; VTABLE-NEXT:  .int32 _ZN1CD0Ev
  68 ; VTABLE-NEXT:  .int32 _ZN1C3fooEv
  69 ; VTABLE-NEXT:  .size _ZTV1C, 20
  70 @_ZTV1C = constant [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1C to i8*), i8* bitcast (%struct.A* (%struct.A*)* @_ZN1AD2Ev to i8*), i8* bitcast (void (%struct.C*)* @_ZN1CD0Ev to i8*), i8* bitcast (void (%struct.C*)* @_ZN1C3fooEv to i8*)], align 4
  71 ; VTABLE:       .type _ZTV1D,@object
  72 ; VTABLE-NEXT:  .section .rodata._ZTV1D,
  73 ; VTABLE-NEXT:  .globl _ZTV1D
  74 ; VTABLE-LABEL: _ZTV1D:
  75 ; VTABLE-NEXT:  .int32 0
  76 ; VTABLE-NEXT:  .int32 _ZTI1D
  77 ; VTABLE-NEXT:  .int32 _ZN1AD2Ev
  78 ; VTABLE-NEXT:  .int32 _ZN1DD0Ev
  79 ; VTABLE-NEXT:  .int32 _ZN1D3fooEv
  80 ; VTABLE-NEXT:  .size _ZTV1D, 20
  81 @_ZTV1D = constant [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1D to i8*), i8* bitcast (%struct.A* (%struct.A*)* @_ZN1AD2Ev to i8*), i8* bitcast (void (%struct.D*)* @_ZN1DD0Ev to i8*), i8* bitcast (void (%struct.D*)* @_ZN1D3fooEv to i8*)], align 4
  82
  83 ; TYPEINFO:       .type _ZTI1A,@object
  84 ; TYPEINFO:       .globl _ZTI1A
  85 ; TYPEINFO-LABEL: _ZTI1A:
  86 ; TYPEINFO-NEXT:  .int32 _ZTVN10__cxxabiv117__class_type_infoE+8
  87 ; TYPEINFO-NEXT:  .int32 _ZTS1A
  88 ; TYPEINFO-NEXT:  .size _ZTI1A, 8
  89 @_ZTI1A = constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i32 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1A, i32 0, i32 0) }
  90 ; TYPEINFO:       .type _ZTI1B,@object
  91 ; TYPEINFO:       .globl _ZTI1B
  92 ; TYPEINFO-LABEL: _ZTI1B:
  93 ; TYPEINFO-NEXT:  .int32 _ZTVN10__cxxabiv120__si_class_type_infoE+8
  94 ; TYPEINFO-NEXT:  .int32 _ZTS1B
  95 ; TYPEINFO-NEXT:  .int32 _ZTI1A
  96 ; TYPEINFO-NEXT:  .size _ZTI1B, 12
  97 @_ZTI1B = constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i32 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1B, i32 0, i32 0), i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*) }
  98 ; TYPEINFO:       .type _ZTI1C,@object
  99 ; TYPEINFO:       .globl _ZTI1C
 100 ; TYPEINFO-LABEL: _ZTI1C:
 101 ; TYPEINFO-NEXT:  .int32 _ZTVN10__cxxabiv120__si_class_type_infoE+8
 102 ; TYPEINFO-NEXT:  .int32 _ZTS1C
 103 ; TYPEINFO-NEXT:  .int32 _ZTI1A
 104 ; TYPEINFO-NEXT:  .size _ZTI1C, 12
 105 @_ZTI1C = constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i32 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1C, i32 0, i32 0), i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*) }
 106 ; TYPEINFO:       .type _ZTI1D,@object
 107 ; TYPEINFO:       .globl _ZTI1D
 108 ; TYPEINFO-LABEL: _ZTI1D:
 109 ; TYPEINFO-NEXT:  .int32 _ZTVN10__cxxabiv120__si_class_type_infoE+8
 110 ; TYPEINFO-NEXT:  .int32 _ZTS1D
 111 ; TYPEINFO-NEXT:  .int32 _ZTI1B
 112 ; TYPEINFO-NEXT:  .size _ZTI1D, 12
 113 @_ZTI1D = constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i32 2) to i8*), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @_ZTS1D, i32 0, i32 0), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1B to i8*) }
 114
 115 @g = global i32 0, align 4
 116
 117 define void @_ZN1A3fooEv(%struct.A* %this) {
 118 entry:
 119   store i32 2, i32* @g, align 4
 120   ret void
 121 }
 122
 123 define void @_ZN1B3fooEv(%struct.B* %this) {
 124 entry:
 125   store i32 4, i32* @g, align 4
 126   ret void
 127 }
 128
 129 define void @_ZN1C3fooEv(%struct.C* %this) {
 130 entry:
 131   store i32 6, i32* @g, align 4
 132   ret void
 133 }
 134
 135 define void @_ZN1D3fooEv(%struct.D* %this) {
 136 entry:
 137   store i32 8, i32* @g, align 4
 138   ret void
 139 }
 140
 141 define linkonce_odr void @_ZN1AD0Ev(%struct.A* %this) {
 142 entry:
 143   %0 = bitcast %struct.A* %this to i8*
 144   tail call void @_ZdlPv(i8* %0)
 145   ret void
 146 }
 147
 148 define linkonce_odr void @_ZN1BD0Ev(%struct.B* %this) {
 149 entry:
 150   %0 = bitcast %struct.B* %this to i8*
 151   tail call void @_ZdlPv(i8* %0)
 152   ret void
 153 }
 154
 155 define linkonce_odr void @_ZN1CD0Ev(%struct.C* %this) {
 156 entry:
 157   %0 = bitcast %struct.C* %this to i8*
 158   tail call void @_ZdlPv(i8* %0)
 159   ret void
 160 }
 161
 162 define linkonce_odr %struct.A* @_ZN1AD2Ev(%struct.A* returned %this) {
 163 entry:
 164   ret %struct.A* %this
 165 }
 166
 167 define linkonce_odr void @_ZN1DD0Ev(%struct.D* %this) {
 168 entry:
 169   %0 = bitcast %struct.D* %this to i8*
 170   tail call void @_ZdlPv(i8* %0)
 171   ret void
 172 }
 173
 174 declare void @_ZdlPv(i8*)