On Fri, Feb 23, 2024 at 3:45 AM H.J. Lu <hjl.to...@gmail.com> wrote:
>
> On Thu, Feb 22, 2024 at 6:39 PM Hongtao Liu <crazy...@gmail.com> wrote:
> >
> > On Thu, Feb 22, 2024 at 10:33 PM H.J. Lu <hjl.to...@gmail.com> wrote:
> > >
> > > On Sun, Feb 18, 2024 at 8:02 AM H.J. Lu <hjl.to...@gmail.com> wrote:
> > > >
> > > > If assembler and linker supports
> > > >
> > > > add %reg1, name@gottpoff(%rip), %reg2
> > > >
> > > > with R_X86_64_CODE_6_GOTTPOFF, we can generate it instead of
> > > >
> > > > mov name@gottpoff(%rip), %reg2
> > > > add %reg1, %reg2
> > x86 part LGTM, but I'm not familiar with the changes in config related
> > files.
>
> Jakub, Uros, Alexandre, can you review the configure.ac change in this patch?
>
> https://patchwork.sourceware.org/project/gcc/list/?series=31075
>
> Thanks.
>
> > > >
> > > > gcc/
> > > >
> > > > * configure.ac (HAVE_AS_R_X86_64_CODE_6_GOTTPOFF): Defined as 1
> > > > if R_X86_64_CODE_6_GOTTPOFF is supported.
> > > > * config.in: Regenerated.
> > > > * configure: Likewise.
> > > > * config/i386/predicates.md (apx_ndd_add_memory_operand): Allow
> > > > UNSPEC_GOTNTPOFF if R_X86_64_CODE_6_GOTTPOFF is supported.
> > > >
> > > > gcc/testsuite/
> > > >
> > > > * gcc.target/i386/apx-ndd-tls-1b.c: New test.
> > > > * lib/target-supports.exp
> > > > (check_effective_target_code_6_gottpoff_reloc): New.
> > > > ---
> > > > gcc/config.in | 7 +++
> > > > gcc/config/i386/predicates.md | 6 +-
> > > > gcc/configure | 62 +++++++++++++++++++
> > > > gcc/configure.ac | 37 +++++++++++
> > > > .../gcc.target/i386/apx-ndd-tls-1b.c | 9 +++
> > > > gcc/testsuite/lib/target-supports.exp | 48 ++++++++++++++
> > > > 6 files changed, 168 insertions(+), 1 deletion(-)
> > > > create mode 100644 gcc/testsuite/gcc.target/i386/apx-ndd-tls-1b.c
> > > >
> > > > diff --git a/gcc/config.in b/gcc/config.in
> > > > index ce1d073833f..f3de4ba6776 100644
> > > > --- a/gcc/config.in
> > > > +++ b/gcc/config.in
> > > > @@ -737,6 +737,13 @@
> > > > #endif
> > > >
> > > >
> > > > +/* Define 0/1 if your assembler and linker support
> > > > R_X86_64_CODE_6_GOTTPOFF.
> > > > + */
> > > > +#ifndef USED_FOR_TARGET
> > > > +#undef HAVE_AS_R_X86_64_CODE_6_GOTTPOFF
> > > > +#endif
> > > > +
> > > > +
> > > > /* Define if your assembler supports relocs needed by -fpic. */
> > > > #ifndef USED_FOR_TARGET
> > > > #undef HAVE_AS_SMALL_PIC_RELOCS
> > > > diff --git a/gcc/config/i386/predicates.md
> > > > b/gcc/config/i386/predicates.md
> > > > index 4c1aedd7e70..391f108c360 100644
> > > > --- a/gcc/config/i386/predicates.md
> > > > +++ b/gcc/config/i386/predicates.md
> > > > @@ -2299,10 +2299,14 @@ (define_predicate "apx_ndd_memory_operand"
> > > >
> > > > ;; Return true if OP is a memory operand which can be used in APX NDD
> > > > ;; ADD with register source operand. UNSPEC_GOTNTPOFF memory operand
> > > > -;; isn't allowed with APX NDD ADD.
> > > > +;; is allowed with APX NDD ADD only if R_X86_64_CODE_6_GOTTPOFF works.
> > > > (define_predicate "apx_ndd_add_memory_operand"
> > > > (match_operand 0 "memory_operand")
> > > > {
> > > > + /* OK if "add %reg1, name@gottpoff(%rip), %reg2" is supported. */
> > > > + if (HAVE_AS_R_X86_64_CODE_6_GOTTPOFF)
> > > > + return true;
> > > > +
> > > > op = XEXP (op, 0);
> > > >
> > > > /* Disallow APX NDD ADD with UNSPEC_GOTNTPOFF. */
> > > > diff --git a/gcc/configure b/gcc/configure
> > > > index 41b978b0380..c59c971862c 100755
> > > > --- a/gcc/configure
> > > > +++ b/gcc/configure
> > > > @@ -29834,6 +29834,68 @@ cat >>confdefs.h <<_ACEOF
> > > > _ACEOF
> > > >
> > > >
> > > > + if echo "$ld_ver" | grep GNU > /dev/null; then
> > > > + if $gcc_cv_ld -V 2>/dev/null | grep elf_x86_64_sol2 > /dev/null;
> > > > then
> > > > + ld_ix86_gld_64_opt="-melf_x86_64_sol2"
> > > > + else
> > > > + ld_ix86_gld_64_opt="-melf_x86_64"
> > > > + fi
> > > > + fi
> > > > + conftest_s='
> > > > + .text
> > > > + .globl _start
> > > > + .type _start, @function
> > > > +_start:
> > > > + addq %r23,foo@GOTTPOFF(%rip), %r15
> > > > + .section .tdata,"awT",@progbits
> > > > + .type foo, @object
> > > > +foo:
> > > > + .quad 0'
> > > > + { $as_echo "$as_me:${as_lineno-$LINENO}: checking assembler for
> > > > R_X86_64_CODE_6_GOTTPOFF reloc" >&5
> > > > +$as_echo_n "checking assembler for R_X86_64_CODE_6_GOTTPOFF reloc... "
> > > > >&6; }
> > > > +if ${gcc_cv_as_x86_64_code_6_gottpoff+:} false; then :
> > > > + $as_echo_n "(cached) " >&6
> > > > +else
> > > > + gcc_cv_as_x86_64_code_6_gottpoff=no
> > > > + if test x$gcc_cv_as != x; then
> > > > + $as_echo "$conftest_s" > conftest.s
> > > > + if { ac_try='$gcc_cv_as $gcc_cv_as_flags -o conftest.o conftest.s
> > > > >&5'
> > > > + { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_try\""; } >&5
> > > > + (eval $ac_try) 2>&5
> > > > + ac_status=$?
> > > > + $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
> > > > + test $ac_status = 0; }; }
> > > > + then
> > > > + if test x$gcc_cv_ld != x && test x$gcc_cv_objdump != x \
> > > > + && test x$gcc_cv_readelf != x \
> > > > + && $gcc_cv_readelf --relocs --wide conftest.o 2>&1 \
> > > > + | grep R_X86_64_CODE_6_GOTTPOFF > /dev/null 2>&1 \
> > > > + && $gcc_cv_ld $ld_ix86_gld_64_opt -o conftest conftest.o >
> > > > /dev/null 2>&1; then
> > > > + if $gcc_cv_objdump -dw conftest 2>&1 \
> > > > + | grep "add \+\$0xf\+8,%r23,%r15" > /dev/null 2>&1; then
> > > > + gcc_cv_as_x86_64_code_6_gottpoff=yes
> > > > + else
> > > > + gcc_cv_as_x86_64_code_6_gottpoff=no
> > > > + fi
> > > > + fi
> > > > + rm -f conftest
> > > > + else
> > > > + echo "configure: failed program was" >&5
> > > > + cat conftest.s >&5
> > > > + fi
> > > > + rm -f conftest.o conftest.s
> > > > + fi
> > > > +fi
> > > > +{ $as_echo "$as_me:${as_lineno-$LINENO}: result:
> > > > $gcc_cv_as_x86_64_code_6_gottpoff" >&5
> > > > +$as_echo "$gcc_cv_as_x86_64_code_6_gottpoff" >&6; }
> > > > +
> > > > +
> > > > +
> > > > +cat >>confdefs.h <<_ACEOF
> > > > +#define HAVE_AS_R_X86_64_CODE_6_GOTTPOFF `if test
> > > > x"$gcc_cv_as_x86_64_code_6_gottpoff" = xyes; then echo 1; else echo 0;
> > > > fi`
> > > > +_ACEOF
> > > > +
> > > > +
> > > > { $as_echo "$as_me:${as_lineno-$LINENO}: checking assembler for
> > > > GOTOFF in data" >&5
> > > > $as_echo_n "checking assembler for GOTOFF in data... " >&6; }
> > > > if ${gcc_cv_as_ix86_gotoff_in_data+:} false; then :
> > > > diff --git a/gcc/configure.ac b/gcc/configure.ac
> > > > index 72012d61e67..0ae6a4c66f1 100644
> > > > --- a/gcc/configure.ac
> > > > +++ b/gcc/configure.ac
> > > > @@ -5057,6 +5057,43 @@ _start:
> > > > [`if test x"$gcc_cv_as_ix86_got32x" = xyes; then echo 1; else
> > > > echo 0; fi`],
> > > > [Define 0/1 if your assembler and linker support @GOT.])
Please add some comment here, and also check gas (as is the case with
32-bit enforcement):
# Enforce 64-bit output with gas and gld.
if test x$gas = xyes; then
as_ix86_gas_64_opt="--64"
fi
> > > >
> > > > + if echo "$ld_ver" | grep GNU > /dev/null; then
> > > > + if $gcc_cv_ld -V 2>/dev/null | grep elf_x86_64_sol2 > /dev/null;
> > > > then
> > > > + ld_ix86_gld_64_opt="-melf_x86_64_sol2"
> > > > + else
> > > > + ld_ix86_gld_64_opt="-melf_x86_64"
> > > > + fi
> > > > + fi
> > > > + conftest_s='
> > > > + .text
> > > > + .globl _start
> > > > + .type _start, @function
> > > > +_start:
> > > > + addq %r23,foo@GOTTPOFF(%rip), %r15
> > > > + .section .tdata,"awT",@progbits
> > > > + .type foo, @object
> > > > +foo:
> > > > + .quad 0'
> > > > + gcc_GAS_CHECK_FEATURE([R_X86_64_CODE_6_GOTTPOFF reloc],
> > > > + gcc_cv_as_x86_64_code_6_gottpoff,
add here [$as_ix86_gas_64_opt], see many examples with as_ix86_gas_32_opt.
> > > > + [$conftest_s],
> > > > + [if test x$gcc_cv_ld != x && test x$gcc_cv_objdump != x \
> > > > + && test x$gcc_cv_readelf != x \
> > > > + && $gcc_cv_readelf --relocs --wide conftest.o 2>&1 \
> > > > + | grep R_X86_64_CODE_6_GOTTPOFF > /dev/null 2>&1 \
> > > > + && $gcc_cv_ld $ld_ix86_gld_64_opt -o conftest conftest.o >
> > > > /dev/null 2>&1; then
> > > > + if $gcc_cv_objdump -dw conftest 2>&1 \
> > > > + | grep "add \+\$0xf\+8,%r23,%r15" > /dev/null 2>&1; then
> > > > + gcc_cv_as_x86_64_code_6_gottpoff=yes
> > > > + else
> > > > + gcc_cv_as_x86_64_code_6_gottpoff=no
> > > > + fi
> > > > + fi
> > > > + rm -f conftest])
> > > > + AC_DEFINE_UNQUOTED(HAVE_AS_R_X86_64_CODE_6_GOTTPOFF,
> > > > + [`if test x"$gcc_cv_as_x86_64_code_6_gottpoff" = xyes; then echo
> > > > 1; else echo 0; fi`],
> > > > + [Define 0/1 if your assembler and linker support
> > > > R_X86_64_CODE_6_GOTTPOFF.])
The above is similar to the check for HAVE_AS_IX86_GOT32X, so LGTM.
Thanks,
Uros.
