test/CodeGenCXX/strict-vtable-pointers.cpp

   1 // RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -fstrict-vtable-pointers -disable-llvm-passes -O2 -emit-llvm -o %t.ll
   2 // RUN: FileCheck --check-prefix=CHECK-CTORS %s < %t.ll
   3 // RUN: FileCheck --check-prefix=CHECK-NEW %s < %t.ll
   4 // RUN: FileCheck --check-prefix=CHECK-DTORS %s < %t.ll
   5 // RUN: FileCheck --check-prefix=CHECK-LINK-REQ %s < %t.ll
   6
   7 typedef __typeof__(sizeof(0)) size_t;
   8 void *operator new(size_t, void*) throw();
   9
  10 struct NotTrivialDtor {
  11   ~NotTrivialDtor();
  12 };
  13
  14 struct DynamicBase1 {
  15   NotTrivialDtor obj;
  16   virtual void foo();
  17 };
  18
  19 struct DynamicDerived : DynamicBase1 {
  20   void foo();
  21 };
  22
  23 struct DynamicBase2 {
  24   virtual void bar();
  25   ~DynamicBase2() {
  26     bar();
  27   }
  28 };
  29
  30 struct DynamicDerivedMultiple : DynamicBase1, DynamicBase2 {
  31   virtual void foo();
  32   virtual void bar();
  33 };
  34
  35 struct StaticBase {
  36   NotTrivialDtor obj;
  37   void bar();
  38 };
  39
  40 struct DynamicFromStatic : StaticBase {
  41   virtual void bar();
  42 };
  43
  44 struct DynamicFromVirtualStatic1 : virtual StaticBase {
  45 };
  46
  47 struct DynamicFromVirtualStatic2 : virtual StaticBase {
  48 };
  49
  50 struct DynamicFrom2Virtuals :
  51             DynamicFromVirtualStatic1,
  52             DynamicFromVirtualStatic2 {
  53 };
  54
  55 // CHECK-NEW-LABEL: define void @_Z12LocalObjectsv()
  56 // CHECK-NEW-NOT: @llvm.invariant.group.barrier(
  57 // CHECK-NEW-LABEL: {{^}}}
  58 void LocalObjects() {
  59   DynamicBase1 DB;
  60   DB.foo();
  61   DynamicDerived DD;
  62   DD.foo();
  63
  64   DynamicBase2 DB2;
  65   DB2.bar();
  66
  67   StaticBase SB;
  68   SB.bar();
  69
  70   DynamicDerivedMultiple DDM;
  71   DDM.foo();
  72   DDM.bar();
  73
  74   DynamicFromStatic DFS;
  75   DFS.bar();
  76   DynamicFromVirtualStatic1 DFVS1;
  77   DFVS1.bar();
  78   DynamicFrom2Virtuals DF2V;
  79   DF2V.bar();
  80 }
  81
  82 struct DynamicFromVirtualStatic1;
  83 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN25DynamicFromVirtualStatic1C1Ev
  84 // CHECK-CTORS-NOT: @llvm.invariant.group.barrier(
  85 // CHECK-CTORS-LABEL: {{^}}}
  86
  87 struct DynamicFrom2Virtuals;
  88 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN20DynamicFrom2VirtualsC1Ev
  89 // CHECK-CTORS: call i8* @llvm.invariant.group.barrier(
  90 // CHECK-CTORS-LABEL: {{^}}}
  91
  92
  93 // CHECK-NEW-LABEL: define void @_Z9Pointers1v()
  94 // CHECK-NEW-NOT: @llvm.invariant.group.barrier(
  95 // CHECK-NEW-LABEL: call void @_ZN12DynamicBase1C1Ev(
  96
  97 // CHECK-NEW: %[[THIS3:.*]] = call i8* @llvm.invariant.group.barrier(i8* %[[THIS2:.*]])
  98 // CHECK-NEW: %[[THIS4:.*]] = bitcast i8* %[[THIS3]] to %[[DynamicDerived:.*]]*
  99 // CHECK-NEW: call void @_ZN14DynamicDerivedC1Ev(%[[DynamicDerived:.*]]* %[[THIS4]])
 100 // CHECK-NEW-LABEL: {{^}}}
 101 void Pointers1() {
 102   DynamicBase1 *DB = new DynamicBase1;
 103   DB->foo();
 104
 105   DynamicDerived *DD = new (DB) DynamicDerived;
 106   DD->foo();
 107   DD->~DynamicDerived();
 108 }
 109
 110 // CHECK-NEW-LABEL: define void @_Z14HackingObjectsv()
 111 // CHECK-NEW:  call void @_ZN12DynamicBase1C1Ev
 112 // CHECK-NEW:  call i8* @llvm.invariant.group.barrier(
 113 // CHECK-NEW:  call void @_ZN14DynamicDerivedC1Ev(
 114 // CHECK-NEW:  call i8* @llvm.invariant.group.barrier(
 115 // CHECK-NEW: call void @_ZN12DynamicBase1C1Ev(
 116 // CHECK-NEW-LABEL: {{^}}}
 117 void HackingObjects() {
 118   DynamicBase1 DB;
 119   DB.foo();
 120
 121   DynamicDerived *DB2 = new (&DB) DynamicDerived;
 122   // Using DB now is prohibited.
 123   DB2->foo();
 124   DB2->~DynamicDerived();
 125
 126   // We have to get back to the previous type to avoid calling wrong destructor
 127   new (&DB) DynamicBase1;
 128   DB.foo();
 129 }
 130
 131 /*** Testing Constructors ***/
 132 struct DynamicBase1;
 133 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN12DynamicBase1C2Ev(
 134 // CHECK-CTORS-NOT: call i8* @llvm.invariant.group.barrier(
 135 // CHECK-CTORS-LABEL: {{^}}}
 136
 137
 138 struct DynamicDerived;
 139
 140 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN14DynamicDerivedC2Ev(
 141 // CHECK-CTORS: %[[THIS0:.*]] = load %[[DynamicDerived:.*]]*, %[[DynamicDerived]]** {{.*}}
 142 // CHECK-CTORS: %[[THIS1:.*]] = bitcast %[[DynamicDerived:.*]]* %[[THIS0]] to i8*
 143 // CHECK-CTORS: %[[THIS2:.*]] = call i8* @llvm.invariant.group.barrier(i8* %[[THIS1:.*]])
 144 // CHECK-CTORS: %[[THIS3:.*]] = bitcast i8* %[[THIS2]] to %[[DynamicDerived]]*
 145 // CHECK-CTORS: %[[THIS4:.*]] = bitcast %[[DynamicDerived]]* %[[THIS3]] to %[[DynamicBase:.*]]*
 146 // CHECK-CTORS: call void @_ZN12DynamicBase1C2Ev(%[[DynamicBase]]* %[[THIS4]])
 147
 148 // CHECK-CTORS: %[[THIS5:.*]] = bitcast %struct.DynamicDerived* %[[THIS0]] to i32 (...)***
 149 // CHECK-CTORS: store {{.*}} %[[THIS5]]
 150 // CHECK-CTORS-LABEL: {{^}}}
 151
 152 struct DynamicDerivedMultiple;
 153 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN22DynamicDerivedMultipleC2Ev(
 154
 155 // CHECK-CTORS: %[[THIS0:.*]] = load %[[CLASS:.*]]*, %[[CLASS]]** {{.*}}
 156 // CHECK-CTORS: %[[THIS1:.*]] = bitcast %[[CLASS:.*]]* %[[THIS0]] to i8*
 157 // CHECK-CTORS: %[[THIS2:.*]] = call i8* @llvm.invariant.group.barrier(i8* %[[THIS1]])
 158 // CHECK-CTORS: %[[THIS3:.*]] = bitcast i8* %[[THIS2]] to %[[CLASS]]*
 159 // CHECK-CTORS: %[[THIS4:.*]] = bitcast %[[CLASS]]* %[[THIS3]] to %[[BASE_CLASS:.*]]*
 160 // CHECK-CTORS: call void @_ZN12DynamicBase1C2Ev(%[[BASE_CLASS]]* %[[THIS4]])
 161
 162 // CHECK-CTORS: call i8* @llvm.invariant.group.barrier(
 163
 164 // CHECK-CTORS: call void @_ZN12DynamicBase2C2Ev(
 165 // CHECK-CTORS-NOT: @llvm.invariant.group.barrier
 166
 167
 168 // CHECK-CTORS: %[[THIS10:.*]] = bitcast %struct.DynamicDerivedMultiple* %[[THIS0]] to i32 (...)***
 169 // CHECK-CTORS: store {{.*}} @_ZTV22DynamicDerivedMultiple, i32 0, inrange i32 0, i32 2) {{.*}} %[[THIS10]]
 170 // CHECK-CTORS: %[[THIS11:.*]] = bitcast %struct.DynamicDerivedMultiple* %[[THIS0]] to i8*
 171 // CHECK-CTORS: %[[THIS_ADD:.*]] = getelementptr inbounds i8, i8* %[[THIS11]], i64 16
 172 // CHECK-CTORS: %[[THIS12:.*]]  = bitcast i8* %[[THIS_ADD]] to i32 (...)***
 173
 174
 175 // CHECK-CTORS: store {{.*}} @_ZTV22DynamicDerivedMultiple, i32 0, inrange i32 1, i32 2) {{.*}} %[[THIS12]]
 176 // CHECK-CTORS-LABEL: {{^}}}
 177
 178 struct DynamicFromStatic;
 179 // CHECK-CTORS-LABEL: define linkonce_odr void @_ZN17DynamicFromStaticC2Ev(
 180 // CHECK-CTORS-NOT: @llvm.invariant.group.barrier(
 181 // CHECK-CTORS-LABEL: {{^}}}
 182
 183
 184 /** DTORS **/
 185 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN10StaticBaseD2Ev(
 186 // CHECK-DTORS-NOT: call i8* @llvm.invariant.group.barrier(
 187 // CHECK-DTORS-LABEL: {{^}}}
 188
 189
 190 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN25DynamicFromVirtualStatic2D2Ev(
 191 // CHECK-DTORS-NOT: invariant.barrier
 192 // CHECK-DTORS-LABEL: {{^}}}
 193
 194 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN17DynamicFromStaticD2Ev
 195 // CHECK-DTORS-NOT: call i8* @llvm.invariant.group.barrier(
 196 // CHECK-DTORS-LABEL: {{^}}}
 197
 198
 199 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN22DynamicDerivedMultipleD2Ev(
 200
 201 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN12DynamicBase2D2Ev(
 202 // CHECK-DTORS: call i8* @llvm.invariant.group.barrier(
 203 // CHECK-DTORS-LABEL: {{^}}}
 204
 205 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN12DynamicBase1D2Ev
 206 // CHECK-DTORS: call i8* @llvm.invariant.group.barrier(
 207 // CHECK-DTORS-LABEL: {{^}}}
 208
 209 // CHECK-DTORS-LABEL: define linkonce_odr void @_ZN14DynamicDerivedD2Ev
 210 // CHECK-DTORS-NOT: call i8* @llvm.invariant.group.barrier(
 211 // CHECK-DTORS-LABEL: {{^}}}
 212
 213
 214 // CHECK-LINK-REQ: !llvm.module.flags = !{![[FIRST:.*]], ![[SEC:.*]]{{.*}}}
 215
 216 // CHECK-LINK-REQ: ![[FIRST]] = !{i32 1, !"StrictVTablePointers", i32 1}
 217 // CHECK-LINK-REQ: ![[SEC]] = !{i32 3, !"StrictVTablePointersRequirement", ![[META:.*]]}
 218 // CHECK-LINK-REQ: ![[META]] = !{!"StrictVTablePointers", i32 1}
 219