1 /* PR tree-optimization/71625 - missing strlen optimization on different
2 array initialization style
3
4 Verify that strlen() of braced initialized array is folded
5 { dg-do compile }
6 { dg-options "-O1 -Wall -fdump-tree-gimple -fdump-tree-optimized" }
7 { dg-require-effective-target large_initializer } */
8
9 #include "strlenopt.h"
10
11 #define S \
12 "\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f" \
13 "\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f" \
14 "\x20\x21\x22\x23\x24\x25\x26\x27\x28\x29\x2a\x2b\x2c\x2d\x2e\x2f" \
15 "\x30\x31\x32\x33\x34\x35\x36\x37\x38\x39\x3a\x3b\x3c\x3d\x3e\x3f" \
16 "\x40\x41\x42\x43\x44\x45\x46\x47\x48\x49\x4a\x4b\x4c\x4d\x4e\x4f" \
17 "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f" \
18 "\x60\x61\x62\x63\x64\x65\x66\x67\x68\x69\x6a\x6b\x6c\x6d\x6e\x6f" \
19 "\x70\x71\x72\x73\x74\x75\x76\x77\x78\x79\x7a\x7b\x7c\x7d\x7e\x7f" \
20 "\x80\x81\x82\x83\x84\x85\x86\x87\x88\x89\x8a\x8b\x8c\x8d\x8e\x8f" \
21 "\x90\x91\x92\x93\x94\x95\x96\x97\x98\x99\x9a\x9b\x9c\x9d\x9e\x9f" \
22 "\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9\xaa\xab\xac\xad\xae\xaf" \
23 "\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf" \
24 "\xc0\xc1\xc2\xc3\xc4\xc5\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf" \
25 "\xd0\xd1\xd2\xd3\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf" \
26 "\xe0\xe1\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef" \
27 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd\xfe\xff"
28
29 /* Arrays of char, signed char, and unsigned char to verify that
30 the length and contents of all are the same as that of the string
31 literal above. */
32
33 const char c256[] = {
34 S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
35 S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
36 S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
37 S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
38 S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
39 S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
40 S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
41 S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
42 S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
43 S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
44 S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
45 S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
46 S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
47 S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
48 S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
49 S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
50 S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
51 S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
52 S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
53 S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
54 S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
55 S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
56 S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
57 S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
58 S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
59 S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
60 S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
61 S[254], S[255] /* = NUL */
62 };
63
64 const signed char sc256[] = {
65 S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
66 S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
67 S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
68 S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
69 S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
70 S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
71 S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
72 S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
73 S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
74 S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
75 S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
76 S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
77 S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
78 S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
79 S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
80 S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
81 S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
82 S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
83 S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
84 S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
85 S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
86 S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
87 S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
88 S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
89 S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
90 S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
91 S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
92 S[254], S[255] /* = NUL */
93 };
94
95 const unsigned char uc256[] = {
96 S[0], S[1], S[2], S[3], S[4], S[5], S[6], S[7], S[8], S[9], S[10],
97 S[11], S[12], S[13], S[14], S[15], S[16], S[17], S[18], S[19], S[20],
98 S[21], S[22], S[23], S[24], S[25], S[26], S[27], S[28], S[29], S[30],
99 S[31], S[32], S[33], S[34], S[35], S[36], S[37], S[38], S[39], S[40],
100 S[41], S[42], S[43], S[44], S[45], S[46], S[47], S[48], S[49], S[50],
101 S[51], S[52], S[53], S[54], S[55], S[56], S[57], S[58], S[59], S[60],
102 S[61], S[62], S[63], S[64], S[65], S[66], S[67], S[68], S[69], S[70],
103 S[71], S[72], S[73], S[74], S[75], S[76], S[77], S[78], S[79], S[80],
104 S[81], S[82], S[83], S[84], S[85], S[86], S[87], S[88], S[89], S[90],
105 S[91], S[92], S[93], S[94], S[95], S[96], S[97], S[98], S[99], S[100],
106 S[101], S[102], S[103], S[104], S[105], S[106], S[107], S[108], S[109],
107 S[110], S[111], S[112], S[113], S[114], S[115], S[116], S[117], S[118],
108 S[119], S[120], S[121], S[122], S[123], S[124], S[125], S[126], S[127],
109 S[128], S[129], S[130], S[131], S[132], S[133], S[134], S[135], S[136],
110 S[137], S[138], S[139], S[140], S[141], S[142], S[143], S[144], S[145],
111 S[146], S[147], S[148], S[149], S[150], S[151], S[152], S[153], S[154],
112 S[155], S[156], S[157], S[158], S[159], S[160], S[161], S[162], S[163],
113 S[164], S[165], S[166], S[167], S[168], S[169], S[170], S[171], S[172],
114 S[173], S[174], S[175], S[176], S[177], S[178], S[179], S[180], S[181],
115 S[182], S[183], S[184], S[185], S[186], S[187], S[188], S[189], S[190],
116 S[191], S[192], S[193], S[194], S[195], S[196], S[197], S[198], S[199],
117 S[200], S[201], S[202], S[203], S[204], S[205], S[206], S[207], S[208],
118 S[209], S[210], S[211], S[212], S[213], S[214], S[215], S[216], S[217],
119 S[218], S[219], S[220], S[221], S[222], S[223], S[224], S[225], S[226],
120 S[227], S[228], S[229], S[230], S[231], S[232], S[233], S[234], S[235],
121 S[236], S[237], S[238], S[239], S[240], S[241], S[242], S[243], S[244],
122 S[245], S[246], S[247], S[248], S[249], S[250], S[251], S[252], S[253],
123 S[254], S[255] /* = NUL */
124 };
125
126 const __CHAR16_TYPE__ c16_4[] = {
127 1, 0x7fff, 0x8000, 0xffff,
128 0x10000 /* { dg-warning "\\\[-Woverflow]" } */
129 };
130
131 const char a2_implicit[2] = { };
132 const char a3_implicit[3] = { };
133
134 const char a3_nul[3] = { 0 };
135 const char a5_nul1[3] = { [1] = 0 };
136 const char a7_nul2[3] = { [2] = 0 };
137
138 const char ax_2_nul[] = { '1', '2', '\0' };
139 const char ax_3_nul[] = { '1', '2', '3', '\0' };
140
141 const char ax_3_des_nul[] = { [3] = 0, [2] = '3', [1] = '2', [0] = '1' };
142
143 const char ax_3[] = { '1', '2', '3' };
144 const char a3_3[3] = { '1', '2', '3' };
145
146 const char ax_100_3[] = { '1', '2', '3', [100] = '\0' };
147
148 #define CONCAT(x, y) x ## y
149 #define CAT(x, y) CONCAT (x, y)
150 #define FAILNAME(name) CAT (call_ ## name ##_on_line_, __LINE__)
151
152 #define FAIL(name) do { \
153 extern void FAILNAME (name) (void); \
154 FAILNAME (name)(); \
155 } while (0)
156
157 /* Macro to emit a call to funcation named
158 call_in_true_branch_not_eliminated_on_line_NNN()
159 for each call that's expected to be eliminated. The dg-final
160 scan-tree-dump-time directive at the bottom of the test verifies
161 that no such call appears in output. */
162 #define ELIM(expr) \
163 if (!(expr)) FAIL (in_true_branch_not_eliminated); else (void)0
164
165 #define T(s, n) ELIM (strlen (s) == n)
166
167 void test_nulstring (void)
168 {
169 T (a2_implicit, 0);
170 T (a3_implicit, 0);
171
172 T (a3_nul, 0);
173 T (a5_nul1, 0);
174 T (a7_nul2, 0);
175
176 T (ax_2_nul, 2);
177 T (ax_3_nul, 3);
178 T (ax_3_des_nul, 3);
179
180 T (ax_100_3, 3);
181 T (ax_100_3 + 4, 0);
182 ELIM (101 == sizeof ax_100_3);
183 ELIM ('\0' == ax_100_3[100]);
184
185 /* Verify that all three character arrays have the same length
186 as the string literal they are initialized with. */
187 T (S, 255);
188 T (c256, 255);
189 T ((const char*)sc256, 255);
190 T ((const char*)uc256, 255);
191
192 /* Verify that all three character arrays have the same contents
193 as the string literal they are initialized with. */
194 ELIM (0 == memcmp (c256, S, sizeof c256));
195 ELIM (0 == memcmp (c256, (const char*)sc256, sizeof c256));
196 ELIM (0 == memcmp (c256, (const char*)uc256, sizeof c256));
197
198 ELIM (0 == strcmp (c256, (const char*)sc256));
199 ELIM (0 == strcmp (c256, (const char*)uc256));
200
201 /* Verify that the char16_t array has the expected contents. */
202 ELIM (c16_4[0] == 1 && c16_4[1] == 0x7fff
203 && c16_4[2] == 0x8000 && c16_4[3] == 0xffff
204 && c16_4[4] == 0);
205 }
206
207 /* Verify that excessively large initializers don't run out of
208 memory. Also verify that the they have the expected size and
209 contents. */
210
211 #define MAX (__PTRDIFF_MAX__ - 1)
212
213 const char large_string[] = { 'a', [1234] = 'b', [MAX] = '\0' };
214
215 const void test_large_string_size (void)
216 {
217 ELIM (sizeof large_string == MAX + 1);
218
219 /* The following expressions are not folded without optimization. */
220 ELIM ('a' == large_string[0]);
221 ELIM ('\0' == large_string[1233]);
222 ELIM ('b' == large_string[1234]);
223 ELIM ('\0' == large_string[1235]);
224 ELIM ('\0' == large_string[MAX - 1]);
225 }
226
227
228 /* { dg-final { scan-tree-dump-times "strlen1" 0 "gimple" } }
229 { dg-final { scan-tree-dump-times "memcmp" 0 "gimple" } }
230 { dg-final { scan-tree-dump-times "strcmp" 0 "gimple" } }
231 { dg-final { scan-tree-dump-times "call_in_true_branch_not_eliminated" 0 "optimized" } } */