clang/test/CodeGenCXX/constructors.cpp

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 %s -emit-llvm -o - | FileCheck %s --implicit-check-not=should_not_appear_in_output --check-prefixes=CHECK,NULL-INVALID
   2 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 %s -emit-llvm -fno-delete-null-pointer-checks -o - | FileCheck %s --implicit-check-not=should_not_appear_in_output --check-prefixes=CHECK,NULL-VALID
   3
   4 struct Member { int x; Member(); Member(int); Member(const Member &); };
   5 struct VBase { int x; VBase(); VBase(int); VBase(const VBase &); };
   6
   7 struct ValueClass {
   8   ValueClass(int x, int y) : x(x), y(y) {}
   9   int x;
  10   int y;
  11 }; // subject to ABI trickery
  12
  13
  14
  15 /* Test basic functionality. */
  16 struct A {
  17   A(struct Undeclared &);
  18   A(ValueClass);
  19   Member mem;
  20 };
  21
  22 A::A(struct Undeclared &ref) : mem(0) {}
  23
  24 // Check that delegation works.
  25 // NULL-INVALID-LABEL: define{{.*}} void @_ZN1AC2ER10Undeclared(%struct.A* {{[^,]*}} %this, %struct.Undeclared* noundef nonnull align 1 %ref) unnamed_addr
  26 // NULL-VALID-LABEL: define{{.*}} void @_ZN1AC2ER10Undeclared(%struct.A* {{[^,]*}} %this, %struct.Undeclared* noundef align 1 %ref) unnamed_addr
  27 // CHECK: call void @_ZN6MemberC1Ei(
  28
  29 // NULL-INVALID-LABEL: define{{.*}} void @_ZN1AC1ER10Undeclared(%struct.A* {{[^,]*}} %this, %struct.Undeclared* noundef nonnull align 1 %ref) unnamed_addr
  30 // NULL-VALID-LABEL: define{{.*}} void @_ZN1AC1ER10Undeclared(%struct.A* {{[^,]*}} %this, %struct.Undeclared* noundef align 1 %ref) unnamed_addr
  31 // CHECK: call void @_ZN1AC2ER10Undeclared(
  32
  33 A::A(ValueClass v) : mem(v.y - v.x) {}
  34
  35 // CHECK-LABEL: define{{.*}} void @_ZN1AC2E10ValueClass(%struct.A* {{[^,]*}} %this, i64 %v.coerce) unnamed_addr
  36 // CHECK: call void @_ZN6MemberC1Ei(
  37
  38 // CHECK-LABEL: define{{.*}} void @_ZN1AC1E10ValueClass(%struct.A* {{[^,]*}} %this, i64 %v.coerce) unnamed_addr
  39 // CHECK: call void @_ZN1AC2E10ValueClass(
  40
  41 /* Test that things work for inheritance. */
  42 struct B : A {
  43   B(struct Undeclared &);
  44   Member mem;
  45 };
  46
  47 B::B(struct Undeclared &ref) : A(ref), mem(1) {}
  48
  49 // NULL-INVALID-LABEL: define{{.*}} void @_ZN1BC2ER10Undeclared(%struct.B* {{[^,]*}} %this, %struct.Undeclared* noundef nonnull align 1 %ref) unnamed_addr
  50 // NULL-VALID-LABEL: define{{.*}} void @_ZN1BC2ER10Undeclared(%struct.B* {{[^,]*}} %this, %struct.Undeclared* noundef align 1 %ref) unnamed_addr
  51 // CHECK: call void @_ZN1AC2ER10Undeclared(
  52 // CHECK: call void @_ZN6MemberC1Ei(
  53
  54 // NULL-INVALID-LABEL: define{{.*}} void @_ZN1BC1ER10Undeclared(%struct.B* {{[^,]*}} %this, %struct.Undeclared* noundef nonnull align 1 %ref) unnamed_addr
  55 // NULL-VALID-LABEL: define{{.*}} void @_ZN1BC1ER10Undeclared(%struct.B* {{[^,]*}} %this, %struct.Undeclared* noundef align 1 %ref) unnamed_addr
  56 // CHECK: call void @_ZN1BC2ER10Undeclared(
  57
  58
  59 /* Test that the delegation optimization is disabled for classes with
  60    virtual bases (for now).  This is necessary because a vbase
  61    initializer could access one of the parameter variables by
  62    reference.  That's a solvable problem, but let's not solve it right
  63    now. */
  64 struct C : virtual A {
  65   C(int);
  66   Member mem;
  67 };
  68 C::C(int x) : A(ValueClass(x, x+1)), mem(x * x) {}
  69
  70 // CHECK-LABEL: define{{.*}} void @_ZN1CC2Ei(%struct.C* {{[^,]*}} %this, i8** noundef %vtt, i32 noundef %x) unnamed_addr
  71 // CHECK: call void @_ZN6MemberC1Ei(
  72
  73 // CHECK-LABEL: define{{.*}} void @_ZN1CC1Ei(%struct.C* {{[^,]*}} %this, i32 noundef %x) unnamed_addr
  74 // CHECK: call void @_ZN10ValueClassC1Eii(
  75 // CHECK: call void @_ZN1AC2E10ValueClass(
  76 // CHECK: call void @_ZN6MemberC1Ei(
  77
  78
  79 /* Test that the delegation optimization is disabled for varargs
  80    constructors. */
  81 struct D : A {
  82   D(int, ...);
  83   Member mem;
  84 };
  85
  86 D::D(int x, ...) : A(ValueClass(x, x+1)), mem(x*x) {}
  87
  88 // CHECK-LABEL: define{{.*}} void @_ZN1DC2Eiz(%struct.D* {{[^,]*}} %this, i32 noundef %x, ...) unnamed_addr
  89 // CHECK: call void @_ZN10ValueClassC1Eii(
  90 // CHECK: call void @_ZN1AC2E10ValueClass(
  91 // CHECK: call void @_ZN6MemberC1Ei(
  92
  93 // CHECK-LABEL: define{{.*}} void @_ZN1DC1Eiz(%struct.D* {{[^,]*}} %this, i32 noundef %x, ...) unnamed_addr
  94 // CHECK: call void @_ZN10ValueClassC1Eii(
  95 // CHECK: call void @_ZN1AC2E10ValueClass(
  96 // CHECK: call void @_ZN6MemberC1Ei(
  97
  98 // PR6622:  this shouldn't crash
  99 namespace test0 {
 100   struct A {};
 101   struct B : virtual A { int x; };
 102   struct C : B {};
 103
 104   void test(C &in) {
 105     C tmp = in;
 106   }
 107 }
 108
 109 namespace test1 {
 110   struct A { A(); void *ptr; };
 111   struct B { B(); int x; A a[0]; };
 112   B::B() {}
 113   // CHECK-LABEL:    define{{.*}} void @_ZN5test11BC2Ev(
 114   // CHECK:      [[THIS:%.*]] = load [[B:%.*]]*, [[B:%.*]]**
 115   // CHECK-NEXT: ret void
 116 }
 117
 118 // Ensure that we
 119 // a) emit the ABI-required but useless complete object and deleting destructor
 120 //    symbols for an abstract class, and
 121 // b) do *not* emit references to virtual base destructors for an abstract class
 122 //
 123 // Our approach to this is to give these functions a body that simply traps.
 124 //
 125 // FIXME: We should ideally not create these symbols at all, but Clang can
 126 // actually generate references to them in other TUs in some cases, so we can't
 127 // stop emitting them without breaking ABI. See:
 128 //
 129 //   https://github.com/itanium-cxx-abi/cxx-abi/issues/10
 130 namespace abstract {
 131   // Note, the destructor of this class is not instantiated here.
 132   template<typename T> struct should_not_appear_in_output {
 133     ~should_not_appear_in_output() { int arr[-(int)sizeof(T)]; }
 134   };
 135
 136   struct X { ~X(); };
 137
 138   struct A : virtual should_not_appear_in_output<int>, X {
 139     virtual ~A() = 0;
 140   };
 141
 142   // CHECK-LABEL: define{{.*}} void @_ZN8abstract1AD2Ev(
 143   // CHECK: call {{.*}}@_ZN8abstract1XD2Ev(
 144   // CHECK: ret
 145
 146   // CHECK-LABEL: define{{.*}} void @_ZN8abstract1AD1Ev(
 147   // CHECK: call {{.*}}@llvm.trap(
 148   // CHECK: unreachable
 149
 150   // CHECK-LABEL: define{{.*}} void @_ZN8abstract1AD0Ev(
 151   // CHECK: call {{.*}}@llvm.trap(
 152   // CHECK: unreachable
 153   A::~A() {}
 154
 155   struct B : virtual should_not_appear_in_output<int>, X {
 156     virtual void f() = 0;
 157     ~B();
 158   };
 159
 160   // CHECK-LABEL: define{{.*}} void @_ZN8abstract1BD2Ev(
 161   // CHECK: call {{.*}}@_ZN8abstract1XD2Ev(
 162   // CHECK: ret
 163
 164   // CHECK-LABEL: define{{.*}} void @_ZN8abstract1BD1Ev(
 165   // CHECK: call {{.*}}@llvm.trap(
 166   // CHECK: unreachable
 167
 168   // CHECK-NOT: @_ZN8abstract1BD0Ev(
 169   B::~B() {}
 170 }