diff options
Diffstat (limited to 'test/CodeGenCXX/dyncast.cpp')
| -rw-r--r-- | test/CodeGenCXX/dyncast.cpp | 703 |
1 files changed, 351 insertions, 352 deletions
diff --git a/test/CodeGenCXX/dyncast.cpp b/test/CodeGenCXX/dyncast.cpp index a2d116a..054b972 100644 --- 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 |
