test/CodeGenCXX/dyncast.cpp

   1 // RUN: %clang_cc1 -I%S -triple x86_64-apple-darwin -std=c++0x -emit-llvm %s -o %t.ll
   2 // RUN: FileCheck -check-prefix LL --input-file=%t.ll %s
   3
   4 #include <typeinfo>
   5
   6 class test1_A { virtual void f() { } };
   7 class test1_B { virtual void g() { } };
   8 class test1_D : public virtual test1_A, private test1_B {};
   9 class test1_E : public test1_D, public test1_B {};
  10 class test1_F : public test1_E, public test1_D {};
  11
  12 extern test1_D test1_d;
  13 extern test1_F test1_f;
  14
  15 extern "C" int printf(const char *str...);
  16
  17 #define S(V, N) if (V) printf("PASS: %d\n", N); else printf("FAIL: %d\n", N)
  18
  19 void test1() {
  20   test1_B* bp = (test1_B*)&test1_d;
  21   test1_A* ap = &test1_d;
  22   test1_D* dp = dynamic_cast<test1_D*>(bp);
  23   S(dp == 0, 1);
  24   ap = dynamic_cast<test1_A*>(bp);
  25   S(ap == 0, 2);
  26   bp = dynamic_cast<test1_B*>(ap);
  27   S(bp == 0, 3);
  28   ap = dynamic_cast<test1_A*>(&test1_d);
  29   S(ap != 0, 4);
  30   // FIXME: Doesn't work yet, gcc fails this at compile time.  We'd need access
  31   // control for this to work.
  32   // bp = dynamic_cast<test1_B*>(&test1_d);
  33   // S(bp == 0, 5);
  34   {
  35     test1_A*  ap  = &test1_f;
  36     S(ap != 0, 6);
  37     test1_D*  dp  = dynamic_cast<test1_D*>(ap);
  38     S(dp == 0, 7);
  39     // cast from virtual base
  40     test1_E*  ep1 = dynamic_cast<test1_E*>(ap);
  41     S(ep1 != 0, 8);
  42   }
  43   dp = dynamic_cast<test1_D*>(&test1_d);
  44   S(dp == &test1_d, 9);
  45   const test1_D *cdp = dynamic_cast<const test1_D*>(&test1_d);
  46   S(cdp == &test1_d, 10);
  47   dp = dynamic_cast<test1_D*>((test1_A*)0);
  48   S(dp == 0, 11);
  49   ap = dynamic_cast<test1_A*>(&test1_d);
  50   S(ap == (test1_A*)&test1_d, 12);
  51   test1_E* ep = dynamic_cast<test1_E*>(&test1_f);
  52   S(ep == (test1_E*)&test1_f, 13);
  53   void *vp = dynamic_cast<void*>(ap);
  54   S(vp == &test1_d, 14);
  55   const void *cvp = dynamic_cast<const void*>(ap);
  56   S(cvp == &test1_d, 15);
  57 }
  58
  59 // CHECK-LL:     define void @_Z5test1v() nounwind {
  60 // CHECK-LL:       [[bp:%.*]] = alloca %class.test1_A*, align 8
  61 // CHECK-LL-NEXT:  [[ap:%.*]] = alloca %class.test1_A*, align 8
  62 // CHECK-LL-NEXT:  [[dp:%.*]] = alloca %class.test1_D*, align 8
  63 // CHECK-LL-NEXT:  [[ap37:%.*]] = alloca %class.test1_A*, align 8
  64 // CHECK-LL-NEXT:  [[dp53:%.*]] = alloca %class.test1_D*, align 8
  65 // CHECK-LL-NEXT:  [[ep1:%.*]] = alloca %class.test1_E*, align 8
  66 // CHECK-LL-NEXT:  [[cdp:%.*]] = alloca %class.test1_D*, align 8
  67 // CHECK-LL-NEXT:  [[ep:%.*]] = alloca %class.test1_E*, align 8
  68 // CHECK-LL-NEXT:  [[vp:%.*]] = alloca i8*, align 8
  69 // CHECK-LL-NEXT:  [[cvp:%.*]] = alloca i8*, align 8
  70 // CHECK-LL-NEXT:  store %class.test1_A* bitcast (%class.test1_D* @test1_d to %class.test1_A*), %class.test1_A** [[bp]]
  71 // CHECK-LL-NEXT:  br i1 false, label %[[castnull2:.*]], label %[[castnotnull1:.*]]
  72 // CHECK-LL:       [[castnotnull1]]
  73 // CHECK-LL-NEXT:  [[vtable:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
  74 // CHECK-LL-NEXT:  [[vbaseoffsetptr:%.*]] = getelementptr i8* [[vtable]], i64 -24
  75 // CHECK-LL-NEXT:  [[v1:%.*]] = bitcast i8* [[vbaseoffsetptr]] to i64*
  76 // CHECK-LL-NEXT:  [[vbaseoffset:%.*]] = load i64* [[v1]]
  77 // CHECK-LL-NEXT:  [[addptr:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset:.*]]
  78 // CHECK-LL-NEXT:  [[v2:%.*]] = bitcast i8* [[addptr]] to %class.test1_A*
  79 // CHECK-LL-NEXT:  br label %[[castend3:.*]]
  80 // CHECK-LL:       [[castnull2]]
  81 // CHECK-LL-NEXT:  br label %[[castend3]]
  82 // CHECK-LL:       [[castend3]]
  83 // CHECK-LL-NEXT:  [[v3:%.*]] = phi %class.test1_A* [ [[v2]], %[[castnotnull1]] ], [ null, %[[castnull2]] ]
  84 // CHECK-LL-NEXT:  store %class.test1_A* [[v3]], %class.test1_A** [[ap]]
  85 // CHECK-LL-NEXT:  [[tmp:%.*]] = load %class.test1_A** [[bp]]
  86 // CHECK-LL-NEXT:  [[v4:%.*]] = icmp ne %class.test1_A* [[tmp]], null
  87 // CHECK-LL-NEXT:  br i1 [[v4]], label %[[v5:.*]], label %[[v9:.*]]
  88 // CHECK-LL:       [[v6:%.*]] = bitcast %class.test1_A* [[tmp]] to i8*
  89 // CHECK-LL-NEXT:  [[v7:%.*]] = call i8* @__dynamic_cast(i8* [[v6]], i8* bitcast (%0* @_ZTI7test1_B to i8*), i8* bitcast (%1* @_ZTI7test1_D to i8*), i64 -1)
  90 // CHECK-LL-NEXT:  [[v8:%.*]] = bitcast i8* [[v7]] to %class.test1_D*
  91 // CHECK-LL-NEXT:  br label %[[v10:.*]]
  92 // CHECK-LL:  br label %[[v10]]
  93 // CHECK-LL:  [[v11:%.*]] = phi %class.test1_D* [ [[v8]], %[[v5]] ], [ null, %[[v9]] ]
  94 // CHECK-LL-NEXT:  store %class.test1_D* [[v11]], %class.test1_D** [[dp]]
  95 // CHECK-LL-NEXT:  [[tmp4:%.*]] = load %class.test1_D** [[dp]]
  96 // CHECK-LL-NEXT:  [[cmp:%.*]] = icmp eq %class.test1_D* [[tmp4]], null
  97 // CHECK-LL-NEXT:  br i1 [[cmp]], label %[[ifthen:.*]], label %[[ifelse:.*]]
  98 // CHECK-LL:       [[ifthen]]
  99 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 1)
 100 // CHECK-LL-NEXT:  br label %[[ifend:.*]]
 101 // CHECK-LL:       [[ifelse]]
 102 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 1)
 103 // CHECK-LL-NEXT:  br label %[[ifend]]
 104 // CHECK-LL:       [[ifend]]
 105 // CHECK-LL-NEXT:  [[tmp6:%.*]] = load %class.test1_A** [[bp]]
 106 // CHECK-LL-NEXT:  [[v12:%.*]] = icmp ne %class.test1_A* [[tmp6]], null
 107 // CHECK-LL-NEXT:  br i1 [[v12]], label %[[v13:.*]], label %[[v17:.*]]
 108 // CHECK-LL:  [[v14:%.*]] = bitcast %class.test1_A* [[tmp6]] to i8*
 109 // CHECK-LL-NEXT:  [[v15:%.*]] = call i8* @__dynamic_cast(i8* [[v14]], i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i64 -1)
 110 // CHECK-LL-NEXT:  [[v16:%.*]] = bitcast i8* [[v15]] to %class.test1_A*
 111 // CHECK-LL-NEXT:  br label %[[v18:.*]]
 112 // CHECK-LL:  br label %[[v18]]
 113 // CHECK-LL:  [[v19:%.*]] = phi %class.test1_A* [ [[v16]], %[[v13]] ], [ null, %[[v17]] ]
 114 // CHECK-LL-NEXT:  store %class.test1_A* [[v19]], %class.test1_A** [[ap]]
 115 // CHECK-LL-NEXT:  [[tmp7:%.*]] = load %class.test1_A** [[ap]]
 116 // CHECK-LL-NEXT:  [[cmp8:%.*]] = icmp eq %class.test1_A* [[tmp7]], null
 117 // CHECK-LL-NEXT:  br i1 [[cmp8]], label %[[ifthen9:.*]], label %[[ifelse11:.*]]
 118 // CHECK-LL:       [[ifthen9]]
 119 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 2)
 120 // CHECK-LL-NEXT:  br label %[[ifend13:.*]]
 121 // CHECK-LL:       [[ifelse11]]
 122 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 2)
 123 // CHECK-LL-NEXT:  br label %[[ifend13]]
 124 // CHECK-LL:       [[ifend13]]
 125 // CHECK-LL-NEXT:  [[tmp14:%.*]] = load %class.test1_A** [[ap]]
 126 // CHECK-LL-NEXT:  [[v20:%.*]] = icmp ne %class.test1_A* [[tmp14]], null
 127 // CHECK-LL-NEXT:  br i1 [[v20]], label %[[v21:.*]], label %[[v25:.*]]
 128 // CHECK-LL:  [[v22:%.*]] = bitcast %class.test1_A* [[tmp14]] to i8*
 129 // CHECK-LL-NEXT:  [[v23:%.*]] = call i8* @__dynamic_cast({{.*}} [[v22]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i64 -1)
 130 // CHECK-LL-NEXT:  [[v24:%.*]] = bitcast i8* [[v23]] to %class.test1_A*
 131 // CHECK-LL-NEXT:  br label %[[v26:.*]]
 132 // CHECK-LL:  br label %[[v26]]
 133 // CHECK-LL:  [[v27:%.*]] = phi %class.test1_A* [ [[v24]], %[[v21]] ], [ null, %[[v25]] ]
 134 // CHECK-LL-NEXT:  store %class.test1_A* [[v27]], %class.test1_A** [[bp]]
 135 // CHECK-LL-NEXT:  [[tmp15:%.*]] = load %class.test1_A** [[bp]]
 136 // CHECK-LL-NEXT:  [[cmp16:%.*]] = icmp eq %class.test1_A* [[tmp15]], null
 137 // CHECK-LL-NEXT:  br i1 [[cmp16]], label %[[ifthen17:.*]], label %[[ifelse19:.*]]
 138 // CHECK-LL:       [[ifthen17]]
 139 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 3)
 140 // CHECK-LL-NEXT:  br label %[[ifend21:.*]]
 141 // CHECK-LL:       [[ifelse19]]
 142 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 3)
 143 // CHECK-LL-NEXT:  br label %[[ifend21]]
 144 // CHECK-LL:       [[ifend21]]
 145 // CHECK-LL-NEXT:  br i1 false, label %[[castnull27:.*]], label %[[castnotnull22:.*]]
 146 // CHECK-LL:       [[castnotnull22]]
 147 // CHECK-LL-NEXT:  [[vtable23:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
 148 // CHECK-LL-NEXT:  [[vbaseoffsetptr24:%.*]] = getelementptr i8* [[vtable23]], i64 -24
 149 // CHECK-LL-NEXT:  [[v28:%.*]] = bitcast i8* [[vbaseoffsetptr24]] to i64*
 150 // CHECK-LL-NEXT:  [[vbaseoffset25:%.*]] = load i64* [[v28]]
 151 // CHECK-LL-NEXT:  [[addptr26:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset25]]
 152 // CHECK-LL-NEXT:  [[v29:%.*]] = bitcast i8* [[addptr26]] to %class.test1_A*
 153 // CHECK-LL-NEXT:  br label %[[castend28:.*]]
 154 // CHECK-LL:       [[castnull27]]
 155 // CHECK-LL-NEXT:  br label %[[castend28]]
 156 // CHECK-LL:       [[castend28]]
 157 // CHECK-LL-NEXT:  [[v30:%.*]] = phi %class.test1_A* [ [[v29]], %[[castnotnull22]] ], [ null, %[[castnull27]] ]
 158 // CHECK-LL-NEXT:  store %class.test1_A* [[v30]], %class.test1_A** [[ap]]
 159 // CHECK-LL-NEXT:  [[tmp29:%.*]] = load %class.test1_A** [[ap]]
 160 // CHECK-LL-NEXT:  [[cmp30:%.*]] = icmp ne %class.test1_A* [[tmp29]], null
 161 // CHECK-LL-NEXT:  br i1 [[cmp30]], label %[[ifthen31:.*]], label %[[ifelse33:.*]]
 162 // CHECK-LL:       [[ifthen31]]
 163 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 4)
 164 // CHECK-LL-NEXT:  br label %[[ifend35:.*]]
 165 // CHECK-LL:       [[ifelse33]]
 166 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 4)
 167 // CHECK-LL-NEXT:  br label %[[ifend35]]
 168 // CHECK-LL:       [[ifend35]]
 169 // CHECK-LL-NEXT:  br i1 false, label %[[castnull43:.*]], label %[[castnotnull38:.*]]
 170 // CHECK-LL:       [[castnotnull38]]
 171 // CHECK-LL-NEXT:  [[vtable39:%.*]] = load i8** bitcast (%class.test1_F* @test1_f to i8**)
 172 // CHECK-LL-NEXT:  [[vbaseoffsetptr40:%.*]] = getelementptr i8* [[vtable39]], i64 -24
 173 // CHECK-LL-NEXT:  [[v31:%.*]] = bitcast i8* [[vbaseoffsetptr40]] to i64*
 174 // CHECK-LL-NEXT:  [[vbaseoffset41:%.*]] = load i64* [[v31]]
 175 // CHECK-LL-NEXT:  [[addptr42:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_F* @test1_f, i32 0, i32 0, i32 0), i64 [[vbaseoffset41]]
 176 // CHECK-LL-NEXT:  [[v32:%.*]] = bitcast i8* [[addptr42]] to %class.test1_A*
 177 // CHECK-LL-NEXT:  br label %[[castend44:.*]]
 178 // CHECK-LL:       [[castnull43]]
 179 // CHECK-LL-NEXT:  br label %[[castend44]]
 180 // CHECK-LL:       [[castend44]]
 181 // CHECK-LL-NEXT:  [[v33:%.*]] = phi %class.test1_A* [ [[v32]], %[[castnotnull38]] ], [ null, %[[castnull43]] ]
 182 // CHECK-LL-NEXT:  store %class.test1_A* [[v33]], %class.test1_A** [[ap37]]
 183 // CHECK-LL-NEXT:  [[tmp45:%.*]] = load %class.test1_A** [[ap37]]
 184 // CHECK-LL-NEXT:  [[cmp46:%.*]] = icmp ne %class.test1_A* [[tmp45]], null
 185 // CHECK-LL-NEXT:  br i1 [[cmp46]], label %[[ifthen47:.*]], label %[[ifelse49:.*]]
 186 // CHECK-LL:       [[ifthen47]]
 187 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 6)
 188 // CHECK-LL-NEXT:  br label %[[ifend51:.*]]
 189 // CHECK-LL:       [[ifelse49]]
 190 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 6)
 191 // CHECK-LL-NEXT:  br label %[[ifend51]]
 192 // CHECK-LL:       [[ifend51]]
 193 // CHECK-LL-NEXT:  [[tmp54:%.*]] = load %class.test1_A** [[ap37]]
 194 // CHECK-LL-NEXT:  [[v34:%.*]] = icmp ne %class.test1_A* [[tmp54]], null
 195 // CHECK-LL-NEXT:  br i1 [[v34]], label %[[v35:.*]], label %[[v39:.*]]
 196 // CHECK-LL:       [[v36:%.*]] = bitcast %class.test1_A* [[tmp54]] to i8*
 197 // CHECK-LL-NEXT:  [[v37:%.*]] = call i8* @__dynamic_cast(i8* [[v36]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
 198 // CHECK-LL-NEXT:  [[v38:%.*]] = bitcast i8* [[v37]] to %class.test1_D*
 199 // CHECK-LL-NEXT:  br label %[[v40:.*]]
 200 // CHECK-LL:       br label %[[v40]]
 201 // CHECK-LL:       [[v41:%.*]] = phi %class.test1_D* [ [[v38]], %[[v35]] ], [ null, %[[v39]] ]
 202 // CHECK-LL-NEXT:  store %class.test1_D* [[v41]], %class.test1_D** [[dp53]]
 203 // CHECK-LL-NEXT:  [[tmp55:%.*]] = load %class.test1_D** [[dp53]]
 204 // CHECK-LL-NEXT:  [[cmp56:%.*]] = icmp eq %class.test1_D* [[tmp55]], null
 205 // CHECK-LL-NEXT:  br i1 [[cmp56]], label %[[ifthen57:.*]], label %[[ifelse59:.*]]
 206 // CHECK-LL:       [[ifthen57]]
 207 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 7)
 208 // CHECK-LL-NEXT:  br label %[[ifend61:.*]]
 209 // CHECK-LL:       [[ifelse59]]
 210 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 7)
 211 // CHECK-LL-NEXT:  br label %[[ifend61]]
 212 // CHECK-LL:       [[ifend61]]
 213 // CHECK-LL-NEXT:  [[tmp63:%.*]] = load %class.test1_A** [[ap37]]
 214 // CHECK-LL-NEXT:  [[v42:%.*]] = icmp ne %class.test1_A* [[tmp63]], null
 215 // CHECK-LL-NEXT:  br i1 [[v42]], label %[[v43:.*]], label %[[v47:.*]]
 216 // CHECK-LL:       [[v44:%.*]] = bitcast %class.test1_A* [[tmp63]] to i8*
 217 // CHECK-LL-NEXT:  [[v45:%.*]] = call i8* @__dynamic_cast(i8* [[v44]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_E to i8*), i64 -1)
 218 // CHECK-LL-NEXT:  [[v46:%.*]] = bitcast i8* [[v45]] to %class.test1_E*
 219 // CHECK-LL-NEXT:  br label %[[v48:.*]]
 220 // CHECK-LL:       br label %[[v48]]
 221 // CHECK-LL:       [[v49:%.*]] = phi %class.test1_E* [ [[v46]], %[[v43]] ], [ null, %[[v47]] ]
 222 // CHECK-LL-NEXT:  store %class.test1_E* [[v49]], %class.test1_E** [[ep1]]
 223 // CHECK-LL-NEXT:  [[tmp64:%.*]] = load %class.test1_E** [[ep1]]
 224 // CHECK-LL-NEXT:  [[cmp65:%.*]] = icmp ne %class.test1_E* [[tmp64]], null
 225 // CHECK-LL-NEXT:  br i1 [[cmp65]], label %[[ifthen66:.*]], label %[[ifelse68:.*]]
 226 // CHECK-LL:       [[ifthen66]]
 227 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 8)
 228 // CHECK-LL-NEXT:  br label %[[ifend70:.*]]
 229 // CHECK-LL:       [[ifelse68]]
 230 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 8)
 231 // CHECK-LL-NEXT:  br label %[[ifend70]]
 232 // CHECK-LL:       [[ifend70]]
 233 // CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** [[dp]]
 234 // CHECK-LL-NEXT:  [[tmp71:%.*]] = load %class.test1_D** [[dp]]
 235 // CHECK-LL-NEXT:  [[cmp72:%.*]] = icmp eq %class.test1_D* [[tmp71]], @test1_d
 236 // CHECK-LL-NEXT:  br i1 [[cmp72]], label %[[ifthen73:.*]], label %[[ifelse75:.*]]
 237 // CHECK-LL:       [[ifthen73]]
 238 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 9)
 239 // CHECK-LL-NEXT:  br label %[[ifend77:.*]]
 240 // CHECK-LL:       [[ifelse75]]
 241 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 9)
 242 // CHECK-LL-NEXT:  br label %[[ifend77]]
 243 // CHECK-LL:       [[ifend77]]
 244 // CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** [[cdp]]
 245 // CHECK-LL-NEXT:  [[tmp79:%.*]] = load %class.test1_D** [[cdp]]
 246 // CHECK-LL-NEXT:  [[cmp80:%.*]] = icmp eq %class.test1_D* [[tmp79]], @test1_d
 247 // CHECK-LL-NEXT:  br i1 [[cmp80]], label %[[ifthen81:.*]], label %[[ifelse83:.*]]
 248 // CHECK-LL:       [[ifthen81]]
 249 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 10)
 250 // CHECK-LL-NEXT:  br label %[[ifend85:.*]]
 251 // CHECK-LL:       [[ifelse83]]
 252 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 10)
 253 // CHECK-LL-NEXT:  br label %[[ifend85]]
 254 // CHECK-LL:       [[ifend85]]
 255 // CHECK-LL-NEXT:  br i1 false, label %[[v50:.*]], label %[[v53:.*]]
 256 // CHECK-LL:       [[v51:%.*]] = call i8* @__dynamic_cast(i8* null, i8* bitcast ({{.*}}* @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
 257 // CHECK-LL-NEXT:  [[v52:%.*]] = bitcast i8* [[v51]] to %class.test1_D*
 258 // CHECK-LL-NEXT:  br label %[[v54:.*]]
 259 // CHECK-LL:       br label %[[v54]]
 260 // CHECK-LL:       [[v55:%.*]] = phi %class.test1_D* [ [[v52]], %[[v50]] ], [ null, %[[v53]] ]
 261 // CHECK-LL-NEXT:  store %class.test1_D* [[v55]], %class.test1_D** [[dp]]
 262 // CHECK-LL-NEXT:  [[tmp86:%.*]] = load %class.test1_D** [[dp]]
 263 // CHECK-LL-NEXT:  [[cmp87:%.*]] = icmp eq %class.test1_D* [[tmp86]], null
 264 // CHECK-LL-NEXT:  br i1 [[cmp87]], label %[[ifthen88:.*]], label %[[ifelse90:.*]]
 265 // CHECK-LL:       [[ifthen88]]
 266 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 11)
 267 // CHECK-LL-NEXT:  br label %[[ifend92:.*]]
 268 // CHECK-LL:       [[ifelse90]]
 269 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 11)
 270 // CHECK-LL-NEXT:  br label %[[ifend92]]
 271 // CHECK-LL:       [[ifend92]]
 272 // CHECK-LL-NEXT:  br i1 false, label %[[castnull98:.*]], label %[[castnotnull93:.*]]
 273 // CHECK-LL:       [[castnotnull93]]
 274 // CHECK-LL-NEXT:  [[vtable94:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
 275 // CHECK-LL-NEXT:  [[vbaseoffsetptr95:%.*]] = getelementptr i8* [[vtable94]], i64 -24
 276 // CHECK-LL-NEXT:  [[v56:%.*]] = bitcast i8* [[vbaseoffsetptr95]] to i64*
 277 // CHECK-LL-NEXT:  [[vbaseoffset96:%.*]] = load i64* [[v56]]
 278 // CHECK-LL-NEXT:  [[addptr97:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset96]]
 279 // CHECK-LL-NEXT:  [[v57:%.*]] = bitcast i8* [[addptr97]] to %class.test1_A*
 280 // CHECK-LL-NEXT:  br label %[[castend99:.*]]
 281 // CHECK-LL:       [[castnull98]]
 282 // CHECK-LL-NEXT:  br label %[[castend99]]
 283 // CHECK-LL:       [[castend99]]
 284 // CHECK-LL-NEXT:  [[v58:%.*]] = phi %class.test1_A* [ [[v57]], %[[castnotnull93]] ], [ null, %[[castnull98]] ]
 285 // CHECK-LL-NEXT:  store %class.test1_A* [[v58]], %class.test1_A** [[ap]]
 286 // CHECK-LL-NEXT:  [[tmp100:%.*]] = load %class.test1_A** [[ap]]
 287 // CHECK-LL-NEXT:  br i1 false, label %[[castnull106:.*]], label %[[castnotnull101:.*]]
 288 // CHECK-LL:       [[castnotnull101]]
 289 // CHECK-LL-NEXT:  [[vtable102:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
 290 // CHECK-LL-NEXT:  [[vbaseoffsetptr103:%.*]] = getelementptr i8* [[vtable102]], i64 -24
 291 // CHECK-LL-NEXT:  [[v59:%.*]] = bitcast i8* [[vbaseoffsetptr103]] to i64*
 292 // CHECK-LL-NEXT:  [[vbaseoffset104:%.*]] = load i64* [[v59]]
 293 // CHECK-LL-NEXT:  [[addptr105:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset104]]
 294 // CHECK-LL-NEXT:  [[v60:%.*]] = bitcast i8* [[addptr105]] to %class.test1_A*
 295 // CHECK-LL-NEXT:  br label %[[castend107:.*]]
 296 // CHECK-LL:       [[castnull106]]
 297 // CHECK-LL-NEXT:  br label %[[castend107]]
 298 // CHECK-LL:       [[castend107]]
 299 // CHECK-LL-NEXT:  [[v61:%.*]] = phi %class.test1_A* [ [[v60]], %[[castnotnull101]] ], [ null, %[[castnull106]] ]
 300 // CHECK-LL-NEXT:  [[cmp108:%.*]] = icmp eq %class.test1_A* [[tmp100]], [[v61]]
 301 // CHECK-LL-NEXT:  br i1 [[cmp108]], label %[[ifthen109:.*]], label %[[ifelse111:.*]]
 302 // CHECK-LL:       [[ifthen109]]
 303 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 12)
 304 // CHECK-LL-NEXT:  br label %[[ifend113:.*]]
 305 // CHECK-LL:       [[ifelse111]]
 306 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 12)
 307 // CHECK-LL-NEXT:  br label %[[ifend113]]
 308 // CHECK-LL:       [[ifend113]]
 309 // CHECK-LL-NEXT: store %class.test1_E* bitcast (%class.test1_F* @test1_f to %class.test1_E*), %class.test1_E** [[ep]]
 310 // CHECK-LL-NEXT:  [[tmp118:%.*]] = load %class.test1_E** [[ep]]
 311 // CHECK-LL-NEXT:  [[cmp122:%.*]] = icmp eq %class.test1_E* [[tmp118]], bitcast (%class.test1_F* @test1_f to %class.test1_E*)
 312
 313 // CHECK-LL-NEXT:  br i1 [[cmp122]], label %[[ifthen123:.*]], label %[[ifelse125:.*]]
 314 // CHECK-LL:       [[ifthen123]]
 315 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 13)
 316 // CHECK-LL-NEXT:  br label %[[ifend127:.*]]
 317 // CHECK-LL:       [[ifelse125]]
 318 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 13)
 319 // CHECK-LL-NEXT:  br label %[[ifend127]]
 320 // CHECK-LL:       [[ifend127]]
 321 // CHECK-LL-NEXT:  [[tmp129:%.*]] = load %class.test1_A** [[ap]]
 322 // CHECK-LL-NEXT:  [[v64:%.*]] = icmp ne %class.test1_A* [[tmp129]], null
 323 // CHECK-LL-NEXT:  br i1 [[v64]], label %[[v65:.*]], label %[[v70:.*]]
 324 // CHECK-LL:       [[v66:%.*]] = bitcast %class.test1_A* [[tmp129]] to i64**
 325 // CHECK-LL-NEXT:  [[vtable130:%.*]] = load i64** [[v66]]
 326 // CHECK-LL-NEXT:  [[v67:%.*]] = getelementptr inbounds i64* [[vtable130]], i64 -2
 327 // CHECK-LL-NEXT:  [[offsettotop:%.*]] = load i64* [[v67]]
 328 // CHECK-LL-NEXT:  [[v68:%.*]] = bitcast %class.test1_A* [[tmp129]] to i8*
 329 // CHECK-LL-NEXT:  [[v69:%.*]] = getelementptr inbounds i8* [[v68]], i64 [[offsettotop]]
 330 // CHECK-LL-NEXT:  br label %[[v71:.*]]
 331 // CHECK-LL:       br label %[[v71]]
 332 // CHECK-LL:       [[v72:%.*]] = phi i8* [ [[v69]], %[[v65]] ], [ null, %[[v70]] ]
 333 // CHECK-LL-NEXT:  store i8* [[v72]], i8** [[vp]]
 334 // CHECK-LL-NEXT:  [[tmp131:%.*]] = load i8** [[vp]]
 335 // CHECK-LL-NEXT:  [[cmp132:%.*]] = icmp eq i8* [[tmp131]], getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
 336 // CHECK-LL-NEXT:  br i1 [[cmp132]], label %[[ifthen133:.*]], label %[[ifelse135:.*]]
 337 // CHECK-LL:       [[ifthen133]]
 338 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 14)
 339 // CHECK-LL-NEXT:  br label %[[ifend137:.*]]
 340 // CHECK-LL:       [[ifelse135]]
 341 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 14)
 342 // CHECK-LL-NEXT:  br label %[[ifend137]]
 343 // CHECK-LL:       [[ifend137]]
 344 // CHECK-LL-NEXT:  [[tmp139:%.*]] = load %class.test1_A** [[ap]]
 345 // CHECK-LL-NEXT:  [[v73:%.*]] = icmp ne %class.test1_A* [[tmp139]], null
 346 // CHECK-LL-NEXT:  br i1 [[v73]], label %[[v74:.*]], label %[[v79:.*]]
 347 // CHECK-LL:       [[v75:%.*]] = bitcast %class.test1_A* [[tmp139]] to i64**
 348 // CHECK-LL-NEXT:  [[vtable140:%.*]] = load i64** [[v75]]
 349 // CHECK-LL-NEXT:  [[v76:%.*]] = getelementptr inbounds i64* [[vtable140]], i64 -2
 350 // CHECK-LL-NEXT:  [[offsettotop141:%.*]] = load i64* [[v76]]
 351 // CHECK-LL-NEXT:  [[v77:%.*]] = bitcast %class.test1_A* [[tmp139]] to i8*
 352 // CHECK-LL-NEXT:  [[v78:%.*]] = getelementptr inbounds i8* [[v77]], i64 [[offsettotop141]]
 353 // CHECK-LL-NEXT:  br label %[[v80:.*]]
 354 // CHECK-LL:       br label %[[v80]]
 355 // CHECK-LL:       [[v81:%.*]] = phi i8* [ [[v78]], %[[v74]] ], [ null, %[[v79]] ]
 356 // CHECK-LL-NEXT:  store i8* [[v81]], i8** [[cvp]]
 357 // CHECK-LL-NEXT:  [[tmp142:%.*]] = load i8** [[cvp]]
 358 // CHECK-LL-NEXT:  [[cmp143:%.*]] = icmp eq i8* [[tmp142]], getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
 359 // CHECK-LL-NEXT:  br i1 [[cmp143]], label %[[ifthen144:.*]], label %[[ifelse146:.*]]
 360 // CHECK-LL:       [[ifthen144]]
 361 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 15)
 362 // CHECK-LL-NEXT:  br label %[[ifend148:.*]]
 363 // CHECK-LL:       [[ifelse146]]
 364 // CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 15)
 365 // CHECK-LL-NEXT:  br label %[[ifend148]]
 366 // CHECK-LL:       [[ifend148]]
 367 // CHECK-LL-NEXT:  ret void