[PATCH] bfd: xtensa: fix __stop_SECTION literal drop,

[PATCH] bfd: xtensa: fix __stop_SECTION literal drop,

[Alexey Lapshin]

From b5cdb6b44dfd6d36608f63e8795cd669da97a123 Mon Sep 17 00:00:00 2001
From: Alexey Lapshin <alexey.lapshin@espressif.com>
Date: Wed, 3 Aug 2022 18:45:39 +0400
Subject: [PATCH] bfd: xtensa: fix __stop_SECTION literal drop

Literals placement algorithm may drop __stop_SECTION symbol as
duplicated because it is not initialized yet and we can not differ it
from __start_SECTION symbol at this stage. Both symbols will be
initialized a bit later.
This workaround prevented start_stop symbols from equality in compare
function
---
 bfd/elf32-xtensa.c                 |  7 +++++++
 ld/testsuite/ld-xtensa/startstop.d |  6 ++++++
 ld/testsuite/ld-xtensa/startstop.s | 16 ++++++++++++++++
 ld/testsuite/ld-xtensa/xtensa.exp  |  2 ++
 4 files changed, 31 insertions(+)
 create mode 100644 ld/testsuite/ld-xtensa/startstop.d
 create mode 100644 ld/testsuite/ld-xtensa/startstop.s

diff --git a/bfd/elf32-xtensa.c b/bfd/elf32-xtensa.c
index ce3c46f69e5..cb658483ca6 100644
--- a/bfd/elf32-xtensa.c
+++ b/bfd/elf32-xtensa.c
@@ -5244,6 +5244,13 @@ literal_value_equal (const literal_value *src1,
      (if undefined or weak).  */
   h1 = r_reloc_get_hash_entry (&src1->r_rel);
   h2 = r_reloc_get_hash_entry (&src2->r_rel);
+
+  /* Keep start_stop literals always unique to avoid dropping it due
to they
+     have late initialization.
+     Now they are equal because initialized with zeroed values.  */
+  if (h2 && h2->start_stop)
+      return false;
+
   if (r_reloc_is_defined (&src1->r_rel)
       && (final_static_link
 	  || ((!h1 || h1->root.type != bfd_link_hash_defweak)
diff --git a/ld/testsuite/ld-xtensa/startstop.d b/ld/testsuite/ld-
xtensa/startstop.d
new file mode 100644
index 00000000000..6cea49add33
--- /dev/null
+++ b/ld/testsuite/ld-xtensa/startstop.d
@@ -0,0 +1,6 @@
+#as:
+#ld:
+#objdump: -h
+#...
+.*TEST_SECTION\.literal[ ]*00000008.*
+#...
diff --git a/ld/testsuite/ld-xtensa/startstop.s b/ld/testsuite/ld-
xtensa/startstop.s
new file mode 100644
index 00000000000..b94b0ec573c
--- /dev/null
+++ b/ld/testsuite/ld-xtensa/startstop.s
@@ -0,0 +1,16 @@
+	.file	"startstop.s"
+	.text
+	.section	.rodata
+	.align	4
+.LC0:
+	.section	TEST_SECTION,"aw"
+	.align	4
+	.literal_position
+	.literal .LC1, __start_TEST_SECTION
+	.literal .LC2, __stop_TEST_SECTION
+	.align	4
+	.global	_start
+	.type	_start, @function
+_start:
+	l32r	a2, .LC1
+	l32r	a3, .LC2
diff --git a/ld/testsuite/ld-xtensa/xtensa.exp b/ld/testsuite/ld-
xtensa/xtensa.exp
index 71d1597fc72..c09b865f2b4 100644
--- a/ld/testsuite/ld-xtensa/xtensa.exp
+++ b/ld/testsuite/ld-xtensa/xtensa.exp
@@ -41,3 +41,5 @@ run_dump_test "relax-undef-weak-pie-export-dynamic"
 run_dump_test "relax-undef-weak-local-pie"
 run_dump_test "relax-undef-weak-shared"
 run_dump_test "relax-undef-weak-local-shared"
+
+run_dump_test "startstop"
-- 
2.34.1

Re: [PATCH] bfd: xtensa: fix __stop_SECTION literal drop,

[Nick Clifton]

Hi Alexey,

> Literals placement algorithm may drop __stop_SECTION symbol as
> duplicated because it is not initialized yet and we can not differ it
> from __start_SECTION symbol at this stage. Both symbols will be
> initialized a bit later.
> This workaround prevented start_stop symbols from equality in compare
> function
> ---
>   bfd/elf32-xtensa.c                 |  7 +++++++
>   ld/testsuite/ld-xtensa/startstop.d |  6 ++++++
>   ld/testsuite/ld-xtensa/startstop.s | 16 ++++++++++++++++
>   ld/testsuite/ld-xtensa/xtensa.exp  |  2 ++

Patch approved - please apply.

Cheers
   Nick

Re: [PATCH] bfd: xtensa: fix __stop_SECTION literal drop,

[Andreas Schwab]

Installed as obvious.

diff --git a/ld/testsuite/ld- b/ld/testsuite/ld-
deleted file mode 100644
index 6cea49add33..00000000000
--- a/ld/testsuite/ld-
+++ /dev/null
@@ -1,6 +0,0 @@
-#as:
-#ld:
-#objdump: -h
-#...
-.*TEST_SECTION\.literal[ ]*00000008.*
-#...
-- 
2.40.1


-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."