diff options
Diffstat (limited to 'ld')
| -rw-r--r-- | ld/ChangeLog | 12 | ||||
| -rw-r--r-- | ld/emultempl/riscvelf.em | 14 | ||||
| -rw-r--r-- | ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp | 3 | ||||
| -rw-r--r-- | ld/testsuite/ld-riscv-elf/relro-relax-lui.d | 12 | ||||
| -rw-r--r-- | ld/testsuite/ld-riscv-elf/relro-relax-lui.s | 15 | ||||
| -rw-r--r-- | ld/testsuite/ld-riscv-elf/relro-relax-pcrel.d | 12 | ||||
| -rw-r--r-- | ld/testsuite/ld-riscv-elf/relro-relax-pcrel.s | 14 |
7 files changed, 82 insertions, 0 deletions
diff --git a/ld/ChangeLog b/ld/ChangeLog index 263dee0..2c6615d 100644 --- a/ld/ChangeLog +++ b/ld/ChangeLog @@ -1,3 +1,15 @@ +2021-05-31 Nelson Chu <nelson.chu@sifive.com> + Lifang Xia <lifang_xia@c-sky.com> + + PR 27566 + * emultempl/riscvelf.em (after_allocation): Call + riscv_set_data_segment_info to set data segment phase before relaxing. + * testsuite/ld-riscv-elf/ld-riscv-elf.exp: Updated. + * testsuite/ld-riscv-elf/relro-relax-lui.d: New testcase. + * testsuite/ld-riscv-elf/relro-relax-lui.s: Likewise. + * testsuite/ld-riscv-elf/relro-relax-pcrel.d: Likewise. + * testsuite/ld-riscv-elf/relro-relax-pcrel.s: Likewise. + 2021-05-28 H.J. Lu <hongjiu.lu@intel.com> PR ld/27905 diff --git a/ld/emultempl/riscvelf.em b/ld/emultempl/riscvelf.em index 5fa7c77..c625a63 100644 --- a/ld/emultempl/riscvelf.em +++ b/ld/emultempl/riscvelf.em @@ -62,6 +62,20 @@ gld${EMULATION_NAME}_after_allocation (void) } } + /* PR 27566, if the phase of data segment is exp_seg_relro_adjust, + that means we are still adjusting the relro, and shouldn't do the + relaxations at this stage. Otherwise, we will get the symbol + values beofore handling the relro, and may cause truncated fails + when the relax range crossing the data segment. One of the solution + is to monitor the data segment phase while relaxing, to know whether + the relro has been handled or not. + + I think we probably need to record more information about data + segment or alignments in the future, to make sure it is safe + to doing relaxations. */ + enum phase_enum *phase = &(expld.dataseg.phase); + bfd_elf${ELFSIZE}_riscv_set_data_segment_info (&link_info, (int *) phase); + do { ldelf_map_segments (need_layout); diff --git a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp index 319ac7e..0b49ddc 100644 --- a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp +++ b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp @@ -122,6 +122,9 @@ if [istarget "riscv*-*-*"] { return } + run_dump_test "relro-relax-lui" + run_dump_test "relro-relax-pcrel" + set abis [list rv32gc ilp32 [riscv_choose_ilp32_emul] rv64gc lp64 [riscv_choose_lp64_emul]] foreach { arch abi emul } $abis { # This checks whether our linker scripts handle __global_pointer$ diff --git a/ld/testsuite/ld-riscv-elf/relro-relax-lui.d b/ld/testsuite/ld-riscv-elf/relro-relax-lui.d new file mode 100644 index 0000000..d29aa9d --- /dev/null +++ b/ld/testsuite/ld-riscv-elf/relro-relax-lui.d @@ -0,0 +1,12 @@ +#source: relro-relax-lui.s +#ld: -zrelro --relax +#objdump: -d -Mno-aliases + +.*:[ ]+file format .* + + +Disassembly of section .text: + +0+[0-9a-f]+ <_start>: +.*:[ ]+[0-9a-f]+[ ]+lui[ ]+.* +.*:[ ]+[0-9a-f]+[ ]+addi[ ]+.*<SymbolRodata> diff --git a/ld/testsuite/ld-riscv-elf/relro-relax-lui.s b/ld/testsuite/ld-riscv-elf/relro-relax-lui.s new file mode 100644 index 0000000..f284187 --- /dev/null +++ b/ld/testsuite/ld-riscv-elf/relro-relax-lui.s @@ -0,0 +1,15 @@ + .section .rodata + .align 10 + .globl SymbolRodata + .set SymbolRodata, . + 0x1800 + .word 0x0 + + + .section .init_array + .word 0x0 + + .text + .globl _start +_start: + lui a0, %hi (SymbolRodata) + addi a0, a0, %lo (SymbolRodata) diff --git a/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.d b/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.d new file mode 100644 index 0000000..28e11b3 --- /dev/null +++ b/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.d @@ -0,0 +1,12 @@ +#source: relro-relax-pcrel.s +#ld: -zrelro --relax +#objdump: -d -Mno-aliases + +.*:[ ]+file format .* + + +Disassembly of section .text: + +0+[0-9a-f]+ <_start>: +.*:[ ]+[0-9a-f]+[ ]+auipc[ ]+.* +.*:[ ]+[0-9a-f]+[ ]+addi[ ]+.*<SymbolRodata> diff --git a/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.s b/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.s new file mode 100644 index 0000000..4a88287 --- /dev/null +++ b/ld/testsuite/ld-riscv-elf/relro-relax-pcrel.s @@ -0,0 +1,14 @@ + .section .rodata + .align 10 + .globl SymbolRodata + .set SymbolRodata, . + 0x1800 + .word 0x0 + + + .section .init_array + .word 0x0 + + .text + .globl _start +_start: + lla a0, SymbolRodata |