From: Noah Goldstein <goldstein.w.n@gmail.com>
To: libc-alpha@sourceware.org
Subject: [PATCH v1 16/23] string: Expand page cross tests in test-strncasecmp.c
Date: Wed, 23 Mar 2022 16:57:34 -0500 [thread overview]
Message-ID: <20220323215734.3927131-16-goldstein.w.n@gmail.com> (raw)
In-Reply-To: <20220323215734.3927131-1-goldstein.w.n@gmail.com>
Add more robust tests that cover all the page cross edge cases.
---
string/test-strncasecmp.c | 166 +++++++++++++++++++++++++++++++++++---
1 file changed, 154 insertions(+), 12 deletions(-)
diff --git a/string/test-strncasecmp.c b/string/test-strncasecmp.c
index a3c848165a..b86c630bf6 100644
--- a/string/test-strncasecmp.c
+++ b/string/test-strncasecmp.c
@@ -18,6 +18,10 @@
#include <locale.h>
#include <ctype.h>
+
+#define TEST_LEN (getpagesize () * 3)
+#define MIN_PAGE_SIZE (TEST_LEN + 2 * getpagesize ())
+
#define TEST_MAIN
#define TEST_NAME "strncasecmp"
#include "test-string.h"
@@ -106,14 +110,15 @@ do_test (size_t align1, size_t align2, size_t n, size_t len, int max_char,
if (len == 0)
return;
- align1 &= 7;
- if (align1 + len + 1 >= page_size)
+ align1 &= getpagesize () - 1;
+ if (align1 + (len + 2) >= page_size)
return;
- align2 &= 7;
- if (align2 + len + 1 >= page_size)
+ align2 &= getpagesize () - 1;
+ if (align2 + (len + 2) >= page_size)
return;
+
s1 = (char *) (buf1 + align1);
s2 = (char *) (buf2 + align2);
@@ -126,12 +131,33 @@ do_test (size_t align1, size_t align2, size_t n, size_t len, int max_char,
s1[len] = s2[len] = 0;
s1[len + 1] = 23;
s2[len + 1] = 24 + exp_result;
+
if ((s2[len - 1] == 'z' && exp_result == -1)
|| (s2[len - 1] == 'a' && exp_result == 1))
s1[len - 1] += exp_result;
+ else if ((s1[len - 1] == 'Z' + 1 && exp_result == 1)
+ || (s1[len - 1] == 'A' - 1 && exp_result == -1))
+ s1[len - 1] = tolower (s2[len - 1]) + exp_result;
else
s2[len - 1] -= exp_result;
+ /* For some locals this is not guranteed yet. */
+ if (tolower (s1[len - 1]) - tolower (s2[len - 1]) != exp_result)
+ {
+ if (exp_result == -1)
+ {
+ s1[len - 1] = tolower ('a');
+ s2[len - 1] = toupper (tolower ('a') - 1);
+ }
+ else if (exp_result == 0)
+ s1[len - 1] = toupper (s2[len - 1]);
+ else
+ {
+ s1[len - 1] = tolower ('a');
+ s2[len - 1] = toupper (tolower ('a') + 1);
+ }
+ }
+
FOR_EACH_IMPL (impl, 0)
do_one_test (impl, s1, s2, n, exp_result);
}
@@ -299,10 +325,10 @@ bz14195 (void)
}
static void
-test_locale (const char *locale)
+test_locale (const char *locale, int extra_tests)
{
- size_t i;
-
+ size_t i, j, k;
+ const size_t test_len = MIN(TEST_LEN, 3 * 4096);
if (setlocale (LC_CTYPE, locale) == NULL)
{
error (0, 0, "cannot set locale \"%s\"", locale);
@@ -374,6 +400,122 @@ test_locale (const char *locale)
do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, -1);
}
+ for (j = 0; extra_tests && j < 160; ++j)
+ {
+ for (i = 0; i < test_len;)
+ {
+ do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 0);
+ do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 1);
+ do_test (getpagesize () - j - 1, 0, i + 1, i, 127, -1);
+
+ do_test (getpagesize () - j - 1, 0, i, i, 127, 0);
+ do_test (getpagesize () - j - 1, 0, i - 1, i, 127, 0);
+
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 0);
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 1);
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, -1);
+
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 0);
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 1);
+ do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, -1);
+
+ do_test (getpagesize () - j - 1, j, i + 1, i, 127, 0);
+ do_test (getpagesize () - j - 1, j, i + 1, i, 127, 1);
+ do_test (getpagesize () - j - 1, j, i + 1, i, 127, -1);
+
+ do_test (getpagesize () - j - 1, j, i, i, 127, 0);
+ do_test (getpagesize () - j - 1, j, i - 1, i, 127, 0);
+
+ do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 0);
+ do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 1);
+ do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, -1);
+
+ do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 0);
+ do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 1);
+ do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, -1);
+
+ do_test (0, getpagesize () - j - 1, i + 1, i, 127, 0);
+ do_test (0, getpagesize () - j - 1, i + 1, i, 127, 1);
+ do_test (0, getpagesize () - j - 1, i + 1, i, 127, -1);
+
+ do_test (0, getpagesize () - j - 1, i, i, 127, 0);
+ do_test (0, getpagesize () - j - 1, i - 1, i, 127, 0);
+
+ do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
+ do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
+ do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
+
+ do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
+ do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
+ do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
+
+ do_test (j, getpagesize () - j - 1, i + 1, i, 127, 0);
+ do_test (j, getpagesize () - j - 1, i + 1, i, 127, 1);
+ do_test (j, getpagesize () - j - 1, i + 1, i, 127, -1);
+
+ do_test (j, getpagesize () - j - 1, i, i, 127, 0);
+ do_test (j, getpagesize () - j - 1, i - 1, i, 127, 0);
+
+ do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
+ do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
+ do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
+
+ do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
+ do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
+ do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
+
+ for (k = 2; k <= 128; k += k)
+ {
+ do_test (getpagesize () - k, getpagesize () - j - 1, i - 1, i,
+ 127, 0);
+ do_test (getpagesize () - k - 1, getpagesize () - j - 1, i - 1,
+ i, 127, 0);
+ do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
+ 127, 0);
+ do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
+ i, 127, 0);
+ do_test (getpagesize () - k, getpagesize () - j - 1, i, i, 127,
+ 0);
+ do_test (getpagesize () - k - 1, getpagesize () - j - 1, i, i,
+ 127, 0);
+ do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
+ 127, -1);
+ do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
+ i, 127, -1);
+ do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
+ 127, 1);
+ do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
+ i, 127, 1);
+ }
+ if (i < 32)
+ {
+ i += 1;
+ }
+ else if (i < 161)
+ {
+ i += 7;
+ }
+ else if (i + 161 < test_len)
+ {
+ i += 31;
+ i *= 17;
+ i /= 16;
+ if (i + 161 > test_len)
+ {
+ i = test_len - 160;
+ }
+ }
+ else if (i + 32 < test_len)
+ {
+ i += 7;
+ }
+ else
+ {
+ i += 1;
+ }
+ }
+ }
+
do_random_tests ();
do_page_tests ();
}
@@ -383,11 +525,11 @@ test_main (void)
{
test_init ();
- test_locale ("C");
- test_locale ("en_US.ISO-8859-1");
- test_locale ("en_US.UTF-8");
- test_locale ("tr_TR.ISO-8859-9");
- test_locale ("tr_TR.UTF-8");
+ test_locale ("C", 1);
+ test_locale ("en_US.ISO-8859-1", 0);
+ test_locale ("en_US.UTF-8", 0);
+ test_locale ("tr_TR.ISO-8859-9", 0);
+ test_locale ("tr_TR.UTF-8", 0);
return ret;
}
--
2.25.1
next prev parent reply other threads:[~2022-03-23 22:01 UTC|newest]
Thread overview: 76+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-03-23 21:57 [PATCH v1 01/23] benchtests: Use json-lib in bench-strchr.c Noah Goldstein
2022-03-23 21:57 ` [PATCH v1 02/23] benchtests: Add random benchmark " Noah Goldstein
2022-03-24 18:44 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 03/23] x86: Code cleanup in strchr-avx2 and comment justifying branch Noah Goldstein
2022-03-24 18:53 ` H.J. Lu
2022-03-24 19:20 ` Noah Goldstein
2022-03-24 19:36 ` H.J. Lu
2022-05-12 19:31 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 04/23] x86: Code cleanup in strchr-evex " Noah Goldstein
2022-03-24 18:54 ` H.J. Lu
2022-05-12 19:32 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 05/23] benchtests: Use json-lib in bench-strpbrk.c Noah Goldstein
2022-03-24 18:54 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 06/23] benchtests: Use json-lib in bench-strspn.c Noah Goldstein
2022-03-24 18:54 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 07/23] x86: Optimize strcspn and strpbrk in strcspn-c.c Noah Goldstein
2022-03-24 18:55 ` H.J. Lu
2022-05-12 19:34 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 08/23] x86: Optimize strspn in strspn-c.c Noah Goldstein
2022-03-24 18:56 ` H.J. Lu
2022-05-12 19:39 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 09/23] x86: Remove strcspn-sse2.S and use the generic implementation Noah Goldstein
2022-03-24 18:57 ` H.J. Lu
2022-05-12 19:40 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 10/23] x86: Remove strpbrk-sse2.S " Noah Goldstein
2022-03-24 18:57 ` H.J. Lu
2022-05-12 19:41 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 11/23] x86: Remove strspn-sse2.S " Noah Goldstein
2022-03-24 18:57 ` H.J. Lu
2022-05-12 19:42 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 12/23] x86: Fix fallback for wcsncmp_avx2 in strcmp-avx2.S [BZ #28896] Noah Goldstein
2022-03-24 18:59 ` H.J. Lu
2022-03-24 19:18 ` Noah Goldstein
2022-03-24 19:34 ` H.J. Lu
2022-03-24 19:39 ` Noah Goldstein
2022-03-24 20:50 ` [PATCH v2 12/31] " Noah Goldstein
2022-03-24 21:26 ` H.J. Lu
2022-03-24 21:43 ` Noah Goldstein
2022-03-24 21:58 ` H.J. Lu
2022-05-04 6:05 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 13/23] benchtests: Use json-lib in bench-strcasecmp.c Noah Goldstein
2022-03-24 19:00 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 14/23] benchtests: Use json-lib in bench-strncasecmp.c Noah Goldstein
2022-03-24 19:00 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 15/23] string: Expand page cross tests in test-strcasecmp.c Noah Goldstein
2022-03-24 19:01 ` H.J. Lu
2022-03-23 21:57 ` Noah Goldstein [this message]
2022-03-24 19:01 ` [PATCH v1 16/23] string: Expand page cross tests in test-strncasecmp.c H.J. Lu
2022-03-23 21:57 ` [PATCH v1 17/23] x86: Optimize str{n}casecmp TOLOWER logic in strcmp.S Noah Goldstein
2022-03-24 19:02 ` H.J. Lu
2022-05-12 19:44 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 18/23] x86: Optimize str{n}casecmp TOLOWER logic in strcmp-sse42.S Noah Goldstein
2022-03-24 19:02 ` H.J. Lu
2022-05-12 19:45 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 19/23] string: Expand page cross test cases in test-strcmp.c Noah Goldstein
2022-03-24 19:02 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 20/23] string: Expand page cross test cases in test-strncmp.c Noah Goldstein
2022-03-24 19:02 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 21/23] x86: Add AVX2 optimized str{n}casecmp Noah Goldstein
2022-03-24 19:03 ` H.J. Lu
2022-03-24 22:41 ` [PATCH v3 " Noah Goldstein
2022-03-24 22:41 ` [PATCH v3 22/23] x86: Add EVEX " Noah Goldstein
2022-03-24 23:56 ` [PATCH v4 21/23] x86: Add AVX2 " Noah Goldstein
2022-03-24 23:56 ` [PATCH v4 22/23] x86: Add EVEX " Noah Goldstein
2022-03-25 18:15 ` H.J. Lu
2022-03-25 18:18 ` Noah Goldstein
2022-05-12 19:47 ` Sunil Pandey
2022-05-12 19:52 ` Sunil Pandey
2022-03-25 18:14 ` [PATCH v4 21/23] x86: Add AVX2 " H.J. Lu
2022-05-12 19:52 ` Sunil Pandey
2022-03-23 21:57 ` [PATCH v1 22/23] x86: Add EVEX " Noah Goldstein
2022-03-24 19:04 ` H.J. Lu
2022-03-23 21:57 ` [PATCH v1 23/23] x86: Remove AVX str{n}casecmp Noah Goldstein
2022-03-24 19:04 ` H.J. Lu
2022-05-12 19:54 ` Sunil Pandey
2022-03-24 18:43 ` [PATCH v1 01/23] benchtests: Use json-lib in bench-strchr.c H.J. Lu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220323215734.3927131-16-goldstein.w.n@gmail.com \
--to=goldstein.w.n@gmail.com \
--cc=libc-alpha@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).