1 ; RUN: llvm-undname < %s | FileCheck %s
3 ; CHECK-NOT: Invalid mangled name
5 ; Test demangling of function local scope discriminator IDs.
7 ; CHECK: int `int __cdecl L(void)'::`0'::M
10 ; CHECK: int `int __cdecl L(void)'::`1'::M
13 ; CHECK: int `int __cdecl L(void)'::`2'::M
16 ; CHECK: int `int __cdecl L(void)'::`3'::M
19 ; CHECK: int `int __cdecl L(void)'::`4'::M
22 ; CHECK: int `int __cdecl L(void)'::`5'::M
25 ; CHECK: int `int __cdecl L(void)'::`6'::M
28 ; CHECK: int `int __cdecl L(void)'::`7'::M
31 ; CHECK: int `int __cdecl L(void)'::`8'::M
34 ; CHECK: int `int __cdecl L(void)'::`9'::M
37 ; CHECK: int `int __cdecl L(void)'::`10'::M
40 ; CHECK: int `int __cdecl L(void)'::`11'::M
43 ; CHECK: int `int __cdecl L(void)'::`12'::M
46 ; CHECK: int `int __cdecl L(void)'::`13'::M
49 ; CHECK: int `int __cdecl L(void)'::`14'::M
52 ; CHECK: int `int __cdecl L(void)'::`15'::M
55 ; CHECK: int `int __cdecl L(void)'::`16'::M
58 ; CHECK: int `int __cdecl L(void)'::`17'::M
60 ?j@?1??L@@YAHXZ@4UJ@@A
61 ; CHECK: struct J `int __cdecl L(void)'::`2'::j
63 ; Test demangling of name back-references
65 ; CHECK: int XX::NN::NN
68 ; CHECK: int XX::NN::MM::MM
71 ; CHECK: int XX::NN::MM::NN
74 ; CHECK: int XX::NN::OO::NN::OO::OO
77 ; CHECK: int XX::NN::OO::NN::OO::NN
79 ; Test demangling of name back-references combined with function local scopes.
81 ; CHECK: int `int __cdecl M(void)'::`2'::M
83 ?L@?2??M@0?2??0@YAHXZ@QEAAHXZ@4HA
84 ; CHECK: int `public: int __cdecl `int __cdecl L(void)'::`3'::L::M(void)'::`3'::L
86 ?M@?2??0L@?2??1@YAHXZ@QEAAHXZ@4HA
87 ; CHECK: int `public: int __cdecl `int __cdecl L(void)'::`3'::L::M(void)'::`3'::M
89 ; Function local scopes of template functions
90 ?M@?1???$L@H@@YAHXZ@4HA
91 ; CHECK: int `int __cdecl L<int>(void)'::`2'::M
93 ; And member functions of template classes
94 ?SN@?$NS@H@NS@@QEAAHXZ
95 ; CHECK: int __cdecl NS::NS<int>::SN(void)
97 ?NS@?1??SN@?$NS@H@0@QEAAHXZ@4HA
98 ; CHECK: int `public: int __cdecl NS::NS<int>::SN(void)'::`2'::NS
100 ?SN@?1??0?$NS@H@NS@@QEAAHXZ@4HA
101 ; CHECK: int `public: int __cdecl NS::NS<int>::SN(void)'::`2'::SN
103 ?NS@?1??SN@?$NS@H@10@QEAAHXZ@4HA
104 ; CHECK: int `public: int __cdecl NS::SN::NS<int>::SN(void)'::`2'::NS
106 ?SN@?1??0?$NS@H@0NS@@QEAAHXZ@4HA
107 ; CHECK: int `public: int __cdecl NS::SN::NS<int>::SN(void)'::`2'::SN
109 ; Make sure instantiated templates participate in back-referencing.
110 ; In the next 3 examples there should be 3 back-references:
111 ; 0 = X (right most name)
112 ; 1 = C<int> (second from right)
113 ; 2 = C (third from right)
114 ; Make sure all 3 work as expected by having the 4th component take each value
115 ; from 0-2 and confirming it is the right component.
117 ; CHECK: static int const X::C::C<int>::X
120 ; CHECK: static int const C<int>::C::C<int>::X
123 ; CHECK: static int const C::C::C<int>::X
125 ; Putting everything together.
127 ; namespace A { namespace B { namespace C { namespace B { namespace C {
128 ; template<typename T>
134 ; return C.B() + B + A;
139 ?C@?1??B@?$C@H@0101A@@QEAAHXZ@4U201013@A
140 ; CHECK: struct A::B::C::B::C::C<int> `public: int __cdecl A::B::C::B::C::C<int>::B(void)'::`2'::C
142 ?B@?1??0?$C@H@C@020A@@QEAAHXZ@4HA
143 ; CHECK: int `public: int __cdecl A::B::C::B::C::C<int>::B(void)'::`2'::B
145 ?A@?1??B@?$C@H@C@1310@QEAAHXZ@4HA
146 ; CHECK: int `public: int __cdecl A::B::C::B::C::C<int>::B(void)'::`2'::A
148 ?a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@a@@3HA
149 ; CHECK: int a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a::a