test/CodeGenCXX/microsoft-abi-virtual-inheritance-vtordisps.cpp

   1 // RUN: %clang_cc1 %s -fno-rtti -cxx-abi microsoft -triple=i386-pc-win32 -emit-llvm -o - | FileCheck %s
   2
   3 // For now, just make sure x86_64 doesn't crash.
   4 // RUN: %clang_cc1 %s -fno-rtti -cxx-abi microsoft -triple=x86_64-pc-win32 -emit-llvm -o %t
   5
   6 struct A {
   7   virtual void f();
   8 };
   9
  10 struct B {
  11   virtual void f();
  12 };
  13
  14 struct C : A, B {};
  15
  16 struct D : virtual C {
  17   D();
  18   ~D();
  19   virtual void f();
  20   void g();
  21   int xxx;
  22 };
  23
  24 D::D() {}  // Forces vftable emission.
  25
  26 // CHECK-LABEL: define weak x86_thiscallcc void @"\01?f@D@@$4PPPPPPPM@A@AEXXZ"
  27 // CHECK: %[[ECX:.*]] = load %struct.D** %{{.*}}
  28 // CHECK: %[[ECX_i8:.*]] = bitcast %struct.D* %[[ECX]] to i8*
  29 // CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -4
  30 // CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
  31 // CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
  32 // CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
  33 // CHECK: %[[ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
  34 // CHECK: call x86_thiscallcc void @"\01?f@D@@UAEXXZ"(i8* %[[ADJUSTED_i8]])
  35 // CHECK: ret void
  36
  37 // CHECK-LABEL: define weak x86_thiscallcc void @"\01?f@D@@$4PPPPPPPI@3AEXXZ"
  38 // CHECK: %[[ECX:.*]] = load %struct.D** %{{.*}}
  39 // CHECK: %[[ECX_i8:.*]] = bitcast %struct.D* %[[ECX]] to i8*
  40 // CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -8
  41 // CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
  42 // CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
  43 // CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
  44 // CHECK: %[[VTORDISP_ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
  45 // CHECK: %[[ADJUSTED_i8:.*]] = getelementptr i8* %[[VTORDISP_ADJUSTED_i8]], i32 -4
  46 // CHECK: call x86_thiscallcc void @"\01?f@D@@UAEXXZ"(i8* %[[ADJUSTED_i8]])
  47 // CHECK: ret void
  48
  49 struct E : virtual A {
  50   virtual void f();
  51   ~E();
  52 };
  53
  54 struct F {
  55   virtual void z();
  56 };
  57
  58 struct G : virtual F, virtual E {
  59   int ggg;
  60   G();
  61   ~G();
  62 };
  63
  64 G::G() {}  // Forces vftable emission.
  65
  66 // CHECK-LABEL: define weak x86_thiscallcc void @"\01?f@E@@$R4BA@M@PPPPPPPM@7AEXXZ"(i8*)
  67 // CHECK: %[[ECX:.*]] = load %struct.E** %{{.*}}
  68 // CHECK: %[[ECX_i8:.*]] = bitcast %struct.E* %[[ECX]] to i8*
  69 // CHECK: %[[VTORDISP_PTR_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 -4
  70 // CHECK: %[[VTORDISP_PTR:.*]] = bitcast i8* %[[VTORDISP_PTR_i8]] to i32*
  71 // CHECK: %[[VTORDISP:.*]] = load i32* %[[VTORDISP_PTR]]
  72 // CHECK: %[[VTORDISP_NEG:.*]] = sub i32 0, %[[VTORDISP]]
  73 // CHECK: %[[VTORDISP_ADJUSTED_i8:.*]] = getelementptr i8* %[[ECX_i8]], i32 %[[VTORDISP_NEG]]
  74 // CHECK: %[[VBPTR_i8:.*]] = getelementptr inbounds i8* %[[VTORDISP_ADJUSTED_i8]], i32 -16
  75 // CHECK: %[[VBPTR:.*]] = bitcast i8* %[[VBPTR_i8]] to i8**
  76 // CHECK: %[[VBTABLE:.*]] = load i8** %[[VBPTR]]
  77 // CHECK: %[[VBOFFSET_PTR_i8:.*]] = getelementptr inbounds i8* %[[VBTABLE]], i32 12
  78 // CHECK: %[[VBOFFSET_PTR:.*]] = bitcast i8* %[[VBOFFSET_PTR_i8]] to i32*
  79 // CHECK: %[[VBASE_OFFSET:.*]] = load i32* %[[VBOFFSET_PTR]]
  80 // CHECK: %[[VBASE:.*]] = getelementptr inbounds i8* %[[VBPTR_i8]], i32 %[[VBASE_OFFSET]]
  81 // CHECK: %[[ARG_i8:.*]] = getelementptr i8* %[[VBASE]], i32 8
  82 // CHECK: call x86_thiscallcc void @"\01?f@E@@UAEXXZ"(i8* %[[ARG_i8]])
  83 // CHECK: ret void