diff options
| author | Jens Remus <jremus@linux.ibm.com> | 2023-11-23 15:44:41 +0100 |
|---|---|---|
| committer | Andreas Krebbel <krebbel@linux.ibm.com> | 2023-11-23 15:51:03 +0100 |
| commit | 3f3c1e513bdf53d78adbde7f9d300c2281de21b9 (patch) | |
| tree | 4969f2372f8ab891591356e5c55a53981269a589 | |
| parent | 9c422a59953cd6b64bc8ed5f3d6e72a180f13540 (diff) | |
| download | binutils-3f3c1e513bdf53d78adbde7f9d300c2281de21b9.zip binutils-3f3c1e513bdf53d78adbde7f9d300c2281de21b9.tar.gz binutils-3f3c1e513bdf53d78adbde7f9d300c2281de21b9.tar.bz2 | |
s390: Add brasl edge test cases from ESA to z/Architecture
The ESA opcode test cases for IBM z900 contain a few edge cases. They
exercise the brasl mnemonic with its largest allowed negative and
positive offsets. Linux on zSeries in ESA mode executes in 31-bit
addressing mode. Therefore the ESA test cases are assembled with -m31.
In 31-bit addressing mode the address computation using those large
offsets wraps, which is correctly reflected in the disassembly.
Linux on Z in z/Architecture mode executes in 64-bit addressing mode.
Therefore the z/Architecture (zarch) test cases are assembled with -m64.
In 64-bit addressing mode the address computation using those large
offsets does not necessarily wrap.
gas/
* testsuite/gas/s390/zarch-z900.s: Add brasl tests from ESA that
exercise edge cases.
* testsuite/gas/s390/zarch-z900.d: Likewise.
Signed-off-by: Jens Remus <jremus@linux.ibm.com>
Reviewed-by: Andreas Krebbel <krebbel@linux.ibm.com>
| -rw-r--r-- | gas/testsuite/gas/s390/zarch-z900.d | 6 | ||||
| -rw-r--r-- | gas/testsuite/gas/s390/zarch-z900.s | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gas/testsuite/gas/s390/zarch-z900.d b/gas/testsuite/gas/s390/zarch-z900.d index 2848dc1..93aee21 100644 --- a/gas/testsuite/gas/s390/zarch-z900.d +++ b/gas/testsuite/gas/s390/zarch-z900.d @@ -149,4 +149,10 @@ Disassembly of section .text: .*: eb 96 5f ff 00 0f [ ]*tracg %r9,%r6,4095\(%r5\) .*: e3 95 af ff 00 82 [ ]*xg %r9,4095\(%r5,%r10\) .*: b9 82 00 96 [ ]*xgr %r9,%r6 + *([\da-f]+): c0 65 00 00 00 00 [ ]*brasl %r6,\1 <foo\+0x\1> + *([\da-f]+): c0 65 00 00 00 00 [ ]*brasl %r6,\1 <foo\+0x\1> + *([\da-f]+): c0 65 80 00 00 00 [ ]*brasl %r6,ffffffff0+\1 <foo\+0xffffffff0+\1> + *([\da-f]+): c0 65 80 00 00 00 [ ]*brasl %r6,ffffffff0+\1 <foo\+0xffffffff0+\1> +.*: c0 65 7f ff ff ff [ ]*brasl %r6,1000002d0 <foo\+0x1000002d0> +.*: c0 65 7f ff ff ff [ ]*brasl %r6,1000002d6 <foo\+0x1000002d6> .*: 07 07 [ ]*nopr %r7 diff --git a/gas/testsuite/gas/s390/zarch-z900.s b/gas/testsuite/gas/s390/zarch-z900.s index 96d27e7..22fa1da 100644 --- a/gas/testsuite/gas/s390/zarch-z900.s +++ b/gas/testsuite/gas/s390/zarch-z900.s @@ -143,3 +143,9 @@ foo: tracg %r9,%r6,4095(%r5) xg %r9,4095(%r5,%r10) xgr %r9,%r6 + brasl %r6,. + jasl %r6,. + brasl %r6,.-0x100000000 + jasl %r6,.-0x100000000 + brasl %r6,.+0xfffffffe + jasl %r6,.+0xfffffffe |