aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--toolchain/binutils/patches/2.31.1/100-delay_evaluation_of_alignment_expressions_in_output_sections.patch276
1 files changed, 276 insertions, 0 deletions
diff --git a/toolchain/binutils/patches/2.31.1/100-delay_evaluation_of_alignment_expressions_in_output_sections.patch b/toolchain/binutils/patches/2.31.1/100-delay_evaluation_of_alignment_expressions_in_output_sections.patch
new file mode 100644
index 0000000000..c006c94af6
--- /dev/null
+++ b/toolchain/binutils/patches/2.31.1/100-delay_evaluation_of_alignment_expressions_in_output_sections.patch
@@ -0,0 +1,276 @@
+From 3d9c8f6b3f033a6092425b7344647fb51dbed5c6 Mon Sep 17 00:00:00 2001
+From: Alan Modra <amodra@gmail.com>
+Date: Sun, 26 Aug 2018 14:23:38 +0930
+Subject: [PATCH] Delay evaluation of alignment expressions in output sections
+
+git commit 702d16713 broke expressions using CONSTANT(COMMONPAGESIZE)
+in ALIGN or SUBALIGN of output section statements, because these
+optional fields were evaluated at script parse time and the patch in
+question delayed setting of config.commonpagesize. The right thing to
+do is keep the tree representation of those fields for later
+evaluation.
+
+ PR 23571
+ * ldlang.h (section_alignment): Make it an expression tree.
+ (subsection_alignment): Likewise.
+ * ldlang.c (topower): Delete.
+ (output_section_statement_newfunc): Adjust initialization.
+ (init_os): Evaluate section_alignment.
+ (lang_size_sections_1): Likewise.
+ (size_input_section): Evaluate subsection_alignment.
+ (lang_enter_output_section_statement): Don't evaluate here.
+ (lang_new_phdr): Use exp_get_vma rather than exp_get_value_int.
+ * ldexp.h (exp_get_value_int): Delete.
+ (exp_get_power): Declare.
+ * ldexp.c (exp_get_value_int): Delete.
+ (exp_get_power): New function.
+ * emultempl/pe.em (place_orphan): Build expression for section
+ alignment.
+ * emultempl/pep.em (place_orphan): Likewise.
+ * testsuite/ld-scripts/pr23571.d,
+ * testsuite/ld-scripts/pr23571.t: New test.
+ * testsuite/ld-scripts/align.exp: Run it.
+---
+ ld/ChangeLog | 23 +++++++++++++++++++
+ ld/emultempl/pe.em | 2 +-
+ ld/emultempl/pep.em | 2 +-
+ ld/ldexp.c | 20 ++++++++++++++--
+ ld/ldexp.h | 4 ++--
+ ld/ldlang.c | 48 +++++++++++++--------------------------
+ ld/ldlang.h | 4 ++--
+ ld/testsuite/ld-scripts/align.exp | 4 ++++
+ ld/testsuite/ld-scripts/pr23571.d | 10 ++++++++
+ ld/testsuite/ld-scripts/pr23571.t | 11 +++++++++
+ 10 files changed, 88 insertions(+), 40 deletions(-)
+ create mode 100644 ld/testsuite/ld-scripts/pr23571.d
+ create mode 100644 ld/testsuite/ld-scripts/pr23571.t
+
+--- a/ld/emultempl/pe.em
++++ b/ld/emultempl/pe.em
+@@ -2165,7 +2165,7 @@ gld_${EMULATION_NAME}_place_orphan (asec
+ &add_child);
+ if (bfd_link_relocatable (&link_info))
+ {
+- os->section_alignment = s->alignment_power;
++ os->section_alignment = exp_intop (1U << s->alignment_power);
+ os->bfd_section->alignment_power = s->alignment_power;
+ }
+ }
+--- a/ld/emultempl/pep.em
++++ b/ld/emultempl/pep.em
+@@ -1962,7 +1962,7 @@ gld_${EMULATION_NAME}_place_orphan (asec
+ &add_child);
+ if (bfd_link_relocatable (&link_info))
+ {
+- os->section_alignment = s->alignment_power;
++ os->section_alignment = exp_intop (1U << s->alignment_power);
+ os->bfd_section->alignment_power = s->alignment_power;
+ }
+ }
+--- a/ld/ldexp.c
++++ b/ld/ldexp.c
+@@ -1522,10 +1522,26 @@ exp_get_vma (etree_type *tree, bfd_vma d
+ return def;
+ }
+
++/* Return the smallest non-negative integer such that two raised to
++ that power is at least as large as the vma evaluated at TREE, if
++ TREE is a non-NULL expression that can be resolved. If TREE is
++ NULL or cannot be resolved, return -1. */
++
+ int
+-exp_get_value_int (etree_type *tree, int def, char *name)
++exp_get_power (etree_type *tree, char *name)
+ {
+- return exp_get_vma (tree, def, name);
++ bfd_vma x = exp_get_vma (tree, -1, name);
++ bfd_vma p2;
++ int n;
++
++ if (x == (bfd_vma) -1)
++ return -1;
++
++ for (n = 0, p2 = 1; p2 < x; ++n, p2 <<= 1)
++ if (p2 == 0)
++ break;
++
++ return n;
+ }
+
+ fill_type *
+--- a/ld/ldexp.h
++++ b/ld/ldexp.h
+@@ -229,8 +229,8 @@ void exp_print_tree
+ (etree_type *);
+ bfd_vma exp_get_vma
+ (etree_type *, bfd_vma, char *);
+-int exp_get_value_int
+- (etree_type *, int, char *);
++int exp_get_power
++ (etree_type *, char *);
+ fill_type *exp_get_fill
+ (etree_type *, fill_type *, char *);
+ bfd_vma exp_get_abs_int
+--- a/ld/ldlang.c
++++ b/ld/ldlang.c
+@@ -1199,8 +1199,8 @@ output_section_statement_newfunc (struct
+ ret = (struct out_section_hash_entry *) entry;
+ memset (&ret->s, 0, sizeof (ret->s));
+ ret->s.header.type = lang_output_section_statement_enum;
+- ret->s.output_section_statement.subsection_alignment = -1;
+- ret->s.output_section_statement.section_alignment = -1;
++ ret->s.output_section_statement.subsection_alignment = NULL;
++ ret->s.output_section_statement.section_alignment = NULL;
+ ret->s.output_section_statement.block_value = 1;
+ lang_list_init (&ret->s.output_section_statement.children);
+ lang_statement_append (stat_ptr, &ret->s, &ret->s.header.next);
+@@ -2193,8 +2193,9 @@ init_os (lang_output_section_statement_t
+ exp_init_os (s->load_base);
+
+ /* If supplied an alignment, set it. */
+- if (s->section_alignment != -1)
+- s->bfd_section->alignment_power = s->section_alignment;
++ if (s->section_alignment != NULL)
++ s->bfd_section->alignment_power = exp_get_power (s->section_alignment,
++ "section alignment");
+ }
+
+ /* Make sure that all output sections mentioned in an expression are
+@@ -4706,8 +4707,10 @@ size_input_section
+ is greater than any seen before, then record it too. Perform
+ the alignment by inserting a magic 'padding' statement. */
+
+- if (output_section_statement->subsection_alignment != -1)
+- i->alignment_power = output_section_statement->subsection_alignment;
++ if (output_section_statement->subsection_alignment != NULL)
++ i->alignment_power
++ = exp_get_power (output_section_statement->subsection_alignment,
++ "subsection alignment");
+
+ if (o->alignment_power < i->alignment_power)
+ o->alignment_power = i->alignment_power;
+@@ -5147,7 +5150,8 @@ lang_size_sections_1
+ section_alignment = os->bfd_section->alignment_power;
+ }
+ else
+- section_alignment = os->section_alignment;
++ section_alignment = exp_get_power (os->section_alignment,
++ "section alignment");
+
+ /* Align to what the section needs. */
+ if (section_alignment > 0)
+@@ -5225,7 +5229,8 @@ lang_size_sections_1
+ only align according to the value in the output
+ statement. */
+ if (os->lma_region != os->region)
+- section_alignment = os->section_alignment;
++ section_alignment = exp_get_power (os->section_alignment,
++ "section alignment");
+ if (section_alignment > 0)
+ lma = align_power (lma, section_alignment);
+ }
+@@ -6673,25 +6678,6 @@ lang_add_output (const char *name, int f
+ }
+ }
+
+-static int
+-topower (int x)
+-{
+- unsigned int i = 1;
+- int l;
+-
+- if (x < 0)
+- return -1;
+-
+- for (l = 0; l < 32; l++)
+- {
+- if (i >= (unsigned int) x)
+- return l;
+- i <<= 1;
+- }
+-
+- return 0;
+-}
+-
+ lang_output_section_statement_type *
+ lang_enter_output_section_statement (const char *output_section_statement_name,
+ etree_type *address_exp,
+@@ -6727,10 +6713,8 @@ lang_enter_output_section_statement (con
+ einfo (_("%F%P:%pS: error: align with input and explicit align specified\n"),
+ NULL);
+
+- os->subsection_alignment =
+- topower (exp_get_value_int (subalign, -1, "subsection alignment"));
+- os->section_alignment =
+- topower (exp_get_value_int (align, -1, "section alignment"));
++ os->subsection_alignment = subalign;
++ os->section_alignment = align;
+
+ os->load_base = ebase;
+ return os;
+@@ -7748,7 +7732,7 @@ lang_new_phdr (const char *name,
+ n = (struct lang_phdr *) stat_alloc (sizeof (struct lang_phdr));
+ n->next = NULL;
+ n->name = name;
+- n->type = exp_get_value_int (type, 0, "program header type");
++ n->type = exp_get_vma (type, 0, "program header type");
+ n->filehdr = filehdr;
+ n->phdrs = phdrs;
+ n->at = at;
+--- a/ld/ldlang.h
++++ b/ld/ldlang.h
+@@ -143,6 +143,8 @@ typedef struct lang_output_section_state
+ fill_type *fill;
+ union etree_union *addr_tree;
+ union etree_union *load_base;
++ union etree_union *section_alignment;
++ union etree_union *subsection_alignment;
+
+ /* If non-null, an expression to evaluate after setting the section's
+ size. The expression is evaluated inside REGION (above) with '.'
+@@ -153,8 +155,6 @@ typedef struct lang_output_section_state
+ lang_output_section_phdr_list *phdrs;
+
+ unsigned int block_value;
+- int subsection_alignment; /* Alignment of components. */
+- int section_alignment; /* Alignment of start of section. */
+ int constraint;
+ flagword flags;
+ enum section_type sectype;
+--- a/ld/testsuite/ld-scripts/align.exp
++++ b/ld/testsuite/ld-scripts/align.exp
+@@ -53,3 +53,7 @@ if ![is_aout_format] {
+ }
+ run_dump_test align2c
+ set LDFLAGS "$saved_LDFLAGS"
++
++if { [is_elf_format] && ![is_generic_elf] } {
++ run_dump_test pr23571
++}
+--- /dev/null
++++ b/ld/testsuite/ld-scripts/pr23571.d
+@@ -0,0 +1,10 @@
++#source: align2a.s
++#ld: -T pr23571.t -z common-page-size=0x1000
++#objdump: -h -w
++
++.*: +file format .*
++
++Sections:
++Idx Name +Size +VMA +LMA +File off +Algn +Flags
++ +0 \.text +[0-9a-f]* +0+1000 +0+1000 .*
++ +1 \.data +[0-9a-f]* +0+2000 +0+2000 +[0-9a-f]* +2\*\*12 .*
+--- /dev/null
++++ b/ld/testsuite/ld-scripts/pr23571.t
+@@ -0,0 +1,11 @@
++SECTIONS
++{
++ .text CONSTANT(COMMONPAGESIZE) : {
++ *(.text)
++ }
++
++ .data : ALIGN(CONSTANT(COMMONPAGESIZE)) {
++ *(.data)
++ }
++ /DISCARD/ : {*(*)}
++}