1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 | FileCheck %s
2
3 struct X {};
4
5 // CHECK-LABEL: define void @_Z1f1XS_(
f(X,X)6 void f(X, X) { }
7
8 // CHECK-LABEL: define void @_Z1fR1XS0_(
f(X &,X &)9 void f(X&, X&) { }
10
11 // CHECK-LABEL: define void @_Z1fRK1XS1_(
f(const X &,const X &)12 void f(const X&, const X&) { }
13
14 typedef void T();
15 struct S {};
16
17 // CHECK-LABEL: define void @_Z1fPFvvEM1SFvvE(
f(T *,T (S::*))18 void f(T*, T (S::*)) {}
19
20 namespace A {
21 struct A { };
22 struct B { };
23 };
24
25 // CHECK-LABEL: define void @_Z1fN1A1AENS_1BE(
f(A::A a,A::B b)26 void f(A::A a, A::B b) { }
27
28 struct C {
29 struct D { };
30 };
31
32 // CHECK-LABEL: define void @_Z1fN1C1DERS_PS_S1_(
f(C::D,C &,C *,C &)33 void f(C::D, C&, C*, C&) { }
34
35 template<typename T>
36 struct V {
37 typedef int U;
38 };
39
f1(typename V<T>::U,V<T>)40 template <typename T> void f1(typename V<T>::U, V<T>) { }
41
42 // CHECK: @_Z2f1IiEvN1VIT_E1UES2_
43 template void f1<int>(int, V<int>);
44
f2(V<T>,typename V<T>::U)45 template <typename T> void f2(V<T>, typename V<T>::U) { }
46
47 // CHECK: @_Z2f2IiEv1VIT_ENS2_1UE
48 template void f2<int>(V<int>, int);
49
50 namespace NS {
51 template <typename T> struct S1 {};
ft3(S1<T>,S1<char>)52 template<typename T> void ft3(S1<T>, S1<char>) { }
53
54 // CHECK: @_ZN2NS3ft3IiEEvNS_2S1IT_EENS1_IcEE
55 template void ft3<int>(S1<int>, S1<char>);
56 }
57
58 // PR5196
59 // CHECK: @_Z1fPKcS0_
f(const char *,const char *)60 void f(const char*, const char*) {}
61
62 namespace NS {
63 class C;
64 }
65
66 namespace NS {
67 // CHECK: @_ZN2NS1fERNS_1CE
f(C &)68 void f(C&) { }
69 }
70
71 namespace Test1 {
72
73 struct A { };
74 struct B { };
75
76 // CHECK: @_ZN5Test11fEMNS_1BEFvvENS_1AES3_
f(void (B::*)(),A,A)77 void f(void (B::*)(), A, A) { }
78
79 // CHECK: @_ZN5Test11fEMNS_1BEFvvENS_1AES3_MS0_FvS3_EMS3_FvvE
f(void (B::*)(),A,A,void (B::*)(A),void (A::*)())80 void f(void (B::*)(), A, A, void (B::*)(A), void (A::*)()) { }
81
82 }
83
84 namespace ManglePrefix {
85 template <typename>
86 struct X {
87 template <typename>
88 struct Y {
89 typedef int type;
90 typedef int type2;
91 };
92 };
93 template <typename T>
f(typename X<T>::template Y<T>::type2)94 typename X<T>::template Y<T>::type f(typename X<T>::template Y<T>::type2) { return 0; }
95
96 // CHECK: @_ZN12ManglePrefix1fIiEENS_1XIT_E1YIS2_E4typeENS5_5type2E
97 template int f<int>(int);
98 }
99