Re: [PATCH v1] x86: Test wcscmp RTM in the wcsncmp overflow case [BZ #28896]

["H.J. Lu" <hjl.tools@gmail.com>]

On Thu, Feb 17, 2022 at 7:37 PM Noah Goldstein <goldstein.w.n@gmail.com> wrote:
>
> In the overflow fallback strncmp-avx2-rtm and wcsncmp-avx2-rtm would
> call strcmp-avx2 and wcscmp-avx2 respectively. This would have
> not checks around vzeroupper and would trigger spurious
> aborts. This commit fixes that.
>
> test-strcmp, test-strncmp, test-wcscmp, and test-wcsncmp all pass on
> AVX2 machines with and without RTM.
> ---
>  sysdeps/x86/Makefile          |  4 +++-
>  sysdeps/x86/tst-strncmp-rtm.c | 33 ++++++++++++++++++++++++---------
>  sysdeps/x86/tst-wcsncmp-rtm.c | 20 ++++++++++++++++++++
>  3 files changed, 47 insertions(+), 10 deletions(-)
>  create mode 100644 sysdeps/x86/tst-wcsncmp-rtm.c
>
> diff --git a/sysdeps/x86/Makefile b/sysdeps/x86/Makefile
> index d110f7b7f2..b13b556425 100644
> --- a/sysdeps/x86/Makefile
> +++ b/sysdeps/x86/Makefile
> @@ -99,7 +99,8 @@ tests += \
>    tst-strcpy-rtm \
>    tst-strlen-rtm \
>    tst-strncmp-rtm \
> -  tst-strrchr-rtm
> +  tst-strrchr-rtm \
> +  tst-wcsncmp-rtm
>
>  CFLAGS-tst-memchr-rtm.c += -mrtm
>  CFLAGS-tst-memcmp-rtm.c += -mrtm
> @@ -111,6 +112,7 @@ CFLAGS-tst-strcpy-rtm.c += -mrtm
>  CFLAGS-tst-strlen-rtm.c += -mrtm
>  CFLAGS-tst-strncmp-rtm.c += -mrtm -Wno-error
>  CFLAGS-tst-strrchr-rtm.c += -mrtm
> +CFLAGS-tst-wcsncmp-rtm.c += -mrtm -Wno-error
>  endif
>
>  ifneq ($(enable-cet),no)
> diff --git a/sysdeps/x86/tst-strncmp-rtm.c b/sysdeps/x86/tst-strncmp-rtm.c
> index 9e20abaacc..5c6f40e5aa 100644
> --- a/sysdeps/x86/tst-strncmp-rtm.c
> +++ b/sysdeps/x86/tst-strncmp-rtm.c
> @@ -17,20 +17,35 @@
>     <https://www.gnu.org/licenses/>.  */
>
>  #include <stdint.h>
> +#include <wchar.h>
>  #include <tst-string-rtm.h>
>
> +#ifdef WIDE

Move #include <wchar.h> here.

> +# define CHAR wchar_t
> +# define MEMSET wmemset
> +# define STRNCMP wcsncmp
> +# define TEST_NAME wcsncmp
> +#else /* !WIDE */
> +# define CHAR char
> +# define MEMSET memset
> +# define STRNCMP strncmp
> +# define TEST_NAME strncmp
> +#endif /* !WIDE */
> +
> +
> +
>  #define LOOP 3000
>  #define STRING_SIZE 1024
> -char string1[STRING_SIZE];
> -char string2[STRING_SIZE];
> +CHAR string1[STRING_SIZE];
> +CHAR string2[STRING_SIZE];
>
>  __attribute__ ((noinline, noclone))
>  static int
>  prepare (void)
>  {
> -  memset (string1, 'a', STRING_SIZE - 1);
> -  memset (string2, 'a', STRING_SIZE - 1);
> -  if (strncmp (string1, string2, STRING_SIZE) == 0)
> +  MEMSET (string1, 'a', STRING_SIZE - 1);
> +  MEMSET (string2, 'a', STRING_SIZE - 1);
> +  if (STRNCMP (string1, string2, STRING_SIZE) == 0)
>      return EXIT_SUCCESS;
>    else
>      return EXIT_FAILURE;
> @@ -40,7 +55,7 @@ __attribute__ ((noinline, noclone))
>  static int
>  function (void)
>  {
> -  if (strncmp (string1, string2, STRING_SIZE) == 0)
> +  if (STRNCMP (string1, string2, STRING_SIZE) == 0)
>      return 0;
>    else
>      return 1;
> @@ -50,7 +65,7 @@ __attribute__ ((noinline, noclone))
>  static int
>  function_overflow (void)
>  {
> -  if (strncmp (string1, string2, SIZE_MAX) == 0)
> +  if (STRNCMP (string1, string2, SIZE_MAX) == 0)
>      return 0;
>    else
>      return 1;
> @@ -59,9 +74,9 @@ function_overflow (void)
>  static int
>  do_test (void)
>  {
> -  int status = do_test_1 ("strncmp", LOOP, prepare, function);
> +  int status = do_test_1 (TEST_NAME, LOOP, prepare, function);
>    if (status != EXIT_SUCCESS)
>      return status;
> -  status = do_test_1 ("strncmp", LOOP, prepare, function_overflow);
> +  status = do_test_1 (TEST_NAME, LOOP, prepare, function_overflow);
>    return status;
>  }
> diff --git a/sysdeps/x86/tst-wcsncmp-rtm.c b/sysdeps/x86/tst-wcsncmp-rtm.c
> new file mode 100644
> index 0000000000..86f97e4035
> --- /dev/null
> +++ b/sysdeps/x86/tst-wcsncmp-rtm.c
> @@ -0,0 +1,20 @@
> +/* Test case for wcsncmp inside a transactionally executing RTM region.
> +   Copyright (C) 2021-2022 Free Software Foundation, Inc.
                               ^^^^^ Just 2022
> +   This file is part of the GNU C Library.
> +
> +   The GNU C Library is free software; you can redistribute it and/or
> +   modify it under the terms of the GNU Lesser General Public
> +   License as published by the Free Software Foundation; either
> +   version 2.1 of the License, or (at your option) any later version.
> +
> +   The GNU C Library is distributed in the hope that it will be useful,
> +   but WITHOUT ANY WARRANTY; without even the implied warranty of
> +   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
> +   Lesser General Public License for more details.
> +
> +   You should have received a copy of the GNU Lesser General Public
> +   License along with the GNU C Library; if not, see
> +   <https://www.gnu.org/licenses/>.  */
> +
> +#define WIDE 1
> +#include "tst-strncmp-rtm.c"
> --
> 2.25.1
>

Thanks.

-- 
H.J.