|
 |
e9e180 |
diff --git a/src/cmd/go/testdata/script/trampoline_reuse_test.txt b/src/cmd/go/testdata/script/trampoline_reuse_test.txt
|
|
|
e9e180 |
new file mode 100644
|
|
|
e9e180 |
index 0000000000000..bca897c16d054
|
|
|
e9e180 |
--- /dev/null
|
|
|
e9e180 |
+++ b/src/cmd/go/testdata/script/trampoline_reuse_test.txt
|
|
|
e9e180 |
@@ -0,0 +1,100 @@
|
|
|
e9e180 |
+# Verify PPC64 does not reuse a trampoline which is too far away.
|
|
|
e9e180 |
+# This tests an edge case where the direct call relocation addend should
|
|
|
e9e180 |
+# be ignored when computing the distance from the direct call to the
|
|
|
e9e180 |
+# already placed trampoline
|
|
|
e9e180 |
+[short] skip
|
|
|
e9e180 |
+[!ppc64] [!ppc64le] skip
|
|
|
e9e180 |
+[aix] skip
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+# Note, this program does not run. Presumably, 'DWORD $0' is simpler to
|
|
|
e9e180 |
+# assembly 2^26 or so times.
|
|
|
e9e180 |
+#
|
|
|
e9e180 |
+# We build something which should be laid out as such:
|
|
|
e9e180 |
+#
|
|
|
e9e180 |
+# bar.Bar
|
|
|
e9e180 |
+# main.Func1
|
|
|
e9e180 |
+# bar.Bar+400-tramp0
|
|
|
e9e180 |
+# main.BigAsm
|
|
|
e9e180 |
+# main.Func2
|
|
|
e9e180 |
+# bar.Bar+400-tramp1
|
|
|
e9e180 |
+#
|
|
|
e9e180 |
+# bar.Bar needs to be placed far enough away to generate relocations
|
|
|
e9e180 |
+# from main package calls. and main.Func1 and main.Func2 are placed
|
|
|
e9e180 |
+# a bit more than the direct call limit apart, but not more than 0x400
|
|
|
e9e180 |
+# bytes beyond it (to verify the reloc calc).
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+go build
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+-- go.mod --
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+module foo
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+go 1.19
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+-- main.go --
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+package main
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+import "foo/bar"
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+func Func1()
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+func main() {
|
|
|
e9e180 |
+ Func1()
|
|
|
e9e180 |
+ bar.Bar2()
|
|
|
e9e180 |
+}
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+-- foo.s --
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+TEXT main·Func1(SB),0,$0-0
|
|
|
e9e180 |
+ CALL bar·Bar+0x400(SB)
|
|
|
e9e180 |
+ CALL main·BigAsm(SB)
|
|
|
e9e180 |
+// A trampoline will be placed here to bar.Bar
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+// This creates a gap sufficiently large to prevent trampoline reuse
|
|
|
e9e180 |
+#define NOP64 DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0;
|
|
|
e9e180 |
+#define NOP256 NOP64 NOP64 NOP64 NOP64
|
|
|
e9e180 |
+#define NOP2S10 NOP256 NOP256 NOP256 NOP256
|
|
|
e9e180 |
+#define NOP2S12 NOP2S10 NOP2S10 NOP2S10 NOP2S10
|
|
|
e9e180 |
+#define NOP2S14 NOP2S12 NOP2S12 NOP2S12 NOP2S12
|
|
|
e9e180 |
+#define NOP2S16 NOP2S14 NOP2S14 NOP2S14 NOP2S14
|
|
|
e9e180 |
+#define NOP2S18 NOP2S16 NOP2S16 NOP2S16 NOP2S16
|
|
|
e9e180 |
+#define NOP2S20 NOP2S18 NOP2S18 NOP2S18 NOP2S18
|
|
|
e9e180 |
+#define NOP2S22 NOP2S20 NOP2S20 NOP2S20 NOP2S20
|
|
|
e9e180 |
+#define NOP2S24 NOP2S22 NOP2S22 NOP2S22 NOP2S22
|
|
|
e9e180 |
+#define BIGNOP NOP2S24 NOP2S24
|
|
|
e9e180 |
+TEXT main·BigAsm(SB),0,$0-0
|
|
|
e9e180 |
+ // Fill to the direct call limit so Func2 must generate a new trampoline.
|
|
|
e9e180 |
+ // As the implicit trampoline above is just barely unreachable.
|
|
|
e9e180 |
+ BIGNOP
|
|
|
e9e180 |
+ MOVD $main·Func2(SB), R3
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+TEXT main·Func2(SB),0,$0-0
|
|
|
e9e180 |
+ CALL bar·Bar+0x400(SB)
|
|
|
e9e180 |
+// Another trampoline should be placed here.
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+-- bar/bar.s --
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+#define NOP64 DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0; DWORD $0;
|
|
|
e9e180 |
+#define NOP256 NOP64 NOP64 NOP64 NOP64
|
|
|
e9e180 |
+#define NOP2S10 NOP256 NOP256 NOP256 NOP256
|
|
|
e9e180 |
+#define NOP2S12 NOP2S10 NOP2S10 NOP2S10 NOP2S10
|
|
|
e9e180 |
+#define NOP2S14 NOP2S12 NOP2S12 NOP2S12 NOP2S12
|
|
|
e9e180 |
+#define NOP2S16 NOP2S14 NOP2S14 NOP2S14 NOP2S14
|
|
|
e9e180 |
+#define NOP2S18 NOP2S16 NOP2S16 NOP2S16 NOP2S16
|
|
|
e9e180 |
+#define NOP2S20 NOP2S18 NOP2S18 NOP2S18 NOP2S18
|
|
|
e9e180 |
+#define NOP2S22 NOP2S20 NOP2S20 NOP2S20 NOP2S20
|
|
|
e9e180 |
+#define NOP2S24 NOP2S22 NOP2S22 NOP2S22 NOP2S22
|
|
|
e9e180 |
+#define BIGNOP NOP2S24 NOP2S24 NOP2S10
|
|
|
e9e180 |
+// A very big not very interesting function.
|
|
|
e9e180 |
+TEXT bar·Bar(SB),0,$0-0
|
|
|
e9e180 |
+ BIGNOP
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+-- bar/bar.go --
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+package bar
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+func Bar()
|
|
|
e9e180 |
+
|
|
|
e9e180 |
+func Bar2() {
|
|
|
e9e180 |
+}
|
|
|
e9e180 |
diff --git a/src/cmd/link/internal/ppc64/asm.go b/src/cmd/link/internal/ppc64/asm.go
|
|
|
e9e180 |
index 5d5fbe2a97735..6313879da083c 100644
|
|
|
e9e180 |
--- a/src/cmd/link/internal/ppc64/asm.go
|
|
|
e9e180 |
+++ b/src/cmd/link/internal/ppc64/asm.go
|
|
|
e9e180 |
@@ -900,8 +900,9 @@ func trampoline(ctxt *ld.Link, ldr *loader.Loader, ri int, rs, s loader.Sym) {
|
|
|
e9e180 |
if ldr.SymValue(tramp) == 0 {
|
|
|
e9e180 |
break
|
|
|
e9e180 |
}
|
|
|
e9e180 |
-
|
|
|
e9e180 |
- t = ldr.SymValue(tramp) + r.Add() - (ldr.SymValue(s) + int64(r.Off()))
|
|
|
e9e180 |
+ // Note, the trampoline is always called directly. The addend of the original relocation is accounted for in the
|
|
|
e9e180 |
+ // trampoline itself.
|
|
|
e9e180 |
+ t = ldr.SymValue(tramp) - (ldr.SymValue(s) + int64(r.Off()))
|
|
|
e9e180 |
|
|
|
e9e180 |
// With internal linking, the trampoline can be used if it is not too far.
|
|
|
e9e180 |
// With external linking, the trampoline must be in this section for it to be reused.
|