Fix Release-Asserts for the time being.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@93493 91177308-0d34-0410-b5e6-96231b3b80d8
2010-01-15 00:50:35 +00:00 · 2010-01-15 00:50:35 +00:00 · 69456f12c5
--- a/test/CodeGenCXX/dyncast.cpp
+++ b/test/CodeGenCXX/dyncast.cpp
@ -59,356 +59,355 @@ void test1() {
 }

 // CHECK-LL:     define void @_Z5test1v() nounwind {
-// CHECK-LL-NEXT:entry:
-// CHECK-LL-NEXT:  %bp = alloca %class.test1_A*, align 8
-// CHECK-LL-NEXT:  %ap = alloca %class.test1_A*, align 8
-// CHECK-LL-NEXT:  %dp = alloca %class.test1_D*, align 8
-// CHECK-LL-NEXT:  %ap37 = alloca %class.test1_A*, align 8
-// CHECK-LL-NEXT:  %dp53 = alloca %class.test1_D*, align 8
-// CHECK-LL-NEXT:  %ep1 = alloca %class.test1_E*, align 8
-// CHECK-LL-NEXT:  %cdp = alloca %class.test1_D*, align 8
-// CHECK-LL-NEXT:  %ep = alloca %class.test1_E*, align 8
-// CHECK-LL-NEXT:  %vp = alloca i8*, align 8
-// CHECK-LL-NEXT:  %cvp = alloca i8*, align 8
-// CHECK-LL-NEXT:  br i1 false, label %cast.null, label %cast.notnull
-// CHECK-LL:       cast.notnull:
-// CHECK-LL-NEXT:  br label %cast.end
-// CHECK-LL:       cast.null:
-// CHECK-LL-NEXT:  br label %cast.end
-// CHECK-LL:       cast.end:
-// CHECK-LL-NEXT:  %0 = phi %class.test1_A* [ bitcast (%class.test1_D* @test1_d to %class.test1_A*), %cast.notnull ], [ null, %cast.null ]
-// CHECK-LL-NEXT:  store %class.test1_A* %0, %class.test1_A** %bp
-// CHECK-LL-NEXT:  br i1 false, label %cast.null2, label %cast.notnull1
-// CHECK-LL:       cast.notnull1:
-// CHECK-LL-NEXT:  %vtable = load i8** bitcast (%class.test1_D* @test1_d to i8**)
-// CHECK-LL-NEXT:  %vbase.offset.ptr = getelementptr i8* %vtable, i64 -24
-// CHECK-LL-NEXT:  %1 = bitcast i8* %vbase.offset.ptr to i64*
-// CHECK-LL-NEXT:  %vbase.offset = load i64* %1
-// CHECK-LL-NEXT:  %add.ptr = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset
-// CHECK-LL-NEXT:  %2 = bitcast i8* %add.ptr to %class.test1_A*
-// CHECK-LL-NEXT:  br label %cast.end3
-// CHECK-LL:       cast.null2:
-// CHECK-LL-NEXT:  br label %cast.end3
-// CHECK-LL:       cast.end3:
-// CHECK-LL-NEXT:  %3 = phi %class.test1_A* [ %2, %cast.notnull1 ], [ null, %cast.null2 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %3, %class.test1_A** %ap
-// CHECK-LL-NEXT:  %tmp = load %class.test1_A** %bp
-// CHECK-LL-NEXT:  %4 = icmp ne %class.test1_A* %tmp, null
-// CHECK-LL-NEXT:  br i1 %4, label %5, label %9
-// CHECK-LL:       ; <label>:5
-// CHECK-LL-NEXT:  %6 = bitcast %class.test1_A* %tmp to i8*
-// CHECK-LL-NEXT:  %7 = call i8* @__dynamic_cast(i8* %6, i8* bitcast (%0* @_ZTI7test1_B to i8*), i8* bitcast (%1* @_ZTI7test1_D to i8*), i64 -1) ; <i8*> [#uses=1]
-// CHECK-LL-NEXT:  %8 = bitcast i8* %7 to %class.test1_D*
-// CHECK-LL-NEXT:  br label %10
-// CHECK-LL:       ; <label>:9
-// CHECK-LL-NEXT:  br label %10
-// CHECK-LL:       ; <label>:10
-// CHECK-LL-NEXT:  %11 = phi %class.test1_D* [ %8, %5 ], [ null, %9 ]
-// CHECK-LL-NEXT:  store %class.test1_D* %11, %class.test1_D** %dp
-// CHECK-LL-NEXT:  %tmp4 = load %class.test1_D** %dp
-// CHECK-LL-NEXT:  %cmp = icmp eq %class.test1_D* %tmp4, null
-// CHECK-LL-NEXT:  br i1 %cmp, label %if.then, label %if.else
-// CHECK-LL:       if.then:
-// CHECK-LL-NEXT:  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 1)
-// CHECK-LL-NEXT:  br label %if.end
-// CHECK-LL:       if.else:
-// CHECK-LL-NEXT:  %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 1)
-// CHECK-LL-NEXT:  br label %if.end
-// CHECK-LL:       if.end:
-// CHECK-LL-NEXT:  %tmp6 = load %class.test1_A** %bp
-// CHECK-LL-NEXT:  %12 = icmp ne %class.test1_A* %tmp6, null
-// CHECK-LL-NEXT:  br i1 %12, label %13, label %17
-// CHECK-LL:       ; <label>:13
-// CHECK-LL-NEXT:  %14 = bitcast %class.test1_A* %tmp6 to i8*
-// CHECK-LL-NEXT:  %15 = call i8* @__dynamic_cast(i8* %14, i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i64 -1)
-// CHECK-LL-NEXT:  %16 = bitcast i8* %15 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %18
-// CHECK-LL:       ; <label>:17
-// CHECK-LL-NEXT:  br label %18
-// CHECK-LL:       ; <label>:18
-// CHECK-LL-NEXT:  %19 = phi %class.test1_A* [ %16, %13 ], [ null, %17 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %19, %class.test1_A** %ap
-// CHECK-LL-NEXT:  %tmp7 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  %cmp8 = icmp eq %class.test1_A* %tmp7, null
-// CHECK-LL-NEXT:  br i1 %cmp8, label %if.then9, label %if.else11
-// CHECK-LL:       if.then9:
-// CHECK-LL-NEXT:  %call10 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 2)
-// CHECK-LL-NEXT:  br label %if.end13
-// CHECK-LL:       if.else11:
-// CHECK-LL-NEXT:  %call12 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 2)
-// CHECK-LL-NEXT:  br label %if.end13
-// CHECK-LL:       if.end13:
-// CHECK-LL-NEXT:  %tmp14 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  %20 = icmp ne %class.test1_A* %tmp14, null
-// CHECK-LL-NEXT:  br i1 %20, label %21, label %25
-// CHECK-LL:       ; <label>:21
-// CHECK-LL-NEXT:  %22 = bitcast %class.test1_A* %tmp14 to i8*
-// CHECK-LL-NEXT:  %23 = call i8* @__dynamic_cast({{.*}} %22, i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i64 -1)
-// CHECK-LL-NEXT:  %24 = bitcast i8* %23 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %26
-// CHECK-LL:       ; <label>:25
-// CHECK-LL-NEXT:  br label %26
-// CHECK-LL:       ; <label>:26
-// CHECK-LL-NEXT:  %27 = phi %class.test1_A* [ %24, %21 ], [ null, %25 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %27, %class.test1_A** %bp
-// CHECK-LL-NEXT:  %tmp15 = load %class.test1_A** %bp
-// CHECK-LL-NEXT:  %cmp16 = icmp eq %class.test1_A* %tmp15, null
-// CHECK-LL-NEXT:  br i1 %cmp16, label %if.then17, label %if.else19
-// CHECK-LL:       if.then17:
-// CHECK-LL-NEXT:  %call18 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 3)
-// CHECK-LL-NEXT:  br label %if.end21
-// CHECK-LL:       if.else19:
-// CHECK-LL-NEXT:  %call20 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 3)
-// CHECK-LL-NEXT:  br label %if.end21
-// CHECK-LL:       if.end21:
-// CHECK-LL-NEXT:  br i1 false, label %cast.null27, label %cast.notnull22
-// CHECK-LL:       cast.notnull22:
-// CHECK-LL-NEXT:  %vtable23 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
-// CHECK-LL-NEXT:  %vbase.offset.ptr24 = getelementptr i8* %vtable23, i64 -24
-// CHECK-LL-NEXT:  %28 = bitcast i8* %vbase.offset.ptr24 to i64*
-// CHECK-LL-NEXT:  %vbase.offset25 = load i64* %28
-// CHECK-LL-NEXT:  %add.ptr26 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset25
-// CHECK-LL-NEXT:  %29 = bitcast i8* %add.ptr26 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %cast.end28
-// CHECK-LL:       cast.null27:
-// CHECK-LL-NEXT:  br label %cast.end28
-// CHECK-LL:       cast.end28:
-// CHECK-LL-NEXT:  %30 = phi %class.test1_A* [ %29, %cast.notnull22 ], [ null, %cast.null27 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %30, %class.test1_A** %ap
-// CHECK-LL-NEXT:  %tmp29 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  %cmp30 = icmp ne %class.test1_A* %tmp29, null
-// CHECK-LL-NEXT:  br i1 %cmp30, label %if.then31, label %if.else33
-// CHECK-LL:       if.then31:
-// CHECK-LL-NEXT:  %call32 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 4)
-// CHECK-LL-NEXT:  br label %if.end35
-// CHECK-LL:       if.else33:
-// CHECK-LL-NEXT:  %call34 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 4)
-// CHECK-LL-NEXT:  br label %if.end35
-// CHECK-LL:       if.end35:
-// CHECK-LL-NEXT:  br i1 false, label %cast.null43, label %cast.notnull38
-// CHECK-LL:       cast.notnull38:
-// CHECK-LL-NEXT:  %vtable39 = load i8** bitcast (%class.test1_F* @test1_f to i8**)
-// CHECK-LL-NEXT:  %vbase.offset.ptr40 = getelementptr i8* %vtable39, i64 -24
-// CHECK-LL-NEXT:  %31 = bitcast i8* %vbase.offset.ptr40 to i64*
-// CHECK-LL-NEXT:  %vbase.offset41 = load i64* %31
-// CHECK-LL-NEXT:  %add.ptr42 = getelementptr i8* getelementptr inbounds (%class.test1_F* @test1_f, i32 0, i32 0, i32 0), i64 %vbase.offset41
-// CHECK-LL-NEXT:  %32 = bitcast i8* %add.ptr42 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %cast.end44
-// CHECK-LL:       cast.null43:
-// CHECK-LL-NEXT:  br label %cast.end44
-// CHECK-LL:       cast.end44:
-// CHECK-LL-NEXT:  %33 = phi %class.test1_A* [ %32, %cast.notnull38 ], [ null, %cast.null43 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %33, %class.test1_A** %ap37
-// CHECK-LL-NEXT:  %tmp45 = load %class.test1_A** %ap37
-// CHECK-LL-NEXT:  %cmp46 = icmp ne %class.test1_A* %tmp45, null
-// CHECK-LL-NEXT:  br i1 %cmp46, label %if.then47, label %if.else49
-// CHECK-LL:       if.then47:
-// CHECK-LL-NEXT:  %call48 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 6)
-// CHECK-LL-NEXT:  br label %if.end51
-// CHECK-LL:       if.else49:
-// CHECK-LL-NEXT:  %call50 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 6)
-// CHECK-LL-NEXT:  br label %if.end51
-// CHECK-LL:       if.end51:
-// CHECK-LL-NEXT:  %tmp54 = load %class.test1_A** %ap37
-// CHECK-LL-NEXT:  %34 = icmp ne %class.test1_A* %tmp54, null
-// CHECK-LL-NEXT:  br i1 %34, label %35, label %39
-// CHECK-LL:       ; <label>:35
-// CHECK-LL-NEXT:  %36 = bitcast %class.test1_A* %tmp54 to i8*
-// CHECK-LL-NEXT:  %37 = call i8* @__dynamic_cast(i8* %36, i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
-// CHECK-LL-NEXT:  %38 = bitcast i8* %37 to %class.test1_D*
-// CHECK-LL-NEXT:  br label %40
-// CHECK-LL:       ; <label>:39
-// CHECK-LL-NEXT:  br label %40
-// CHECK-LL:       ; <label>:40
-// CHECK-LL-NEXT:  %41 = phi %class.test1_D* [ %38, %35 ], [ null, %39 ]
-// CHECK-LL-NEXT:  store %class.test1_D* %41, %class.test1_D** %dp53
-// CHECK-LL-NEXT:  %tmp55 = load %class.test1_D** %dp53
-// CHECK-LL-NEXT:  %cmp56 = icmp eq %class.test1_D* %tmp55, null
-// CHECK-LL-NEXT:  br i1 %cmp56, label %if.then57, label %if.else59
-// CHECK-LL:       if.then57:
-// CHECK-LL-NEXT:  %call58 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 7)
-// CHECK-LL-NEXT:  br label %if.end61
-// CHECK-LL:       if.else59:
-// CHECK-LL-NEXT:  %call60 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 7)
-// CHECK-LL-NEXT:  br label %if.end61
-// CHECK-LL:       if.end61:
-// CHECK-LL-NEXT:  %tmp63 = load %class.test1_A** %ap37
-// CHECK-LL-NEXT:  %42 = icmp ne %class.test1_A* %tmp63, null
-// CHECK-LL-NEXT:  br i1 %42, label %43, label %47
-// CHECK-LL:       ; <label>:43
-// CHECK-LL-NEXT:  %44 = bitcast %class.test1_A* %tmp63 to i8*
-// CHECK-LL-NEXT:  %45 = call i8* @__dynamic_cast(i8* %44, i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_E to i8*), i64 -1)
-// CHECK-LL-NEXT:  %46 = bitcast i8* %45 to %class.test1_E*
-// CHECK-LL-NEXT:  br label %48
-// CHECK-LL:       ; <label>:47
-// CHECK-LL-NEXT:  br label %48
-// CHECK-LL:       ; <label>:48
-// CHECK-LL-NEXT:  %49 = phi %class.test1_E* [ %46, %43 ], [ null, %47 ]
-// CHECK-LL-NEXT:  store %class.test1_E* %49, %class.test1_E** %ep1
-// CHECK-LL-NEXT:  %tmp64 = load %class.test1_E** %ep1
-// CHECK-LL-NEXT:  %cmp65 = icmp ne %class.test1_E* %tmp64, null
-// CHECK-LL-NEXT:  br i1 %cmp65, label %if.then66, label %if.else68
-// CHECK-LL:       if.then66:
-// CHECK-LL-NEXT:  %call67 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 8)
-// CHECK-LL-NEXT:  br label %if.end70
-// CHECK-LL:       if.else68:
-// CHECK-LL-NEXT:  %call69 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 8)
-// CHECK-LL-NEXT:  br label %if.end70
-// CHECK-LL:       if.end70:
-// CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** %dp
-// CHECK-LL-NEXT:  %tmp71 = load %class.test1_D** %dp
-// CHECK-LL-NEXT:  %cmp72 = icmp eq %class.test1_D* %tmp71, @test1_d
-// CHECK-LL-NEXT:  br i1 %cmp72, label %if.then73, label %if.else75
-// CHECK-LL:       if.then73:
-// CHECK-LL-NEXT:  %call74 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 9)
-// CHECK-LL-NEXT:  br label %if.end77
-// CHECK-LL:       if.else75:
-// CHECK-LL-NEXT:  %call76 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 9)
-// CHECK-LL-NEXT:  br label %if.end77
-// CHECK-LL:       if.end77:
-// CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** %cdp
-// CHECK-LL-NEXT:  %tmp79 = load %class.test1_D** %cdp
-// CHECK-LL-NEXT:  %cmp80 = icmp eq %class.test1_D* %tmp79, @test1_d
-// CHECK-LL-NEXT:  br i1 %cmp80, label %if.then81, label %if.else83
-// CHECK-LL:       if.then81:
-// CHECK-LL-NEXT:  %call82 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 10)
-// CHECK-LL-NEXT:  br label %if.end85
-// CHECK-LL:       if.else83:
-// CHECK-LL-NEXT:  %call84 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 10)
-// CHECK-LL-NEXT:  br label %if.end85
-// CHECK-LL:       if.end85:
-// CHECK-LL-NEXT:  br i1 false, label %50, label %53
-// CHECK-LL:       ; <label>:50
-// CHECK-LL-NEXT:  %51 = call i8* @__dynamic_cast(i8* null, i8* bitcast ({{.*}}* @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
-// CHECK-LL-NEXT:  %52 = bitcast i8* %51 to %class.test1_D*
-// CHECK-LL-NEXT:  br label %54
-// CHECK-LL:       ; <label>:53
-// CHECK-LL-NEXT:  br label %54
-// CHECK-LL:       ; <label>:54
-// CHECK-LL-NEXT:  %55 = phi %class.test1_D* [ %52, %50 ], [ null, %53 ]
-// CHECK-LL-NEXT:  store %class.test1_D* %55, %class.test1_D** %dp
-// CHECK-LL-NEXT:  %tmp86 = load %class.test1_D** %dp
-// CHECK-LL-NEXT:  %cmp87 = icmp eq %class.test1_D* %tmp86, null
-// CHECK-LL-NEXT:  br i1 %cmp87, label %if.then88, label %if.else90
-// CHECK-LL:       if.then88:
-// CHECK-LL-NEXT:  %call89 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 11)
-// CHECK-LL-NEXT:  br label %if.end92
-// CHECK-LL:       if.else90:
-// CHECK-LL-NEXT:  %call91 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 11)
-// CHECK-LL-NEXT:  br label %if.end92
-// CHECK-LL:       if.end92:
-// CHECK-LL-NEXT:  br i1 false, label %cast.null98, label %cast.notnull93
-// CHECK-LL:       cast.notnull93:
-// CHECK-LL-NEXT:  %vtable94 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
-// CHECK-LL-NEXT:  %vbase.offset.ptr95 = getelementptr i8* %vtable94, i64 -24
-// CHECK-LL-NEXT:  %56 = bitcast i8* %vbase.offset.ptr95 to i64*
-// CHECK-LL-NEXT:  %vbase.offset96 = load i64* %56
-// CHECK-LL-NEXT:  %add.ptr97 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset96
-// CHECK-LL-NEXT:  %57 = bitcast i8* %add.ptr97 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %cast.end99
-// CHECK-LL:       cast.null98:
-// CHECK-LL-NEXT:  br label %cast.end99
-// CHECK-LL:       cast.end99:
-// CHECK-LL-NEXT:  %58 = phi %class.test1_A* [ %57, %cast.notnull93 ], [ null, %cast.null98 ]
-// CHECK-LL-NEXT:  store %class.test1_A* %58, %class.test1_A** %ap
-// CHECK-LL-NEXT:  %tmp100 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  br i1 false, label %cast.null106, label %cast.notnull101
-// CHECK-LL:       cast.notnull101:
-// CHECK-LL-NEXT:  %vtable102 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
-// CHECK-LL-NEXT:  %vbase.offset.ptr103 = getelementptr i8* %vtable102, i64 -24
-// CHECK-LL-NEXT:  %59 = bitcast i8* %vbase.offset.ptr103 to i64*
-// CHECK-LL-NEXT:  %vbase.offset104 = load i64* %59
-// CHECK-LL-NEXT:  %add.ptr105 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset104
-// CHECK-LL-NEXT:  %60 = bitcast i8* %add.ptr105 to %class.test1_A*
-// CHECK-LL-NEXT:  br label %cast.end107
-// CHECK-LL:       cast.null106:
-// CHECK-LL-NEXT:  br label %cast.end107
-// CHECK-LL:       cast.end107:
-// CHECK-LL-NEXT:  %61 = phi %class.test1_A* [ %60, %cast.notnull101 ], [ null, %cast.null106 ]
-// CHECK-LL-NEXT:  %cmp108 = icmp eq %class.test1_A* %tmp100, %61
-// CHECK-LL-NEXT:  br i1 %cmp108, label %if.then109, label %if.else111
-// CHECK-LL:       if.then109:
-// CHECK-LL-NEXT:  %call110 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 12)
-// CHECK-LL-NEXT:  br label %if.end113
-// CHECK-LL:       if.else111:
-// CHECK-LL-NEXT:  %call112 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 12)
-// CHECK-LL-NEXT:  br label %if.end113
-// CHECK-LL:       if.end113:
-// CHECK-LL-NEXT:  br i1 false, label %cast.null116, label %cast.notnull115
-// CHECK-LL:       cast.notnull115:
-// CHECK-LL-NEXT:  br label %cast.end117
-// CHECK-LL:       cast.null116:
-// CHECK-LL-NEXT:  br label %cast.end117
-// CHECK-LL:       cast.end117:
-// CHECK-LL-NEXT:  %62 = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %cast.notnull115 ], [ null, %cast.null116 ]
-// CHECK-LL-NEXT:  store %class.test1_E* %62, %class.test1_E** %ep
-// CHECK-LL-NEXT:  %tmp118 = load %class.test1_E** %ep
-// CHECK-LL-NEXT:  br i1 false, label %cast.null120, label %cast.notnull119
-// CHECK-LL:       cast.notnull119:
-// CHECK-LL-NEXT:  br label %cast.end121
-// CHECK-LL:       cast.null120:
-// CHECK-LL-NEXT:  br label %cast.end121
-// CHECK-LL:       cast.end121:
-// CHECK-LL-NEXT:  %63 = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %cast.notnull119 ], [ null, %cast.null120 ]
-// CHECK-LL-NEXT:  %cmp122 = icmp eq %class.test1_E* %tmp118, %63
-// CHECK-LL-NEXT:  br i1 %cmp122, label %if.then123, label %if.else125
-// CHECK-LL:       if.then123:
-// CHECK-LL-NEXT:  %call124 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 13)
-// CHECK-LL-NEXT:  br label %if.end127
-// CHECK-LL:       if.else125:
-// CHECK-LL-NEXT:  %call126 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 13)
-// CHECK-LL-NEXT:  br label %if.end127
-// CHECK-LL:       if.end127:
-// CHECK-LL-NEXT:  %tmp129 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  %64 = icmp ne %class.test1_A* %tmp129, null
-// CHECK-LL-NEXT:  br i1 %64, label %65, label %70
-// CHECK-LL:       ; <label>:65
-// CHECK-LL-NEXT:  %66 = bitcast %class.test1_A* %tmp129 to i64**
-// CHECK-LL-NEXT:  %vtable130 = load i64** %66
-// CHECK-LL-NEXT:  %67 = getelementptr inbounds i64* %vtable130, i64 -2
-// CHECK-LL-NEXT:  %"offset to top" = load i64* %67
-// CHECK-LL-NEXT:  %68 = bitcast %class.test1_A* %tmp129 to i8*
-// CHECK-LL-NEXT:  %69 = getelementptr inbounds i8* %68, i64 %"offset to top"
-// CHECK-LL-NEXT:  br label %71
-// CHECK-LL:       ; <label>:70
-// CHECK-LL-NEXT:  br label %71
-// CHECK-LL:       ; <label>:71
-// CHECK-LL-NEXT:  %72 = phi i8* [ %69, %65 ], [ null, %70 ]
-// CHECK-LL-NEXT:  store i8* %72, i8** %vp
-// CHECK-LL-NEXT:  %tmp131 = load i8** %vp
-// CHECK-LL-NEXT:  %cmp132 = icmp eq i8* %tmp131, getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
-// CHECK-LL-NEXT:  br i1 %cmp132, label %if.then133, label %if.else135
-// CHECK-LL:       if.then133:
-// CHECK-LL-NEXT:  %call134 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 14)
-// CHECK-LL-NEXT:  br label %if.end137
-// CHECK-LL:       if.else135:
-// CHECK-LL-NEXT:  %call136 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 14)
-// CHECK-LL-NEXT:  br label %if.end137
-// CHECK-LL:       if.end137:
-// CHECK-LL-NEXT:  %tmp139 = load %class.test1_A** %ap
-// CHECK-LL-NEXT:  %73 = icmp ne %class.test1_A* %tmp139, null
-// CHECK-LL-NEXT:  br i1 %73, label %74, label %79
-// CHECK-LL:       ; <label>:74
-// CHECK-LL-NEXT:  %75 = bitcast %class.test1_A* %tmp139 to i64**
-// CHECK-LL-NEXT:  %vtable140 = load i64** %75
-// CHECK-LL-NEXT:  %76 = getelementptr inbounds i64* %vtable140, i64 -2
-// CHECK-LL-NEXT:  %"offset to top141" = load i64* %76
-// CHECK-LL-NEXT:  %77 = bitcast %class.test1_A* %tmp139 to i8*
-// CHECK-LL-NEXT:  %78 = getelementptr inbounds i8* %77, i64 %"offset to top141"
-// CHECK-LL-NEXT:  br label %80
-// CHECK-LL:       ; <label>:79
-// CHECK-LL-NEXT:  br label %80
-// CHECK-LL:       ; <label>:80
-// CHECK-LL-NEXT:  %81 = phi i8* [ %78, %74 ], [ null, %79 ]
-// CHECK-LL-NEXT:  store i8* %81, i8** %cvp
-// CHECK-LL-NEXT:  %tmp142 = load i8** %cvp
-// CHECK-LL-NEXT:  %cmp143 = icmp eq i8* %tmp142, getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
-// CHECK-LL-NEXT:  br i1 %cmp143, label %if.then144, label %if.else146
-// CHECK-LL:       if.then144:
-// CHECK-LL-NEXT:  %call145 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 15)
-// CHECK-LL-NEXT:  br label %if.end148
-// CHECK-LL:       if.else146:
-// CHECK-LL-NEXT:  %call147 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 15)
-// CHECK-LL-NEXT:  br label %if.end148
-// CHECK-LL:       if.end148:
+// CHECK-LL:       [[bp:%.*]] = alloca %class.test1_A*, align 8
+// CHECK-LL-NEXT:  [[ap:%.*]] = alloca %class.test1_A*, align 8
+// CHECK-LL-NEXT:  [[dp:%.*]] = alloca %class.test1_D*, align 8
+// CHECK-LL-NEXT:  [[ap37:%.*]] = alloca %class.test1_A*, align 8
+// CHECK-LL-NEXT:  [[dp53:%.*]] = alloca %class.test1_D*, align 8
+// CHECK-LL-NEXT:  [[ep1:%.*]] = alloca %class.test1_E*, align 8
+// CHECK-LL-NEXT:  [[cdp:%.*]] = alloca %class.test1_D*, align 8
+// CHECK-LL-NEXT:  [[ep:%.*]] = alloca %class.test1_E*, align 8
+// CHECK-LL-NEXT:  [[vp:%.*]] = alloca i8*, align 8
+// CHECK-LL-NEXT:  [[cvp:%.*]] = alloca i8*, align 8
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull:.*]], label %[[castnotnull:.*]]
+// CHECK-LL:       [[castnotnull]]
+// CHECK-LL-NEXT:  br label %[[castend:.*]]
+// CHECK-LL:       [[castnull]]
+// CHECK-LL-NEXT:  br label %[[castend]]
+// CHECK-LL:       [[castend]]
+// CHECK-LL-NEXT:  [[v0:%.*]] = phi %class.test1_A* [ bitcast (%class.test1_D* @test1_d to %class.test1_A*), %[[castnotnull]] ], [ null, %[[castnull]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v0]], %class.test1_A** [[bp]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull2:.*]], label %[[castnotnull1:.*]]
+// CHECK-LL:       [[castnotnull1]]
+// CHECK-LL-NEXT:  [[vtable:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
+// CHECK-LL-NEXT:  [[vbaseoffsetptr:%.*]] = getelementptr i8* [[vtable]], i64 -24
+// CHECK-LL-NEXT:  [[v1:%.*]] = bitcast i8* [[vbaseoffsetptr]] to i64*
+// CHECK-LL-NEXT:  [[vbaseoffset:%.*]] = load i64* [[v1]]
+// CHECK-LL-NEXT:  [[addptr:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset:.*]]
+// CHECK-LL-NEXT:  [[v2:%.*]] = bitcast i8* [[addptr]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[castend3:.*]]
+// CHECK-LL:       [[castnull2]]
+// CHECK-LL-NEXT:  br label %[[castend3]]
+// CHECK-LL:       [[castend3]]
+// CHECK-LL-NEXT:  [[v3:%.*]] = phi %class.test1_A* [ [[v2]], %[[castnotnull1]] ], [ null, %[[castnull2]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v3]], %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[tmp:%.*]] = load %class.test1_A** [[bp]]
+// CHECK-LL-NEXT:  [[v4:%.*]] = icmp ne %class.test1_A* [[tmp]], null
+// CHECK-LL-NEXT:  br i1 [[v4]], label %[[v5:.*]], label %[[v9:.*]]
+// CHECK-LL:       ; <label>:[[v5]]
+// CHECK-LL-NEXT:  [[v6:%.*]] = bitcast %class.test1_A* [[tmp]] to i8*
+// 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) ; <i8*> [#uses=1]
+// CHECK-LL-NEXT:  [[v8:%.*]] = bitcast i8* [[v7]] to %class.test1_D*
+// CHECK-LL-NEXT:  br label %[[v10:.*]]
+// CHECK-LL:       ; <label>:[[v9]]
+// CHECK-LL-NEXT:  br label %[[v10]]
+// CHECK-LL:       ; <label>:[[v10]]
+// CHECK-LL-NEXT:  [[v11:%.*]] = phi %class.test1_D* [ [[v8]], %[[v5]] ], [ null, %[[v9]] ]
+// CHECK-LL-NEXT:  store %class.test1_D* [[v11]], %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[tmp4:%.*]] = load %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[cmp:%.*]] = icmp eq %class.test1_D* [[tmp4]], null
+// CHECK-LL-NEXT:  br i1 [[cmp]], label %[[ifthen:.*]], label %[[ifelse:.*]]
+// CHECK-LL:       [[ifthen]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 1)
+// CHECK-LL-NEXT:  br label %[[ifend:.*]]
+// CHECK-LL:       [[ifelse]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 1)
+// CHECK-LL-NEXT:  br label %[[ifend]]
+// CHECK-LL:       [[ifend]]
+// CHECK-LL-NEXT:  [[tmp6:%.*]] = load %class.test1_A** [[bp]]
+// CHECK-LL-NEXT:  [[v12:%.*]] = icmp ne %class.test1_A* [[tmp6]], null
+// CHECK-LL-NEXT:  br i1 [[v12]], label %[[v13:.*]], label %[[v17:.*]]
+// CHECK-LL:       ; <label>:[[v13]]
+// CHECK-LL-NEXT:  [[v14:%.*]] = bitcast %class.test1_A* [[tmp6]] to i8*
+// CHECK-LL-NEXT:  [[v15:%.*]] = call i8* @__dynamic_cast(i8* [[v14]], i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i64 -1)
+// CHECK-LL-NEXT:  [[v16:%.*]] = bitcast i8* [[v15]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[v18:.*]]
+// CHECK-LL:       ; <label>:[[v17]]
+// CHECK-LL-NEXT:  br label %[[v18]]
+// CHECK-LL:       ; <label>:[[v18]]
+// CHECK-LL-NEXT:  [[v19:%.*]] = phi %class.test1_A* [ [[v16]], %[[v13]] ], [ null, %[[v17]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v19]], %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[tmp7:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[cmp8:%.*]] = icmp eq %class.test1_A* [[tmp7]], null
+// CHECK-LL-NEXT:  br i1 [[cmp8]], label %[[ifthen9:.*]], label %[[ifelse11:.*]]
+// CHECK-LL:       [[ifthen9]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 2)
+// CHECK-LL-NEXT:  br label %[[ifend13:.*]]
+// CHECK-LL:       [[ifelse11]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 2)
+// CHECK-LL-NEXT:  br label %[[ifend13]]
+// CHECK-LL:       [[ifend13]]
+// CHECK-LL-NEXT:  [[tmp14:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[v20:%.*]] = icmp ne %class.test1_A* [[tmp14]], null
+// CHECK-LL-NEXT:  br i1 [[v20]], label %[[v21:.*]], label %[[v25:.*]]
+// CHECK-LL:       ; <label>:[[v21]]
+// CHECK-LL-NEXT:  [[v22:%.*]] = bitcast %class.test1_A* [[tmp14]] to i8*
+// CHECK-LL-NEXT:  [[v23:%.*]] = call i8* @__dynamic_cast({{.*}} [[v22]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_B to i8*), i64 -1)
+// CHECK-LL-NEXT:  [[v24:%.*]] = bitcast i8* [[v23]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[v26:.*]]
+// CHECK-LL:       ; <label>:[[v25]]
+// CHECK-LL-NEXT:  br label %[[v26]]
+// CHECK-LL:       ; <label>:[[v26]]
+// CHECK-LL-NEXT:  [[v27:%.*]] = phi %class.test1_A* [ [[v24]], %[[v21]] ], [ null, %[[v25]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v27]], %class.test1_A** [[bp]]
+// CHECK-LL-NEXT:  [[tmp15:%.*]] = load %class.test1_A** [[bp]]
+// CHECK-LL-NEXT:  [[cmp16:%.*]] = icmp eq %class.test1_A* [[tmp15]], null
+// CHECK-LL-NEXT:  br i1 [[cmp16]], label %[[ifthen17:.*]], label %[[ifelse19:.*]]
+// CHECK-LL:       [[ifthen17]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 3)
+// CHECK-LL-NEXT:  br label %[[ifend21:.*]]
+// CHECK-LL:       [[ifelse19]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 3)
+// CHECK-LL-NEXT:  br label %[[ifend21]]
+// CHECK-LL:       [[ifend21]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull27:.*]], label %[[castnotnull22:.*]]
+// CHECK-LL:       [[castnotnull22]]
+// CHECK-LL-NEXT:  [[vtable23:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
+// CHECK-LL-NEXT:  [[vbaseoffsetptr24:%.*]] = getelementptr i8* [[vtable23]], i64 -24
+// CHECK-LL-NEXT:  [[v28:%.*]] = bitcast i8* [[vbaseoffsetptr24]] to i64*
+// CHECK-LL-NEXT:  [[vbaseoffset25:%.*]] = load i64* [[v28]]
+// CHECK-LL-NEXT:  [[addptr26:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset25]]
+// CHECK-LL-NEXT:  [[v29:%.*]] = bitcast i8* [[addptr26]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[castend28:.*]]
+// CHECK-LL:       [[castnull27]]
+// CHECK-LL-NEXT:  br label %[[castend28]]
+// CHECK-LL:       [[castend28]]
+// CHECK-LL-NEXT:  [[v30:%.*]] = phi %class.test1_A* [ [[v29]], %[[castnotnull22]] ], [ null, %[[castnull27]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v30]], %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[tmp29:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[cmp30:%.*]] = icmp ne %class.test1_A* [[tmp29]], null
+// CHECK-LL-NEXT:  br i1 [[cmp30]], label %[[ifthen31:.*]], label %[[ifelse33:.*]]
+// CHECK-LL:       [[ifthen31]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 4)
+// CHECK-LL-NEXT:  br label %[[ifend35:.*]]
+// CHECK-LL:       [[ifelse33]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 4)
+// CHECK-LL-NEXT:  br label %[[ifend35]]
+// CHECK-LL:       [[ifend35]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull43:.*]], label %[[castnotnull38:.*]]
+// CHECK-LL:       [[castnotnull38]]
+// CHECK-LL-NEXT:  [[vtable39:%.*]] = load i8** bitcast (%class.test1_F* @test1_f to i8**)
+// CHECK-LL-NEXT:  [[vbaseoffsetptr40:%.*]] = getelementptr i8* [[vtable39]], i64 -24
+// CHECK-LL-NEXT:  [[v31:%.*]] = bitcast i8* [[vbaseoffsetptr40]] to i64*
+// CHECK-LL-NEXT:  [[vbaseoffset41:%.*]] = load i64* [[v31]]
+// CHECK-LL-NEXT:  [[addptr42:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_F* @test1_f, i32 0, i32 0, i32 0), i64 [[vbaseoffset41]]
+// CHECK-LL-NEXT:  [[v32:%.*]] = bitcast i8* [[addptr42]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[castend44:.*]]
+// CHECK-LL:       [[castnull43]]
+// CHECK-LL-NEXT:  br label %[[castend44]]
+// CHECK-LL:       [[castend44]]
+// CHECK-LL-NEXT:  [[v33:%.*]] = phi %class.test1_A* [ [[v32]], %[[castnotnull38]] ], [ null, %[[castnull43]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v33]], %class.test1_A** [[ap37]]
+// CHECK-LL-NEXT:  [[tmp45:%.*]] = load %class.test1_A** [[ap37]]
+// CHECK-LL-NEXT:  [[cmp46:%.*]] = icmp ne %class.test1_A* [[tmp45]], null
+// CHECK-LL-NEXT:  br i1 [[cmp46]], label %[[ifthen47:.*]], label %[[ifelse49:.*]]
+// CHECK-LL:       [[ifthen47]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 6)
+// CHECK-LL-NEXT:  br label %[[ifend51:.*]]
+// CHECK-LL:       [[ifelse49]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 6)
+// CHECK-LL-NEXT:  br label %[[ifend51]]
+// CHECK-LL:       [[ifend51]]
+// CHECK-LL-NEXT:  [[tmp54:%.*]] = load %class.test1_A** [[ap37]]
+// CHECK-LL-NEXT:  [[v34:%.*]] = icmp ne %class.test1_A* [[tmp54]], null
+// CHECK-LL-NEXT:  br i1 [[v34]], label %[[v35:.*]], label %[[v39:.*]]
+// CHECK-LL:       ; <label>:[[v35]]
+// CHECK-LL-NEXT:  [[v36:%.*]] = bitcast %class.test1_A* [[tmp54]] to i8*
+// CHECK-LL-NEXT:  [[v37:%.*]] = call i8* @__dynamic_cast(i8* [[v36]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
+// CHECK-LL-NEXT:  [[v38:%.*]] = bitcast i8* [[v37]] to %class.test1_D*
+// CHECK-LL-NEXT:  br label %[[v40:.*]]
+// CHECK-LL:       ; <label>:[[v39]]
+// CHECK-LL-NEXT:  br label %[[v40]]
+// CHECK-LL:       ; <label>:[[v40]]
+// CHECK-LL-NEXT:  [[v41:%.*]] = phi %class.test1_D* [ [[v38]], %[[v35]] ], [ null, %[[v39]] ]
+// CHECK-LL-NEXT:  store %class.test1_D* [[v41]], %class.test1_D** [[dp53]]
+// CHECK-LL-NEXT:  [[tmp55:%.*]] = load %class.test1_D** [[dp53]]
+// CHECK-LL-NEXT:  [[cmp56:%.*]] = icmp eq %class.test1_D* [[tmp55]], null
+// CHECK-LL-NEXT:  br i1 [[cmp56]], label %[[ifthen57:.*]], label %[[ifelse59:.*]]
+// CHECK-LL:       [[ifthen57]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 7)
+// CHECK-LL-NEXT:  br label %[[ifend61:.*]]
+// CHECK-LL:       [[ifelse59]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 7)
+// CHECK-LL-NEXT:  br label %[[ifend61]]
+// CHECK-LL:       [[ifend61]]
+// CHECK-LL-NEXT:  [[tmp63:%.*]] = load %class.test1_A** [[ap37]]
+// CHECK-LL-NEXT:  [[v42:%.*]] = icmp ne %class.test1_A* [[tmp63]], null
+// CHECK-LL-NEXT:  br i1 [[v42]], label %[[v43:.*]], label %[[v47:.*]]
+// CHECK-LL:       ; <label>:[[v43]]
+// CHECK-LL-NEXT:  [[v44:%.*]] = bitcast %class.test1_A* [[tmp63]] to i8*
+// CHECK-LL-NEXT:  [[v45:%.*]] = call i8* @__dynamic_cast(i8* [[v44]], i8* bitcast ({{.*}} @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_E to i8*), i64 -1)
+// CHECK-LL-NEXT:  [[v46:%.*]] = bitcast i8* [[v45]] to %class.test1_E*
+// CHECK-LL-NEXT:  br label %[[v48:.*]]
+// CHECK-LL:       ; <label>:[[v47]]
+// CHECK-LL-NEXT:  br label %[[v48]]
+// CHECK-LL:       ; <label>:[[v48]]
+// CHECK-LL-NEXT:  [[v49:%.*]] = phi %class.test1_E* [ [[v46]], %[[v43]] ], [ null, %[[v47]] ]
+// CHECK-LL-NEXT:  store %class.test1_E* [[v49]], %class.test1_E** [[ep1]]
+// CHECK-LL-NEXT:  [[tmp64:%.*]] = load %class.test1_E** [[ep1]]
+// CHECK-LL-NEXT:  [[cmp65:%.*]] = icmp ne %class.test1_E* [[tmp64]], null
+// CHECK-LL-NEXT:  br i1 [[cmp65]], label %[[ifthen66:.*]], label %[[ifelse68:.*]]
+// CHECK-LL:       [[ifthen66]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 8)
+// CHECK-LL-NEXT:  br label %[[ifend70:.*]]
+// CHECK-LL:       [[ifelse68]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 8)
+// CHECK-LL-NEXT:  br label %[[ifend70]]
+// CHECK-LL:       [[ifend70]]
+// CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[tmp71:%.*]] = load %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[cmp72:%.*]] = icmp eq %class.test1_D* [[tmp71]], @test1_d
+// CHECK-LL-NEXT:  br i1 [[cmp72]], label %[[ifthen73:.*]], label %[[ifelse75:.*]]
+// CHECK-LL:       [[ifthen73]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 9)
+// CHECK-LL-NEXT:  br label %[[ifend77:.*]]
+// CHECK-LL:       [[ifelse75]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 9)
+// CHECK-LL-NEXT:  br label %[[ifend77]]
+// CHECK-LL:       [[ifend77]]
+// CHECK-LL-NEXT:  store %class.test1_D* @test1_d, %class.test1_D** [[cdp]]
+// CHECK-LL-NEXT:  [[tmp79:%.*]] = load %class.test1_D** [[cdp]]
+// CHECK-LL-NEXT:  [[cmp80:%.*]] = icmp eq %class.test1_D* [[tmp79]], @test1_d
+// CHECK-LL-NEXT:  br i1 [[cmp80]], label %[[ifthen81:.*]], label %[[ifelse83:.*]]
+// CHECK-LL:       [[ifthen81]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 10)
+// CHECK-LL-NEXT:  br label %[[ifend85:.*]]
+// CHECK-LL:       [[ifelse83]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 10)
+// CHECK-LL-NEXT:  br label %[[ifend85]]
+// CHECK-LL:       [[ifend85]]
+// CHECK-LL-NEXT:  br i1 false, label %[[v50:.*]], label %[[v53:.*]]
+// CHECK-LL:       ; <label>:[[v50]]
+// CHECK-LL-NEXT:  [[v51:%.*]] = call i8* @__dynamic_cast(i8* null, i8* bitcast ({{.*}}* @_ZTI7test1_A to i8*), i8* bitcast ({{.*}} @_ZTI7test1_D to i8*), i64 -1)
+// CHECK-LL-NEXT:  [[v52:%.*]] = bitcast i8* [[v51]] to %class.test1_D*
+// CHECK-LL-NEXT:  br label %[[v54:.*]]
+// CHECK-LL:       ; <label>:[[v53]]
+// CHECK-LL-NEXT:  br label %[[v54]]
+// CHECK-LL:       ; <label>:[[v54]]
+// CHECK-LL-NEXT:  [[v55:%.*]] = phi %class.test1_D* [ [[v52]], %[[v50]] ], [ null, %[[v53]] ]
+// CHECK-LL-NEXT:  store %class.test1_D* [[v55]], %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[tmp86:%.*]] = load %class.test1_D** [[dp]]
+// CHECK-LL-NEXT:  [[cmp87:%.*]] = icmp eq %class.test1_D* [[tmp86]], null
+// CHECK-LL-NEXT:  br i1 [[cmp87]], label %[[ifthen88:.*]], label %[[ifelse90:.*]]
+// CHECK-LL:       [[ifthen88]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 11)
+// CHECK-LL-NEXT:  br label %[[ifend92:.*]]
+// CHECK-LL:       [[ifelse90]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 11)
+// CHECK-LL-NEXT:  br label %[[ifend92]]
+// CHECK-LL:       [[ifend92]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull98:.*]], label %[[castnotnull93:.*]]
+// CHECK-LL:       [[castnotnull93]]
+// CHECK-LL-NEXT:  [[vtable94:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
+// CHECK-LL-NEXT:  [[vbaseoffsetptr95:%.*]] = getelementptr i8* [[vtable94]], i64 -24
+// CHECK-LL-NEXT:  [[v56:%.*]] = bitcast i8* [[vbaseoffsetptr95]] to i64*
+// CHECK-LL-NEXT:  [[vbaseoffset96:%.*]] = load i64* [[v56]]
+// CHECK-LL-NEXT:  [[addptr97:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset96]]
+// CHECK-LL-NEXT:  [[v57:%.*]] = bitcast i8* [[addptr97]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[castend99:.*]]
+// CHECK-LL:       [[castnull98]]
+// CHECK-LL-NEXT:  br label %[[castend99]]
+// CHECK-LL:       [[castend99]]
+// CHECK-LL-NEXT:  [[v58:%.*]] = phi %class.test1_A* [ [[v57]], %[[castnotnull93]] ], [ null, %[[castnull98]] ]
+// CHECK-LL-NEXT:  store %class.test1_A* [[v58]], %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[tmp100:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull106:.*]], label %[[castnotnull101:.*]]
+// CHECK-LL:       [[castnotnull101]]
+// CHECK-LL-NEXT:  [[vtable102:%.*]] = load i8** bitcast (%class.test1_D* @test1_d to i8**)
+// CHECK-LL-NEXT:  [[vbaseoffsetptr103:%.*]] = getelementptr i8* [[vtable102]], i64 -24
+// CHECK-LL-NEXT:  [[v59:%.*]] = bitcast i8* [[vbaseoffsetptr103]] to i64*
+// CHECK-LL-NEXT:  [[vbaseoffset104:%.*]] = load i64* [[v59]]
+// CHECK-LL-NEXT:  [[addptr105:%.*]] = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 [[vbaseoffset104]]
+// CHECK-LL-NEXT:  [[v60:%.*]] = bitcast i8* [[addptr105]] to %class.test1_A*
+// CHECK-LL-NEXT:  br label %[[castend107:.*]]
+// CHECK-LL:       [[castnull106]]
+// CHECK-LL-NEXT:  br label %[[castend107]]
+// CHECK-LL:       [[castend107]]
+// CHECK-LL-NEXT:  [[v61:%.*]] = phi %class.test1_A* [ [[v60]], %[[castnotnull101]] ], [ null, %[[castnull106]] ]
+// CHECK-LL-NEXT:  [[cmp108:%.*]] = icmp eq %class.test1_A* [[tmp100]], [[v61]]
+// CHECK-LL-NEXT:  br i1 [[cmp108]], label %[[ifthen109:.*]], label %[[ifelse111:.*]]
+// CHECK-LL:       [[ifthen109]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 12)
+// CHECK-LL-NEXT:  br label %[[ifend113:.*]]
+// CHECK-LL:       [[ifelse111]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 12)
+// CHECK-LL-NEXT:  br label %[[ifend113]]
+// CHECK-LL:       [[ifend113]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull116:.*]], label %[[castnotnull115:.*]]
+// CHECK-LL:       [[castnotnull115]]
+// CHECK-LL-NEXT:  br label %[[castend117:.*]]
+// CHECK-LL:       [[castnull116]]
+// CHECK-LL-NEXT:  br label %[[castend117]]
+// CHECK-LL:       [[castend117]]
+// CHECK-LL-NEXT:  [[v62:%.*]] = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %[[castnotnull115]] ], [ null, %[[castnull116]] ]
+// CHECK-LL-NEXT:  store %class.test1_E* [[v62]], %class.test1_E** [[ep]]
+// CHECK-LL-NEXT:  [[tmp118:%.*]] = load %class.test1_E** [[ep]]
+// CHECK-LL-NEXT:  br i1 false, label %[[castnull120:.*]], label %[[castnotnull119:.*]]
+// CHECK-LL:       [[castnotnull119]]
+// CHECK-LL-NEXT:  br label %[[castend121:.*]]
+// CHECK-LL:       [[castnull120]]
+// CHECK-LL-NEXT:  br label %[[castend121]]
+// CHECK-LL:       [[castend121]]
+// CHECK-LL-NEXT:  [[v63:%.*]] = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %[[castnotnull119]] ], [ null, %[[castnull120]] ]
+// CHECK-LL-NEXT:  [[cmp122:%.*]] = icmp eq %class.test1_E* [[tmp118]], [[v63]]
+// CHECK-LL-NEXT:  br i1 [[cmp122]], label %[[ifthen123:.*]], label %[[ifelse125:.*]]
+// CHECK-LL:       [[ifthen123]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 13)
+// CHECK-LL-NEXT:  br label %[[ifend127:.*]]
+// CHECK-LL:       [[ifelse125]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 13)
+// CHECK-LL-NEXT:  br label %[[ifend127]]
+// CHECK-LL:       [[ifend127]]
+// CHECK-LL-NEXT:  [[tmp129:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[v64:%.*]] = icmp ne %class.test1_A* [[tmp129]], null
+// CHECK-LL-NEXT:  br i1 [[v64]], label %[[v65:.*]], label %[[v70:.*]]
+// CHECK-LL:       ; <label>:[[v65]]
+// CHECK-LL-NEXT:  [[v66:%.*]] = bitcast %class.test1_A* [[tmp129]] to i64**
+// CHECK-LL-NEXT:  [[vtable130:%.*]] = load i64** [[v66]]
+// CHECK-LL-NEXT:  [[v67:%.*]] = getelementptr inbounds i64* [[vtable130]], i64 -2
+// CHECK-LL-NEXT:  [[offsettotop:%.*]] = load i64* [[v67]]
+// CHECK-LL-NEXT:  [[v68:%.*]] = bitcast %class.test1_A* [[tmp129]] to i8*
+// CHECK-LL-NEXT:  [[v69:%.*]] = getelementptr inbounds i8* [[v68]], i64 [[offsettotop]]
+// CHECK-LL-NEXT:  br label %[[v71:.*]]
+// CHECK-LL:       ; <label>:[[v70]]
+// CHECK-LL-NEXT:  br label %[[v71]]
+// CHECK-LL:       ; <label>:[[v71]]
+// CHECK-LL-NEXT:  [[v72:%.*]] = phi i8* [ [[v69]], %[[v65]] ], [ null, %[[v70]] ]
+// CHECK-LL-NEXT:  store i8* [[v72]], i8** [[vp]]
+// CHECK-LL-NEXT:  [[tmp131:%.*]] = load i8** [[vp]]
+// CHECK-LL-NEXT:  [[cmp132:%.*]] = icmp eq i8* [[tmp131]], getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
+// CHECK-LL-NEXT:  br i1 [[cmp132]], label %[[ifthen133:.*]], label %[[ifelse135:.*]]
+// CHECK-LL:       [[ifthen133]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 14)
+// CHECK-LL-NEXT:  br label %[[ifend137:.*]]
+// CHECK-LL:       [[ifelse135]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 14)
+// CHECK-LL-NEXT:  br label %[[ifend137]]
+// CHECK-LL:       [[ifend137]]
+// CHECK-LL-NEXT:  [[tmp139:%.*]] = load %class.test1_A** [[ap]]
+// CHECK-LL-NEXT:  [[v73:%.*]] = icmp ne %class.test1_A* [[tmp139]], null
+// CHECK-LL-NEXT:  br i1 [[v73]], label %[[v74:.*]], label %[[v79:.*]]
+// CHECK-LL:       ; <label>:[[v74]]
+// CHECK-LL-NEXT:  [[v75:%.*]] = bitcast %class.test1_A* [[tmp139]] to i64**
+// CHECK-LL-NEXT:  [[vtable140:%.*]] = load i64** [[v75]]
+// CHECK-LL-NEXT:  [[v76:%.*]] = getelementptr inbounds i64* [[vtable140]], i64 -2
+// CHECK-LL-NEXT:  [[offsettotop141:%.*]] = load i64* [[v76]]
+// CHECK-LL-NEXT:  [[v77:%.*]] = bitcast %class.test1_A* [[tmp139]] to i8*
+// CHECK-LL-NEXT:  [[v78:%.*]] = getelementptr inbounds i8* [[v77]], i64 [[offsettotop141]]
+// CHECK-LL-NEXT:  br label %[[v80:.*]]
+// CHECK-LL:       ; <label>:[[v79]]
+// CHECK-LL-NEXT:  br label %[[v80]]
+// CHECK-LL:       ; <label>:[[v80]]
+// CHECK-LL-NEXT:  [[v81:%.*]] = phi i8* [ [[v78]], %[[v74]] ], [ null, %[[v79]] ]
+// CHECK-LL-NEXT:  store i8* [[v81]], i8** [[cvp]]
+// CHECK-LL-NEXT:  [[tmp142:%.*]] = load i8** [[cvp]]
+// CHECK-LL-NEXT:  [[cmp143:%.*]] = icmp eq i8* [[tmp142]], getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
+// CHECK-LL-NEXT:  br i1 [[cmp143]], label %[[ifthen144:.*]], label %[[ifelse146:.*]]
+// CHECK-LL:       [[ifthen144]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 15)
+// CHECK-LL-NEXT:  br label %[[ifend148:.*]]
+// CHECK-LL:       [[ifelse146]]
+// CHECK-LL-NEXT:  call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 15)
+// CHECK-LL-NEXT:  br label %[[ifend148]]
+// CHECK-LL:       [[ifend148]]
 // CHECK-LL-NEXT:  ret void