Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 39f36e37f53bfec22a4bc2a594f2dd314395c86c / . / test / CodeGenCXX / dyncast.cpp
blob: 0c46d0e61f4ba6ad40533565912fcf6d84a44c4e [file] [log] [blame]
Mike Stump39f36e32009-11-16 23:36:30 +0000[diff] [blame^]1// RUN: clang-cc -I%S -triple x86_64-apple-darwin -std=c++0x -emit-llvm %s -o %t.ll
2// RUN: FileCheck -check-prefix LL --input-file=%t.ll %s
3
4#include <typeinfo>
5
6class test1_A { virtual void f() { } };
7class test1_B { virtual void g() { } };
8class test1_D : public virtual test1_A, private test1_B {};
9class test1_E : public test1_D, public test1_B {};
10class test1_F : public test1_E, public test1_D {};
11
12extern test1_D test1_d;
13extern test1_F test1_f;
14
15extern "C" int printf(const char *str...);
16
17#define S(V, N) if (V) printf("PASS: %d\n", N); else printf("FAIL: %d\n", N)
18
19void test1() {
20 test1_B* bp = (test1_B*)&test1_d;
21 test1_A* ap = &test1_d;
22 // This throws
23 // test1_D& dr = dynamic_cast<D&>(*bp);
24 test1_D* dp = dynamic_cast<test1_D*>(bp);
25 S(dp == 0, 1);
26 ap = dynamic_cast<test1_A*>(bp);
27 S(ap == 0, 2);
28 bp = dynamic_cast<test1_B*>(ap);
29 S(bp == 0, 3);
30 ap = dynamic_cast<test1_A*>(&test1_d);
31 S(ap != 0, 4);
32 // FIXME: Doesn't work yet, gcc fails this at comepile time
33 // bp = dynamic_cast<test1_B*>(&test1_d);
34 // S(bp == 0, 5);
35 {
36 test1_A* ap = &test1_f;
37 S(ap != 0, 6);
38 test1_D* dp = dynamic_cast<test1_D*>(ap);
39 S(dp == 0, 7);
40 // cast from virtual base
41 test1_E* ep1 = dynamic_cast<test1_E*>(ap);
42 S(ep1 != 0, 8);
43 }
44 dp = dynamic_cast<test1_D*>(&test1_d);
45 S(dp == &test1_d, 9);
46 const test1_D *cdp = dynamic_cast<const test1_D*>(&test1_d);
47 S(cdp == &test1_d, 10);
48 dp = dynamic_cast<test1_D*>((test1_A*)0);
49 S(dp == 0, 11);
50 ap = dynamic_cast<test1_A*>(&test1_d);
51 S(ap == (test1_A*)&test1_d, 12);
52 test1_E* ep = dynamic_cast<test1_E*>(&test1_f);
53 S(ep == (test1_E*)&test1_f, 13);
54 void *vp = dynamic_cast<void*>(ap);
55 S(vp == &test1_d, 14);
56 const void *cvp = dynamic_cast<const void*>(ap);
57 S(cvp == &test1_d, 15);
58}
59
60// CHECK-LL: define void @_Z5test1v() nounwind {
61// CHECK-LL-NEXT:entry:
62// CHECK-LL-NEXT: %bp = alloca %class.test1_A*, align 8
63// CHECK-LL-NEXT: %ap = alloca %class.test1_A*, align 8
64// CHECK-LL-NEXT: %dp = alloca %class.test1_D*, align 8
65// CHECK-LL-NEXT: %ap37 = alloca %class.test1_A*, align 8
66// CHECK-LL-NEXT: %dp53 = alloca %class.test1_D*, align 8
67// CHECK-LL-NEXT: %ep1 = alloca %class.test1_E*, align 8
68// CHECK-LL-NEXT: %cdp = alloca %class.test1_D*, align 8
69// CHECK-LL-NEXT: %ep = alloca %class.test1_E*, align 8
70// CHECK-LL-NEXT: %vp = alloca i8*, align 8
71// CHECK-LL-NEXT: %cvp = alloca i8*, align 8
72// CHECK-LL-NEXT: br i1 false, label %cast.null, label %cast.notnull
73// CHECK-LL: cast.notnull:
74// CHECK-LL-NEXT: br label %cast.end
75// CHECK-LL: cast.null:
76// CHECK-LL-NEXT: br label %cast.end
77// CHECK-LL: cast.end:
78// CHECK-LL-NEXT: %0 = phi %class.test1_A* [ bitcast (%class.test1_D* @test1_d to %class.test1_A*), %cast.notnull ], [ null, %cast.null ]
79// CHECK-LL-NEXT: store %class.test1_A* %0, %class.test1_A** %bp
80// CHECK-LL-NEXT: br i1 false, label %cast.null2, label %cast.notnull1
81// CHECK-LL: cast.notnull1:
82// CHECK-LL-NEXT: %vtable = load i8** bitcast (%class.test1_D* @test1_d to i8**)
83// CHECK-LL-NEXT: %vbase.offset.ptr = getelementptr i8* %vtable, i64 -24
84// CHECK-LL-NEXT: %1 = bitcast i8* %vbase.offset.ptr to i64*
85// CHECK-LL-NEXT: %vbase.offset = load i64* %1
86// CHECK-LL-NEXT: %add.ptr = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset
87// CHECK-LL-NEXT: %2 = bitcast i8* %add.ptr to %class.test1_A*
88// CHECK-LL-NEXT: br label %cast.end3
89// CHECK-LL: cast.null2:
90// CHECK-LL-NEXT: br label %cast.end3
91// CHECK-LL: cast.end3:
92// CHECK-LL-NEXT: %3 = phi %class.test1_A* [ %2, %cast.notnull1 ], [ null, %cast.null2 ]
93// CHECK-LL-NEXT: store %class.test1_A* %3, %class.test1_A** %ap
94// CHECK-LL-NEXT: %tmp = load %class.test1_A** %bp
95// CHECK-LL-NEXT: %4 = icmp ne %class.test1_A* %tmp, null
96// CHECK-LL-NEXT: br i1 %4, label %5, label %9
97// CHECK-LL: ; <label>:5
98// CHECK-LL-NEXT: %6 = bitcast %class.test1_A* %tmp to i8*
99// CHECK-LL-NEXT: %7 = call i8* @__dynamic_cast(i8* %6, i8* bitcast (i8** @_ZTI7test1_B to i8*), i8* bitcast (i8** @_ZTI7test1_D to i8*), i64 -1)
100// CHECK-LL-NEXT: %8 = bitcast i8* %7 to %class.test1_D*
101// CHECK-LL-NEXT: br label %10
102// CHECK-LL: ; <label>:9
103// CHECK-LL-NEXT: br label %10
104// CHECK-LL: ; <label>:10
105// CHECK-LL-NEXT: %11 = phi %class.test1_D* [ %8, %5 ], [ null, %9 ]
106// CHECK-LL-NEXT: store %class.test1_D* %11, %class.test1_D** %dp
107// CHECK-LL-NEXT: %tmp4 = load %class.test1_D** %dp
108// CHECK-LL-NEXT: %cmp = icmp eq %class.test1_D* %tmp4, null
109// CHECK-LL-NEXT: br i1 %cmp, label %if.then, label %if.else
110// CHECK-LL: if.then:
111// CHECK-LL-NEXT: %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 1)
112// CHECK-LL-NEXT: br label %if.end
113// CHECK-LL: if.else:
114// CHECK-LL-NEXT: %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 1)
115// CHECK-LL-NEXT: br label %if.end
116// CHECK-LL: if.end:
117// CHECK-LL-NEXT: %tmp6 = load %class.test1_A** %bp
118// CHECK-LL-NEXT: %12 = icmp ne %class.test1_A* %tmp6, null
119// CHECK-LL-NEXT: br i1 %12, label %13, label %17
120// CHECK-LL: ; <label>:13
121// CHECK-LL-NEXT: %14 = bitcast %class.test1_A* %tmp6 to i8*
122// CHECK-LL-NEXT: %15 = call i8* @__dynamic_cast(i8* %14, i8* bitcast (i8** @_ZTI7test1_B to i8*), i8* bitcast (i8** @_ZTI7test1_A to i8*), i64 -1)
123// CHECK-LL-NEXT: %16 = bitcast i8* %15 to %class.test1_A*
124// CHECK-LL-NEXT: br label %18
125// CHECK-LL: ; <label>:17
126// CHECK-LL-NEXT: br label %18
127// CHECK-LL: ; <label>:18
128// CHECK-LL-NEXT: %19 = phi %class.test1_A* [ %16, %13 ], [ null, %17 ]
129// CHECK-LL-NEXT: store %class.test1_A* %19, %class.test1_A** %ap
130// CHECK-LL-NEXT: %tmp7 = load %class.test1_A** %ap
131// CHECK-LL-NEXT: %cmp8 = icmp eq %class.test1_A* %tmp7, null
132// CHECK-LL-NEXT: br i1 %cmp8, label %if.then9, label %if.else11
133// CHECK-LL: if.then9:
134// CHECK-LL-NEXT: %call10 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 2)
135// CHECK-LL-NEXT: br label %if.end13
136// CHECK-LL: if.else11:
137// CHECK-LL-NEXT: %call12 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 2)
138// CHECK-LL-NEXT: br label %if.end13
139// CHECK-LL: if.end13:
140// CHECK-LL-NEXT: %tmp14 = load %class.test1_A** %ap
141// CHECK-LL-NEXT: %20 = icmp ne %class.test1_A* %tmp14, null
142// CHECK-LL-NEXT: br i1 %20, label %21, label %25
143// CHECK-LL: ; <label>:21
144// CHECK-LL-NEXT: %22 = bitcast %class.test1_A* %tmp14 to i8*
145// CHECK-LL-NEXT: %23 = call i8* @__dynamic_cast(i8* %22, i8* bitcast (i8** @_ZTI7test1_A to i8*), i8* bitcast (i8** @_ZTI7test1_B to i8*), i64 -1)
146// CHECK-LL-NEXT: %24 = bitcast i8* %23 to %class.test1_A*
147// CHECK-LL-NEXT: br label %26
148// CHECK-LL: ; <label>:25
149// CHECK-LL-NEXT: br label %26
150// CHECK-LL: ; <label>:26
151// CHECK-LL-NEXT: %27 = phi %class.test1_A* [ %24, %21 ], [ null, %25 ]
152// CHECK-LL-NEXT: store %class.test1_A* %27, %class.test1_A** %bp
153// CHECK-LL-NEXT: %tmp15 = load %class.test1_A** %bp
154// CHECK-LL-NEXT: %cmp16 = icmp eq %class.test1_A* %tmp15, null
155// CHECK-LL-NEXT: br i1 %cmp16, label %if.then17, label %if.else19
156// CHECK-LL: if.then17:
157// CHECK-LL-NEXT: %call18 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 3)
158// CHECK-LL-NEXT: br label %if.end21
159// CHECK-LL: if.else19:
160// CHECK-LL-NEXT: %call20 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 3)
161// CHECK-LL-NEXT: br label %if.end21
162// CHECK-LL: if.end21:
163// CHECK-LL-NEXT: br i1 false, label %cast.null27, label %cast.notnull22
164// CHECK-LL: cast.notnull22:
165// CHECK-LL-NEXT: %vtable23 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
166// CHECK-LL-NEXT: %vbase.offset.ptr24 = getelementptr i8* %vtable23, i64 -24
167// CHECK-LL-NEXT: %28 = bitcast i8* %vbase.offset.ptr24 to i64*
168// CHECK-LL-NEXT: %vbase.offset25 = load i64* %28
169// CHECK-LL-NEXT: %add.ptr26 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset25
170// CHECK-LL-NEXT: %29 = bitcast i8* %add.ptr26 to %class.test1_A*
171// CHECK-LL-NEXT: br label %cast.end28
172// CHECK-LL: cast.null27:
173// CHECK-LL-NEXT: br label %cast.end28
174// CHECK-LL: cast.end28:
175// CHECK-LL-NEXT: %30 = phi %class.test1_A* [ %29, %cast.notnull22 ], [ null, %cast.null27 ]
176// CHECK-LL-NEXT: store %class.test1_A* %30, %class.test1_A** %ap
177// CHECK-LL-NEXT: %tmp29 = load %class.test1_A** %ap
178// CHECK-LL-NEXT: %cmp30 = icmp ne %class.test1_A* %tmp29, null
179// CHECK-LL-NEXT: br i1 %cmp30, label %if.then31, label %if.else33
180// CHECK-LL: if.then31:
181// CHECK-LL-NEXT: %call32 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 4)
182// CHECK-LL-NEXT: br label %if.end35
183// CHECK-LL: if.else33:
184// CHECK-LL-NEXT: %call34 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 4)
185// CHECK-LL-NEXT: br label %if.end35
186// CHECK-LL: if.end35:
187// CHECK-LL-NEXT: br i1 false, label %cast.null43, label %cast.notnull38
188// CHECK-LL: cast.notnull38:
189// CHECK-LL-NEXT: %vtable39 = load i8** bitcast (%class.test1_F* @test1_f to i8**)
190// CHECK-LL-NEXT: %vbase.offset.ptr40 = getelementptr i8* %vtable39, i64 -24
191// CHECK-LL-NEXT: %31 = bitcast i8* %vbase.offset.ptr40 to i64*
192// CHECK-LL-NEXT: %vbase.offset41 = load i64* %31
193// CHECK-LL-NEXT: %add.ptr42 = getelementptr i8* getelementptr inbounds (%class.test1_F* @test1_f, i32 0, i32 0, i32 0), i64 %vbase.offset41
194// CHECK-LL-NEXT: %32 = bitcast i8* %add.ptr42 to %class.test1_A*
195// CHECK-LL-NEXT: br label %cast.end44
196// CHECK-LL: cast.null43:
197// CHECK-LL-NEXT: br label %cast.end44
198// CHECK-LL: cast.end44:
199// CHECK-LL-NEXT: %33 = phi %class.test1_A* [ %32, %cast.notnull38 ], [ null, %cast.null43 ]
200// CHECK-LL-NEXT: store %class.test1_A* %33, %class.test1_A** %ap37
201// CHECK-LL-NEXT: %tmp45 = load %class.test1_A** %ap37
202// CHECK-LL-NEXT: %cmp46 = icmp ne %class.test1_A* %tmp45, null
203// CHECK-LL-NEXT: br i1 %cmp46, label %if.then47, label %if.else49
204// CHECK-LL: if.then47:
205// CHECK-LL-NEXT: %call48 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 6)
206// CHECK-LL-NEXT: br label %if.end51
207// CHECK-LL: if.else49:
208// CHECK-LL-NEXT: %call50 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 6)
209// CHECK-LL-NEXT: br label %if.end51
210// CHECK-LL: if.end51:
211// CHECK-LL-NEXT: %tmp54 = load %class.test1_A** %ap37
212// CHECK-LL-NEXT: %34 = icmp ne %class.test1_A* %tmp54, null
213// CHECK-LL-NEXT: br i1 %34, label %35, label %39
214// CHECK-LL: ; <label>:35
215// CHECK-LL-NEXT: %36 = bitcast %class.test1_A* %tmp54 to i8*
216// CHECK-LL-NEXT: %37 = call i8* @__dynamic_cast(i8* %36, i8* bitcast (i8** @_ZTI7test1_A to i8*), i8* bitcast (i8** @_ZTI7test1_D to i8*), i64 -1)
217// CHECK-LL-NEXT: %38 = bitcast i8* %37 to %class.test1_D*
218// CHECK-LL-NEXT: br label %40
219// CHECK-LL: ; <label>:39
220// CHECK-LL-NEXT: br label %40
221// CHECK-LL: ; <label>:40
222// CHECK-LL-NEXT: %41 = phi %class.test1_D* [ %38, %35 ], [ null, %39 ]
223// CHECK-LL-NEXT: store %class.test1_D* %41, %class.test1_D** %dp53
224// CHECK-LL-NEXT: %tmp55 = load %class.test1_D** %dp53
225// CHECK-LL-NEXT: %cmp56 = icmp eq %class.test1_D* %tmp55, null
226// CHECK-LL-NEXT: br i1 %cmp56, label %if.then57, label %if.else59
227// CHECK-LL: if.then57:
228// CHECK-LL-NEXT: %call58 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 7)
229// CHECK-LL-NEXT: br label %if.end61
230// CHECK-LL: if.else59:
231// CHECK-LL-NEXT: %call60 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 7)
232// CHECK-LL-NEXT: br label %if.end61
233// CHECK-LL: if.end61:
234// CHECK-LL-NEXT: %tmp63 = load %class.test1_A** %ap37
235// CHECK-LL-NEXT: %42 = icmp ne %class.test1_A* %tmp63, null
236// CHECK-LL-NEXT: br i1 %42, label %43, label %47
237// CHECK-LL: ; <label>:43
238// CHECK-LL-NEXT: %44 = bitcast %class.test1_A* %tmp63 to i8*
239// CHECK-LL-NEXT: %45 = call i8* @__dynamic_cast(i8* %44, i8* bitcast (i8** @_ZTI7test1_A to i8*), i8* bitcast (i8** @_ZTI7test1_E to i8*), i64 -1)
240// CHECK-LL-NEXT: %46 = bitcast i8* %45 to %class.test1_E*
241// CHECK-LL-NEXT: br label %48
242// CHECK-LL: ; <label>:47
243// CHECK-LL-NEXT: br label %48
244// CHECK-LL: ; <label>:48
245// CHECK-LL-NEXT: %49 = phi %class.test1_E* [ %46, %43 ], [ null, %47 ]
246// CHECK-LL-NEXT: store %class.test1_E* %49, %class.test1_E** %ep1
247// CHECK-LL-NEXT: %tmp64 = load %class.test1_E** %ep1
248// CHECK-LL-NEXT: %cmp65 = icmp ne %class.test1_E* %tmp64, null
249// CHECK-LL-NEXT: br i1 %cmp65, label %if.then66, label %if.else68
250// CHECK-LL: if.then66:
251// CHECK-LL-NEXT: %call67 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 8)
252// CHECK-LL-NEXT: br label %if.end70
253// CHECK-LL: if.else68:
254// CHECK-LL-NEXT: %call69 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 8)
255// CHECK-LL-NEXT: br label %if.end70
256// CHECK-LL: if.end70:
257// CHECK-LL-NEXT: store %class.test1_D* @test1_d, %class.test1_D** %dp
258// CHECK-LL-NEXT: %tmp71 = load %class.test1_D** %dp
259// CHECK-LL-NEXT: %cmp72 = icmp eq %class.test1_D* %tmp71, @test1_d
260// CHECK-LL-NEXT: br i1 %cmp72, label %if.then73, label %if.else75
261// CHECK-LL: if.then73:
262// CHECK-LL-NEXT: %call74 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 9)
263// CHECK-LL-NEXT: br label %if.end77
264// CHECK-LL: if.else75:
265// CHECK-LL-NEXT: %call76 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 9)
266// CHECK-LL-NEXT: br label %if.end77
267// CHECK-LL: if.end77:
268// CHECK-LL-NEXT: store %class.test1_D* @test1_d, %class.test1_D** %cdp
269// CHECK-LL-NEXT: %tmp79 = load %class.test1_D** %cdp
270// CHECK-LL-NEXT: %cmp80 = icmp eq %class.test1_D* %tmp79, @test1_d
271// CHECK-LL-NEXT: br i1 %cmp80, label %if.then81, label %if.else83
272// CHECK-LL: if.then81:
273// CHECK-LL-NEXT: %call82 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 10)
274// CHECK-LL-NEXT: br label %if.end85
275// CHECK-LL: if.else83:
276// CHECK-LL-NEXT: %call84 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 10)
277// CHECK-LL-NEXT: br label %if.end85
278// CHECK-LL: if.end85:
279// CHECK-LL-NEXT: br i1 false, label %50, label %53
280// CHECK-LL: ; <label>:50
281// CHECK-LL-NEXT: %51 = call i8* @__dynamic_cast(i8* null, i8* bitcast (i8** @_ZTI7test1_A to i8*), i8* bitcast (i8** @_ZTI7test1_D to i8*), i64 -1)
282// CHECK-LL-NEXT: %52 = bitcast i8* %51 to %class.test1_D*
283// CHECK-LL-NEXT: br label %54
284// CHECK-LL: ; <label>:53
285// CHECK-LL-NEXT: br label %54
286// CHECK-LL: ; <label>:54
287// CHECK-LL-NEXT: %55 = phi %class.test1_D* [ %52, %50 ], [ null, %53 ]
288// CHECK-LL-NEXT: store %class.test1_D* %55, %class.test1_D** %dp
289// CHECK-LL-NEXT: %tmp86 = load %class.test1_D** %dp
290// CHECK-LL-NEXT: %cmp87 = icmp eq %class.test1_D* %tmp86, null
291// CHECK-LL-NEXT: br i1 %cmp87, label %if.then88, label %if.else90
292// CHECK-LL: if.then88:
293// CHECK-LL-NEXT: %call89 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 11)
294// CHECK-LL-NEXT: br label %if.end92
295// CHECK-LL: if.else90:
296// CHECK-LL-NEXT: %call91 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 11)
297// CHECK-LL-NEXT: br label %if.end92
298// CHECK-LL: if.end92:
299// CHECK-LL-NEXT: br i1 false, label %cast.null98, label %cast.notnull93
300// CHECK-LL: cast.notnull93:
301// CHECK-LL-NEXT: %vtable94 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
302// CHECK-LL-NEXT: %vbase.offset.ptr95 = getelementptr i8* %vtable94, i64 -24
303// CHECK-LL-NEXT: %56 = bitcast i8* %vbase.offset.ptr95 to i64*
304// CHECK-LL-NEXT: %vbase.offset96 = load i64* %56
305// CHECK-LL-NEXT: %add.ptr97 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset96
306// CHECK-LL-NEXT: %57 = bitcast i8* %add.ptr97 to %class.test1_A*
307// CHECK-LL-NEXT: br label %cast.end99
308// CHECK-LL: cast.null98:
309// CHECK-LL-NEXT: br label %cast.end99
310// CHECK-LL: cast.end99:
311// CHECK-LL-NEXT: %58 = phi %class.test1_A* [ %57, %cast.notnull93 ], [ null, %cast.null98 ]
312// CHECK-LL-NEXT: store %class.test1_A* %58, %class.test1_A** %ap
313// CHECK-LL-NEXT: %tmp100 = load %class.test1_A** %ap
314// CHECK-LL-NEXT: br i1 false, label %cast.null106, label %cast.notnull101
315// CHECK-LL: cast.notnull101:
316// CHECK-LL-NEXT: %vtable102 = load i8** bitcast (%class.test1_D* @test1_d to i8**)
317// CHECK-LL-NEXT: %vbase.offset.ptr103 = getelementptr i8* %vtable102, i64 -24
318// CHECK-LL-NEXT: %59 = bitcast i8* %vbase.offset.ptr103 to i64*
319// CHECK-LL-NEXT: %vbase.offset104 = load i64* %59
320// CHECK-LL-NEXT: %add.ptr105 = getelementptr i8* getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0), i64 %vbase.offset104
321// CHECK-LL-NEXT: %60 = bitcast i8* %add.ptr105 to %class.test1_A*
322// CHECK-LL-NEXT: br label %cast.end107
323// CHECK-LL: cast.null106:
324// CHECK-LL-NEXT: br label %cast.end107
325// CHECK-LL: cast.end107:
326// CHECK-LL-NEXT: %61 = phi %class.test1_A* [ %60, %cast.notnull101 ], [ null, %cast.null106 ]
327// CHECK-LL-NEXT: %cmp108 = icmp eq %class.test1_A* %tmp100, %61
328// CHECK-LL-NEXT: br i1 %cmp108, label %if.then109, label %if.else111
329// CHECK-LL: if.then109:
330// CHECK-LL-NEXT: %call110 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 12)
331// CHECK-LL-NEXT: br label %if.end113
332// CHECK-LL: if.else111:
333// CHECK-LL-NEXT: %call112 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 12)
334// CHECK-LL-NEXT: br label %if.end113
335// CHECK-LL: if.end113:
336// CHECK-LL-NEXT: br i1 false, label %cast.null116, label %cast.notnull115
337// CHECK-LL: cast.notnull115:
338// CHECK-LL-NEXT: br label %cast.end117
339// CHECK-LL: cast.null116:
340// CHECK-LL-NEXT: br label %cast.end117
341// CHECK-LL: cast.end117:
342// CHECK-LL-NEXT: %62 = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %cast.notnull115 ], [ null, %cast.null116 ]
343// CHECK-LL-NEXT: store %class.test1_E* %62, %class.test1_E** %ep
344// CHECK-LL-NEXT: %tmp118 = load %class.test1_E** %ep
345// CHECK-LL-NEXT: br i1 false, label %cast.null120, label %cast.notnull119
346// CHECK-LL: cast.notnull119:
347// CHECK-LL-NEXT: br label %cast.end121
348// CHECK-LL: cast.null120:
349// CHECK-LL-NEXT: br label %cast.end121
350// CHECK-LL: cast.end121:
351// CHECK-LL-NEXT: %63 = phi %class.test1_E* [ bitcast (%class.test1_F* @test1_f to %class.test1_E*), %cast.notnull119 ], [ null, %cast.null120 ]
352// CHECK-LL-NEXT: %cmp122 = icmp eq %class.test1_E* %tmp118, %63
353// CHECK-LL-NEXT: br i1 %cmp122, label %if.then123, label %if.else125
354// CHECK-LL: if.then123:
355// CHECK-LL-NEXT: %call124 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 13)
356// CHECK-LL-NEXT: br label %if.end127
357// CHECK-LL: if.else125:
358// CHECK-LL-NEXT: %call126 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 13)
359// CHECK-LL-NEXT: br label %if.end127
360// CHECK-LL: if.end127:
361// CHECK-LL-NEXT: %tmp129 = load %class.test1_A** %ap
362// CHECK-LL-NEXT: %64 = icmp ne %class.test1_A* %tmp129, null
363// CHECK-LL-NEXT: br i1 %64, label %65, label %70
364// CHECK-LL: ; <label>:65
365// CHECK-LL-NEXT: %66 = bitcast %class.test1_A* %tmp129 to i64**
366// CHECK-LL-NEXT: %vtable130 = load i64** %66
367// CHECK-LL-NEXT: %67 = getelementptr inbounds i64* %vtable130, i64 -2
368// CHECK-LL-NEXT: %"offset to top" = load i64* %67
369// CHECK-LL-NEXT: %68 = bitcast %class.test1_A* %tmp129 to i8*
370// CHECK-LL-NEXT: %69 = getelementptr inbounds i8* %68, i64 %"offset to top"
371// CHECK-LL-NEXT: br label %71
372// CHECK-LL: ; <label>:70
373// CHECK-LL-NEXT: br label %71
374// CHECK-LL: ; <label>:71
375// CHECK-LL-NEXT: %72 = phi i8* [ %69, %65 ], [ null, %70 ]
376// CHECK-LL-NEXT: store i8* %72, i8** %vp
377// CHECK-LL-NEXT: %tmp131 = load i8** %vp
378// CHECK-LL-NEXT: %cmp132 = icmp eq i8* %tmp131, getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
379// CHECK-LL-NEXT: br i1 %cmp132, label %if.then133, label %if.else135
380// CHECK-LL: if.then133:
381// CHECK-LL-NEXT: %call134 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 14)
382// CHECK-LL-NEXT: br label %if.end137
383// CHECK-LL: if.else135:
384// CHECK-LL-NEXT: %call136 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 14)
385// CHECK-LL-NEXT: br label %if.end137
386// CHECK-LL: if.end137:
387// CHECK-LL-NEXT: %tmp139 = load %class.test1_A** %ap
388// CHECK-LL-NEXT: %73 = icmp ne %class.test1_A* %tmp139, null
389// CHECK-LL-NEXT: br i1 %73, label %74, label %79
390// CHECK-LL: ; <label>:74
391// CHECK-LL-NEXT: %75 = bitcast %class.test1_A* %tmp139 to i64**
392// CHECK-LL-NEXT: %vtable140 = load i64** %75
393// CHECK-LL-NEXT: %76 = getelementptr inbounds i64* %vtable140, i64 -2
394// CHECK-LL-NEXT: %"offset to top141" = load i64* %76
395// CHECK-LL-NEXT: %77 = bitcast %class.test1_A* %tmp139 to i8*
396// CHECK-LL-NEXT: %78 = getelementptr inbounds i8* %77, i64 %"offset to top141"
397// CHECK-LL-NEXT: br label %80
398// CHECK-LL: ; <label>:79
399// CHECK-LL-NEXT: br label %80
400// CHECK-LL: ; <label>:80
401// CHECK-LL-NEXT: %81 = phi i8* [ %78, %74 ], [ null, %79 ]
402// CHECK-LL-NEXT: store i8* %81, i8** %cvp
403// CHECK-LL-NEXT: %tmp142 = load i8** %cvp
404// CHECK-LL-NEXT: %cmp143 = icmp eq i8* %tmp142, getelementptr inbounds (%class.test1_D* @test1_d, i32 0, i32 0, i32 0)
405// CHECK-LL-NEXT: br i1 %cmp143, label %if.then144, label %if.else146
406// CHECK-LL: if.then144:
407// CHECK-LL-NEXT: %call145 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str, i32 0, i32 0), i32 15)
408// CHECK-LL-NEXT: br label %if.end148
409// CHECK-LL: if.else146:
410// CHECK-LL-NEXT: %call147 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([10 x i8]* @.str1, i32 0, i32 0), i32 15)
411// CHECK-LL-NEXT: br label %if.end148
412// CHECK-LL: if.end148:
413// CHECK-LL-NEXT: ret void