From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pg1-x530.google.com (mail-pg1-x530.google.com [IPv6:2607:f8b0:4864:20::530]) by sourceware.org (Postfix) with ESMTPS id ADE7C385803E for ; Thu, 24 Mar 2022 19:01:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org ADE7C385803E Received: by mail-pg1-x530.google.com with SMTP id t4so1511754pgc.1 for ; Thu, 24 Mar 2022 12:01:44 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=zCr67Fkvcy9BxC71lKG1yhN+YwyNdeL5VbbfNICTjBo=; b=0gBAxUsUxDvHC51UbzdRMMowJJQ02ldjy3BHwHllSdxBv/cfmYlJHhZWrXI25+zysm Bkrt71XMms0Pgi66kKqemB3SCXoL0DRbJbt0zyxoTMmgfXAVJ/+KVSufR3LOE02uCTS2 BILiv7JxGH7BX551AdPdG0ErUOZpGB83cLrBwzo+P4KIFu94ZOp0riT+FTuWNL5P15E0 2y7ZRpspfdP7SHxvbeaJgZanKAd3ROZDgthjXRaEKl/3GRTObeQgxFWPXOSeT6aHOnoO l/6+dd0+dHKRZdVzT7fwNarAIUK/m+U7s0qk23RKDNCGj16oYR2zUbbx54/bP/Wbntun Umvg== X-Gm-Message-State: AOAM531dGtxIhTTjF+xuXdmYa9xyck+JtVK0kZDqn0VhmX4TxIlkLMb0 B+W1GItCl9J115k68tTt4cTd0MPLnt8m+2ktbL90iGpey8Q= X-Google-Smtp-Source: ABdhPJyAnDf2S6PNE37nJ8/9/1Gf4C9qRDbQjMMJfsDZ5Ncs/MdrxEp0fFmoi8mSI2ehnXus0gfY+Ou3CX1qHv461Og= X-Received: by 2002:a63:af06:0:b0:378:3582:a49f with SMTP id w6-20020a63af06000000b003783582a49fmr5069995pge.125.1648148503651; Thu, 24 Mar 2022 12:01:43 -0700 (PDT) MIME-Version: 1.0 References: <20220323215734.3927131-1-goldstein.w.n@gmail.com> <20220323215734.3927131-15-goldstein.w.n@gmail.com> In-Reply-To: <20220323215734.3927131-15-goldstein.w.n@gmail.com> From: "H.J. Lu" Date: Thu, 24 Mar 2022 12:01:07 -0700 Message-ID: Subject: Re: [PATCH v1 15/23] string: Expand page cross tests in test-strcasecmp.c To: Noah Goldstein Cc: GNU C Library , "Carlos O'Donell" Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-3026.0 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 24 Mar 2022 19:01:46 -0000 On Wed, Mar 23, 2022 at 3:01 PM Noah Goldstein wrote: > > Add more robust tests that cover all the page cross edge cases. > --- > string/test-strcasecmp.c | 112 ++++++++++++++++++++++++++++++++++----- > 1 file changed, 100 insertions(+), 12 deletions(-) > > diff --git a/string/test-strcasecmp.c b/string/test-strcasecmp.c > index 3d994f9d64..438a9713ac 100644 > --- a/string/test-strcasecmp.c > +++ b/string/test-strcasecmp.c > @@ -18,6 +18,10 @@ > > #include > #include > +#include > +#define TEST_LEN (getpagesize () * 3) > +#define MIN_PAGE_SIZE (TEST_LEN + 2 * getpagesize ()) > + > #define TEST_MAIN > #define TEST_NAME "strcasecmp" > #include "test-string.h" > @@ -85,12 +89,13 @@ do_test (size_t align1, size_t align2, size_t len, int max_char, > if (len == 0) > return; > > - align1 &= 7; > - if (align1 + len + 1 >= page_size) > + > + align1 &= getpagesize () - 1; > + if (align1 + (len + 1) >= page_size) > return; > > - align2 &= 7; > - if (align2 + len + 1 >= page_size) > + align2 &= getpagesize () - 1; > + if (align2 + (len + 1) >= page_size) > return; > > s1 = (char *) (buf1 + align1); > @@ -105,12 +110,33 @@ do_test (size_t align1, size_t align2, 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, exp_result); > } > @@ -207,10 +233,10 @@ do_random_tests (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); > @@ -249,6 +275,68 @@ test_locale (const char *locale) > do_test (2 * i, i, 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, 127, 0); > + do_test (getpagesize () - j - 1, 0, i, 127, 1); > + do_test (getpagesize () - j - 1, 0, i, 127, -1); > + > + do_test (getpagesize () - j - 1, j, i, 127, 0); > + do_test (getpagesize () - j - 1, j, i, 127, 1); > + do_test (getpagesize () - j - 1, j, i, 127, -1); > + > + do_test (0, getpagesize () - j - 1, i, 127, 0); > + do_test (0, getpagesize () - j - 1, i, 127, 1); > + do_test (0, getpagesize () - j - 1, i, 127, -1); > + > + do_test (j, getpagesize () - j - 1, i, 127, 0); > + do_test (j, getpagesize () - j - 1, i, 127, 1); > + do_test (j, getpagesize () - j - 1, i, 127, -1); > + > + for (k = 2; k <= 128; k += k) > + { > + do_test (getpagesize () - k, getpagesize () - j - 1, i, 127, 0); > + do_test (getpagesize () - k - 1, getpagesize () - j - 1, i, 127, > + 0); > + do_test (getpagesize () - k, getpagesize () - j - 1, i, 127, 1); > + do_test (getpagesize () - k - 1, getpagesize () - j - 1, i, 127, > + 1); > + do_test (getpagesize () - k, getpagesize () - j - 1, i, 127, -1); > + do_test (getpagesize () - k - 1, getpagesize () - j - 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 (); > } > > @@ -257,11 +345,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 > LGTM. Reviewed-by: H.J. Lu Thanks. -- H.J.