xref: /aosp_15_r20/external/clang/test/CodeGenCXX/dynamic-cast-hint.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin12 -emit-llvm -o - %s | FileCheck %s
2*67e74705SXin Li 
~A()3*67e74705SXin Li class A { virtual ~A() {} };
~B()4*67e74705SXin Li class B { virtual ~B() {} };
5*67e74705SXin Li 
6*67e74705SXin Li class C : A { char x; };
7*67e74705SXin Li class D : public A { short y; };
8*67e74705SXin Li class E : public A, public B { int z; };
9*67e74705SXin Li class F : public virtual A { long long w; };
10*67e74705SXin Li class G : virtual A { long long w; };
11*67e74705SXin Li 
12*67e74705SXin Li class H : public E { int a; };
13*67e74705SXin Li class I : public F { char b; };
14*67e74705SXin Li 
15*67e74705SXin Li class J : public H { char q; };
16*67e74705SXin Li class K : public C, public B { char q; };
17*67e74705SXin Li 
18*67e74705SXin Li class XA : public A { };
19*67e74705SXin Li class XB : public A { };
20*67e74705SXin Li class XC : public virtual A { };
21*67e74705SXin Li class X : public XA, public XB, public XC { };
22*67e74705SXin Li 
test(A * a,B * b)23*67e74705SXin Li void test(A *a, B *b) {
24*67e74705SXin Li   volatile C *ac = dynamic_cast<C *>(a);
25*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64 }* @_ZTI1C to i8*), i64 -2)
26*67e74705SXin Li   volatile D *ad = dynamic_cast<D *>(a);
27*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1D to i8*), i64 0)
28*67e74705SXin Li   volatile E *ae = dynamic_cast<E *>(a);
29*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64, i8*, i64 }* @_ZTI1E to i8*), i64 0)
30*67e74705SXin Li   volatile F *af = dynamic_cast<F *>(a);
31*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64 }* @_ZTI1F to i8*), i64 -1)
32*67e74705SXin Li   volatile G *ag = dynamic_cast<G *>(a);
33*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64 }* @_ZTI1G to i8*), i64 -2)
34*67e74705SXin Li   volatile H *ah = dynamic_cast<H *>(a);
35*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1H to i8*), i64 0)
36*67e74705SXin Li   volatile I *ai = dynamic_cast<I *>(a);
37*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1I to i8*), i64 -1)
38*67e74705SXin Li   volatile J *aj = dynamic_cast<J *>(a);
39*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1J to i8*), i64 0)
40*67e74705SXin Li   volatile K *ak = dynamic_cast<K *>(a);
41*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64, i8*, i64 }* @_ZTI1K to i8*), i64 -2)
42*67e74705SXin Li   volatile X *ax = dynamic_cast<X *>(a);
43*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1A to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64, i8*, i64, i8*, i64 }* @_ZTI1X to i8*), i64 -1)
44*67e74705SXin Li 
45*67e74705SXin Li   volatile E *be = dynamic_cast<E *>(b);
46*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1B to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64, i8*, i64 }* @_ZTI1E to i8*), i64 8)
47*67e74705SXin Li   volatile G *bg = dynamic_cast<G *>(b);
48*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1B to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64 }* @_ZTI1G to i8*), i64 -2)
49*67e74705SXin Li   volatile J *bj = dynamic_cast<J *>(b);
50*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1B to i8*), i8* bitcast ({ i8*, i8*, i8* }* @_ZTI1J to i8*), i64 8)
51*67e74705SXin Li   volatile K *bk = dynamic_cast<K *>(b);
52*67e74705SXin Li // CHECK: i8* bitcast ({ i8*, i8* }* @_ZTI1B to i8*), i8* bitcast ({ i8*, i8*, i32, i32, i8*, i64, i8*, i64 }* @_ZTI1K to i8*), i64 16)
53*67e74705SXin Li }
54