Warning: That file was not part of the compilation database. It may have many parsing errors.

1/* Test and measure strcmp and wcscmp functions.
2 Copyright (C) 1999-2019 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Written by Jakub Jelinek <jakub@redhat.com>, 1999.
5 Added wcscmp support by Liubov Dmitrieva <liubov.dmitrieva@gmail.com>, 2011.
6
7 The GNU C Library is free software; you can redistribute it and/or
8 modify it under the terms of the GNU Lesser General Public
9 License as published by the Free Software Foundation; either
10 version 2.1 of the License, or (at your option) any later version.
11
12 The GNU C Library is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 Lesser General Public License for more details.
16
17 You should have received a copy of the GNU Lesser General Public
18 License along with the GNU C Library; if not, see
19 <http://www.gnu.org/licenses/>. */
20
21#define TEST_MAIN
22#ifdef WIDE
23# define TEST_NAME "wcscmp"
24#else
25# define TEST_NAME "strcmp"
26#endif
27#include "test-string.h"
28
29#ifdef WIDE
30# include <wchar.h>
31
32# define L(str) L##str
33# define STRCMP wcscmp
34# define STRCPY wcscpy
35# define STRLEN wcslen
36# define MEMCPY wmemcpy
37# define SIMPLE_STRCMP simple_wcscmp
38# define STUPID_STRCMP stupid_wcscmp
39# define CHAR wchar_t
40# define UCHAR wchar_t
41# define CHARBYTES 4
42# define CHARBYTESLOG 2
43# define CHARALIGN __alignof__ (CHAR)
44# define MIDCHAR 0x7fffffff
45# define LARGECHAR 0xfffffffe
46# define CHAR__MAX WCHAR_MAX
47# define CHAR__MIN WCHAR_MIN
48
49/* Wcscmp uses signed semantics for comparison, not unsigned */
50/* Avoid using substraction since possible overflow */
51
52int
53simple_wcscmp (const wchar_t *s1, const wchar_t *s2)
54{
55 wchar_t c1, c2;
56 do
57 {
58 c1 = *s1++;
59 c2 = *s2++;
60 if (c2 == L'\0')
61 return c1 - c2;
62 }
63 while (c1 == c2);
64
65 return c1 < c2 ? -1 : 1;
66}
67
68int
69stupid_wcscmp (const wchar_t *s1, const wchar_t *s2)
70{
71 size_t ns1 = wcslen (s1) + 1;
72 size_t ns2 = wcslen (s2) + 1;
73 size_t n = ns1 < ns2 ? ns1 : ns2;
74 int ret = 0;
75
76 wchar_t c1, c2;
77
78 while (n--) {
79 c1 = *s1++;
80 c2 = *s2++;
81 if ((ret = c1 < c2 ? -1 : c1 == c2 ? 0 : 1) != 0)
82 break;
83 }
84 return ret;
85}
86
87#else
88# include <limits.h>
89
90# define L(str) str
91# define STRCMP strcmp
92# define STRCPY strcpy
93# define STRLEN strlen
94# define MEMCPY memcpy
95# define SIMPLE_STRCMP simple_strcmp
96# define STUPID_STRCMP stupid_strcmp
97# define CHAR char
98# define UCHAR unsigned char
99# define CHARBYTES 1
100# define CHARBYTESLOG 0
101# define CHARALIGN 1
102# define MIDCHAR 0x7f
103# define LARGECHAR 0xfe
104# define CHAR__MAX CHAR_MAX
105# define CHAR__MIN CHAR_MIN
106
107/* Strcmp uses unsigned semantics for comparison. */
108int
109simple_strcmp (const char *s1, const char *s2)
110{
111 int ret;
112
113 while ((ret = *(unsigned char *) s1 - *(unsigned char*) s2++) == 0 && *s1++);
114 return ret;
115}
116
117int
118stupid_strcmp (const char *s1, const char *s2)
119{
120 size_t ns1 = strlen (s1) + 1;
121 size_t ns2 = strlen (s2) + 1;
122 size_t n = ns1 < ns2 ? ns1 : ns2;
123 int ret = 0;
124
125 while (n--)
126 if ((ret = *(unsigned char *) s1++ - *(unsigned char *) s2++) != 0)
127 break;
128 return ret;
129}
130#endif
131
132typedef int (*proto_t) (const CHAR *, const CHAR *);
133
134IMPL (STUPID_STRCMP, 1)
135IMPL (SIMPLE_STRCMP, 1)
136IMPL (STRCMP, 1)
137
138static int
139check_result (impl_t *impl,
140 const CHAR *s1, const CHAR *s2,
141 int exp_result)
142{
143 int result = CALL (impl, s1, s2);
144 if ((exp_result == 0 && result != 0)
145 || (exp_result < 0 && result >= 0)
146 || (exp_result > 0 && result <= 0))
147 {
148 error (0, 0, "Wrong result in function %s %d %d", impl->name,
149 result, exp_result);
150 ret = 1;
151 return -1;
152 }
153
154 return 0;
155}
156
157static void
158do_one_test (impl_t *impl,
159 const CHAR *s1, const CHAR *s2,
160 int exp_result)
161{
162 if (check_result (impl, s1, s2, exp_result) < 0)
163 return;
164}
165
166static void
167do_test (size_t align1, size_t align2, size_t len, int max_char,
168 int exp_result)
169{
170 size_t i;
171
172 CHAR *s1, *s2;
173
174 if (len == 0)
175 return;
176
177 align1 &= 63;
178 if (align1 + (len + 1) * CHARBYTES >= page_size)
179 return;
180
181 align2 &= 63;
182 if (align2 + (len + 1) * CHARBYTES >= page_size)
183 return;
184
185 /* Put them close to the end of page. */
186 i = align1 + CHARBYTES * (len + 2);
187 s1 = (CHAR *) (buf1 + ((page_size - i) / 16 * 16) + align1);
188 i = align2 + CHARBYTES * (len + 2);
189 s2 = (CHAR *) (buf2 + ((page_size - i) / 16 * 16) + align2);
190
191 for (i = 0; i < len; i++)
192 s1[i] = s2[i] = 1 + (23 << ((CHARBYTES - 1) * 8)) * i % max_char;
193
194 s1[len] = s2[len] = 0;
195 s1[len + 1] = 23;
196 s2[len + 1] = 24 + exp_result;
197 s2[len - 1] -= exp_result;
198
199 FOR_EACH_IMPL (impl, 0)
200 do_one_test (impl, s1, s2, exp_result);
201}
202
203static void
204do_random_tests (void)
205{
206 UCHAR *p1 = (UCHAR *) (buf1 + page_size - 512 * CHARBYTES);
207 UCHAR *p2 = (UCHAR *) (buf2 + page_size - 512 * CHARBYTES);
208
209 for (size_t n = 0; n < ITERATIONS; n++)
210 {
211 /* for wcscmp case align1 and align2 mean here alignment
212 in wchar_t symbols, it equal 4*k alignment in bytes, we
213 don't check other alignments like for example
214 p1 = (wchar_t *)(buf1 + 1)
215 because it's wrong using of wchar_t type. */
216 size_t align1 = random () & 31;
217 size_t align2;
218 if (random () & 1)
219 align2 = random () & 31;
220 else
221 align2 = align1 + (random () & 24);
222 size_t pos = random () & 511;
223 size_t j = align1 > align2 ? align1 : align2;
224 if (pos + j >= 511)
225 pos = 510 - j - (random () & 7);
226 size_t len1 = random () & 511;
227 if (pos >= len1 && (random () & 1))
228 len1 = pos + (random () & 7);
229 if (len1 + j >= 512)
230 len1 = 511 - j - (random () & 7);
231 size_t len2;
232 if (pos >= len1)
233 len2 = len1;
234 else
235 len2 = len1 + (len1 != 511 - j ? random () % (511 - j - len1) : 0);
236 j = (pos > len2 ? pos : len2) + align1 + 64;
237 if (j > 512)
238 j = 512;
239 for (size_t i = 0; i < j; ++i)
240 {
241 p1[i] = random () & 255;
242 if (i < len1 + align1 && !p1[i])
243 {
244 p1[i] = random () & 255;
245 if (!p1[i])
246 p1[i] = 1 + (random () & 127);
247 }
248 }
249 for (size_t i = 0; i < j; ++i)
250 {
251 p2[i] = random () & 255;
252 if (i < len2 + align2 && !p2[i])
253 {
254 p2[i] = random () & 255;
255 if (!p2[i])
256 p2[i] = 1 + (random () & 127);
257 }
258 }
259
260 int result = 0;
261 MEMCPY (p2 + align2, p1 + align1, pos);
262 if (pos < len1)
263 {
264 if (p2[align2 + pos] == p1[align1 + pos])
265 {
266 p2[align2 + pos] = random () & 255;
267 if (p2[align2 + pos] == p1[align1 + pos])
268 p2[align2 + pos] = p1[align1 + pos] + 3 + (random () & 127);
269 }
270
271 if (p1[align1 + pos] < p2[align2 + pos])
272 result = -1;
273 else
274 result = 1;
275 }
276 p1[len1 + align1] = 0;
277 p2[len2 + align2] = 0;
278
279 FOR_EACH_IMPL (impl, 1)
280 {
281 int r = CALL (impl, (CHAR *) (p1 + align1), (CHAR *) (p2 + align2));
282 /* Test whether on 64-bit architectures where ABI requires
283 callee to promote has the promotion been done. */
284 asm ("" : "=g" (r) : "0" (r));
285 if ((r == 0 && result)
286 || (r < 0 && result >= 0)
287 || (r > 0 && result <= 0))
288 {
289 error (0, 0, "Iteration %zd - wrong result in function %s (align in bytes: %zd, align in bytes: %zd, len1: %zd, len2: %zd, pos: %zd) %d != %d, p1 %p p2 %p",
290 n, impl->name, (size_t) (p1 + align1) & 63, (size_t) (p1 + align2) & 63, len1, len2, pos, r, result, p1, p2);
291 ret = 1;
292 }
293 }
294 }
295}
296
297static void
298check (void)
299{
300 CHAR *s1 = (CHAR *) (buf1 + 0xb2c);
301 CHAR *s2 = (CHAR *) (buf1 + 0xfd8);
302
303 STRCPY(s1, L("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrs"));
304 STRCPY(s2, L("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijkLMNOPQRSTUV"));
305
306 /* Check correct working for negatives values */
307
308 s1[0] = 1;
309 s2[0] = 1;
310 s1[1] = 1;
311 s2[1] = 1;
312 s1[2] = -1;
313 s2[2] = 3;
314 s1[3] = 0;
315 s2[3] = -1;
316
317 /* Check possible overflow bug, actual more for wcscmp */
318
319 s1[7] = CHAR__MIN;
320 s2[7] = CHAR__MAX;
321
322 size_t l1 = STRLEN (s1);
323 size_t l2 = STRLEN (s2);
324
325 for (size_t i1 = 0; i1 < l1; i1++)
326 for (size_t i2 = 0; i2 < l2; i2++)
327 {
328 int exp_result = SIMPLE_STRCMP (s1 + i1, s2 + i2);
329 FOR_EACH_IMPL (impl, 0)
330 check_result (impl, s1 + i1, s2 + i2, exp_result);
331 }
332
333 /* Test cases where there are multiple zero bytes after the first. */
334
335 for (size_t i = 0; i < 16 + 1; i++)
336 {
337 s1[i] = 0x00;
338 s2[i] = 0x00;
339 }
340
341 for (size_t i = 0; i < 16; i++)
342 {
343 int exp_result;
344
345 for (int val = 0x01; val < 0x100; val++)
346 {
347 for (size_t j = 0; j < i; j++)
348 {
349 s1[j] = val;
350 s2[j] = val;
351 }
352
353 s2[i] = val;
354
355 exp_result = SIMPLE_STRCMP (s1, s2);
356 FOR_EACH_IMPL (impl, 0)
357 check_result (impl, s1, s2, exp_result);
358 }
359 }
360}
361
362
363int
364test_main (void)
365{
366 size_t i;
367
368 test_init ();
369 check();
370
371 printf ("%23s", "");
372 FOR_EACH_IMPL (impl, 0)
373 printf ("\t%s", impl->name);
374 putchar ('\n');
375
376 for (i = 1; i < 32; ++i)
377 {
378 do_test (CHARBYTES * i, CHARBYTES * i, i, MIDCHAR, 0);
379 do_test (CHARBYTES * i, CHARBYTES * i, i, MIDCHAR, 1);
380 do_test (CHARBYTES * i, CHARBYTES * i, i, MIDCHAR, -1);
381 }
382
383 for (i = 1; i < 10 + CHARBYTESLOG; ++i)
384 {
385 do_test (0, 0, 2 << i, MIDCHAR, 0);
386 do_test (0, 0, 2 << i, LARGECHAR, 0);
387 do_test (0, 0, 2 << i, MIDCHAR, 1);
388 do_test (0, 0, 2 << i, LARGECHAR, 1);
389 do_test (0, 0, 2 << i, MIDCHAR, -1);
390 do_test (0, 0, 2 << i, LARGECHAR, -1);
391 do_test (0, CHARBYTES * i, 2 << i, MIDCHAR, 1);
392 do_test (CHARBYTES * i, CHARBYTES * (i + 1), 2 << i, LARGECHAR, 1);
393 }
394
395 for (i = 1; i < 8; ++i)
396 {
397 do_test (CHARBYTES * i, 2 * CHARBYTES * i, 8 << i, MIDCHAR, 0);
398 do_test (2 * CHARBYTES * i, CHARBYTES * i, 8 << i, LARGECHAR, 0);
399 do_test (CHARBYTES * i, 2 * CHARBYTES * i, 8 << i, MIDCHAR, 1);
400 do_test (2 * CHARBYTES * i, CHARBYTES * i, 8 << i, LARGECHAR, 1);
401 do_test (CHARBYTES * i, 2 * CHARBYTES * i, 8 << i, MIDCHAR, -1);
402 do_test (2 * CHARBYTES * i, CHARBYTES * i, 8 << i, LARGECHAR, -1);
403 }
404
405 do_random_tests ();
406 return ret;
407}
408
409#include <support/test-driver.c>
410

Warning: That file was not part of the compilation database. It may have many parsing errors.