diff options
author | Maciej W. Rozycki <macro@linux-mips.org> | 2018-11-27 16:34:03 +0000 |
---|---|---|
committer | Maciej W. Rozycki <macro@linux-mips.org> | 2018-11-27 16:34:03 +0000 |
commit | 3c7687b9cdacc243f7e23cd9b144e72b88d58817 (patch) | |
tree | 8d3d09af45d6fa8b4a1299ba69d1129c245ebd8f /bfd | |
parent | aff68bd0415c6f834cf1717865b5b44dea6b9ef5 (diff) | |
download | binutils-3c7687b9cdacc243f7e23cd9b144e72b88d58817.zip binutils-3c7687b9cdacc243f7e23cd9b144e72b88d58817.tar.gz binutils-3c7687b9cdacc243f7e23cd9b144e72b88d58817.tar.bz2 |
MIPS/LD: Accept high-part relocations in PIC code with absolute symbols
Accept R_MIPS_HI16, R_MIPS_HIGHER and R_MIPS_HIGHEST relocations and
their compressed counterparts in PIC code where the symbol referred is
absolute. Such an operation is meaningful, because an absolute symbol
effectively is a constant the calculation of the value of which has been
deferred to the static link time, and which is not going to change any
further at the dynamic load time. Therefore there is no need ever to
refuse the use of these relocations with such symbols, as the resulting
run-time value observed by the program will be correct even in PIC code.
This is not the case with R_MIPS_26 and its compressed counterparts,
because the run-time value calculated by the instructions these
relocations are used with depends on the address of the instruction
itself, and that can change according to the base address used by the
dynamic loader. Therefore these relocations have to continue being
rejected in PIC code even with absolute symbols.
This allows successful linking of code that relies on previous linker
behavior up to commit 861fb55ab50a ("Defer allocation of R_MIPS_REL32
GOT slots"), <https://sourceware.org/ml/binutils/2008-08/msg00096.html>,
which introduced the problematic check missing this special exception
for absolute symbols.
bfd/
* elfxx-mips.c (_bfd_mips_elf_check_relocs) <R_MIPS16_HI16>
<R_MIPS_HI16, R_MIPS_HIGHER, R_MIPS_HIGHEST, R_MICROMIPS_HI16>
<R_MICROMIPS_HIGHER, R_MICROMIPS_HIGHEST>: Also accept an
absolute symbol in PIC code.
ld/
* testsuite/ld-mips-elf/pic-reloc-0.d: New test.
* testsuite/ld-mips-elf/pic-reloc-1.d: New test.
* testsuite/ld-mips-elf/pic-reloc-2.d: New test.
* testsuite/ld-mips-elf/pic-reloc-3.d: New test.
* testsuite/ld-mips-elf/pic-reloc-4.d: New test.
* testsuite/ld-mips-elf/pic-reloc-absolute-hi.ld: New test
linker script.
* testsuite/ld-mips-elf/pic-reloc-absolute-lo.ld: New test
linker script.
* testsuite/ld-mips-elf/pic-reloc-ordinary.ld: New test linker
script.
* testsuite/ld-mips-elf/pic-reloc-j.s: New test source.
* testsuite/ld-mips-elf/pic-reloc-lui.s: New test source.
* testsuite/ld-mips-elf/mips-elf.exp: Run the new tests.
Diffstat (limited to 'bfd')
-rw-r--r-- | bfd/ChangeLog | 7 | ||||
-rw-r--r-- | bfd/elfxx-mips.c | 4 |
2 files changed, 11 insertions, 0 deletions
diff --git a/bfd/ChangeLog b/bfd/ChangeLog index e737f35..60eceaa 100644 --- a/bfd/ChangeLog +++ b/bfd/ChangeLog @@ -1,5 +1,12 @@ 2018-11-27 Maciej W. Rozycki <macro@linux-mips.org> + * elfxx-mips.c (_bfd_mips_elf_check_relocs) <R_MIPS16_HI16> + <R_MIPS_HI16, R_MIPS_HIGHER, R_MIPS_HIGHEST, R_MICROMIPS_HI16> + <R_MICROMIPS_HIGHER, R_MICROMIPS_HIGHEST>: Also accept an + absolute symbol in PIC code. + +2018-11-27 Maciej W. Rozycki <macro@linux-mips.org> + * elfxx-mips.c (_bfd_mips_elf_check_relocs) <R_MIPS16_26> <R_MIPS_26, R_MICROMIPS_26_S1>: Use `info->callbacks->einfo' rather than `_bfd_error_handler' to report refused relocations diff --git a/bfd/elfxx-mips.c b/bfd/elfxx-mips.c index 298f465..1d789db 100644 --- a/bfd/elfxx-mips.c +++ b/bfd/elfxx-mips.c @@ -9061,6 +9061,10 @@ _bfd_mips_elf_check_relocs (bfd *abfd, struct bfd_link_info *info, if (r_symndx == STN_UNDEF) break; + /* Likewise an absolute symbol. */ + if (bfd_is_abs_symbol (&h->root)) + break; + /* R_MIPS_HI16 against _gp_disp is used for $gp setup, and has a special meaning. */ if (!NEWABI_P (abfd) && h != NULL |