[cfe-commits] r93493 - /cfe/trunk/test/CodeGenCXX/dyncast.cpp
Mike Stump
mrs at apple.com
Thu Jan 14 16:50:36 PST 2010
Author: mrs
Date: Thu Jan 14 18:50:35 2010
New Revision: 93493
URL: http://llvm.org/viewvc/llvm-project?rev=93493&view=rev
Log:
Fix Release-Asserts for the time being.
Modified:
cfe/trunk/test/CodeGenCXX/dyncast.cpp
Modified: cfe/trunk/test/CodeGenCXX/dyncast.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/dyncast.cpp?rev=93493&r1=93492&r2=93493&view=diff
==============================================================================
--- cfe/trunk/test/CodeGenCXX/dyncast.cpp (original)
+++ cfe/trunk/test/CodeGenCXX/dyncast.cpp Thu Jan 14 18:50:35 2010
@@ -59,356 +59,355 @@
}
// 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
More information about the cfe-commits
mailing list