annotate gcc/testsuite/g++.dg/abi/mangle72.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 // Verify manglinng of class literals with pointers to members.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 // Some of the mangling here is wrong. Note the FIXME comments below.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 // { dg-do compile { target c++2a } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 struct A { int a[2]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 template <A> struct X { };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 // Let's mangle some non-member pointer literals for comparison.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 void f__ (X<A{{ }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 // { dg-final { scan-assembler "_Z3f001XIXtl1AEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 void f0_ (X<A{{ 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 // { dg-final { scan-assembler "_Z3f0_1XIXtl1AEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 void f00 (X<A{{ 0, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 // { dg-final { scan-assembler "_Z3f__1XIXtl1AEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 // Exercise arrays of pointers to data members.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 typedef int (A::*padm_t)[2];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 struct B { padm_t a[2]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 template <B> struct Y { };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 void g__ (Y<B{{ }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 // { dg-final { scan-assembler "_Z3g__1YIXtl1BtlA2_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 void g0_ (Y<B{{ 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 // { dg-final { scan-assembler "_Z3g0_1YIXtl1BtlA2_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 void g00 (Y<B{{ 0, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 // { dg-final { scan-assembler "_Z3g001YIXtl1BtlA2_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 void g0x (Y<B{{ 0, &A::a }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 // FIXME: This needs to mangle differently from g00. The space at
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 // the end is intentional to make the directive fail so that the xfail
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 // can be reminder to change this once the mangling is fixed.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 // { dg-final { scan-assembler "_Z3g0x1YIXtl1BtlA2_M1AA2_iLS3_0EEEEE " { xfail *-*-* } } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 void gx_ (Y<B{{ &A::a }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 // { dg-final { scan-assembler "_Z3gx_1YIXtl1BtlA2_M1AA2_iLS3_0ELS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 struct C { padm_t a[3]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 template <C> struct Z { };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 void h___ (Z<C{{ }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 // { dg-final { scan-assembler "_Z4h___1ZIXtl1CtlA3_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 void h0__ (Z<C{{ 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 // { dg-final { scan-assembler "_Z4h0__1ZIXtl1CtlA3_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 void h00_ (Z<C{{ 0, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 // { dg-final { scan-assembler "_Z4h00_1ZIXtl1CtlA3_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 void h000 (Z<C{{ 0, 0, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 // { dg-final { scan-assembler "_Z4h0001ZIXtl1CtlA3_M1AA2_iLS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 void h00x (Z<C{{ 0, 0, &A::a }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 // FIXME: This needs to mangle differently from hx0_ and hx__.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 // { dg-final { scan-assembler "_Z4h00x1ZIXtl1CtlA3_M1AA2_iLS3_0ELS3_0EEEEE " { xfail *-*-*} } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 void h0x0 (Z<C{{ 0, &A::a, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 // { dg-final { scan-assembler "_Z4h0x01ZIXtl1CtlA3_M1AA2_iLS3_0ELS3_0ELS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 void h0x_ (Z<C{{ 0, &A::a }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 // { dg-final { scan-assembler "_Z4h0x_1ZIXtl1CtlA3_M1AA2_iLS3_0ELS3_0ELS3_0EEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 void hx0_ (Z<C{{ &A::a, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 // FIXME: This needs to mangle differently from h00x and hx__.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 // { dg-final { scan-assembler "_Z4hx0_1ZIXtl1CtlA3_M1AA2_iLS3_0ELS3_0EEEEE " { xfail *-*-*} } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 void hx__ (Z<C{{ &A::a }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 // FIXME: This needs to mangle differently from h00x and hx0_.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 // { dg-final { scan-assembler "_Z4hx__1ZIXtl1CtlA3_M1AA2_iLS3_0ELS3_0EEEEE " { xfail *-*-* } } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 // Exercise arrays of pointers to function members.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 struct AF { void f (); };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 typedef void (AF::*pafm_t)();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 struct D { pafm_t a[2]; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 template <D> struct F { };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 void k__ (F<D{{ }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 // { dg-final { scan-assembler "_Z3k__1FIXtl1DEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 void k0_ (F<D{{ 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 // { dg-final { scan-assembler "_Z3k0_1FIXtl1DEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 void k00 (F<D{{ 0, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 // { dg-final { scan-assembler "_Z3k001FIXtl1DEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 void k0x (F<D{{ 0, &AF::f }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 // { dg-final { scan-assembler "_Z3k0x1FIXtl1DtlA2_M2AFFvvEtlS3_EtlS3_adL_ZNS1_1fEvEEEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 void kx_ (F<D{{ &AF::f }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 // { dg-final { scan-assembler "_Z3kx_1FIXtl1DtlA2_M2AFFvvEtlS3_adL_ZNS1_1fEvEEEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 void kx0 (F<D{{ &AF::f, 0 }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 // { dg-final { scan-assembler "_Z3kx01FIXtl1DtlA2_M2AFFvvEtlS3_adL_ZNS1_1fEvEEEEEE" } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 void kxx (F<D{{ &AF::f, &AF::f }}>) { }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 // { dg-final { scan-assembler "_Z3kxx1FIXtl1DtlA2_M2AFFvvEtlS3_adL_ZNS1_1fEvEEtlS3_adL_ZNS1_1fEvEEEEEE" } }