mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-24 11:41:07 +00:00
0d40d0ecba
We have a general principle of preferring optimizations for library
facilities to use compiler built-in functions rather than being
located in library headers, where the compiler can reasonably optimize
code without needing to know glibc implementation details.
This patch applies this principle to bits/byteswap.h, eliminating all
the architecture-specific variants and bits/byteswap-16.h. The
__bswap_16, __bswap_32 and __bswap_64 interfaces all become inline
functions, never macros, using the GCC built-in functions where
available and otherwise a single architecture-independent definition
using shifts and masking (which compilers may well be able to detect
and optimize; GCC has detection of various byte-swapping idioms).
The __bswap_constant_32 macro needs to stay around because of uses in
static initializers within glibc and its tests, and so for consistency
all __bswap_constant_* are kept rather than just being inlined into
the old-GCC-or-non-GCC parts of the __bswap_* inline function
definitions.
Various open bugs are addressed by this cleanup, with caveats about
exactly what is covered by those bugs and when the bugs applied at
all.
Bug 14508 reports -Wformat warnings building glibc because __bswap_*
sometimes returned the wrong types. Obviously we already don't have
such warnings any more or the build would be failing, given -Werror,
and I suspect that bug was originally for wrong types for x86_64, as
fixed by commit d394eb742a (glibc 2.17).
The only case I saw removed by this patch where the types would still
have been wrong was the non-__GNUC__ case of __bswap_64 in the s390
header (using unsigned long long int, but uint64_t would be unsigned
long int for 64-bit). In any case, the single header consistently
uses __uintN_t types after this patch, thereby eliminating all such
bugs. The existing string/test-endian-types.c test already suffices
to verify that the types are correct with the compiler used to build
glibc and its tests.
Bug 15512 reports an error from __bswap_constant_16 with -Werror
-Wsign-conversion. I am unable to reproduce this with any GCC version
supporting -Wsign-conversion - all seem to be able to avoid warning
for ((x) >> 8) & 0xffu, where x is uint16_t, which while it formally
does involve an implicit conversion from int to unsigned int, is also
a case where it should be easy for the compiler to see that the value
converted is never negative. But in this patch __bswap_constant_16 is
changed to use signed 0xff so that no such implicit conversion occurs
at all, and a test with -Werror -Wsign-conversion is added.
Bug 17082 objects to the use of ({}) statement expressions in these
macros preventing use at file scope (in C, that's in sizeof etc.; in
C++, more generally in static initializers). The particular case of
these interfaces is fixed by this patch as it changes them to inline
functions, eliminating all uses of ({}) in bits/byteswap.h, and a
corresponding testcase is added. The bug tries to raise a more
general policy question about use of ({}) in macros in installed
headers, referring to "many other libc functions" (unspecified which
functions are being considered).
Since such policy questions belong on libc-alpha, and since there
*are* macros in installed headers which can't really avoid using ({})
(where they are type-generic, so can't use an inline function, but
need a temporary variable, and a few where the interface involves
returning memory from alloca so can't use an inline function either),
I propose to consider that bug fixed with this change. That is
without prejudice to any other new bugs anyone wishes to file *for
precisely defined sets of macros* requesting moving away from ({})
*where it is clearly possible for those interfaces*. Where ({}) can
be avoided, typically by use of an inline function, I think that's a
good idea - that inline functions are typically to be preferred to
({}) for header interfaces where such optimizations are useful but the
interface is suited to being defined using an inline function.
Bug 20530 requests use of __builtin_bswap16 when available (GCC 4.8
and later), which this patch implements.
Tested for x86_64, and with build-many-glibcs.py. Also did an x86_64
test with the __GNUC_PREREQ conditionals changed to "#if 0" to verify
the old-GCC/non-GCC case in the headers. (There are already existing
tests for correctness of results of these interfaces.)
[BZ #14508]
[BZ #15512]
[BZ #17082]
[BZ #20530]
* bits/byteswap.h: Update file comment. Do not include
<bits/byteswap-16.h>.
(__bswap_constant_16): Cast result to __uint16_t. Use signed 0xff
constant.
(__bswap_16): Define as inline function.
(__bswap_constant_32): Reformat definition.
(__bswap_32): Always define as inline function, not macro, using
__uint32_t. Use __builtin_bswap32 if [__GNUC_PREREQ (4, 3)],
otherwise __bswap_constant_32.
(__bswap_constant_64): Reformat definition. Do not use
__extension__ here.
(__bswap_64): Always define as inline function, not macro. Use
__extension__ on function definition. Use __builtin_bswap64 if
[__GNUC_PREREQ (4, 3)], otherwise __bswap_constant_64.
* string/test-endian-file-scope.c: New file.
* string/test-endian-sign-conversion.c: Likewise.
* string/Makefile (headers): Remove bits/byteswap-16.h.
(tests): Add test-endian-file-scope and
test-endian-sign-conversion.
(CFLAGS-test-endian-sign-conversion.c): New variable.
* bits/byteswap-16.h: Remove file.
* sysdeps/ia64/bits/byteswap-16.h: Likewise.
* sysdeps/ia64/bits/byteswap.h: Likewise.
* sysdeps/m68k/bits/byteswap.h: Likewise.
* sysdeps/s390/bits/byteswap-16.h: Likewise.
* sysdeps/s390/bits/byteswap.h: Likewise.
* sysdeps/tile/bits/byteswap.h: Likewise.
* sysdeps/x86/bits/byteswap-16.h: Likewise.
* sysdeps/x86/bits/byteswap.h: Likewise.
113 lines
4.3 KiB
Makefile
113 lines
4.3 KiB
Makefile
# Copyright (C) 1991-2018 Free Software Foundation, Inc.
|
|
# 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
|
|
# <http://www.gnu.org/licenses/>.
|
|
|
|
#
|
|
# Sub-makefile for string portion of library.
|
|
#
|
|
subdir := string
|
|
|
|
include ../Makeconfig
|
|
|
|
headers := string.h bits/string_fortified.h \
|
|
strings.h bits/strings_fortified.h \
|
|
byteswap.h bits/byteswap.h \
|
|
endian.h bits/endian.h bits/uintn-identity.h \
|
|
memory.h argz.h envz.h
|
|
|
|
routines := strcat strchr strcmp strcoll strcpy strcspn \
|
|
strverscmp strdup strndup \
|
|
strerror _strerror strlen strnlen \
|
|
strncat strncmp strncpy \
|
|
strrchr strpbrk strsignal strspn strstr strtok \
|
|
strtok_r strxfrm memchr memcmp memmove memset \
|
|
mempcpy bcopy bzero ffs ffsll stpcpy stpncpy \
|
|
strcasecmp strncase strcasecmp_l strncase_l \
|
|
memccpy memcpy wordcopy strsep strcasestr \
|
|
swab strfry memfrob memmem rawmemchr strchrnul \
|
|
$(addprefix argz-,append count create ctsep next \
|
|
delete extract insert stringify \
|
|
addsep replace) \
|
|
envz basename \
|
|
strcoll_l strxfrm_l string-inlines memrchr \
|
|
xpg-strerror strerror_l explicit_bzero
|
|
|
|
strop-tests := memchr memcmp memcpy memmove mempcpy memset memccpy \
|
|
stpcpy stpncpy strcat strchr strcmp strcpy strcspn \
|
|
strlen strncmp strncpy strpbrk strrchr strspn memmem \
|
|
strstr strcasestr strnlen strcasecmp strncasecmp \
|
|
strncat rawmemchr strchrnul bcopy bzero memrchr \
|
|
explicit_bzero
|
|
tests := tester inl-tester noinl-tester testcopy test-ffs \
|
|
tst-strlen stratcliff tst-svc tst-inlcall \
|
|
bug-strncat1 bug-strspn1 bug-strpbrk1 tst-bswap \
|
|
tst-strtok tst-strxfrm bug-strcoll1 tst-strfry \
|
|
bug-strtok1 $(addprefix test-,$(strop-tests)) \
|
|
bug-envz1 tst-strxfrm2 tst-endian tst-svc2 \
|
|
tst-strtok_r bug-strcoll2 tst-cmp tst-xbzero-opt \
|
|
test-endian-types test-endian-file-scope \
|
|
test-endian-sign-conversion
|
|
|
|
# This test allocates a lot of memory and can run for a long time.
|
|
xtests = tst-strcoll-overflow
|
|
|
|
ifeq ($(run-built-tests),yes)
|
|
tests-special += $(objpfx)tst-svc-cmp.out
|
|
endif
|
|
|
|
include ../Rules
|
|
|
|
CFLAGS-inl-tester.c += -fno-builtin
|
|
CFLAGS-noinl-tester.c += -fno-builtin
|
|
CFLAGS-tst-strlen.c += -fno-builtin
|
|
CFLAGS-stratcliff.c += -fno-builtin
|
|
CFLAGS-test-ffs.c += -fno-builtin
|
|
CFLAGS-tst-inlcall.c += -fno-builtin
|
|
CFLAGS-tst-xbzero-opt.c += -O3
|
|
CFLAGS-test-endian-sign-conversion.c += -Werror -Wsign-conversion
|
|
# BZ 21006: Resolve all functions but at least explicit_bzero at startup.
|
|
# Otherwise the test fails on s390x as the memcpy in prepare_test_buffer is
|
|
# done by loading r4 / r5 with the test_pattern and using store multiple
|
|
# instruction to store r4 / r5 to buf. If explicit_bzero would be resolved in
|
|
# setup_explicit_clear, r4 / r5 would be stored to stack by _dl_runtime_resolve
|
|
# and the call to memmem in count_test_patterns will find a hit of the
|
|
# test_pattern on the stack.
|
|
LDFLAGS-tst-xbzero-opt = -z now
|
|
|
|
# Called during TLS initialization.
|
|
CFLAGS-memcpy.c += $(no-stack-protector)
|
|
CFLAGS-wordcopy.c += $(no-stack-protector)
|
|
|
|
ifeq ($(run-built-tests),yes)
|
|
$(objpfx)tst-svc-cmp.out: tst-svc.expect $(objpfx)tst-svc.out
|
|
cmp $^ > $@; \
|
|
$(evaluate-test)
|
|
|
|
LOCALES := de_DE.UTF-8 en_US.ISO-8859-1 en_US.UTF-8 \
|
|
tr_TR.ISO-8859-9 tr_TR.UTF-8 cs_CZ.UTF-8 \
|
|
da_DK.ISO-8859-1 en_GB.UTF-8
|
|
include ../gen-locales.mk
|
|
|
|
$(objpfx)test-strcasecmp.out: $(gen-locales)
|
|
$(objpfx)test-strncasecmp.out: $(gen-locales)
|
|
$(objpfx)tst-strxfrm.out: $(gen-locales)
|
|
$(objpfx)tst-strxfrm2.out: $(gen-locales)
|
|
# bug-strcoll2 needs cs_CZ.UTF-8 and da_DK.ISO-8859-1.
|
|
$(objpfx)bug-strcoll2.out: $(gen-locales)
|
|
$(objpfx)tst-strcoll-overflow.out: $(gen-locales)
|
|
|
|
endif
|