test/CodeGenCXX/value-init.cpp

   1 // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s
   2
   3 struct A {
   4   virtual ~A();
   5 };
   6
   7 struct B : A { };
   8
   9 struct C {
  10   int i;
  11   B b;
  12 };
  13
  14 // CHECK: _Z15test_value_initv
  15 void test_value_init() {
  16   // This value initialization requires zero initialization of the 'B'
  17   // subobject followed by a call to its constructor.
  18   // PR5800
  19
  20   // CHECK: store i32 17
  21   // CHECK: call void @llvm.memset.p0i8.i64
  22   // CHECK: call void @_ZN1BC1Ev
  23   C c = { 17 } ;
  24   // CHECK: call void @_ZN1CD1Ev
  25 }
  26
  27 enum enum_type { negative_number = -1, magic_number = 42 };
  28
  29 class enum_holder
  30 {
  31   enum_type m_enum;
  32
  33 public:
  34   enum_holder() : m_enum(magic_number) { }
  35 };
  36
  37 struct enum_holder_and_int
  38 {
  39   enum_holder e;
  40   int i;
  41 };
  42
  43 // CHECK: _Z24test_enum_holder_and_intv()
  44 void test_enum_holder_and_int() {
  45   // CHECK: alloca
  46   // CHECK-NEXT: bitcast
  47   // CHECK-NEXT: call void @llvm.memset
  48   // CHECK-NEXT: call void @_ZN19enum_holder_and_intC1Ev
  49   enum_holder_and_int();
  50   // CHECK-NEXT: ret void
  51 }
  52
  53 // PR7834: don't crash.
  54 namespace test1 {
  55   struct A {
  56     int A::*f;
  57     A();
  58     A(const A&);
  59     A &operator=(const A &);
  60   };
  61
  62   struct B {
  63     A base;
  64   };
  65
  66   void foo() {
  67     B();
  68   }
  69 }
  70
  71 namespace ptrmem {
  72   struct S {
  73     int mem1;
  74     int S::*mem2;
  75   };
  76
  77   // CHECK: define i32 @_ZN6ptrmem4testEPNS_1SE
  78   int test(S *s) {
  79     // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
  80     // CHECK: getelementptr
  81     // CHECK: ret
  82     return s->*S().mem2;
  83   }
  84 }
  85
  86 namespace zeroinit {
  87   struct S { int i; };
  88
  89   // CHECK: define i32 @_ZN8zeroinit4testEv()
  90   int test() {
  91     // CHECK: call void @llvm.memset.p0i8.i64
  92     // CHECK: getelementptr
  93     // CHECK: ret i32
  94     return S().i;
  95   }
  96
  97   struct X0 {
  98     X0() { }
  99     int x;
 100   };
 101
 102   struct X1 : X0 {
 103     int x1;
 104     void f();
 105   };
 106
 107   // CHECK: define void @_ZN8zeroinit9testX0_X1Ev
 108   void testX0_X1() {
 109     // CHECK: call void @llvm.memset.p0i8.i64
 110     // CHECK-NEXT: call void @_ZN8zeroinit2X1C1Ev
 111     // CHECK-NEXT: call void @_ZN8zeroinit2X11fEv
 112     X1().f();
 113   }
 114
 115   template<typename>
 116   struct X2 : X0 {
 117     int x2;
 118     void f();
 119   };
 120
 121   template<typename>
 122   struct X3 : X2<int> {
 123     X3() : X2<int>() { }
 124   };
 125
 126
 127   // CHECK: define void @_ZN8zeroinit9testX0_X3Ev
 128   void testX0_X3() {
 129     // CHECK-NOT: call void @llvm.memset
 130     // CHECK: call void @_ZN8zeroinit2X3IiEC1Ev
 131     // CHECK: call void @_ZN8zeroinit2X2IiE1fEv
 132     // CHECK-NEXT: ret void
 133     X3<int>().f();
 134   }
 135
 136   // CHECK: define linkonce_odr void @_ZN8zeroinit2X3IiEC2Ev(%struct.B* %this) unnamed_addr
 137   // CHECK: call void @llvm.memset.p0i8.i64
 138   // CHECK-NEXT: call void @_ZN8zeroinit2X2IiEC2Ev
 139   // CHECK-NEXT: ret void
 140 }
 141
 142 namespace PR8726 {
 143 class C;
 144 struct S {
 145   const C &c1;
 146   int i;
 147   const C &c2;
 148 };
 149 void f(const C& c) {
 150   S s = {c, 42, c};
 151 }
 152
 153 }