[PATCH 1/4] RISCV: Add linker relaxation tests
Patrick O'Neill
patrick@rivosinc.com
Tue Apr 12 16:25:58 GMT 2022
Add basic tests for the behavior of relaxing function calls.
This covers behavior like relaxing a call, not relaxing a call, and
relaxing a call that is enabled by relaxing another call.
2022-04-11 Patrick O'Neill <patrick@rivosinc.com>
* ld-riscv-elf.exp: Add testcases.
* relax-call-1.d: Add new testcase.
* relax-call-1.s: Likewise.
* relax-call-2.d: Likewise.
* relax-call-2.s: Likewise.
* relax-call-3.d: Likewise.
* relax-call-3.s: Likewise.
* relax-call-4.d: Likewise.
* relax-call-4.s: Likewise.
* relax-call-5.d: Likewise.
* relax-call-5.s: Likewise.
* relax-call-6.d: Likewise.
* relax-call-6.s: Likewise.
Signed-off-by: Patrick O'Neill <patrick@rivosinc.com>
---
ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp | 6 ++++++
ld/testsuite/ld-riscv-elf/relax-call-1.d | 17 +++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-1.s | 7 ++++++
ld/testsuite/ld-riscv-elf/relax-call-2.d | 21 ++++++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-2.s | 10 +++++++++
ld/testsuite/ld-riscv-elf/relax-call-3.d | 25 ++++++++++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-3.s | 13 +++++++++++
ld/testsuite/ld-riscv-elf/relax-call-4.d | 19 ++++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-4.s | 8 +++++++
ld/testsuite/ld-riscv-elf/relax-call-5.d | 23 ++++++++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-5.s | 11 ++++++++++
ld/testsuite/ld-riscv-elf/relax-call-6.d | 22 +++++++++++++++++++
ld/testsuite/ld-riscv-elf/relax-call-6.s | 11 ++++++++++
13 files changed, 193 insertions(+)
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-1.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-1.s
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-2.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-2.s
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-3.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-3.s
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-4.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-4.s
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-5.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-5.s
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-6.d
create mode 100644 ld/testsuite/ld-riscv-elf/relax-call-6.s
diff --git a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
index 272424b33e..60f7cc5f20 100644
--- a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
+++ b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
@@ -119,6 +119,12 @@ proc run_relax_twice_test {} {
}
if [istarget "riscv*-*-*"] {
+ run_dump_test "relax-call-1"
+ run_dump_test "relax-call-2"
+ run_dump_test "relax-call-3"
+ run_dump_test "relax-call-4"
+ run_dump_test "relax-call-5"
+ run_dump_test "relax-call-6"
run_dump_test "align-small-region"
run_dump_test "call-relax"
run_dump_test "pcgp-relax-01"
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-1.d b/ld/testsuite/ld-riscv-elf/relax-call-1.d
new file mode 100644
index 0000000000..3e7bfb500c
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-1.d
@@ -0,0 +1,17 @@
+#source: relax-call-1.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+
+.* <_start>:
+.*jal.* <foo>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-1.s b/ld/testsuite/ld-riscv-elf/relax-call-1.s
new file mode 100644
index 0000000000..7b81e28f99
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-1.s
@@ -0,0 +1,7 @@
+ .text
+foo:
+ jr ra
+ .globl _start
+_start:
+ call foo
+ jr ra
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-2.d b/ld/testsuite/ld-riscv-elf/relax-call-2.d
new file mode 100644
index 0000000000..7481bea8c1
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-2.d
@@ -0,0 +1,21 @@
+#source: relax-call-2.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+
+.*<bar>:
+.*ret
+
+.* <_start>:
+.*jal.* <foo>
+.*jal.* <bar>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-2.s b/ld/testsuite/ld-riscv-elf/relax-call-2.s
new file mode 100644
index 0000000000..7f5844a678
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-2.s
@@ -0,0 +1,10 @@
+ .text
+foo:
+ jr ra
+bar:
+ jr ra
+ .globl _start
+_start:
+ call foo
+ call bar
+ jr ra
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-3.d b/ld/testsuite/ld-riscv-elf/relax-call-3.d
new file mode 100644
index 0000000000..5c49222e05
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-3.d
@@ -0,0 +1,25 @@
+#source: relax-call-3.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+
+.*<bar>:
+.*ret
+
+.*<baz>:
+.*ret
+
+.* <_start>:
+.*jal.* <foo>
+.*jal.* <bar>
+.*jal.* <baz>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-3.s b/ld/testsuite/ld-riscv-elf/relax-call-3.s
new file mode 100644
index 0000000000..66e7c02ca1
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-3.s
@@ -0,0 +1,13 @@
+ .text
+foo:
+ jr ra
+bar:
+ jr ra
+baz:
+ jr ra
+ .globl _start
+_start:
+ call foo
+ call bar
+ call baz
+ jr ra
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-4.d b/ld/testsuite/ld-riscv-elf/relax-call-4.d
new file mode 100644
index 0000000000..09e939ca9b
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-4.d
@@ -0,0 +1,19 @@
+#source: relax-call-4.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+.*\.\.\.
+
+.* <_start>:
+.*auipc.*
+.*jalr.* <foo>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-4.s b/ld/testsuite/ld-riscv-elf/relax-call-4.s
new file mode 100644
index 0000000000..44eed0bc12
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-4.s
@@ -0,0 +1,8 @@
+ .text
+foo:
+ jr ra
+ .zero 1048570
+ .globl _start
+_start:
+ call foo
+ jr ra
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-5.d b/ld/testsuite/ld-riscv-elf/relax-call-5.d
new file mode 100644
index 0000000000..d9f44e5f8a
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-5.d
@@ -0,0 +1,23 @@
+#source: relax-call-5.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+.*\.\.\.
+
+.*<bar>:
+.*ret
+
+.* <_start>:
+.*auipc.*
+.*jalr.* <foo>
+.*jal.* <bar>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-5.s b/ld/testsuite/ld-riscv-elf/relax-call-5.s
new file mode 100644
index 0000000000..5605fb14e7
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-5.s
@@ -0,0 +1,11 @@
+ .text
+foo:
+ jr ra
+ .zero 1048566
+bar:
+ jr ra
+ .globl _start
+_start:
+ call foo
+ call bar
+ jr ra
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-6.d b/ld/testsuite/ld-riscv-elf/relax-call-6.d
new file mode 100644
index 0000000000..c385ccb551
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-6.d
@@ -0,0 +1,22 @@
+#source: relax-call-6.s
+#ld: --relax
+#objdump: -d
+
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+.*<foo>:
+.*ret
+.*\.\.\.
+
+.*<bar>:
+.*ret
+
+.* <_start>:
+.*jal.* <bar>
+.*jal.* <foo>
+.*ret
+#pass
\ No newline at end of file
diff --git a/ld/testsuite/ld-riscv-elf/relax-call-6.s b/ld/testsuite/ld-riscv-elf/relax-call-6.s
new file mode 100644
index 0000000000..6df73e108f
--- /dev/null
+++ b/ld/testsuite/ld-riscv-elf/relax-call-6.s
@@ -0,0 +1,11 @@
+ .text
+foo:
+ jr ra
+ .zero 1048560
+bar:
+ jr ra
+ .globl _start
+_start:
+ call bar
+ call foo
+ jr ra
--
2.25.1
More information about the Binutils
mailing list