1*ec2e26eaSSami Tolvanen // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -fsanitize=cfi-icall -o - %s | FileCheck %s
2*ec2e26eaSSami Tolvanen 
3*ec2e26eaSSami Tolvanen #if !__has_builtin(__builtin_function_start)
4*ec2e26eaSSami Tolvanen #error "missing __builtin_function_start"
5*ec2e26eaSSami Tolvanen #endif
6*ec2e26eaSSami Tolvanen 
7*ec2e26eaSSami Tolvanen void a(void) {}
8*ec2e26eaSSami Tolvanen // CHECK: @e = global i8* bitcast (void ()* no_cfi @_Z1av to i8*)
9*ec2e26eaSSami Tolvanen const void *e = __builtin_function_start(a);
10*ec2e26eaSSami Tolvanen 
11*ec2e26eaSSami Tolvanen constexpr void (*d)() = &a;
12*ec2e26eaSSami Tolvanen // CHECK: @f = global i8* bitcast (void ()* no_cfi @_Z1av to i8*)
13*ec2e26eaSSami Tolvanen const void *f = __builtin_function_start(d);
14*ec2e26eaSSami Tolvanen 
15*ec2e26eaSSami Tolvanen void b(void) {}
16*ec2e26eaSSami Tolvanen // CHECK: @g = global [2 x i8*] [i8* bitcast (void ()* @_Z1bv to i8*), i8* bitcast (void ()* no_cfi @_Z1bv to i8*)]
17*ec2e26eaSSami Tolvanen void *g[] = {(void *)b, __builtin_function_start(b)};
18*ec2e26eaSSami Tolvanen 
19*ec2e26eaSSami Tolvanen void c(void *p) {}
20*ec2e26eaSSami Tolvanen 
21*ec2e26eaSSami Tolvanen class A {
22*ec2e26eaSSami Tolvanen public:
23*ec2e26eaSSami Tolvanen   void f();
24*ec2e26eaSSami Tolvanen   virtual void g();
25*ec2e26eaSSami Tolvanen   static void h();
26*ec2e26eaSSami Tolvanen   int i() const;
27*ec2e26eaSSami Tolvanen   int i(int n) const;
28*ec2e26eaSSami Tolvanen };
29*ec2e26eaSSami Tolvanen 
30*ec2e26eaSSami Tolvanen void A::f() {}
31*ec2e26eaSSami Tolvanen void A::g() {}
32*ec2e26eaSSami Tolvanen void A::h() {}
33*ec2e26eaSSami Tolvanen 
34*ec2e26eaSSami Tolvanen // CHECK: define {{.*}}i32 @_ZNK1A1iEv(%class.A* {{.*}}%this)
35*ec2e26eaSSami Tolvanen int A::i() const { return 0; }
36*ec2e26eaSSami Tolvanen 
37*ec2e26eaSSami Tolvanen // CHECK: define {{.*}}i32 @_ZNK1A1iEi(%class.A* {{.*}}%this, i32 %n)
38*ec2e26eaSSami Tolvanen int A::i(int n) const { return 0; }
39*ec2e26eaSSami Tolvanen 
40*ec2e26eaSSami Tolvanen void h(void) {
41*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (void ()* no_cfi @_Z1bv to i8*), i8** %g
42*ec2e26eaSSami Tolvanen   void *g = __builtin_function_start(b);
43*ec2e26eaSSami Tolvanen   // CHECK: call void @_Z1cPv(i8* bitcast (void ()* no_cfi @_Z1av to i8*))
44*ec2e26eaSSami Tolvanen   c(__builtin_function_start(a));
45*ec2e26eaSSami Tolvanen 
46*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (void (%class.A*)* no_cfi @_ZN1A1fEv to i8*), i8** %Af
47*ec2e26eaSSami Tolvanen   void *Af = __builtin_function_start(&A::f);
48*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (void (%class.A*)* no_cfi @_ZN1A1gEv to i8*), i8** %Ag
49*ec2e26eaSSami Tolvanen   void *Ag = __builtin_function_start(&A::g);
50*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (void ()* no_cfi @_ZN1A1hEv to i8*), i8** %Ah
51*ec2e26eaSSami Tolvanen   void *Ah = __builtin_function_start(&A::h);
52*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (i32 (%class.A*)* no_cfi @_ZNK1A1iEv to i8*), i8** %Ai1
53*ec2e26eaSSami Tolvanen   void *Ai1 = __builtin_function_start((int(A::*)() const) & A::i);
54*ec2e26eaSSami Tolvanen   // CHECK: store i8* bitcast (i32 (%class.A*, i32)* no_cfi @_ZNK1A1iEi to i8*), i8** %Ai2
55*ec2e26eaSSami Tolvanen   void *Ai2 = __builtin_function_start((int(A::*)(int) const) & A::i);
56*ec2e26eaSSami Tolvanen }
57