diff options
author | David Faust <david.faust@oracle.com> | 2024-04-25 11:40:31 -0700 |
---|---|---|
committer | David Faust <david.faust@oracle.com> | 2024-04-25 13:16:34 -0700 |
commit | dffb4a0784f401c2aa20446abb651a4e19f34a44 (patch) | |
tree | eee62fd09beed5d19910f2ee60ef213345edb382 /gas/testsuite | |
parent | d3c2603167baf9f6fea006f8b747b8186f89b177 (diff) | |
download | binutils-dffb4a0784f401c2aa20446abb651a4e19f34a44.zip binutils-dffb4a0784f401c2aa20446abb651a4e19f34a44.tar.gz binutils-dffb4a0784f401c2aa20446abb651a4e19f34a44.tar.bz2 |
bpf: fix calculation when deciding to relax branch
In certain cases we were calculating the jump displacement incorrectly
when deciding whether to relax a branch. This meant for some branches,
such as a very long backwards conditional branch, relaxation was not
done when it should have been. The result was to error later, because
the actual jump displacement was too large to fit in the original
instruction.
This patch fixes up the displacement calculation so that those branches
are correctly relaxed and no longer result in an error. In addition, it
changes md_convert_frag to install fixups for the JAL instructions in
the resulting relaxations rather than encoding the displacement value
directly.
gas/
* config/tc-bpf.c (relaxed_branch_length): Correct displacement
calculation when relaxing.
(md_convert_frag): Likewise. Install fixups for JAL
instructions resulting from relaxation.
* testsuite/gas/bpf/jump-relax-ja-be.d: Correct and expand test.
* testsuite/gas/bpf/jump-relax-ja.d: Likewise.
* testsuite/gas/bpf/jump-relax-ja.s: Likewise.
* testsuite/gas/bpf/jump-relax-jump-be.d: Likewise.
* testsuite/gas/bpf/jump-relax-jump.d: Likewise.
* testsuite/gas/bpf/jump-relax-jump.s: Likewise.
Diffstat (limited to 'gas/testsuite')
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-ja-be.d | 16 | ||||
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-ja.d | 16 | ||||
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-ja.s | 13 | ||||
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-jump-be.d | 22 | ||||
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-jump.d | 22 | ||||
-rw-r--r-- | gas/testsuite/gas/bpf/jump-relax-jump.s | 12 |
6 files changed, 62 insertions, 39 deletions
diff --git a/gas/testsuite/gas/bpf/jump-relax-ja-be.d b/gas/testsuite/gas/bpf/jump-relax-ja-be.d index 5f07847..e5ad30d 100644 --- a/gas/testsuite/gas/bpf/jump-relax-ja-be.d +++ b/gas/testsuite/gas/bpf/jump-relax-ja-be.d @@ -8,10 +8,14 @@ Disassembly of section .text: 0+ <.*>: - 0: 05 00 80 00 00 00 00 00 ja -32768 - 8: 05 00 7f ff 00 00 00 00 ja 32767 - 10: 05 00 ff fd 00 00 00 00 ja -3 - 18: 05 00 00 00 00 00 00 00 ja 0 + 0: 05 00 80 00 00 00 00 00 ja -32768 + 8: 05 00 7f ff 00 00 00 00 ja 32767 + 10: 05 00 ff fd 00 00 00 00 ja -3 + 18: 05 00 00 00 00 00 00 00 ja 0 18: R_BPF_GNU_64_16 undefined - 20: 06 00 00 00 00 00 80 01 jal 32769 - 28: 06 00 00 00 00 00 80 01 jal 32769 + 20: 06 00 00 00 00 00 80 00 jal 32768 + 28: 05 00 7f ff 00 00 00 00 ja 32767 + ... + +0+40028 <tail>: + 40028: 06 00 00 00 ff ff 7f fa jal -32774 diff --git a/gas/testsuite/gas/bpf/jump-relax-ja.d b/gas/testsuite/gas/bpf/jump-relax-ja.d index ed3aa6b..1ac33f5 100644 --- a/gas/testsuite/gas/bpf/jump-relax-ja.d +++ b/gas/testsuite/gas/bpf/jump-relax-ja.d @@ -8,10 +8,14 @@ Disassembly of section .text: 0+ <.*>: - 0: 05 00 00 80 00 00 00 00 ja -32768 - 8: 05 00 ff 7f 00 00 00 00 ja 32767 - 10: 05 00 fd ff 00 00 00 00 ja -3 - 18: 05 00 00 00 00 00 00 00 ja 0 + 0: 05 00 00 80 00 00 00 00 ja -32768 + 8: 05 00 ff 7f 00 00 00 00 ja 32767 + 10: 05 00 fd ff 00 00 00 00 ja -3 + 18: 05 00 00 00 00 00 00 00 ja 0 18: R_BPF_GNU_64_16 undefined - 20: 06 00 00 00 01 80 00 00 jal 32769 - 28: 06 00 00 00 01 80 00 00 jal 32769 + 20: 06 00 00 00 00 80 00 00 jal 32768 + 28: 05 00 ff 7f 00 00 00 00 ja 32767 + ... + +0+40028 <tail>: + 40028: 06 00 00 00 fa 7f ff ff jal -32774 diff --git a/gas/testsuite/gas/bpf/jump-relax-ja.s b/gas/testsuite/gas/bpf/jump-relax-ja.s index f164176..61f2e61 100644 --- a/gas/testsuite/gas/bpf/jump-relax-ja.s +++ b/gas/testsuite/gas/bpf/jump-relax-ja.s @@ -4,13 +4,18 @@ 1: ja -32768 ja 32767 /* The following instruction refers to a defined symbol that - is on reach, so it should not be relaxed. */ + is in reach, so it should not be relaxed. */ ja 1b /* The following instruction has an undefined symbol as a target. It is not to be relaxed. */ ja undefined + 10 - /* The following instructions refer to a defined symbol that - is not on reach. They shall be relaxed to a JAL. */ + /* The following instruction refers to a defined symbol that + is not in reach, so it shall be relaxed to JAL. */ ja tail - tail = .text + 262160 + /* Now the symbol is in reach, and the following instruction + shall not be relaxed. */ ja tail + .space 262136 + tail = . + /* The jump back is too large and shall be relaxed. */ + ja 1b diff --git a/gas/testsuite/gas/bpf/jump-relax-jump-be.d b/gas/testsuite/gas/bpf/jump-relax-jump-be.d index 0cacdb3..5cf3bce 100644 --- a/gas/testsuite/gas/bpf/jump-relax-jump-be.d +++ b/gas/testsuite/gas/bpf/jump-relax-jump-be.d @@ -8,12 +8,16 @@ Disassembly of section .text: 0+ <.*>: - 0: 1d 12 80 00 00 00 00 00 jeq %r1,%r2,-32768 - 8: ad 12 7f ff 00 00 00 00 jlt %r1,%r2,32767 - 10: bd 12 ff fd 00 00 00 00 jle %r1,%r2,-3 - 18: 1d 12 00 01 00 00 00 00 jeq %r1,%r2,1 - 20: 05 00 00 01 00 00 00 00 ja 1 - 28: 06 00 00 00 00 00 80 01 jal 32769 - 30: 2d 12 00 01 00 00 00 00 jgt %r1,%r2,1 - 38: 05 00 00 01 00 00 00 00 ja 1 - 40: 06 00 00 00 00 00 80 01 jal 32769 + 0: 1d 12 80 00 00 00 00 00 jeq %r1,%r2,-32768 + 8: ad 12 7f ff 00 00 00 00 jlt %r1,%r2,32767 + 10: bd 12 ff fd 00 00 00 00 jle %r1,%r2,-3 + 18: 1d 12 00 01 00 00 00 00 jeq %r1,%r2,1 + 20: 05 00 00 01 00 00 00 00 ja 1 + 28: 06 00 00 00 00 00 80 00 jal 32768 + 30: 2d 12 7f ff 00 00 00 00 jgt %r1,%r2,32767 + ... + +0+40030 <tail>: + 40030: 55 10 00 01 00 00 00 00 jne %r1,0,1 + 40038: 05 00 00 01 00 00 00 00 ja 1 + 40040: 06 00 00 00 ff ff 7f f7 jal -32777 diff --git a/gas/testsuite/gas/bpf/jump-relax-jump.d b/gas/testsuite/gas/bpf/jump-relax-jump.d index dd31ba5..4300bf3 100644 --- a/gas/testsuite/gas/bpf/jump-relax-jump.d +++ b/gas/testsuite/gas/bpf/jump-relax-jump.d @@ -8,12 +8,16 @@ Disassembly of section .text: 0+ <.*>: - 0: 1d 21 00 80 00 00 00 00 jeq %r1,%r2,-32768 - 8: ad 21 ff 7f 00 00 00 00 jlt %r1,%r2,32767 - 10: bd 21 fd ff 00 00 00 00 jle %r1,%r2,-3 - 18: 1d 21 01 00 00 00 00 00 jeq %r1,%r2,1 - 20: 05 00 01 00 00 00 00 00 ja 1 - 28: 06 00 00 00 01 80 00 00 jal 32769 - 30: 2d 21 01 00 00 00 00 00 jgt %r1,%r2,1 - 38: 05 00 01 00 00 00 00 00 ja 1 - 40: 06 00 00 00 01 80 00 00 jal 32769 + 0: 1d 21 00 80 00 00 00 00 jeq %r1,%r2,-32768 + 8: ad 21 ff 7f 00 00 00 00 jlt %r1,%r2,32767 + 10: bd 21 fd ff 00 00 00 00 jle %r1,%r2,-3 + 18: 1d 21 01 00 00 00 00 00 jeq %r1,%r2,1 + 20: 05 00 01 00 00 00 00 00 ja 1 + 28: 06 00 00 00 00 80 00 00 jal 32768 + 30: 2d 21 ff 7f 00 00 00 00 jgt %r1,%r2,32767 + ... + +0+40030 <tail>: + 40030: 55 01 01 00 00 00 00 00 jne %r1,0,1 + 40038: 05 00 01 00 00 00 00 00 ja 1 + 40040: 06 00 00 00 f7 7f ff ff jal -32777 diff --git a/gas/testsuite/gas/bpf/jump-relax-jump.s b/gas/testsuite/gas/bpf/jump-relax-jump.s index 5ea6110..6b23c56 100644 --- a/gas/testsuite/gas/bpf/jump-relax-jump.s +++ b/gas/testsuite/gas/bpf/jump-relax-jump.s @@ -2,11 +2,13 @@ fix in the jump 16-bit signed displacement operand. */ 1: jeq %r1, %r2, -32768 jlt %r1, %r2, 32767 - /* The following instruction refers to a defined symbol that - is on reach, so it should not be relaxed. */ + /* The following instructions refer to defined symbols that + are in reach, so they should not be relaxed. */ jle %r1, %r2, 1b - /* The following instructions refer to a defined symbol that - is not on reach. They shall be relaxed. */ jeq %r1, %r2, tail - tail = .text + 262160 jgt %r1, %r2, tail + /* The following instructions refers to defined symbols that + are not in reach, so they shall be relaxied. */ + .space 262136 + tail = . + jne %r1, 0, 1b |