Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 1 | /* |
| 2 | * strncmp test. |
| 3 | * |
| 4 | * Copyright (c) 2019, Arm Limited. |
| 5 | * SPDX-License-Identifier: MIT |
| 6 | */ |
| 7 | |
| 8 | #include <stdint.h> |
| 9 | #include <stdio.h> |
| 10 | #include <stdlib.h> |
| 11 | #include <string.h> |
| 12 | #include "stringlib.h" |
Szabolcs Nagy | 22fd931 | 2020-04-16 11:46:02 +0100 | [diff] [blame] | 13 | #include "stringtest.h" |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 14 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 15 | #define F(x) {#x, x}, |
| 16 | |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 17 | static const struct fun |
| 18 | { |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 19 | const char *name; |
| 20 | int (*fun) (const char *, const char *, size_t); |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 21 | } funtab[] = { |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 22 | // clang-format off |
| 23 | F(strncmp) |
Adhemerval Zanella | 23b9fc5 | 2019-08-07 10:31:33 -0300 | [diff] [blame] | 24 | #if __aarch64__ |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 25 | F(__strncmp_aarch64) |
| 26 | F(__strncmp_aarch64_mte) |
Adhemerval Zanella | 439687a | 2019-08-26 16:52:08 -0300 | [diff] [blame] | 27 | # if __ARM_FEATURE_SVE |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 28 | F(__strncmp_aarch64_sve) |
Adhemerval Zanella | 439687a | 2019-08-26 16:52:08 -0300 | [diff] [blame] | 29 | # endif |
Adhemerval Zanella | 23b9fc5 | 2019-08-07 10:31:33 -0300 | [diff] [blame] | 30 | #endif |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 31 | {0, 0} |
| 32 | // clang-format on |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 33 | }; |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 34 | #undef F |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 35 | |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 36 | #define A 32 |
| 37 | #define LEN 250000 |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 38 | static char s1buf[LEN + 2 * A + 1]; |
| 39 | static char s2buf[LEN + 2 * A + 1]; |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 40 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 41 | static void * |
| 42 | alignup (void *p) |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 43 | { |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 44 | return (void *) (((uintptr_t) p + A - 1) & -A); |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 45 | } |
| 46 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 47 | static void |
| 48 | test (const struct fun *fun, int s1align, int s2align, int maxlen, int diffpos, |
| 49 | int len, int delta) |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 50 | { |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 51 | char *src1 = alignup (s1buf); |
| 52 | char *src2 = alignup (s2buf); |
| 53 | char *s1 = src1 + s1align; |
| 54 | char *s2 = src2 + s2align; |
| 55 | int r; |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 56 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 57 | if (err_count >= ERR_LIMIT) |
| 58 | return; |
| 59 | if (len > LEN || s1align >= A || s2align >= A) |
| 60 | abort (); |
| 61 | if (diffpos >= len) |
| 62 | abort (); |
| 63 | if ((diffpos < 0) != (delta == 0)) |
| 64 | abort (); |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 65 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 66 | for (int i = 0; i < len + A; i++) |
| 67 | src1[i] = src2[i] = '?'; |
| 68 | for (int i = 0; i < len; i++) |
| 69 | s1[i] = s2[i] = 'a' + i % 23; |
| 70 | if (delta) |
| 71 | s1[diffpos] += delta; |
| 72 | s1[len] = s2[len] = '\0'; |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 73 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 74 | r = fun->fun (s1, s2, maxlen); |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 75 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 76 | if (diffpos >= maxlen) |
| 77 | { |
| 78 | diffpos = -1; |
| 79 | delta = 0; |
| 80 | } |
| 81 | if ((delta == 0 && r != 0) || (delta > 0 && r <= 0) || (delta < 0 && r >= 0)) |
| 82 | { |
| 83 | ERR ( |
| 84 | "%s(align %d, align %d, %d) (len=%d, diffpos=%d) failed, returned %d\n", |
| 85 | fun->name, s1align, s2align, maxlen, len, diffpos, r); |
| 86 | quoteat ("src1", src1, len + A, diffpos); |
| 87 | quoteat ("src2", src2, len + A, diffpos); |
| 88 | } |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 89 | } |
| 90 | |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 91 | int |
| 92 | main () |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 93 | { |
Szabolcs Nagy | 0b7d1ae | 2020-05-12 16:40:08 +0100 | [diff] [blame] | 94 | int r = 0; |
| 95 | for (int i = 0; funtab[i].name; i++) |
| 96 | { |
| 97 | err_count = 0; |
| 98 | for (int d = 0; d < A; d++) |
| 99 | for (int s = 0; s < A; s++) |
| 100 | { |
| 101 | int n; |
| 102 | test (funtab + i, d, s, 0, -1, 0, 0); |
| 103 | test (funtab + i, d, s, 1, -1, 0, 0); |
| 104 | test (funtab + i, d, s, 0, -1, 1, 0); |
| 105 | test (funtab + i, d, s, 1, -1, 1, 0); |
| 106 | test (funtab + i, d, s, 2, -1, 1, 0); |
| 107 | test (funtab + i, d, s, 1, 0, 1, 1); |
| 108 | test (funtab + i, d, s, 1, 0, 1, -1); |
| 109 | for (n = 2; n < 100; n++) |
| 110 | { |
| 111 | test (funtab + i, d, s, n, -1, n, 0); |
| 112 | test (funtab + i, d, s, n, n / 2, n, 1); |
| 113 | test (funtab + i, d, s, n / 2, -1, n, 0); |
| 114 | test (funtab + i, d, s, n / 2, n / 2, n, -1); |
| 115 | } |
| 116 | for (; n < LEN; n *= 2) |
| 117 | { |
| 118 | test (funtab + i, d, s, n, -1, n, 0); |
| 119 | test (funtab + i, d, s, n, n / 2, n, -1); |
| 120 | test (funtab + i, d, s, n / 2, -1, n, 0); |
| 121 | test (funtab + i, d, s, n / 2, n / 2, n, 1); |
| 122 | } |
| 123 | } |
| 124 | printf ("%s %s\n", err_count ? "FAIL" : "PASS", funtab[i].name); |
| 125 | if (err_count) |
| 126 | r = -1; |
| 127 | } |
| 128 | return r; |
Adhemerval Zanella | 79618e0 | 2019-08-07 09:54:33 -0300 | [diff] [blame] | 129 | } |