1*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm -O1 -o - -fexceptions -triple=i386-pc-win32 %s | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li struct S { char a; };
4*67e74705SXin Li struct V { virtual void f(); };
5*67e74705SXin Li struct A : virtual V {};
6*67e74705SXin Li struct B : S, virtual V {};
7*67e74705SXin Li struct T {};
8*67e74705SXin Li
test0()9*67e74705SXin Li T* test0() { return dynamic_cast<T*>((B*)0); }
10*67e74705SXin Li // CHECK-LABEL: define noalias %struct.T* @"\01?test0@@YAPAUT@@XZ"()
11*67e74705SXin Li // CHECK: ret %struct.T* null
12*67e74705SXin Li
test1(V * x)13*67e74705SXin Li T* test1(V* x) { return &dynamic_cast<T&>(*x); }
14*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test1@@YAPAUT@@PAUV@@@Z"(%struct.V* %x)
15*67e74705SXin Li // CHECK: [[CAST:%.*]] = bitcast %struct.V* %x to i8*
16*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[CAST]], i32 0, i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUV@@@8" to i8*), i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 1)
17*67e74705SXin Li // CHECK-NEXT: [[RET:%.*]] = bitcast i8* [[CALL]] to %struct.T*
18*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
19*67e74705SXin Li
test2(A * x)20*67e74705SXin Li T* test2(A* x) { return &dynamic_cast<T&>(*x); }
21*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test2@@YAPAUT@@PAUA@@@Z"(%struct.A* %x)
22*67e74705SXin Li // CHECK: [[CAST:%.*]] = bitcast %struct.A* %x to i8*
23*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = getelementptr inbounds %struct.A, %struct.A* %x, i32 0, i32 0
24*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
25*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
26*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
27*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[CAST]], i32 [[VBOFFS]]
28*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[ADJ]], i32 [[VBOFFS]], i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8" to i8*), i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 1)
29*67e74705SXin Li // CHECK-NEXT: [[RET:%.*]] = bitcast i8* [[CALL]] to %struct.T*
30*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
31*67e74705SXin Li
test3(B * x)32*67e74705SXin Li T* test3(B* x) { return &dynamic_cast<T&>(*x); }
33*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test3@@YAPAUT@@PAUB@@@Z"(%struct.B* %x)
34*67e74705SXin Li // CHECK: [[VOIDP:%.*]] = getelementptr inbounds %struct.B, %struct.B* %x, i32 0, i32 0, i32 0
35*67e74705SXin Li // CHECK-NEXT: [[VBPTR:%.*]] = getelementptr inbounds i8, i8* [[VOIDP]], i32 4
36*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = bitcast i8* [[VBPTR:%.*]] to i32**
37*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
38*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
39*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
40*67e74705SXin Li // CHECK-NEXT: [[DELTA:%.*]] = add nsw i32 [[VBOFFS]], 4
41*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[VOIDP]], i32 [[DELTA]]
42*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[ADJ]], i32 [[DELTA]], i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8" to i8*), i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 1)
43*67e74705SXin Li // CHECK-NEXT: [[RET:%.*]] = bitcast i8* [[CALL]] to %struct.T*
44*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
45*67e74705SXin Li
test4(V * x)46*67e74705SXin Li T* test4(V* x) { return dynamic_cast<T*>(x); }
47*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test4@@YAPAUT@@PAUV@@@Z"(%struct.V* %x)
48*67e74705SXin Li // CHECK: [[CAST:%.*]] = bitcast %struct.V* %x to i8*
49*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[CAST]], i32 0, i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUV@@@8" to i8*), i8* bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 0)
50*67e74705SXin Li // CHECK-NEXT: [[RET:%.*]] = bitcast i8* [[CALL]] to %struct.T*
51*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
52*67e74705SXin Li
test5(A * x)53*67e74705SXin Li T* test5(A* x) { return dynamic_cast<T*>(x); }
54*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test5@@YAPAUT@@PAUA@@@Z"(%struct.A* %x)
55*67e74705SXin Li // CHECK: [[CHECK:%.*]] = icmp eq %struct.A* %x, null
56*67e74705SXin Li // CHECK-NEXT: br i1 [[CHECK]]
57*67e74705SXin Li // CHECK: [[VOIDP:%.*]] = bitcast %struct.A* %x to i8*
58*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = getelementptr inbounds %struct.A, %struct.A* %x, i32 0, i32 0
59*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
60*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
61*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
62*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[VOIDP]], i32 [[VBOFFS]]
63*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[ADJ]], i32 [[VBOFFS]], i8* {{.*}}bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUA@@@8" to i8*), i8* {{.*}}bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 0)
64*67e74705SXin Li // CHECK-NEXT: [[RES:%.*]] = bitcast i8* [[CALL]] to %struct.T*
65*67e74705SXin Li // CHECK-NEXT: br label
66*67e74705SXin Li // CHECK: [[RET:%.*]] = phi %struct.T*
67*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
68*67e74705SXin Li
test6(B * x)69*67e74705SXin Li T* test6(B* x) { return dynamic_cast<T*>(x); }
70*67e74705SXin Li // CHECK-LABEL: define %struct.T* @"\01?test6@@YAPAUT@@PAUB@@@Z"(%struct.B* %x)
71*67e74705SXin Li // CHECK: [[CHECK:%.*]] = icmp eq %struct.B* %x, null
72*67e74705SXin Li // CHECK-NEXT: br i1 [[CHECK]]
73*67e74705SXin Li // CHECK: [[CAST:%.*]] = getelementptr inbounds %struct.B, %struct.B* %x, i32 0, i32 0, i32 0
74*67e74705SXin Li // CHECK-NEXT: [[VBPTR:%.*]] = getelementptr inbounds i8, i8* [[CAST]], i32 4
75*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = bitcast i8* [[VBPTR]] to i32**
76*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
77*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
78*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
79*67e74705SXin Li // CHECK-NEXT: [[DELTA:%.*]] = add nsw i32 [[VBOFFS]], 4
80*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[CAST]], i32 [[DELTA]]
81*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTDynamicCast(i8* [[ADJ]], i32 [[DELTA]], i8* {{.*}}bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUB@@@8" to i8*), i8* {{.*}}bitcast (%rtti.TypeDescriptor7* @"\01??_R0?AUT@@@8" to i8*), i32 0)
82*67e74705SXin Li // CHECK-NEXT: [[RES:%.*]] = bitcast i8* [[CALL]] to %struct.T*
83*67e74705SXin Li // CHECK-NEXT: br label
84*67e74705SXin Li // CHECK: [[RET:%.*]] = phi %struct.T*
85*67e74705SXin Li // CHECK-NEXT: ret %struct.T* [[RET]]
86*67e74705SXin Li
test7(V * x)87*67e74705SXin Li void* test7(V* x) { return dynamic_cast<void*>(x); }
88*67e74705SXin Li // CHECK-LABEL: define i8* @"\01?test7@@YAPAXPAUV@@@Z"(%struct.V* %x)
89*67e74705SXin Li // CHECK: [[CAST:%.*]] = bitcast %struct.V* %x to i8*
90*67e74705SXin Li // CHECK-NEXT: [[RET:%.*]] = tail call i8* @__RTCastToVoid(i8* [[CAST]])
91*67e74705SXin Li // CHECK-NEXT: ret i8* [[RET]]
92*67e74705SXin Li
test8(A * x)93*67e74705SXin Li void* test8(A* x) { return dynamic_cast<void*>(x); }
94*67e74705SXin Li // CHECK-LABEL: define i8* @"\01?test8@@YAPAXPAUA@@@Z"(%struct.A* %x)
95*67e74705SXin Li // CHECK: [[CHECK:%.*]] = icmp eq %struct.A* %x, null
96*67e74705SXin Li // CHECK-NEXT: br i1 [[CHECK]]
97*67e74705SXin Li // CHECK: [[VOIDP:%.*]] = bitcast %struct.A* %x to i8*
98*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = getelementptr inbounds %struct.A, %struct.A* %x, i32 0, i32 0
99*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
100*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
101*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
102*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[VOIDP]], i32 [[VBOFFS]]
103*67e74705SXin Li // CHECK-NEXT: [[RES:%.*]] = tail call i8* @__RTCastToVoid(i8* [[ADJ]])
104*67e74705SXin Li // CHECK-NEXT: br label
105*67e74705SXin Li // CHECK: [[RET:%.*]] = phi i8*
106*67e74705SXin Li // CHECK-NEXT: ret i8* [[RET]]
107*67e74705SXin Li
test9(B * x)108*67e74705SXin Li void* test9(B* x) { return dynamic_cast<void*>(x); }
109*67e74705SXin Li // CHECK-LABEL: define i8* @"\01?test9@@YAPAXPAUB@@@Z"(%struct.B* %x)
110*67e74705SXin Li // CHECK: [[CHECK:%.*]] = icmp eq %struct.B* %x, null
111*67e74705SXin Li // CHECK-NEXT: br i1 [[CHECK]]
112*67e74705SXin Li // CHECK: [[CAST:%.*]] = getelementptr inbounds %struct.B, %struct.B* %x, i32 0, i32 0, i32 0
113*67e74705SXin Li // CHECK-NEXT: [[VBPTR:%.*]] = getelementptr inbounds i8, i8* [[CAST]], i32 4
114*67e74705SXin Li // CHECK-NEXT: [[VBPTRPTR:%.*]] = bitcast i8* [[VBPTR]] to i32**
115*67e74705SXin Li // CHECK-NEXT: [[VBTBL:%.*]] = load i32*, i32** [[VBPTRPTR]], align 4
116*67e74705SXin Li // CHECK-NEXT: [[VBOFFP:%.*]] = getelementptr inbounds i32, i32* [[VBTBL]], i32 1
117*67e74705SXin Li // CHECK-NEXT: [[VBOFFS:%.*]] = load i32, i32* [[VBOFFP]], align 4
118*67e74705SXin Li // CHECK-NEXT: [[DELTA:%.*]] = add nsw i32 [[VBOFFS]], 4
119*67e74705SXin Li // CHECK-NEXT: [[ADJ:%.*]] = getelementptr inbounds i8, i8* [[CAST]], i32 [[DELTA]]
120*67e74705SXin Li // CHECK-NEXT: [[CALL:%.*]] = tail call i8* @__RTCastToVoid(i8* [[ADJ]])
121*67e74705SXin Li // CHECK-NEXT: br label
122*67e74705SXin Li // CHECK: [[RET:%.*]] = phi i8*
123*67e74705SXin Li // CHECK-NEXT: ret i8* [[RET]]
124*67e74705SXin Li
125*67e74705SXin Li namespace PR25606 {
126*67e74705SXin Li struct Cleanup {
127*67e74705SXin Li ~Cleanup();
128*67e74705SXin Li };
129*67e74705SXin Li struct S1 { virtual ~S1(); };
130*67e74705SXin Li struct S2 : virtual S1 {};
131*67e74705SXin Li struct S3 : S2 {};
132*67e74705SXin Li
f(S2 & s)133*67e74705SXin Li S3 *f(S2 &s) {
134*67e74705SXin Li Cleanup c;
135*67e74705SXin Li return dynamic_cast<S3 *>(&s);
136*67e74705SXin Li }
137*67e74705SXin Li // CHECK-LABEL: define %"struct.PR25606::S3"* @"\01?f@PR25606@@YAPAUS3@1@AAUS2@1@@Z"(
138*67e74705SXin Li // CHECK: [[CALL:%.*]] = invoke i8* @__RTDynamicCast
139*67e74705SXin Li
140*67e74705SXin Li // CHECK: [[BC:%.*]] = bitcast i8* [[CALL]] to %"struct.PR25606::S3"*
141*67e74705SXin Li // CHECK: call x86_thiscallcc void @"\01??_DCleanup@PR25606@@QAE@XZ"(
142*67e74705SXin Li // CHECK: ret %"struct.PR25606::S3"* [[BC]]
143*67e74705SXin Li }
144