From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oi1-x234.google.com (mail-oi1-x234.google.com [IPv6:2607:f8b0:4864:20::234]) by sourceware.org (Postfix) with ESMTPS id 812643858022 for ; Thu, 6 Oct 2022 15:25:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 812643858022 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linaro.org Received: by mail-oi1-x234.google.com with SMTP id w127so2396906oiw.8 for ; Thu, 06 Oct 2022 08:25:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=content-transfer-encoding:in-reply-to:organization:from:references :cc:to:content-language:subject:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=vh5LmzuakgRQ+2xfosrfZ43NeQ/LThK0jL9uCOi3gXk=; b=dHTbd/JQWpyVVgFl2FUJeM8JDqzp4G5mO1bwKCTGwuz53DEfnWPZZmpwCBujgvwrjY WQFBBQoDrs3eVQAB9c8GxUvA8qUxP9OW1ADFUbsv3WAwTyN0h2DHw0rts3tW4fIADqnu YuAjj0guS/CAR8c1K80RHqPqTTu926NV1pmnKVyhpLWcAp7mtpxh09mMEM89WhIKeKQH p+JKHJ6bXeSWz5OZvP1p04yydQxuBgnzdFkZsGuk16c72vVKy8nweWfjjh5e3QB4eZVW BM2InnCk/1AJf369tITFZUvRRw78ZBRANYPGI/PJeequnQrHTIphKqiHvf227SFMUIW6 715w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:organization:from:references :cc:to:content-language:subject:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=vh5LmzuakgRQ+2xfosrfZ43NeQ/LThK0jL9uCOi3gXk=; b=18E7E6UVrAdZXuutqMGHFL1yat8eL+70vLPSLMNEjm5esgLyo+2bGrus10etsmB7NS d1wRHjiYlz3nirWQjKEBFeJG9x/NVnDXsZifMXtwe0zOs5MtVBTWeuISYg+QK1fad7Dk I5e0Wu6cA916Pzv3pNSwTASNOBNJGMPYS7f755luRosfg6iIgtqP/EElY+EeCGtbjx8I fm2kymIo8lUxDXqsVeN+C5bISX5MWQptazoIVSTgDXPVr1mN9L/xbgCGhKrSHK93sWa/ lqW0/StxCLjVMr9WMFe0n5MHsyVAoeCXXe30HuJua2Kool5ozub0zdwOgM5pElX4bfST jv8A== X-Gm-Message-State: ACrzQf3FANMtfSH6w009Kfr06cuVUOuBjajWxFEU7a7GzfAanWo7iKqS QTJwJXoTTIOUJSrTs9wQLqE+1A== X-Google-Smtp-Source: AMsMyM4HJ1DLXNOkDOzMc+b69fK/lIzjUe7rRSWCNz21ZSst4Xbtb/KIHMsGP7vkrRDgKCYFhsTsig== X-Received: by 2002:a05:6808:d52:b0:350:9a6a:3c82 with SMTP id w18-20020a0568080d5200b003509a6a3c82mr31158oik.197.1665069938422; Thu, 06 Oct 2022 08:25:38 -0700 (PDT) Received: from ?IPV6:2804:1b3:a7c2:b87d:f903:d4b9:fce3:59f9? ([2804:1b3:a7c2:b87d:f903:d4b9:fce3:59f9]) by smtp.gmail.com with ESMTPSA id d1-20020a056871040100b0010e73e252b8sm6948460oag.6.2022.10.06.08.25.36 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 06 Oct 2022 08:25:38 -0700 (PDT) Message-ID: <356e0256-23db-80f1-8112-7a27cdbe5d74@linaro.org> Date: Thu, 6 Oct 2022 12:25:35 -0300 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.3.1 Subject: Re: [PATCH v4] elf: Remove -fno-tree-loop-distribute-patterns usage on dl-support Content-Language: en-US To: Carlos O'Donell Cc: libc-alpha@sourceware.org, "H . J . Lu" References: <20220811121909.4110665-1-adhemerval.zanella@linaro.org> From: Adhemerval Zanella Netto Organization: Linaro In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-12.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,KAM_SHORT,KAM_STOCKGEN,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 04/10/22 13:13, Carlos O'Donell wrote: > On Thu, Aug 11, 2022 at 09:19:09AM -0300, Adhemerval Zanella via Libc-alpha wrote: >> Besides the option being gcc specific, this approach is still fragile >> and not future proof since we do not if this will be the only > > s/do not/do not know/g > Ok. >> optimization option gcc will add that transform loops to memset > > s/transform/transforms/g > >> (or any libcall). >> >> This patch add a new header dl-symbol-hacks.h that can be used to > > s/add/adds/g > s/dl-symbol-hacks.h/, dl-symbol-hacks.h,/g Ack. > >> redirect the compiler generated libcalls to port specific string >> implementatation if required (defined by dl-ifunc-generic.h). >> >> Checked on x86_64-linux-gnu and aarch64-linux-gnu. >> --- >> elf/Makefile | 5 --- >> elf/dl-support.c | 1 + >> elf/dl-symbol-hacks.h | 31 ++++++++++++++++ >> sysdeps/aarch64/multiarch/dl-ifunc-generic.h | 24 ++++++++++++ >> sysdeps/generic/dl-ifunc-generic.h | 37 +++++++++++++++++++ >> .../i386/i686/multiarch/dl-ifunc-generic.h | 24 ++++++++++++ >> .../powerpc64/le/multiarch/dl-ifunc-generic.h | 24 ++++++++++++ >> sysdeps/s390/multiarch/dl-ifunc-generic.h | 29 +++++++++++++++ >> .../sparcv9/multiarch/dl-ifunc-generic.h | 24 ++++++++++++ >> .../sparc64/multiarch/dl-ifunc-generic.h | 24 ++++++++++++ >> sysdeps/x86_64/multiarch/dl-ifunc-generic.h | 32 ++++++++++++++++ >> 11 files changed, 250 insertions(+), 5 deletions(-) >> create mode 100644 elf/dl-symbol-hacks.h >> create mode 100644 sysdeps/aarch64/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/generic/dl-ifunc-generic.h >> create mode 100644 sysdeps/i386/i686/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/powerpc/powerpc64/le/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/s390/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/sparc/sparc32/sparcv9/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/sparc/sparc64/multiarch/dl-ifunc-generic.h >> create mode 100644 sysdeps/x86_64/multiarch/dl-ifunc-generic.h >> >> diff --git a/elf/Makefile b/elf/Makefile >> index 3386f0ce77..4b992bd348 100644 >> --- a/elf/Makefile >> +++ b/elf/Makefile >> @@ -162,11 +162,6 @@ ifeq (yes,$(have-loop-to-function)) >> CFLAGS-rtld.c += -fno-tree-loop-distribute-patterns >> endif >> >> -ifeq (yes,$(have-loop-to-function)) >> -# Likewise, during static library startup, memset is not yet available. >> -CFLAGS-dl-support.c = -fno-tree-loop-distribute-patterns >> -endif >> - > > OK. > >> # Compile rtld itself without stack protection. >> # Also compile all routines in the static library that are elided from >> # the shared libc because they are in libc.a in the same way. >> diff --git a/elf/dl-support.c b/elf/dl-support.c >> index 4af0b5b2ce..6d1996ae6e 100644 >> --- a/elf/dl-support.c >> +++ b/elf/dl-support.c >> @@ -44,6 +44,7 @@ >> #include >> #include >> #include >> +#include > > OK. > >> >> extern char *__progname; >> char **_dl_argv = &__progname; /* This is checked for some error messages. */ >> diff --git a/elf/dl-symbol-hacks.h b/elf/dl-symbol-hacks.h >> new file mode 100644 >> index 0000000000..1b83b284dd >> --- /dev/null >> +++ b/elf/dl-symbol-hacks.h > > Bikeshed. Call it "dl-symbol-redir.h" since that's what it does. Ack. > > Can we get rid of this? > > Can we flatten the headers out? > > At the very least I think we want to remove the typo-prone macro > API and always define the macros. > >> @@ -0,0 +1,31 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_SYMBOL_HACKS_H >> +#define _DL_SYMBOL_HACKS_H >> + >> +#include >> + >> +/* Some compiler optimizations may transform loops into memset/memmove >> + calls and without proper redirection it might call PLT throught > > s/PLT throught/through the PLT via an/g Ack. > >> + ifunc without relocations being processed. */ >> +#ifdef HAVE_MEMSET_IFUNC_GENERIC > > Typo unsafe macro API. > > Can we always define this? Use a generic definition? The typo unsafe is done on purpose, since it is only an issue for ABI that provides memset through ifunc. For other architectures there is no need to use it (it will be "memset = memset"). Using a generic definition would require to replicate the asm logic on each header. I think it should be ok. > >> +asm ("memset = " HAVE_MEMSET_IFUNC_GENERIC); >> +#endif >> + >> +#endif >> diff --git a/sysdeps/aarch64/multiarch/dl-ifunc-generic.h b/sysdeps/aarch64/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..1278a06ff0 >> --- /dev/null >> +++ b/sysdeps/aarch64/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > > This is not generic, it is aarch64 specific. Ack. > >> @@ -0,0 +1,24 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC "__memset_generic" >> + >> +#endif >> diff --git a/sysdeps/generic/dl-ifunc-generic.h b/sysdeps/generic/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..5e1d5c1fd8 >> --- /dev/null >> +++ b/sysdeps/generic/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? Ack. > >> @@ -0,0 +1,37 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +/* The compiler might optimize loops or other constructs to library calls even >> + in freestanding mode. Although it is safe in most scenarios, on program >> + loading and static startup, iFUNC resolution might require other dynamic >> + relocation that are not yet done. >> + >> + Instead of adding per-file compiler flags to avoid the libcall generation, >> + this header defines generic symbols that will be routed instead of the >> + default symbols name. >> + >> + Each port can then define the following macro to the expected generic >> + implementation if the symbol is provided as iFUNC: >> + >> + HAVE_MEMSET_IFUNC_GENERIC - the generic memset call. >> + */ >> + > > Define the macro by default. > >> +#endif >> diff --git a/sysdeps/i386/i686/multiarch/dl-ifunc-generic.h b/sysdeps/i386/i686/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..a538931c03 >> --- /dev/null >> +++ b/sysdeps/i386/i686/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,24 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC "__memset_ia32" > > OK. > >> + >> +#endif >> diff --git a/sysdeps/powerpc/powerpc64/le/multiarch/dl-ifunc-generic.h b/sysdeps/powerpc/powerpc64/le/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..1bf516494d >> --- /dev/null >> +++ b/sysdeps/powerpc/powerpc64/le/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,24 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC "__memset_power8" > > OK. > >> + >> +#endif >> diff --git a/sysdeps/s390/multiarch/dl-ifunc-generic.h b/sysdeps/s390/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..b0e5ed23aa >> --- /dev/null >> +++ b/sysdeps/s390/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,29 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#include >> + >> +#define IFUNC_SYMBOL_STR1(s) #s >> +#define IFUNC_SYMBOL_STR(s) IFUNC_SYMBOL_STR1(s) >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC IFUNC_SYMBOL_STR(MEMSET_DEFAULT) > > OK. Ugh. > >> + >> +#endif >> diff --git a/sysdeps/sparc/sparc32/sparcv9/multiarch/dl-ifunc-generic.h b/sysdeps/sparc/sparc32/sparcv9/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..417b24d2c1 >> --- /dev/null >> +++ b/sysdeps/sparc/sparc32/sparcv9/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,24 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC "__memset_ultra1" > > OK. > >> + >> +#endif >> diff --git a/sysdeps/sparc/sparc64/multiarch/dl-ifunc-generic.h b/sysdeps/sparc/sparc64/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..417b24d2c1 >> --- /dev/null >> +++ b/sysdeps/sparc/sparc64/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,24 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#define HAVE_MEMSET_IFUNC_GENERIC "__memset_ultra1" > > OK. > >> + >> +#endif >> diff --git a/sysdeps/x86_64/multiarch/dl-ifunc-generic.h b/sysdeps/x86_64/multiarch/dl-ifunc-generic.h >> new file mode 100644 >> index 0000000000..7b7cf1c3d6 >> --- /dev/null >> +++ b/sysdeps/x86_64/multiarch/dl-ifunc-generic.h > > Call it "dl-symbol-redir-ifunc.h"? > >> @@ -0,0 +1,32 @@ >> +/* Symbol rediretion for loader/static initialization code. >> + Copyright (C) 2022 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 >> + . */ >> + >> +#ifndef _DL_IFUNC_GENERIC_H >> +#define _DL_IFUNC_GENERIC_H >> + >> +#include >> + >> +#if MINIMUM_X86_ISA_LEVEL >= 4 >> +# define HAVE_MEMSET_IFUNC_GENERIC "__memset_evex_unaligned" >> +#elif MINIMUM_X86_ISA_LEVEL == 3 >> +# define HAVE_MEMSET_IFUNC_GENERIC "__memset_avx2_unaligned" >> +#else >> +# define HAVE_MEMSET_IFUNC_GENERIC "__memset_sse2_unaligned" >> +#endif > > OK. > >> + >> +#endif >> -- >> 2.34.1 >> >