mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-27 00:11:05 +00:00
827 lines
24 KiB
Diff
827 lines
24 KiB
Diff
|
From e5409aedd3ee2192855018a564650ffb75c26e60 Mon Sep 17 00:00:00 2001
|
|||
|
From: Max Filippov <jcmvbkbc@gmail.com>
|
|||
|
Date: Sun, 5 Apr 2015 17:04:22 +0300
|
|||
|
Subject: [PATCH 4/4] xtensa: replace action list with splay tree
|
|||
|
|
|||
|
text_action_add uses linear list search to order text actions list by
|
|||
|
action VMA. The list is used at the first relaxation pass, when it's not
|
|||
|
fixed yet.
|
|||
|
Replace the list with splay tree from libiberty.
|
|||
|
|
|||
|
Original profile:
|
|||
|
|
|||
|
% time self children called name
|
|||
|
-----------------------------------------
|
|||
|
0.00 0.00 14/158225 compute_text_actions
|
|||
|
3.62 0.00 25211/158225 remove_dead_literal
|
|||
|
8.42 0.00 58645/158225 coalesce_shared_literal
|
|||
|
10.68 0.00 74355/158225 text_action_add_proposed
|
|||
|
38.8 22.73 0.00 158225 text_action_add
|
|||
|
0.00 0.00 144527/293246 bfd_zmalloc
|
|||
|
-----------------------------------------
|
|||
|
|
|||
|
Same data, after optimization:
|
|||
|
|
|||
|
% time self children called name
|
|||
|
-----------------------------------------
|
|||
|
0.00 0.00 14/158225 compute_text_actions
|
|||
|
0.00 0.00 25211/158225 remove_dead_literal
|
|||
|
0.00 0.01 58645/158225 coalesce_shared_literal
|
|||
|
0.00 0.01 74355/158225 text_action_add_proposed
|
|||
|
0.1 0.00 0.02 158225 text_action_add
|
|||
|
0.01 0.00 144527/144527 splay_tree_insert
|
|||
|
0.00 0.00 144527/195130 splay_tree_lookup
|
|||
|
0.00 0.00 144527/293246 bfd_zmalloc
|
|||
|
-----------------------------------------
|
|||
|
|
|||
|
2015-04-03 Max Filippov <jcmvbkbc@gmail.com>
|
|||
|
bfd/
|
|||
|
* elf32-xtensa.c (splay-tree.h): include header.
|
|||
|
(text_action_struct): drop next pointer.
|
|||
|
(text_action_list_struct): drop head pointer, add count and
|
|||
|
tree fields.
|
|||
|
(find_fill_action): instead of linear search in text_action_list
|
|||
|
search in the tree.
|
|||
|
(text_action_compare, action_first, action_next): new functions.
|
|||
|
(text_action_add, text_action_add_literal): instead of linear
|
|||
|
search and insertion insert new node into the tree.
|
|||
|
(removed_by_actions): pass additional parameter: action_list,
|
|||
|
use it to traverse the tree.
|
|||
|
(offset_with_removed_text): pass additional action_list parameter
|
|||
|
to removed_by_actions.
|
|||
|
(map_action_fn_context): new typedef.
|
|||
|
(map_action_fn_context_struct): new structure.
|
|||
|
(map_action_fn): new function.
|
|||
|
(map_removal_by_action): use splay_tree_foreach to build map.
|
|||
|
(find_insn_action): replace linear search in text_action_list
|
|||
|
with series of splay_tree_lookups.
|
|||
|
(print_action, print_action_list_fn): new functions.
|
|||
|
(print_action_list): use splay_tree_foreach.
|
|||
|
(init_xtensa_relax_info): drop action_list.head initialization.
|
|||
|
Initialize the tree.
|
|||
|
(compute_text_actions): use non-zero action_list_count instead of
|
|||
|
non-NULL action list.
|
|||
|
(xlate_map_context): new typedef.
|
|||
|
(xlate_map_context_struct): new structure.
|
|||
|
(xlate_map_fn): new function.
|
|||
|
(build_xlate_map): use splay_tree_foreach to build map.
|
|||
|
(action_remove_bytes_fn): new function.
|
|||
|
(relax_section): use zero action_list_count instead of NULL
|
|||
|
action list. Use splay_tree_foreach to count final section size.
|
|||
|
Drop unused variable 'removed'.
|
|||
|
|
|||
|
Backported from: 4c2af04fe8b4452bf51d2debf1bb467fafcd0f08
|
|||
|
Signed-off-by: Max Filippov <jcmvbkbc@gmail.com>
|
|||
|
---
|
|||
|
bfd/elf32-xtensa.c | 488 +++++++++++++++++++++++++++++++----------------------
|
|||
|
1 file changed, 282 insertions(+), 206 deletions(-)
|
|||
|
|
|||
|
diff --git a/bfd/elf32-xtensa.c b/bfd/elf32-xtensa.c
|
|||
|
index 51733ad..53af1c6 100644
|
|||
|
--- a/bfd/elf32-xtensa.c
|
|||
|
+++ b/bfd/elf32-xtensa.c
|
|||
|
@@ -28,6 +28,7 @@
|
|||
|
#include "libbfd.h"
|
|||
|
#include "elf-bfd.h"
|
|||
|
#include "elf/xtensa.h"
|
|||
|
+#include "splay-tree.h"
|
|||
|
#include "xtensa-isa.h"
|
|||
|
#include "xtensa-config.h"
|
|||
|
|
|||
|
@@ -5416,8 +5417,6 @@ struct text_action_struct
|
|||
|
bfd_vma virtual_offset; /* Zero except for adding literals. */
|
|||
|
int removed_bytes;
|
|||
|
literal_value value; /* Only valid when adding literals. */
|
|||
|
-
|
|||
|
- text_action *next;
|
|||
|
};
|
|||
|
|
|||
|
struct removal_by_action_entry_struct
|
|||
|
@@ -5440,7 +5439,8 @@ typedef struct removal_by_action_map_struct removal_by_action_map;
|
|||
|
/* List of all of the actions taken on a text section. */
|
|||
|
struct text_action_list_struct
|
|||
|
{
|
|||
|
- text_action *head;
|
|||
|
+ unsigned count;
|
|||
|
+ splay_tree tree;
|
|||
|
removal_by_action_map map;
|
|||
|
};
|
|||
|
|
|||
|
@@ -5448,20 +5448,18 @@ struct text_action_list_struct
|
|||
|
static text_action *
|
|||
|
find_fill_action (text_action_list *l, asection *sec, bfd_vma offset)
|
|||
|
{
|
|||
|
- text_action **m_p;
|
|||
|
+ text_action a;
|
|||
|
|
|||
|
/* It is not necessary to fill at the end of a section. */
|
|||
|
if (sec->size == offset)
|
|||
|
return NULL;
|
|||
|
|
|||
|
- for (m_p = &l->head; *m_p && (*m_p)->offset <= offset; m_p = &(*m_p)->next)
|
|||
|
- {
|
|||
|
- text_action *t = *m_p;
|
|||
|
- /* When the action is another fill at the same address,
|
|||
|
- just increase the size. */
|
|||
|
- if (t->offset == offset && t->action == ta_fill)
|
|||
|
- return t;
|
|||
|
- }
|
|||
|
+ a.offset = offset;
|
|||
|
+ a.action = ta_fill;
|
|||
|
+
|
|||
|
+ splay_tree_node node = splay_tree_lookup (l->tree, (splay_tree_key)&a);
|
|||
|
+ if (node)
|
|||
|
+ return (text_action *)node->value;
|
|||
|
return NULL;
|
|||
|
}
|
|||
|
|
|||
|
@@ -5509,6 +5507,49 @@ adjust_fill_action (text_action *ta, int fill_diff)
|
|||
|
}
|
|||
|
|
|||
|
|
|||
|
+static int
|
|||
|
+text_action_compare (splay_tree_key a, splay_tree_key b)
|
|||
|
+{
|
|||
|
+ text_action *pa = (text_action *)a;
|
|||
|
+ text_action *pb = (text_action *)b;
|
|||
|
+ static const int action_priority[] =
|
|||
|
+ {
|
|||
|
+ [ta_fill] = 0,
|
|||
|
+ [ta_none] = 1,
|
|||
|
+ [ta_convert_longcall] = 2,
|
|||
|
+ [ta_narrow_insn] = 3,
|
|||
|
+ [ta_remove_insn] = 4,
|
|||
|
+ [ta_remove_longcall] = 5,
|
|||
|
+ [ta_remove_literal] = 6,
|
|||
|
+ [ta_widen_insn] = 7,
|
|||
|
+ [ta_add_literal] = 8,
|
|||
|
+ };
|
|||
|
+
|
|||
|
+ if (pa->offset == pb->offset)
|
|||
|
+ {
|
|||
|
+ if (pa->action == pb->action)
|
|||
|
+ return 0;
|
|||
|
+ return action_priority[pa->action] - action_priority[pb->action];
|
|||
|
+ }
|
|||
|
+ else
|
|||
|
+ return pa->offset < pb->offset ? -1 : 1;
|
|||
|
+}
|
|||
|
+
|
|||
|
+static text_action *
|
|||
|
+action_first (text_action_list *action_list)
|
|||
|
+{
|
|||
|
+ splay_tree_node node = splay_tree_min (action_list->tree);
|
|||
|
+ return node ? (text_action *)node->value : NULL;
|
|||
|
+}
|
|||
|
+
|
|||
|
+static text_action *
|
|||
|
+action_next (text_action_list *action_list, text_action *action)
|
|||
|
+{
|
|||
|
+ splay_tree_node node = splay_tree_successor (action_list->tree,
|
|||
|
+ (splay_tree_key)action);
|
|||
|
+ return node ? (text_action *)node->value : NULL;
|
|||
|
+}
|
|||
|
+
|
|||
|
/* Add a modification action to the text. For the case of adding or
|
|||
|
removing space, modify any current fill and assume that
|
|||
|
"unreachable_space" bytes can be freely contracted. Note that a
|
|||
|
@@ -5521,8 +5562,8 @@ text_action_add (text_action_list *l,
|
|||
|
bfd_vma offset,
|
|||
|
int removed)
|
|||
|
{
|
|||
|
- text_action **m_p;
|
|||
|
text_action *ta;
|
|||
|
+ text_action a;
|
|||
|
|
|||
|
/* It is not necessary to fill at the end of a section. */
|
|||
|
if (action == ta_fill && sec->size == offset)
|
|||
|
@@ -5532,34 +5573,30 @@ text_action_add (text_action_list *l,
|
|||
|
if (action == ta_fill && removed == 0)
|
|||
|
return;
|
|||
|
|
|||
|
- for (m_p = &l->head; *m_p && (*m_p)->offset <= offset; m_p = &(*m_p)->next)
|
|||
|
+ a.action = action;
|
|||
|
+ a.offset = offset;
|
|||
|
+
|
|||
|
+ if (action == ta_fill)
|
|||
|
{
|
|||
|
- text_action *t = *m_p;
|
|||
|
+ splay_tree_node node = splay_tree_lookup (l->tree, (splay_tree_key)&a);
|
|||
|
|
|||
|
- if (action == ta_fill)
|
|||
|
+ if (node)
|
|||
|
{
|
|||
|
- /* When the action is another fill at the same address,
|
|||
|
- just increase the size. */
|
|||
|
- if (t->offset == offset && t->action == ta_fill)
|
|||
|
- {
|
|||
|
- t->removed_bytes += removed;
|
|||
|
- return;
|
|||
|
- }
|
|||
|
- /* Fills need to happen before widens so that we don't
|
|||
|
- insert fill bytes into the instruction stream. */
|
|||
|
- if (t->offset == offset && t->action == ta_widen_insn)
|
|||
|
- break;
|
|||
|
+ ta = (text_action *)node->value;
|
|||
|
+ ta->removed_bytes += removed;
|
|||
|
+ return;
|
|||
|
}
|
|||
|
}
|
|||
|
+ else
|
|||
|
+ BFD_ASSERT (splay_tree_lookup (l->tree, (splay_tree_key)&a) == NULL);
|
|||
|
|
|||
|
- /* Create a new record and fill it up. */
|
|||
|
ta = (text_action *) bfd_zmalloc (sizeof (text_action));
|
|||
|
ta->action = action;
|
|||
|
ta->sec = sec;
|
|||
|
ta->offset = offset;
|
|||
|
ta->removed_bytes = removed;
|
|||
|
- ta->next = (*m_p);
|
|||
|
- *m_p = ta;
|
|||
|
+ splay_tree_insert (l->tree, (splay_tree_key)ta, (splay_tree_value)ta);
|
|||
|
+ ++l->count;
|
|||
|
}
|
|||
|
|
|||
|
|
|||
|
@@ -5570,7 +5607,6 @@ text_action_add_literal (text_action_list *l,
|
|||
|
const literal_value *value,
|
|||
|
int removed)
|
|||
|
{
|
|||
|
- text_action **m_p;
|
|||
|
text_action *ta;
|
|||
|
asection *sec = r_reloc_get_section (loc);
|
|||
|
bfd_vma offset = loc->target_offset;
|
|||
|
@@ -5578,14 +5614,6 @@ text_action_add_literal (text_action_list *l,
|
|||
|
|
|||
|
BFD_ASSERT (action == ta_add_literal);
|
|||
|
|
|||
|
- for (m_p = &l->head; *m_p != NULL; m_p = &(*m_p)->next)
|
|||
|
- {
|
|||
|
- if ((*m_p)->offset > offset
|
|||
|
- && ((*m_p)->offset != offset
|
|||
|
- || (*m_p)->virtual_offset > virtual_offset))
|
|||
|
- break;
|
|||
|
- }
|
|||
|
-
|
|||
|
/* Create a new record and fill it up. */
|
|||
|
ta = (text_action *) bfd_zmalloc (sizeof (text_action));
|
|||
|
ta->action = action;
|
|||
|
@@ -5594,8 +5622,10 @@ text_action_add_literal (text_action_list *l,
|
|||
|
ta->virtual_offset = virtual_offset;
|
|||
|
ta->value = *value;
|
|||
|
ta->removed_bytes = removed;
|
|||
|
- ta->next = (*m_p);
|
|||
|
- *m_p = ta;
|
|||
|
+
|
|||
|
+ BFD_ASSERT (splay_tree_lookup (l->tree, (splay_tree_key)ta) == NULL);
|
|||
|
+ splay_tree_insert (l->tree, (splay_tree_key)ta, (splay_tree_value)ta);
|
|||
|
+ ++l->count;
|
|||
|
}
|
|||
|
|
|||
|
|
|||
|
@@ -5606,7 +5636,8 @@ text_action_add_literal (text_action_list *l,
|
|||
|
so that each search may begin where the previous one left off. */
|
|||
|
|
|||
|
static int
|
|||
|
-removed_by_actions (text_action **p_start_action,
|
|||
|
+removed_by_actions (text_action_list *action_list,
|
|||
|
+ text_action **p_start_action,
|
|||
|
bfd_vma offset,
|
|||
|
bfd_boolean before_fill)
|
|||
|
{
|
|||
|
@@ -5614,6 +5645,13 @@ removed_by_actions (text_action **p_start_action,
|
|||
|
int removed = 0;
|
|||
|
|
|||
|
r = *p_start_action;
|
|||
|
+ if (r)
|
|||
|
+ {
|
|||
|
+ splay_tree_node node = splay_tree_lookup (action_list->tree,
|
|||
|
+ (splay_tree_key)r);
|
|||
|
+ BFD_ASSERT (node != NULL && r == (text_action *)node->value);
|
|||
|
+ }
|
|||
|
+
|
|||
|
while (r)
|
|||
|
{
|
|||
|
if (r->offset > offset)
|
|||
|
@@ -5625,7 +5663,7 @@ removed_by_actions (text_action **p_start_action,
|
|||
|
|
|||
|
removed += r->removed_bytes;
|
|||
|
|
|||
|
- r = r->next;
|
|||
|
+ r = action_next (action_list, r);
|
|||
|
}
|
|||
|
|
|||
|
*p_start_action = r;
|
|||
|
@@ -5636,68 +5674,74 @@ removed_by_actions (text_action **p_start_action,
|
|||
|
static bfd_vma
|
|||
|
offset_with_removed_text (text_action_list *action_list, bfd_vma offset)
|
|||
|
{
|
|||
|
- text_action *r = action_list->head;
|
|||
|
- return offset - removed_by_actions (&r, offset, FALSE);
|
|||
|
+ text_action *r = action_first (action_list);
|
|||
|
+
|
|||
|
+ return offset - removed_by_actions (action_list, &r, offset, FALSE);
|
|||
|
}
|
|||
|
|
|||
|
|
|||
|
static unsigned
|
|||
|
action_list_count (text_action_list *action_list)
|
|||
|
{
|
|||
|
- text_action *r = action_list->head;
|
|||
|
- unsigned count = 0;
|
|||
|
- for (r = action_list->head; r != NULL; r = r->next)
|
|||
|
- {
|
|||
|
- count++;
|
|||
|
- }
|
|||
|
- return count;
|
|||
|
+ return action_list->count;
|
|||
|
}
|
|||
|
|
|||
|
-static void
|
|||
|
-map_removal_by_action (text_action_list *action_list)
|
|||
|
+typedef struct map_action_fn_context_struct map_action_fn_context;
|
|||
|
+struct map_action_fn_context_struct
|
|||
|
{
|
|||
|
- text_action *r;
|
|||
|
- int removed = 0;
|
|||
|
+ int removed;
|
|||
|
removal_by_action_map map;
|
|||
|
bfd_boolean eq_complete;
|
|||
|
+};
|
|||
|
|
|||
|
- map.n_entries = 0;
|
|||
|
- map.entry = bfd_malloc (action_list_count (action_list) *
|
|||
|
- sizeof (removal_by_action_entry));
|
|||
|
- eq_complete = FALSE;
|
|||
|
+static int
|
|||
|
+map_action_fn (splay_tree_node node, void *p)
|
|||
|
+{
|
|||
|
+ map_action_fn_context *ctx = p;
|
|||
|
+ text_action *r = (text_action *)node->value;
|
|||
|
+ removal_by_action_entry *ientry = ctx->map.entry + ctx->map.n_entries;
|
|||
|
|
|||
|
- for (r = action_list->head; r;)
|
|||
|
+ if (ctx->map.n_entries && (ientry - 1)->offset == r->offset)
|
|||
|
{
|
|||
|
- removal_by_action_entry *ientry = map.entry + map.n_entries;
|
|||
|
+ --ientry;
|
|||
|
+ }
|
|||
|
+ else
|
|||
|
+ {
|
|||
|
+ ++ctx->map.n_entries;
|
|||
|
+ ctx->eq_complete = FALSE;
|
|||
|
+ ientry->offset = r->offset;
|
|||
|
+ ientry->eq_removed_before_fill = ctx->removed;
|
|||
|
+ }
|
|||
|
|
|||
|
- if (map.n_entries && (ientry - 1)->offset == r->offset)
|
|||
|
+ if (!ctx->eq_complete)
|
|||
|
+ {
|
|||
|
+ if (r->action != ta_fill || r->removed_bytes >= 0)
|
|||
|
{
|
|||
|
- --ientry;
|
|||
|
+ ientry->eq_removed = ctx->removed;
|
|||
|
+ ctx->eq_complete = TRUE;
|
|||
|
}
|
|||
|
else
|
|||
|
- {
|
|||
|
- ++map.n_entries;
|
|||
|
- eq_complete = FALSE;
|
|||
|
- ientry->offset = r->offset;
|
|||
|
- ientry->eq_removed_before_fill = removed;
|
|||
|
- }
|
|||
|
+ ientry->eq_removed = ctx->removed + r->removed_bytes;
|
|||
|
+ }
|
|||
|
|
|||
|
- if (!eq_complete)
|
|||
|
- {
|
|||
|
- if (r->action != ta_fill || r->removed_bytes >= 0)
|
|||
|
- {
|
|||
|
- ientry->eq_removed = removed;
|
|||
|
- eq_complete = TRUE;
|
|||
|
- }
|
|||
|
- else
|
|||
|
- ientry->eq_removed = removed + r->removed_bytes;
|
|||
|
- }
|
|||
|
+ ctx->removed += r->removed_bytes;
|
|||
|
+ ientry->removed = ctx->removed;
|
|||
|
+ return 0;
|
|||
|
+}
|
|||
|
|
|||
|
- removed += r->removed_bytes;
|
|||
|
- ientry->removed = removed;
|
|||
|
- r = r->next;
|
|||
|
- }
|
|||
|
- action_list->map = map;
|
|||
|
+static void
|
|||
|
+map_removal_by_action (text_action_list *action_list)
|
|||
|
+{
|
|||
|
+ map_action_fn_context ctx;
|
|||
|
+
|
|||
|
+ ctx.removed = 0;
|
|||
|
+ ctx.map.n_entries = 0;
|
|||
|
+ ctx.map.entry = bfd_malloc (action_list_count (action_list) *
|
|||
|
+ sizeof (removal_by_action_entry));
|
|||
|
+ ctx.eq_complete = FALSE;
|
|||
|
+
|
|||
|
+ splay_tree_foreach (action_list->tree, map_action_fn, &ctx);
|
|||
|
+ action_list->map = ctx.map;
|
|||
|
}
|
|||
|
|
|||
|
static int
|
|||
|
@@ -5754,28 +5798,26 @@ offset_with_removed_text_map (text_action_list *action_list, bfd_vma offset)
|
|||
|
static text_action *
|
|||
|
find_insn_action (text_action_list *action_list, bfd_vma offset)
|
|||
|
{
|
|||
|
- text_action *t;
|
|||
|
- for (t = action_list->head; t; t = t->next)
|
|||
|
+ static const text_action_t action[] =
|
|||
|
{
|
|||
|
- if (t->offset == offset)
|
|||
|
- {
|
|||
|
- switch (t->action)
|
|||
|
- {
|
|||
|
- case ta_none:
|
|||
|
- case ta_fill:
|
|||
|
- break;
|
|||
|
- case ta_remove_insn:
|
|||
|
- case ta_remove_longcall:
|
|||
|
- case ta_convert_longcall:
|
|||
|
- case ta_narrow_insn:
|
|||
|
- case ta_widen_insn:
|
|||
|
- return t;
|
|||
|
- case ta_remove_literal:
|
|||
|
- case ta_add_literal:
|
|||
|
- BFD_ASSERT (0);
|
|||
|
- break;
|
|||
|
- }
|
|||
|
- }
|
|||
|
+ ta_convert_longcall,
|
|||
|
+ ta_remove_longcall,
|
|||
|
+ ta_widen_insn,
|
|||
|
+ ta_narrow_insn,
|
|||
|
+ ta_remove_insn,
|
|||
|
+ };
|
|||
|
+ text_action a;
|
|||
|
+ unsigned i;
|
|||
|
+
|
|||
|
+ a.offset = offset;
|
|||
|
+ for (i = 0; i < sizeof (action) / sizeof (*action); ++i)
|
|||
|
+ {
|
|||
|
+ splay_tree_node node;
|
|||
|
+
|
|||
|
+ a.action = action[i];
|
|||
|
+ node = splay_tree_lookup (action_list->tree, (splay_tree_key)&a);
|
|||
|
+ if (node)
|
|||
|
+ return (text_action *)node->value;
|
|||
|
}
|
|||
|
return NULL;
|
|||
|
}
|
|||
|
@@ -5784,40 +5826,50 @@ find_insn_action (text_action_list *action_list, bfd_vma offset)
|
|||
|
#if DEBUG
|
|||
|
|
|||
|
static void
|
|||
|
-print_action_list (FILE *fp, text_action_list *action_list)
|
|||
|
+print_action (FILE *fp, text_action *r)
|
|||
|
+{
|
|||
|
+ const char *t = "unknown";
|
|||
|
+ switch (r->action)
|
|||
|
+ {
|
|||
|
+ case ta_remove_insn:
|
|||
|
+ t = "remove_insn"; break;
|
|||
|
+ case ta_remove_longcall:
|
|||
|
+ t = "remove_longcall"; break;
|
|||
|
+ case ta_convert_longcall:
|
|||
|
+ t = "convert_longcall"; break;
|
|||
|
+ case ta_narrow_insn:
|
|||
|
+ t = "narrow_insn"; break;
|
|||
|
+ case ta_widen_insn:
|
|||
|
+ t = "widen_insn"; break;
|
|||
|
+ case ta_fill:
|
|||
|
+ t = "fill"; break;
|
|||
|
+ case ta_none:
|
|||
|
+ t = "none"; break;
|
|||
|
+ case ta_remove_literal:
|
|||
|
+ t = "remove_literal"; break;
|
|||
|
+ case ta_add_literal:
|
|||
|
+ t = "add_literal"; break;
|
|||
|
+ }
|
|||
|
+
|
|||
|
+ fprintf (fp, "%s: %s[0x%lx] \"%s\" %d\n",
|
|||
|
+ r->sec->owner->filename,
|
|||
|
+ r->sec->name, (unsigned long) r->offset, t, r->removed_bytes);
|
|||
|
+}
|
|||
|
+
|
|||
|
+static int
|
|||
|
+print_action_list_fn (splay_tree_node node, void *p)
|
|||
|
{
|
|||
|
- text_action *r;
|
|||
|
+ text_action *r = (text_action *)node->value;
|
|||
|
|
|||
|
- fprintf (fp, "Text Action\n");
|
|||
|
- for (r = action_list->head; r != NULL; r = r->next)
|
|||
|
- {
|
|||
|
- const char *t = "unknown";
|
|||
|
- switch (r->action)
|
|||
|
- {
|
|||
|
- case ta_remove_insn:
|
|||
|
- t = "remove_insn"; break;
|
|||
|
- case ta_remove_longcall:
|
|||
|
- t = "remove_longcall"; break;
|
|||
|
- case ta_convert_longcall:
|
|||
|
- t = "convert_longcall"; break;
|
|||
|
- case ta_narrow_insn:
|
|||
|
- t = "narrow_insn"; break;
|
|||
|
- case ta_widen_insn:
|
|||
|
- t = "widen_insn"; break;
|
|||
|
- case ta_fill:
|
|||
|
- t = "fill"; break;
|
|||
|
- case ta_none:
|
|||
|
- t = "none"; break;
|
|||
|
- case ta_remove_literal:
|
|||
|
- t = "remove_literal"; break;
|
|||
|
- case ta_add_literal:
|
|||
|
- t = "add_literal"; break;
|
|||
|
- }
|
|||
|
+ print_action (p, r);
|
|||
|
+ return 0;
|
|||
|
+}
|
|||
|
|
|||
|
- fprintf (fp, "%s: %s[0x%lx] \"%s\" %d\n",
|
|||
|
- r->sec->owner->filename,
|
|||
|
- r->sec->name, (unsigned long) r->offset, t, r->removed_bytes);
|
|||
|
- }
|
|||
|
+static void
|
|||
|
+print_action_list (FILE *fp, text_action_list *action_list)
|
|||
|
+{
|
|||
|
+ fprintf (fp, "Text Action\n");
|
|||
|
+ splay_tree_foreach (action_list->tree, print_action_list_fn, fp);
|
|||
|
}
|
|||
|
|
|||
|
#endif /* DEBUG */
|
|||
|
@@ -6071,8 +6123,8 @@ init_xtensa_relax_info (asection *sec)
|
|||
|
relax_info->removed_list.head = NULL;
|
|||
|
relax_info->removed_list.tail = NULL;
|
|||
|
|
|||
|
- relax_info->action_list.head = NULL;
|
|||
|
-
|
|||
|
+ relax_info->action_list.tree = splay_tree_new (text_action_compare,
|
|||
|
+ NULL, NULL);
|
|||
|
relax_info->action_list.map.n_entries = 0;
|
|||
|
relax_info->action_list.map.entry = NULL;
|
|||
|
|
|||
|
@@ -7762,7 +7814,7 @@ compute_text_actions (bfd *abfd,
|
|||
|
free_reloc_range_list (&relevant_relocs);
|
|||
|
|
|||
|
#if DEBUG
|
|||
|
- if (relax_info->action_list.head)
|
|||
|
+ if (action_list_count (&relax_info->action_list))
|
|||
|
print_action_list (stderr, &relax_info->action_list);
|
|||
|
#endif
|
|||
|
|
|||
|
@@ -8263,6 +8315,54 @@ xlate_offset_with_removed_text (const xlate_map_t *map,
|
|||
|
return e->new_address - e->orig_address + offset;
|
|||
|
}
|
|||
|
|
|||
|
+typedef struct xlate_map_context_struct xlate_map_context;
|
|||
|
+struct xlate_map_context_struct
|
|||
|
+{
|
|||
|
+ xlate_map_t *map;
|
|||
|
+ xlate_map_entry_t *current_entry;
|
|||
|
+ int removed;
|
|||
|
+};
|
|||
|
+
|
|||
|
+static int
|
|||
|
+xlate_map_fn (splay_tree_node node, void *p)
|
|||
|
+{
|
|||
|
+ text_action *r = (text_action *)node->value;
|
|||
|
+ xlate_map_context *ctx = p;
|
|||
|
+ unsigned orig_size = 0;
|
|||
|
+
|
|||
|
+ switch (r->action)
|
|||
|
+ {
|
|||
|
+ case ta_none:
|
|||
|
+ case ta_remove_insn:
|
|||
|
+ case ta_convert_longcall:
|
|||
|
+ case ta_remove_literal:
|
|||
|
+ case ta_add_literal:
|
|||
|
+ break;
|
|||
|
+ case ta_remove_longcall:
|
|||
|
+ orig_size = 6;
|
|||
|
+ break;
|
|||
|
+ case ta_narrow_insn:
|
|||
|
+ orig_size = 3;
|
|||
|
+ break;
|
|||
|
+ case ta_widen_insn:
|
|||
|
+ orig_size = 2;
|
|||
|
+ break;
|
|||
|
+ case ta_fill:
|
|||
|
+ break;
|
|||
|
+ }
|
|||
|
+ ctx->current_entry->size =
|
|||
|
+ r->offset + orig_size - ctx->current_entry->orig_address;
|
|||
|
+ if (ctx->current_entry->size != 0)
|
|||
|
+ {
|
|||
|
+ ctx->current_entry++;
|
|||
|
+ ctx->map->entry_count++;
|
|||
|
+ }
|
|||
|
+ ctx->current_entry->orig_address = r->offset + orig_size;
|
|||
|
+ ctx->removed += r->removed_bytes;
|
|||
|
+ ctx->current_entry->new_address = r->offset + orig_size - ctx->removed;
|
|||
|
+ ctx->current_entry->size = 0;
|
|||
|
+ return 0;
|
|||
|
+}
|
|||
|
|
|||
|
/* Build a binary searchable offset translation map from a section's
|
|||
|
action list. */
|
|||
|
@@ -8270,75 +8370,40 @@ xlate_offset_with_removed_text (const xlate_map_t *map,
|
|||
|
static xlate_map_t *
|
|||
|
build_xlate_map (asection *sec, xtensa_relax_info *relax_info)
|
|||
|
{
|
|||
|
- xlate_map_t *map = (xlate_map_t *) bfd_malloc (sizeof (xlate_map_t));
|
|||
|
text_action_list *action_list = &relax_info->action_list;
|
|||
|
unsigned num_actions = 0;
|
|||
|
- text_action *r;
|
|||
|
- int removed;
|
|||
|
- xlate_map_entry_t *current_entry;
|
|||
|
+ xlate_map_context ctx;
|
|||
|
|
|||
|
- if (map == NULL)
|
|||
|
+ ctx.map = (xlate_map_t *) bfd_malloc (sizeof (xlate_map_t));
|
|||
|
+
|
|||
|
+ if (ctx.map == NULL)
|
|||
|
return NULL;
|
|||
|
|
|||
|
num_actions = action_list_count (action_list);
|
|||
|
- map->entry = (xlate_map_entry_t *)
|
|||
|
+ ctx.map->entry = (xlate_map_entry_t *)
|
|||
|
bfd_malloc (sizeof (xlate_map_entry_t) * (num_actions + 1));
|
|||
|
- if (map->entry == NULL)
|
|||
|
+ if (ctx.map->entry == NULL)
|
|||
|
{
|
|||
|
- free (map);
|
|||
|
+ free (ctx.map);
|
|||
|
return NULL;
|
|||
|
}
|
|||
|
- map->entry_count = 0;
|
|||
|
+ ctx.map->entry_count = 0;
|
|||
|
|
|||
|
- removed = 0;
|
|||
|
- current_entry = &map->entry[0];
|
|||
|
+ ctx.removed = 0;
|
|||
|
+ ctx.current_entry = &ctx.map->entry[0];
|
|||
|
|
|||
|
- current_entry->orig_address = 0;
|
|||
|
- current_entry->new_address = 0;
|
|||
|
- current_entry->size = 0;
|
|||
|
+ ctx.current_entry->orig_address = 0;
|
|||
|
+ ctx.current_entry->new_address = 0;
|
|||
|
+ ctx.current_entry->size = 0;
|
|||
|
|
|||
|
- for (r = action_list->head; r != NULL; r = r->next)
|
|||
|
- {
|
|||
|
- unsigned orig_size = 0;
|
|||
|
- switch (r->action)
|
|||
|
- {
|
|||
|
- case ta_none:
|
|||
|
- case ta_remove_insn:
|
|||
|
- case ta_convert_longcall:
|
|||
|
- case ta_remove_literal:
|
|||
|
- case ta_add_literal:
|
|||
|
- break;
|
|||
|
- case ta_remove_longcall:
|
|||
|
- orig_size = 6;
|
|||
|
- break;
|
|||
|
- case ta_narrow_insn:
|
|||
|
- orig_size = 3;
|
|||
|
- break;
|
|||
|
- case ta_widen_insn:
|
|||
|
- orig_size = 2;
|
|||
|
- break;
|
|||
|
- case ta_fill:
|
|||
|
- break;
|
|||
|
- }
|
|||
|
- current_entry->size =
|
|||
|
- r->offset + orig_size - current_entry->orig_address;
|
|||
|
- if (current_entry->size != 0)
|
|||
|
- {
|
|||
|
- current_entry++;
|
|||
|
- map->entry_count++;
|
|||
|
- }
|
|||
|
- current_entry->orig_address = r->offset + orig_size;
|
|||
|
- removed += r->removed_bytes;
|
|||
|
- current_entry->new_address = r->offset + orig_size - removed;
|
|||
|
- current_entry->size = 0;
|
|||
|
- }
|
|||
|
+ splay_tree_foreach (action_list->tree, xlate_map_fn, &ctx);
|
|||
|
|
|||
|
- current_entry->size = (bfd_get_section_limit (sec->owner, sec)
|
|||
|
- - current_entry->orig_address);
|
|||
|
- if (current_entry->size != 0)
|
|||
|
- map->entry_count++;
|
|||
|
+ ctx.current_entry->size = (bfd_get_section_limit (sec->owner, sec)
|
|||
|
+ - ctx.current_entry->orig_address);
|
|||
|
+ if (ctx.current_entry->size != 0)
|
|||
|
+ ctx.map->entry_count++;
|
|||
|
|
|||
|
- return map;
|
|||
|
+ return ctx.map;
|
|||
|
}
|
|||
|
|
|||
|
|
|||
|
@@ -9302,6 +9367,16 @@ move_shared_literal (asection *sec,
|
|||
|
|
|||
|
/* Second relaxation pass. */
|
|||
|
|
|||
|
+static int
|
|||
|
+action_remove_bytes_fn (splay_tree_node node, void *p)
|
|||
|
+{
|
|||
|
+ bfd_size_type *final_size = p;
|
|||
|
+ text_action *action = (text_action *)node->value;
|
|||
|
+
|
|||
|
+ *final_size -= action->removed_bytes;
|
|||
|
+ return 0;
|
|||
|
+}
|
|||
|
+
|
|||
|
/* Modify all of the relocations to point to the right spot, and if this
|
|||
|
is a relaxable section, delete the unwanted literals and fix the
|
|||
|
section size. */
|
|||
|
@@ -9334,7 +9409,7 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
|
|||
|
internal_relocs = retrieve_internal_relocs (abfd, sec,
|
|||
|
link_info->keep_memory);
|
|||
|
- if (!internal_relocs && !relax_info->action_list.head)
|
|||
|
+ if (!internal_relocs && !action_list_count (&relax_info->action_list))
|
|||
|
return TRUE;
|
|||
|
|
|||
|
contents = retrieve_contents (abfd, sec, link_info->keep_memory);
|
|||
|
@@ -9412,6 +9487,12 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
}
|
|||
|
/* Update the action so that the code that moves
|
|||
|
the contents will do the right thing. */
|
|||
|
+ /* ta_remove_longcall and ta_remove_insn actions are
|
|||
|
+ grouped together in the tree as well as
|
|||
|
+ ta_convert_longcall and ta_none, so that changes below
|
|||
|
+ can be done w/o removing and reinserting action into
|
|||
|
+ the tree. */
|
|||
|
+
|
|||
|
if (action->action == ta_remove_longcall)
|
|||
|
action->action = ta_remove_insn;
|
|||
|
else
|
|||
|
@@ -9584,13 +9665,12 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
|
|||
|
if ((relax_info->is_relaxable_literal_section
|
|||
|
|| relax_info->is_relaxable_asm_section)
|
|||
|
- && relax_info->action_list.head)
|
|||
|
+ && action_list_count (&relax_info->action_list))
|
|||
|
{
|
|||
|
/* Walk through the planned actions and build up a table
|
|||
|
of move, copy and fill records. Use the move, copy and
|
|||
|
fill records to perform the actions once. */
|
|||
|
|
|||
|
- int removed = 0;
|
|||
|
bfd_size_type final_size, copy_size, orig_insn_size;
|
|||
|
bfd_byte *scratch = NULL;
|
|||
|
bfd_byte *dup_contents = NULL;
|
|||
|
@@ -9601,15 +9681,12 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
bfd_vma orig_dot_vo = 0; /* Virtual offset from orig_dot. */
|
|||
|
bfd_vma dup_dot = 0;
|
|||
|
|
|||
|
- text_action *action = relax_info->action_list.head;
|
|||
|
+ text_action *action;
|
|||
|
|
|||
|
final_size = sec->size;
|
|||
|
- for (action = relax_info->action_list.head; action;
|
|||
|
- action = action->next)
|
|||
|
- {
|
|||
|
- final_size -= action->removed_bytes;
|
|||
|
- }
|
|||
|
|
|||
|
+ splay_tree_foreach (relax_info->action_list.tree,
|
|||
|
+ action_remove_bytes_fn, &final_size);
|
|||
|
scratch = (bfd_byte *) bfd_zmalloc (final_size);
|
|||
|
dup_contents = (bfd_byte *) bfd_zmalloc (final_size);
|
|||
|
|
|||
|
@@ -9618,8 +9695,8 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
print_action_list (stderr, &relax_info->action_list);
|
|||
|
#endif
|
|||
|
|
|||
|
- for (action = relax_info->action_list.head; action;
|
|||
|
- action = action->next)
|
|||
|
+ for (action = action_first (&relax_info->action_list); action;
|
|||
|
+ action = action_next (&relax_info->action_list, action))
|
|||
|
{
|
|||
|
virtual_action = FALSE;
|
|||
|
if (action->offset > orig_dot)
|
|||
|
@@ -9748,7 +9825,6 @@ relax_section (bfd *abfd, asection *sec, struct bfd_link_info *link_info)
|
|||
|
break;
|
|||
|
}
|
|||
|
|
|||
|
- removed += action->removed_bytes;
|
|||
|
BFD_ASSERT (dup_dot <= final_size);
|
|||
|
BFD_ASSERT (orig_dot <= orig_size);
|
|||
|
}
|
|||
|
--
|
|||
|
1.8.1.4
|
|||
|
|