Fix PR 24564 - link fails for some rcalls/rjmps with wraparound

The current code to compute relative distance in the wrap around case does not
handle the edge case of the target (after adjusting for implicit PC increment)
being exactly half of the wrap around distance. This patch fixes that and adds a
testcase.

The range for a forward relative jump call is 4096 bytes ((2 * 2047) + (2 bytes
for the implicit PC increment)). If the target of the jump is at a distance of
4098 bytes, it is out of range for a forward jump - however, a backward jump can
still reach that address if pmem-wrap-around is 8192.

Assume address 0 has rjmp to address 4098. With a wrap around of 8192 and
*without* adjusting for the implicit PC increment of 2 bytes, rjmp .-4096 will
jump to address 4096 (wrap around at 8192 and decreasing addresses from then
on). Adjusting 2 bytes for the implicit PC increment, the actual target is 4098.

avr_relative_distance_considering_wrap_around though, does the wrap around only
if the passed in distance is less than half of the wrap around distance. In this
case, it is exactly equal to half (original distance 4098, adjusted distance of
4096 and wraparound of 8192), and the bypassed wrap around causes the reloc
overflow error.

Fix by wrapping around even if adjusted distance is equal to half of wrap around
distance.
This commit is contained in:
Senthil Kumar Selvaraj 2019-05-16 17:16:36 +05:30
parent da0523c666
commit 338ba75534
5 changed files with 36 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2019-05-21 Senthil Kumar Selvaraj <senthilkumar.selvaraj@microchip.com>
PR ld/24564
* bfd/elf32-avr.c (avr_relative_distance_considering_wrap_around):
Wrap around even if distance equals avr_pc_wrap_around.
2019-05-20 Nick Clifton <nickc@redhat.com>
* po/fr.po: Updated French translation.

View File

@ -910,7 +910,7 @@ avr_relative_distance_considering_wrap_around (unsigned int distance)
unsigned int wrap_around_mask = avr_pc_wrap_around - 1;
int dist_with_wrap_around = distance & wrap_around_mask;
if (dist_with_wrap_around > ((int) (avr_pc_wrap_around >> 1)))
if (dist_with_wrap_around >= ((int) (avr_pc_wrap_around >> 1)))
dist_with_wrap_around -= avr_pc_wrap_around;
return dist_with_wrap_around;

View File

@ -1,3 +1,9 @@
2019-05-21 Senthil Kumar Selvaraj <senthilkumar.selvaraj@microchip.com>
PR ld/24564
* testsuite/ld-avr/wraparound-range-boundary.d: New test.
* testsuite/ld-avr/wraparound-range-boundary.s: New test.
2019-05-20 Faraz Shahbazker <fshahbazker@wavecomp.com>
PR 14798

View File

@ -0,0 +1,17 @@
#name: Wraparound works for jump target at pc-relative range boundary
#as: -m avr51
#ld: --pmem-wrap-around=8k -m avr51
#source: wraparound-range-boundary.s
#objdump: -d
#target: avr-*-*
#...
Disassembly of section .text:
00000000 <__ctors_end>:
0: 00 c8 rjmp .\-4096 ; 0xfffff002 <__eeprom_end\+0xff7ef002>
...
00001002 <target>:
...

View File

@ -0,0 +1,6 @@
.global main
main:
rjmp target
.ds.b 4096
target:
nop