/* Basic block reordering routines for the GNU compiler.
|
/* Basic block reordering routines for the GNU compiler.
|
Copyright (C) 2000, 2001, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
|
Copyright (C) 2000, 2001, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
|
Free Software Foundation, Inc.
|
Free Software Foundation, Inc.
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
GCC is free software; you can redistribute it and/or modify it under
|
the terms of the GNU General Public License as published by the Free
|
the terms of the GNU General Public License as published by the Free
|
Software Foundation; either version 3, or (at your option) any later
|
Software Foundation; either version 3, or (at your option) any later
|
version.
|
version.
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
for more details.
|
for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING3. If not see
|
along with GCC; see the file COPYING3. If not see
|
<http://www.gnu.org/licenses/>. */
|
<http://www.gnu.org/licenses/>. */
|
|
|
#include "config.h"
|
#include "config.h"
|
#include "system.h"
|
#include "system.h"
|
#include "coretypes.h"
|
#include "coretypes.h"
|
#include "tm.h"
|
#include "tm.h"
|
#include "tree.h"
|
#include "tree.h"
|
#include "rtl.h"
|
#include "rtl.h"
|
#include "hard-reg-set.h"
|
#include "hard-reg-set.h"
|
#include "obstack.h"
|
#include "obstack.h"
|
#include "basic-block.h"
|
#include "basic-block.h"
|
#include "insn-config.h"
|
#include "insn-config.h"
|
#include "output.h"
|
#include "output.h"
|
#include "function.h"
|
#include "function.h"
|
#include "cfglayout.h"
|
#include "cfglayout.h"
|
#include "cfgloop.h"
|
#include "cfgloop.h"
|
#include "target.h"
|
#include "target.h"
|
#include "ggc.h"
|
#include "ggc.h"
|
#include "alloc-pool.h"
|
#include "alloc-pool.h"
|
#include "flags.h"
|
#include "flags.h"
|
#include "tree-pass.h"
|
#include "tree-pass.h"
|
#include "df.h"
|
#include "df.h"
|
#include "vecprim.h"
|
#include "vecprim.h"
|
|
|
/* Holds the interesting trailing notes for the function. */
|
/* Holds the interesting trailing notes for the function. */
|
rtx cfg_layout_function_footer;
|
rtx cfg_layout_function_footer;
|
rtx cfg_layout_function_header;
|
rtx cfg_layout_function_header;
|
|
|
static rtx skip_insns_after_block (basic_block);
|
static rtx skip_insns_after_block (basic_block);
|
static void record_effective_endpoints (void);
|
static void record_effective_endpoints (void);
|
static rtx label_for_bb (basic_block);
|
static rtx label_for_bb (basic_block);
|
static void fixup_reorder_chain (void);
|
static void fixup_reorder_chain (void);
|
|
|
static void change_scope (rtx, tree, tree);
|
static void change_scope (rtx, tree, tree);
|
|
|
void verify_insn_chain (void);
|
void verify_insn_chain (void);
|
static void fixup_fallthru_exit_predecessor (void);
|
static void fixup_fallthru_exit_predecessor (void);
|
static tree insn_scope (const_rtx);
|
static tree insn_scope (const_rtx);
|
|
|
rtx
|
rtx
|
unlink_insn_chain (rtx first, rtx last)
|
unlink_insn_chain (rtx first, rtx last)
|
{
|
{
|
rtx prevfirst = PREV_INSN (first);
|
rtx prevfirst = PREV_INSN (first);
|
rtx nextlast = NEXT_INSN (last);
|
rtx nextlast = NEXT_INSN (last);
|
|
|
PREV_INSN (first) = NULL;
|
PREV_INSN (first) = NULL;
|
NEXT_INSN (last) = NULL;
|
NEXT_INSN (last) = NULL;
|
if (prevfirst)
|
if (prevfirst)
|
NEXT_INSN (prevfirst) = nextlast;
|
NEXT_INSN (prevfirst) = nextlast;
|
if (nextlast)
|
if (nextlast)
|
PREV_INSN (nextlast) = prevfirst;
|
PREV_INSN (nextlast) = prevfirst;
|
else
|
else
|
set_last_insn (prevfirst);
|
set_last_insn (prevfirst);
|
if (!prevfirst)
|
if (!prevfirst)
|
set_first_insn (nextlast);
|
set_first_insn (nextlast);
|
return first;
|
return first;
|
}
|
}
|
|
|
/* Skip over inter-block insns occurring after BB which are typically
|
/* Skip over inter-block insns occurring after BB which are typically
|
associated with BB (e.g., barriers). If there are any such insns,
|
associated with BB (e.g., barriers). If there are any such insns,
|
we return the last one. Otherwise, we return the end of BB. */
|
we return the last one. Otherwise, we return the end of BB. */
|
|
|
static rtx
|
static rtx
|
skip_insns_after_block (basic_block bb)
|
skip_insns_after_block (basic_block bb)
|
{
|
{
|
rtx insn, last_insn, next_head, prev;
|
rtx insn, last_insn, next_head, prev;
|
|
|
next_head = NULL_RTX;
|
next_head = NULL_RTX;
|
if (bb->next_bb != EXIT_BLOCK_PTR)
|
if (bb->next_bb != EXIT_BLOCK_PTR)
|
next_head = BB_HEAD (bb->next_bb);
|
next_head = BB_HEAD (bb->next_bb);
|
|
|
for (last_insn = insn = BB_END (bb); (insn = NEXT_INSN (insn)) != 0; )
|
for (last_insn = insn = BB_END (bb); (insn = NEXT_INSN (insn)) != 0; )
|
{
|
{
|
if (insn == next_head)
|
if (insn == next_head)
|
break;
|
break;
|
|
|
switch (GET_CODE (insn))
|
switch (GET_CODE (insn))
|
{
|
{
|
case BARRIER:
|
case BARRIER:
|
last_insn = insn;
|
last_insn = insn;
|
continue;
|
continue;
|
|
|
case NOTE:
|
case NOTE:
|
switch (NOTE_KIND (insn))
|
switch (NOTE_KIND (insn))
|
{
|
{
|
case NOTE_INSN_BLOCK_END:
|
case NOTE_INSN_BLOCK_END:
|
gcc_unreachable ();
|
gcc_unreachable ();
|
continue;
|
continue;
|
default:
|
default:
|
continue;
|
continue;
|
break;
|
break;
|
}
|
}
|
break;
|
break;
|
|
|
case CODE_LABEL:
|
case CODE_LABEL:
|
if (NEXT_INSN (insn)
|
if (NEXT_INSN (insn)
|
&& JUMP_TABLE_DATA_P (NEXT_INSN (insn)))
|
&& JUMP_TABLE_DATA_P (NEXT_INSN (insn)))
|
{
|
{
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
last_insn = insn;
|
last_insn = insn;
|
continue;
|
continue;
|
}
|
}
|
break;
|
break;
|
|
|
default:
|
default:
|
break;
|
break;
|
}
|
}
|
|
|
break;
|
break;
|
}
|
}
|
|
|
/* It is possible to hit contradictory sequence. For instance:
|
/* It is possible to hit contradictory sequence. For instance:
|
|
|
jump_insn
|
jump_insn
|
NOTE_INSN_BLOCK_BEG
|
NOTE_INSN_BLOCK_BEG
|
barrier
|
barrier
|
|
|
Where barrier belongs to jump_insn, but the note does not. This can be
|
Where barrier belongs to jump_insn, but the note does not. This can be
|
created by removing the basic block originally following
|
created by removing the basic block originally following
|
NOTE_INSN_BLOCK_BEG. In such case reorder the notes. */
|
NOTE_INSN_BLOCK_BEG. In such case reorder the notes. */
|
|
|
for (insn = last_insn; insn != BB_END (bb); insn = prev)
|
for (insn = last_insn; insn != BB_END (bb); insn = prev)
|
{
|
{
|
prev = PREV_INSN (insn);
|
prev = PREV_INSN (insn);
|
if (NOTE_P (insn))
|
if (NOTE_P (insn))
|
switch (NOTE_KIND (insn))
|
switch (NOTE_KIND (insn))
|
{
|
{
|
case NOTE_INSN_BLOCK_END:
|
case NOTE_INSN_BLOCK_END:
|
gcc_unreachable ();
|
gcc_unreachable ();
|
break;
|
break;
|
case NOTE_INSN_DELETED:
|
case NOTE_INSN_DELETED:
|
case NOTE_INSN_DELETED_LABEL:
|
case NOTE_INSN_DELETED_LABEL:
|
continue;
|
continue;
|
default:
|
default:
|
reorder_insns (insn, insn, last_insn);
|
reorder_insns (insn, insn, last_insn);
|
}
|
}
|
}
|
}
|
|
|
return last_insn;
|
return last_insn;
|
}
|
}
|
|
|
/* Locate or create a label for a given basic block. */
|
/* Locate or create a label for a given basic block. */
|
|
|
static rtx
|
static rtx
|
label_for_bb (basic_block bb)
|
label_for_bb (basic_block bb)
|
{
|
{
|
rtx label = BB_HEAD (bb);
|
rtx label = BB_HEAD (bb);
|
|
|
if (!LABEL_P (label))
|
if (!LABEL_P (label))
|
{
|
{
|
if (dump_file)
|
if (dump_file)
|
fprintf (dump_file, "Emitting label for block %d\n", bb->index);
|
fprintf (dump_file, "Emitting label for block %d\n", bb->index);
|
|
|
label = block_label (bb);
|
label = block_label (bb);
|
}
|
}
|
|
|
return label;
|
return label;
|
}
|
}
|
|
|
/* Locate the effective beginning and end of the insn chain for each
|
/* Locate the effective beginning and end of the insn chain for each
|
block, as defined by skip_insns_after_block above. */
|
block, as defined by skip_insns_after_block above. */
|
|
|
static void
|
static void
|
record_effective_endpoints (void)
|
record_effective_endpoints (void)
|
{
|
{
|
rtx next_insn;
|
rtx next_insn;
|
basic_block bb;
|
basic_block bb;
|
rtx insn;
|
rtx insn;
|
|
|
for (insn = get_insns ();
|
for (insn = get_insns ();
|
insn
|
insn
|
&& NOTE_P (insn)
|
&& NOTE_P (insn)
|
&& NOTE_KIND (insn) != NOTE_INSN_BASIC_BLOCK;
|
&& NOTE_KIND (insn) != NOTE_INSN_BASIC_BLOCK;
|
insn = NEXT_INSN (insn))
|
insn = NEXT_INSN (insn))
|
continue;
|
continue;
|
/* No basic blocks at all? */
|
/* No basic blocks at all? */
|
gcc_assert (insn);
|
gcc_assert (insn);
|
|
|
if (PREV_INSN (insn))
|
if (PREV_INSN (insn))
|
cfg_layout_function_header =
|
cfg_layout_function_header =
|
unlink_insn_chain (get_insns (), PREV_INSN (insn));
|
unlink_insn_chain (get_insns (), PREV_INSN (insn));
|
else
|
else
|
cfg_layout_function_header = NULL_RTX;
|
cfg_layout_function_header = NULL_RTX;
|
|
|
next_insn = get_insns ();
|
next_insn = get_insns ();
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
{
|
{
|
rtx end;
|
rtx end;
|
|
|
if (PREV_INSN (BB_HEAD (bb)) && next_insn != BB_HEAD (bb))
|
if (PREV_INSN (BB_HEAD (bb)) && next_insn != BB_HEAD (bb))
|
bb->il.rtl->header = unlink_insn_chain (next_insn,
|
bb->il.rtl->header = unlink_insn_chain (next_insn,
|
PREV_INSN (BB_HEAD (bb)));
|
PREV_INSN (BB_HEAD (bb)));
|
end = skip_insns_after_block (bb);
|
end = skip_insns_after_block (bb);
|
if (NEXT_INSN (BB_END (bb)) && BB_END (bb) != end)
|
if (NEXT_INSN (BB_END (bb)) && BB_END (bb) != end)
|
bb->il.rtl->footer = unlink_insn_chain (NEXT_INSN (BB_END (bb)), end);
|
bb->il.rtl->footer = unlink_insn_chain (NEXT_INSN (BB_END (bb)), end);
|
next_insn = NEXT_INSN (BB_END (bb));
|
next_insn = NEXT_INSN (BB_END (bb));
|
}
|
}
|
|
|
cfg_layout_function_footer = next_insn;
|
cfg_layout_function_footer = next_insn;
|
if (cfg_layout_function_footer)
|
if (cfg_layout_function_footer)
|
cfg_layout_function_footer = unlink_insn_chain (cfg_layout_function_footer, get_last_insn ());
|
cfg_layout_function_footer = unlink_insn_chain (cfg_layout_function_footer, get_last_insn ());
|
}
|
}
|
|
|
/* Data structures representing mapping of INSN_LOCATOR into scope blocks, line
|
/* Data structures representing mapping of INSN_LOCATOR into scope blocks, line
|
numbers and files. In order to be GGC friendly we need to use separate
|
numbers and files. In order to be GGC friendly we need to use separate
|
varrays. This also slightly improve the memory locality in binary search.
|
varrays. This also slightly improve the memory locality in binary search.
|
The _locs array contains locators where the given property change. The
|
The _locs array contains locators where the given property change. The
|
block_locators_blocks contains the scope block that is used for all insn
|
block_locators_blocks contains the scope block that is used for all insn
|
locator greater than corresponding block_locators_locs value and smaller
|
locator greater than corresponding block_locators_locs value and smaller
|
than the following one. Similarly for the other properties. */
|
than the following one. Similarly for the other properties. */
|
static VEC(int,heap) *block_locators_locs;
|
static VEC(int,heap) *block_locators_locs;
|
static GTY(()) VEC(tree,gc) *block_locators_blocks;
|
static GTY(()) VEC(tree,gc) *block_locators_blocks;
|
static VEC(int,heap) *locations_locators_locs;
|
static VEC(int,heap) *locations_locators_locs;
|
DEF_VEC_O(location_t);
|
DEF_VEC_O(location_t);
|
DEF_VEC_ALLOC_O(location_t,heap);
|
DEF_VEC_ALLOC_O(location_t,heap);
|
static VEC(location_t,heap) *locations_locators_vals;
|
static VEC(location_t,heap) *locations_locators_vals;
|
int prologue_locator;
|
int prologue_locator;
|
int epilogue_locator;
|
int epilogue_locator;
|
|
|
/* Hold current location information and last location information, so the
|
/* Hold current location information and last location information, so the
|
datastructures are built lazily only when some instructions in given
|
datastructures are built lazily only when some instructions in given
|
place are needed. */
|
place are needed. */
|
static location_t curr_location, last_location;
|
static location_t curr_location, last_location;
|
static tree curr_block, last_block;
|
static tree curr_block, last_block;
|
static int curr_rtl_loc = -1;
|
static int curr_rtl_loc = -1;
|
|
|
/* Allocate insn locator datastructure. */
|
/* Allocate insn locator datastructure. */
|
void
|
void
|
insn_locators_alloc (void)
|
insn_locators_alloc (void)
|
{
|
{
|
prologue_locator = epilogue_locator = 0;
|
prologue_locator = epilogue_locator = 0;
|
|
|
block_locators_locs = VEC_alloc (int, heap, 32);
|
block_locators_locs = VEC_alloc (int, heap, 32);
|
block_locators_blocks = VEC_alloc (tree, gc, 32);
|
block_locators_blocks = VEC_alloc (tree, gc, 32);
|
locations_locators_locs = VEC_alloc (int, heap, 32);
|
locations_locators_locs = VEC_alloc (int, heap, 32);
|
locations_locators_vals = VEC_alloc (location_t, heap, 32);
|
locations_locators_vals = VEC_alloc (location_t, heap, 32);
|
|
|
last_location = -1;
|
last_location = -1;
|
curr_location = -1;
|
curr_location = -1;
|
curr_block = NULL;
|
curr_block = NULL;
|
last_block = NULL;
|
last_block = NULL;
|
curr_rtl_loc = 0;
|
curr_rtl_loc = 0;
|
}
|
}
|
|
|
/* At the end of emit stage, clear current location. */
|
/* At the end of emit stage, clear current location. */
|
void
|
void
|
insn_locators_finalize (void)
|
insn_locators_finalize (void)
|
{
|
{
|
if (curr_rtl_loc >= 0)
|
if (curr_rtl_loc >= 0)
|
epilogue_locator = curr_insn_locator ();
|
epilogue_locator = curr_insn_locator ();
|
curr_rtl_loc = -1;
|
curr_rtl_loc = -1;
|
}
|
}
|
|
|
/* Allocate insn locator datastructure. */
|
/* Allocate insn locator datastructure. */
|
void
|
void
|
insn_locators_free (void)
|
insn_locators_free (void)
|
{
|
{
|
prologue_locator = epilogue_locator = 0;
|
prologue_locator = epilogue_locator = 0;
|
|
|
VEC_free (int, heap, block_locators_locs);
|
VEC_free (int, heap, block_locators_locs);
|
VEC_free (tree,gc, block_locators_blocks);
|
VEC_free (tree,gc, block_locators_blocks);
|
VEC_free (int, heap, locations_locators_locs);
|
VEC_free (int, heap, locations_locators_locs);
|
VEC_free (location_t, heap, locations_locators_vals);
|
VEC_free (location_t, heap, locations_locators_vals);
|
}
|
}
|
|
|
|
|
/* Set current location. */
|
/* Set current location. */
|
void
|
void
|
set_curr_insn_source_location (location_t location)
|
set_curr_insn_source_location (location_t location)
|
{
|
{
|
/* IV opts calls into RTL expansion to compute costs of operations. At this
|
/* IV opts calls into RTL expansion to compute costs of operations. At this
|
time locators are not initialized. */
|
time locators are not initialized. */
|
if (curr_rtl_loc == -1)
|
if (curr_rtl_loc == -1)
|
return;
|
return;
|
curr_location = location;
|
curr_location = location;
|
}
|
}
|
|
|
/* Get current location. */
|
/* Get current location. */
|
location_t
|
location_t
|
get_curr_insn_source_location (void)
|
get_curr_insn_source_location (void)
|
{
|
{
|
return curr_location;
|
return curr_location;
|
}
|
}
|
|
|
/* Set current scope block. */
|
/* Set current scope block. */
|
void
|
void
|
set_curr_insn_block (tree b)
|
set_curr_insn_block (tree b)
|
{
|
{
|
/* IV opts calls into RTL expansion to compute costs of operations. At this
|
/* IV opts calls into RTL expansion to compute costs of operations. At this
|
time locators are not initialized. */
|
time locators are not initialized. */
|
if (curr_rtl_loc == -1)
|
if (curr_rtl_loc == -1)
|
return;
|
return;
|
if (b)
|
if (b)
|
curr_block = b;
|
curr_block = b;
|
}
|
}
|
|
|
/* Get current scope block. */
|
/* Get current scope block. */
|
tree
|
tree
|
get_curr_insn_block (void)
|
get_curr_insn_block (void)
|
{
|
{
|
return curr_block;
|
return curr_block;
|
}
|
}
|
|
|
/* Return current insn locator. */
|
/* Return current insn locator. */
|
int
|
int
|
curr_insn_locator (void)
|
curr_insn_locator (void)
|
{
|
{
|
if (curr_rtl_loc == -1)
|
if (curr_rtl_loc == -1)
|
return 0;
|
return 0;
|
if (last_block != curr_block)
|
if (last_block != curr_block)
|
{
|
{
|
curr_rtl_loc++;
|
curr_rtl_loc++;
|
VEC_safe_push (int, heap, block_locators_locs, curr_rtl_loc);
|
VEC_safe_push (int, heap, block_locators_locs, curr_rtl_loc);
|
VEC_safe_push (tree, gc, block_locators_blocks, curr_block);
|
VEC_safe_push (tree, gc, block_locators_blocks, curr_block);
|
last_block = curr_block;
|
last_block = curr_block;
|
}
|
}
|
if (last_location != curr_location)
|
if (last_location != curr_location)
|
{
|
{
|
curr_rtl_loc++;
|
curr_rtl_loc++;
|
VEC_safe_push (int, heap, locations_locators_locs, curr_rtl_loc);
|
VEC_safe_push (int, heap, locations_locators_locs, curr_rtl_loc);
|
VEC_safe_push (location_t, heap, locations_locators_vals, &curr_location);
|
VEC_safe_push (location_t, heap, locations_locators_vals, &curr_location);
|
last_location = curr_location;
|
last_location = curr_location;
|
}
|
}
|
return curr_rtl_loc;
|
return curr_rtl_loc;
|
}
|
}
|
|
|
static unsigned int
|
static unsigned int
|
into_cfg_layout_mode (void)
|
into_cfg_layout_mode (void)
|
{
|
{
|
cfg_layout_initialize (0);
|
cfg_layout_initialize (0);
|
return 0;
|
return 0;
|
}
|
}
|
|
|
static unsigned int
|
static unsigned int
|
outof_cfg_layout_mode (void)
|
outof_cfg_layout_mode (void)
|
{
|
{
|
basic_block bb;
|
basic_block bb;
|
|
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
if (bb->next_bb != EXIT_BLOCK_PTR)
|
if (bb->next_bb != EXIT_BLOCK_PTR)
|
bb->aux = bb->next_bb;
|
bb->aux = bb->next_bb;
|
|
|
cfg_layout_finalize ();
|
cfg_layout_finalize ();
|
|
|
return 0;
|
return 0;
|
}
|
}
|
|
|
struct rtl_opt_pass pass_into_cfg_layout_mode =
|
struct rtl_opt_pass pass_into_cfg_layout_mode =
|
{
|
{
|
{
|
{
|
RTL_PASS,
|
RTL_PASS,
|
"into_cfglayout", /* name */
|
"into_cfglayout", /* name */
|
NULL, /* gate */
|
NULL, /* gate */
|
into_cfg_layout_mode, /* execute */
|
into_cfg_layout_mode, /* execute */
|
NULL, /* sub */
|
NULL, /* sub */
|
NULL, /* next */
|
NULL, /* next */
|
0, /* static_pass_number */
|
0, /* static_pass_number */
|
TV_NONE, /* tv_id */
|
TV_NONE, /* tv_id */
|
0, /* properties_required */
|
0, /* properties_required */
|
PROP_cfglayout, /* properties_provided */
|
PROP_cfglayout, /* properties_provided */
|
0, /* properties_destroyed */
|
0, /* properties_destroyed */
|
0, /* todo_flags_start */
|
0, /* todo_flags_start */
|
TODO_dump_func, /* todo_flags_finish */
|
TODO_dump_func, /* todo_flags_finish */
|
}
|
}
|
};
|
};
|
|
|
struct rtl_opt_pass pass_outof_cfg_layout_mode =
|
struct rtl_opt_pass pass_outof_cfg_layout_mode =
|
{
|
{
|
{
|
{
|
RTL_PASS,
|
RTL_PASS,
|
"outof_cfglayout", /* name */
|
"outof_cfglayout", /* name */
|
NULL, /* gate */
|
NULL, /* gate */
|
outof_cfg_layout_mode, /* execute */
|
outof_cfg_layout_mode, /* execute */
|
NULL, /* sub */
|
NULL, /* sub */
|
NULL, /* next */
|
NULL, /* next */
|
0, /* static_pass_number */
|
0, /* static_pass_number */
|
TV_NONE, /* tv_id */
|
TV_NONE, /* tv_id */
|
0, /* properties_required */
|
0, /* properties_required */
|
0, /* properties_provided */
|
0, /* properties_provided */
|
PROP_cfglayout, /* properties_destroyed */
|
PROP_cfglayout, /* properties_destroyed */
|
0, /* todo_flags_start */
|
0, /* todo_flags_start */
|
TODO_dump_func, /* todo_flags_finish */
|
TODO_dump_func, /* todo_flags_finish */
|
}
|
}
|
};
|
};
|
|
|
/* Return scope resulting from combination of S1 and S2. */
|
/* Return scope resulting from combination of S1 and S2. */
|
static tree
|
static tree
|
choose_inner_scope (tree s1, tree s2)
|
choose_inner_scope (tree s1, tree s2)
|
{
|
{
|
if (!s1)
|
if (!s1)
|
return s2;
|
return s2;
|
if (!s2)
|
if (!s2)
|
return s1;
|
return s1;
|
if (BLOCK_NUMBER (s1) > BLOCK_NUMBER (s2))
|
if (BLOCK_NUMBER (s1) > BLOCK_NUMBER (s2))
|
return s1;
|
return s1;
|
return s2;
|
return s2;
|
}
|
}
|
|
|
/* Emit lexical block notes needed to change scope from S1 to S2. */
|
/* Emit lexical block notes needed to change scope from S1 to S2. */
|
|
|
static void
|
static void
|
change_scope (rtx orig_insn, tree s1, tree s2)
|
change_scope (rtx orig_insn, tree s1, tree s2)
|
{
|
{
|
rtx insn = orig_insn;
|
rtx insn = orig_insn;
|
tree com = NULL_TREE;
|
tree com = NULL_TREE;
|
tree ts1 = s1, ts2 = s2;
|
tree ts1 = s1, ts2 = s2;
|
tree s;
|
tree s;
|
|
|
while (ts1 != ts2)
|
while (ts1 != ts2)
|
{
|
{
|
gcc_assert (ts1 && ts2);
|
gcc_assert (ts1 && ts2);
|
if (BLOCK_NUMBER (ts1) > BLOCK_NUMBER (ts2))
|
if (BLOCK_NUMBER (ts1) > BLOCK_NUMBER (ts2))
|
ts1 = BLOCK_SUPERCONTEXT (ts1);
|
ts1 = BLOCK_SUPERCONTEXT (ts1);
|
else if (BLOCK_NUMBER (ts1) < BLOCK_NUMBER (ts2))
|
else if (BLOCK_NUMBER (ts1) < BLOCK_NUMBER (ts2))
|
ts2 = BLOCK_SUPERCONTEXT (ts2);
|
ts2 = BLOCK_SUPERCONTEXT (ts2);
|
else
|
else
|
{
|
{
|
ts1 = BLOCK_SUPERCONTEXT (ts1);
|
ts1 = BLOCK_SUPERCONTEXT (ts1);
|
ts2 = BLOCK_SUPERCONTEXT (ts2);
|
ts2 = BLOCK_SUPERCONTEXT (ts2);
|
}
|
}
|
}
|
}
|
com = ts1;
|
com = ts1;
|
|
|
/* Close scopes. */
|
/* Close scopes. */
|
s = s1;
|
s = s1;
|
while (s != com)
|
while (s != com)
|
{
|
{
|
rtx note = emit_note_before (NOTE_INSN_BLOCK_END, insn);
|
rtx note = emit_note_before (NOTE_INSN_BLOCK_END, insn);
|
NOTE_BLOCK (note) = s;
|
NOTE_BLOCK (note) = s;
|
s = BLOCK_SUPERCONTEXT (s);
|
s = BLOCK_SUPERCONTEXT (s);
|
}
|
}
|
|
|
/* Open scopes. */
|
/* Open scopes. */
|
s = s2;
|
s = s2;
|
while (s != com)
|
while (s != com)
|
{
|
{
|
insn = emit_note_before (NOTE_INSN_BLOCK_BEG, insn);
|
insn = emit_note_before (NOTE_INSN_BLOCK_BEG, insn);
|
NOTE_BLOCK (insn) = s;
|
NOTE_BLOCK (insn) = s;
|
s = BLOCK_SUPERCONTEXT (s);
|
s = BLOCK_SUPERCONTEXT (s);
|
}
|
}
|
}
|
}
|
|
|
/* Return lexical scope block locator belongs to. */
|
/* Return lexical scope block locator belongs to. */
|
static tree
|
static tree
|
locator_scope (int loc)
|
locator_scope (int loc)
|
{
|
{
|
int max = VEC_length (int, block_locators_locs);
|
int max = VEC_length (int, block_locators_locs);
|
int min = 0;
|
int min = 0;
|
|
|
/* When block_locators_locs was initialized, the pro- and epilogue
|
/* When block_locators_locs was initialized, the pro- and epilogue
|
insns didn't exist yet and can therefore not be found this way.
|
insns didn't exist yet and can therefore not be found this way.
|
But we know that they belong to the outer most block of the
|
But we know that they belong to the outer most block of the
|
current function.
|
current function.
|
Without this test, the prologue would be put inside the block of
|
Without this test, the prologue would be put inside the block of
|
the first valid instruction in the function and when that first
|
the first valid instruction in the function and when that first
|
insn is part of an inlined function then the low_pc of that
|
insn is part of an inlined function then the low_pc of that
|
inlined function is messed up. Likewise for the epilogue and
|
inlined function is messed up. Likewise for the epilogue and
|
the last valid instruction. */
|
the last valid instruction. */
|
if (loc == prologue_locator || loc == epilogue_locator)
|
if (loc == prologue_locator || loc == epilogue_locator)
|
return DECL_INITIAL (cfun->decl);
|
return DECL_INITIAL (cfun->decl);
|
|
|
if (!max || !loc)
|
if (!max || !loc)
|
return NULL;
|
return NULL;
|
while (1)
|
while (1)
|
{
|
{
|
int pos = (min + max) / 2;
|
int pos = (min + max) / 2;
|
int tmp = VEC_index (int, block_locators_locs, pos);
|
int tmp = VEC_index (int, block_locators_locs, pos);
|
|
|
if (tmp <= loc && min != pos)
|
if (tmp <= loc && min != pos)
|
min = pos;
|
min = pos;
|
else if (tmp > loc && max != pos)
|
else if (tmp > loc && max != pos)
|
max = pos;
|
max = pos;
|
else
|
else
|
{
|
{
|
min = pos;
|
min = pos;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
return VEC_index (tree, block_locators_blocks, min);
|
return VEC_index (tree, block_locators_blocks, min);
|
}
|
}
|
|
|
/* Return lexical scope block insn belongs to. */
|
/* Return lexical scope block insn belongs to. */
|
static tree
|
static tree
|
insn_scope (const_rtx insn)
|
insn_scope (const_rtx insn)
|
{
|
{
|
return locator_scope (INSN_LOCATOR (insn));
|
return locator_scope (INSN_LOCATOR (insn));
|
}
|
}
|
|
|
/* Return line number of the statement specified by the locator. */
|
/* Return line number of the statement specified by the locator. */
|
location_t
|
location_t
|
locator_location (int loc)
|
locator_location (int loc)
|
{
|
{
|
int max = VEC_length (int, locations_locators_locs);
|
int max = VEC_length (int, locations_locators_locs);
|
int min = 0;
|
int min = 0;
|
|
|
while (1)
|
while (1)
|
{
|
{
|
int pos = (min + max) / 2;
|
int pos = (min + max) / 2;
|
int tmp = VEC_index (int, locations_locators_locs, pos);
|
int tmp = VEC_index (int, locations_locators_locs, pos);
|
|
|
if (tmp <= loc && min != pos)
|
if (tmp <= loc && min != pos)
|
min = pos;
|
min = pos;
|
else if (tmp > loc && max != pos)
|
else if (tmp > loc && max != pos)
|
max = pos;
|
max = pos;
|
else
|
else
|
{
|
{
|
min = pos;
|
min = pos;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
return *VEC_index (location_t, locations_locators_vals, min);
|
return *VEC_index (location_t, locations_locators_vals, min);
|
}
|
}
|
|
|
/* Return source line of the statement that produced this insn. */
|
/* Return source line of the statement that produced this insn. */
|
int
|
int
|
locator_line (int loc)
|
locator_line (int loc)
|
{
|
{
|
expanded_location xloc;
|
expanded_location xloc;
|
if (!loc)
|
if (!loc)
|
return 0;
|
return 0;
|
else
|
else
|
xloc = expand_location (locator_location (loc));
|
xloc = expand_location (locator_location (loc));
|
return xloc.line;
|
return xloc.line;
|
}
|
}
|
|
|
/* Return line number of the statement that produced this insn. */
|
/* Return line number of the statement that produced this insn. */
|
int
|
int
|
insn_line (const_rtx insn)
|
insn_line (const_rtx insn)
|
{
|
{
|
return locator_line (INSN_LOCATOR (insn));
|
return locator_line (INSN_LOCATOR (insn));
|
}
|
}
|
|
|
/* Return source file of the statement specified by LOC. */
|
/* Return source file of the statement specified by LOC. */
|
const char *
|
const char *
|
locator_file (int loc)
|
locator_file (int loc)
|
{
|
{
|
expanded_location xloc;
|
expanded_location xloc;
|
if (!loc)
|
if (!loc)
|
return 0;
|
return 0;
|
else
|
else
|
xloc = expand_location (locator_location (loc));
|
xloc = expand_location (locator_location (loc));
|
return xloc.file;
|
return xloc.file;
|
}
|
}
|
|
|
/* Return source file of the statement that produced this insn. */
|
/* Return source file of the statement that produced this insn. */
|
const char *
|
const char *
|
insn_file (const_rtx insn)
|
insn_file (const_rtx insn)
|
{
|
{
|
return locator_file (INSN_LOCATOR (insn));
|
return locator_file (INSN_LOCATOR (insn));
|
}
|
}
|
|
|
/* Return true if LOC1 and LOC2 locators have the same location and scope. */
|
/* Return true if LOC1 and LOC2 locators have the same location and scope. */
|
bool
|
bool
|
locator_eq (int loc1, int loc2)
|
locator_eq (int loc1, int loc2)
|
{
|
{
|
if (loc1 == loc2)
|
if (loc1 == loc2)
|
return true;
|
return true;
|
if (locator_location (loc1) != locator_location (loc2))
|
if (locator_location (loc1) != locator_location (loc2))
|
return false;
|
return false;
|
return locator_scope (loc1) == locator_scope (loc2);
|
return locator_scope (loc1) == locator_scope (loc2);
|
}
|
}
|
|
|
/* Rebuild all the NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes based
|
/* Rebuild all the NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes based
|
on the scope tree and the newly reordered instructions. */
|
on the scope tree and the newly reordered instructions. */
|
|
|
void
|
void
|
reemit_insn_block_notes (void)
|
reemit_insn_block_notes (void)
|
{
|
{
|
tree cur_block = DECL_INITIAL (cfun->decl);
|
tree cur_block = DECL_INITIAL (cfun->decl);
|
rtx insn, note;
|
rtx insn, note;
|
|
|
insn = get_insns ();
|
insn = get_insns ();
|
if (!active_insn_p (insn))
|
if (!active_insn_p (insn))
|
insn = next_active_insn (insn);
|
insn = next_active_insn (insn);
|
for (; insn; insn = next_active_insn (insn))
|
for (; insn; insn = next_active_insn (insn))
|
{
|
{
|
tree this_block;
|
tree this_block;
|
|
|
/* Avoid putting scope notes between jump table and its label. */
|
/* Avoid putting scope notes between jump table and its label. */
|
if (JUMP_TABLE_DATA_P (insn))
|
if (JUMP_TABLE_DATA_P (insn))
|
continue;
|
continue;
|
|
|
this_block = insn_scope (insn);
|
this_block = insn_scope (insn);
|
/* For sequences compute scope resulting from merging all scopes
|
/* For sequences compute scope resulting from merging all scopes
|
of instructions nested inside. */
|
of instructions nested inside. */
|
if (GET_CODE (PATTERN (insn)) == SEQUENCE)
|
if (GET_CODE (PATTERN (insn)) == SEQUENCE)
|
{
|
{
|
int i;
|
int i;
|
rtx body = PATTERN (insn);
|
rtx body = PATTERN (insn);
|
|
|
this_block = NULL;
|
this_block = NULL;
|
for (i = 0; i < XVECLEN (body, 0); i++)
|
for (i = 0; i < XVECLEN (body, 0); i++)
|
this_block = choose_inner_scope (this_block,
|
this_block = choose_inner_scope (this_block,
|
insn_scope (XVECEXP (body, 0, i)));
|
insn_scope (XVECEXP (body, 0, i)));
|
}
|
}
|
if (! this_block)
|
if (! this_block)
|
continue;
|
continue;
|
|
|
if (this_block != cur_block)
|
if (this_block != cur_block)
|
{
|
{
|
change_scope (insn, cur_block, this_block);
|
change_scope (insn, cur_block, this_block);
|
cur_block = this_block;
|
cur_block = this_block;
|
}
|
}
|
}
|
}
|
|
|
/* change_scope emits before the insn, not after. */
|
/* change_scope emits before the insn, not after. */
|
note = emit_note (NOTE_INSN_DELETED);
|
note = emit_note (NOTE_INSN_DELETED);
|
change_scope (note, cur_block, DECL_INITIAL (cfun->decl));
|
change_scope (note, cur_block, DECL_INITIAL (cfun->decl));
|
delete_insn (note);
|
delete_insn (note);
|
|
|
reorder_blocks ();
|
reorder_blocks ();
|
}
|
}
|
|
|
|
|
/* Link the basic blocks in the correct order, compacting the basic
|
/* Link the basic blocks in the correct order, compacting the basic
|
block queue while at it. This also clears the visited flag on
|
block queue while at it. This also clears the visited flag on
|
all basic blocks. If STAY_IN_CFGLAYOUT_MODE is false, this function
|
all basic blocks. If STAY_IN_CFGLAYOUT_MODE is false, this function
|
also clears the basic block header and footer fields.
|
also clears the basic block header and footer fields.
|
|
|
This function is usually called after a pass (e.g. tracer) finishes
|
This function is usually called after a pass (e.g. tracer) finishes
|
some transformations while in cfglayout mode. The required sequence
|
some transformations while in cfglayout mode. The required sequence
|
of the basic blocks is in a linked list along the bb->aux field.
|
of the basic blocks is in a linked list along the bb->aux field.
|
This functions re-links the basic block prev_bb and next_bb pointers
|
This functions re-links the basic block prev_bb and next_bb pointers
|
accordingly, and it compacts and renumbers the blocks. */
|
accordingly, and it compacts and renumbers the blocks. */
|
|
|
void
|
void
|
relink_block_chain (bool stay_in_cfglayout_mode)
|
relink_block_chain (bool stay_in_cfglayout_mode)
|
{
|
{
|
basic_block bb, prev_bb;
|
basic_block bb, prev_bb;
|
int index;
|
int index;
|
|
|
/* Maybe dump the re-ordered sequence. */
|
/* Maybe dump the re-ordered sequence. */
|
if (dump_file)
|
if (dump_file)
|
{
|
{
|
fprintf (dump_file, "Reordered sequence:\n");
|
fprintf (dump_file, "Reordered sequence:\n");
|
for (bb = ENTRY_BLOCK_PTR->next_bb, index = NUM_FIXED_BLOCKS;
|
for (bb = ENTRY_BLOCK_PTR->next_bb, index = NUM_FIXED_BLOCKS;
|
bb;
|
bb;
|
bb = (basic_block) bb->aux, index++)
|
bb = (basic_block) bb->aux, index++)
|
{
|
{
|
fprintf (dump_file, " %i ", index);
|
fprintf (dump_file, " %i ", index);
|
if (get_bb_original (bb))
|
if (get_bb_original (bb))
|
fprintf (dump_file, "duplicate of %i ",
|
fprintf (dump_file, "duplicate of %i ",
|
get_bb_original (bb)->index);
|
get_bb_original (bb)->index);
|
else if (forwarder_block_p (bb)
|
else if (forwarder_block_p (bb)
|
&& !LABEL_P (BB_HEAD (bb)))
|
&& !LABEL_P (BB_HEAD (bb)))
|
fprintf (dump_file, "compensation ");
|
fprintf (dump_file, "compensation ");
|
else
|
else
|
fprintf (dump_file, "bb %i ", bb->index);
|
fprintf (dump_file, "bb %i ", bb->index);
|
fprintf (dump_file, " [%i]\n", bb->frequency);
|
fprintf (dump_file, " [%i]\n", bb->frequency);
|
}
|
}
|
}
|
}
|
|
|
/* Now reorder the blocks. */
|
/* Now reorder the blocks. */
|
prev_bb = ENTRY_BLOCK_PTR;
|
prev_bb = ENTRY_BLOCK_PTR;
|
bb = ENTRY_BLOCK_PTR->next_bb;
|
bb = ENTRY_BLOCK_PTR->next_bb;
|
for (; bb; prev_bb = bb, bb = (basic_block) bb->aux)
|
for (; bb; prev_bb = bb, bb = (basic_block) bb->aux)
|
{
|
{
|
bb->prev_bb = prev_bb;
|
bb->prev_bb = prev_bb;
|
prev_bb->next_bb = bb;
|
prev_bb->next_bb = bb;
|
}
|
}
|
prev_bb->next_bb = EXIT_BLOCK_PTR;
|
prev_bb->next_bb = EXIT_BLOCK_PTR;
|
EXIT_BLOCK_PTR->prev_bb = prev_bb;
|
EXIT_BLOCK_PTR->prev_bb = prev_bb;
|
|
|
/* Then, clean up the aux and visited fields. */
|
/* Then, clean up the aux and visited fields. */
|
FOR_ALL_BB (bb)
|
FOR_ALL_BB (bb)
|
{
|
{
|
bb->aux = NULL;
|
bb->aux = NULL;
|
bb->il.rtl->visited = 0;
|
bb->il.rtl->visited = 0;
|
if (!stay_in_cfglayout_mode)
|
if (!stay_in_cfglayout_mode)
|
bb->il.rtl->header = bb->il.rtl->footer = NULL;
|
bb->il.rtl->header = bb->il.rtl->footer = NULL;
|
}
|
}
|
|
|
/* Maybe reset the original copy tables, they are not valid anymore
|
/* Maybe reset the original copy tables, they are not valid anymore
|
when we renumber the basic blocks in compact_blocks. If we are
|
when we renumber the basic blocks in compact_blocks. If we are
|
are going out of cfglayout mode, don't re-allocate the tables. */
|
are going out of cfglayout mode, don't re-allocate the tables. */
|
free_original_copy_tables ();
|
free_original_copy_tables ();
|
if (stay_in_cfglayout_mode)
|
if (stay_in_cfglayout_mode)
|
initialize_original_copy_tables ();
|
initialize_original_copy_tables ();
|
|
|
/* Finally, put basic_block_info in the new order. */
|
/* Finally, put basic_block_info in the new order. */
|
compact_blocks ();
|
compact_blocks ();
|
}
|
}
|
|
|
|
|
/* Given a reorder chain, rearrange the code to match. */
|
/* Given a reorder chain, rearrange the code to match. */
|
|
|
static void
|
static void
|
fixup_reorder_chain (void)
|
fixup_reorder_chain (void)
|
{
|
{
|
basic_block bb;
|
basic_block bb;
|
rtx insn = NULL;
|
rtx insn = NULL;
|
|
|
if (cfg_layout_function_header)
|
if (cfg_layout_function_header)
|
{
|
{
|
set_first_insn (cfg_layout_function_header);
|
set_first_insn (cfg_layout_function_header);
|
insn = cfg_layout_function_header;
|
insn = cfg_layout_function_header;
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
}
|
}
|
|
|
/* First do the bulk reordering -- rechain the blocks without regard to
|
/* First do the bulk reordering -- rechain the blocks without regard to
|
the needed changes to jumps and labels. */
|
the needed changes to jumps and labels. */
|
|
|
for (bb = ENTRY_BLOCK_PTR->next_bb; bb; bb = (basic_block) bb->aux)
|
for (bb = ENTRY_BLOCK_PTR->next_bb; bb; bb = (basic_block) bb->aux)
|
{
|
{
|
if (bb->il.rtl->header)
|
if (bb->il.rtl->header)
|
{
|
{
|
if (insn)
|
if (insn)
|
NEXT_INSN (insn) = bb->il.rtl->header;
|
NEXT_INSN (insn) = bb->il.rtl->header;
|
else
|
else
|
set_first_insn (bb->il.rtl->header);
|
set_first_insn (bb->il.rtl->header);
|
PREV_INSN (bb->il.rtl->header) = insn;
|
PREV_INSN (bb->il.rtl->header) = insn;
|
insn = bb->il.rtl->header;
|
insn = bb->il.rtl->header;
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
}
|
}
|
if (insn)
|
if (insn)
|
NEXT_INSN (insn) = BB_HEAD (bb);
|
NEXT_INSN (insn) = BB_HEAD (bb);
|
else
|
else
|
set_first_insn (BB_HEAD (bb));
|
set_first_insn (BB_HEAD (bb));
|
PREV_INSN (BB_HEAD (bb)) = insn;
|
PREV_INSN (BB_HEAD (bb)) = insn;
|
insn = BB_END (bb);
|
insn = BB_END (bb);
|
if (bb->il.rtl->footer)
|
if (bb->il.rtl->footer)
|
{
|
{
|
NEXT_INSN (insn) = bb->il.rtl->footer;
|
NEXT_INSN (insn) = bb->il.rtl->footer;
|
PREV_INSN (bb->il.rtl->footer) = insn;
|
PREV_INSN (bb->il.rtl->footer) = insn;
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
}
|
}
|
}
|
}
|
|
|
NEXT_INSN (insn) = cfg_layout_function_footer;
|
NEXT_INSN (insn) = cfg_layout_function_footer;
|
if (cfg_layout_function_footer)
|
if (cfg_layout_function_footer)
|
PREV_INSN (cfg_layout_function_footer) = insn;
|
PREV_INSN (cfg_layout_function_footer) = insn;
|
|
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
|
|
set_last_insn (insn);
|
set_last_insn (insn);
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
verify_insn_chain ();
|
verify_insn_chain ();
|
#endif
|
#endif
|
|
|
/* Now add jumps and labels as needed to match the blocks new
|
/* Now add jumps and labels as needed to match the blocks new
|
outgoing edges. */
|
outgoing edges. */
|
|
|
for (bb = ENTRY_BLOCK_PTR->next_bb; bb ; bb = (basic_block) bb->aux)
|
for (bb = ENTRY_BLOCK_PTR->next_bb; bb ; bb = (basic_block) bb->aux)
|
{
|
{
|
edge e_fall, e_taken, e;
|
edge e_fall, e_taken, e;
|
rtx bb_end_insn;
|
rtx bb_end_insn;
|
basic_block nb;
|
basic_block nb;
|
edge_iterator ei;
|
edge_iterator ei;
|
|
|
if (EDGE_COUNT (bb->succs) == 0)
|
if (EDGE_COUNT (bb->succs) == 0)
|
continue;
|
continue;
|
|
|
/* Find the old fallthru edge, and another non-EH edge for
|
/* Find the old fallthru edge, and another non-EH edge for
|
a taken jump. */
|
a taken jump. */
|
e_taken = e_fall = NULL;
|
e_taken = e_fall = NULL;
|
|
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
if (e->flags & EDGE_FALLTHRU)
|
if (e->flags & EDGE_FALLTHRU)
|
e_fall = e;
|
e_fall = e;
|
else if (! (e->flags & EDGE_EH))
|
else if (! (e->flags & EDGE_EH))
|
e_taken = e;
|
e_taken = e;
|
|
|
bb_end_insn = BB_END (bb);
|
bb_end_insn = BB_END (bb);
|
if (JUMP_P (bb_end_insn))
|
if (JUMP_P (bb_end_insn))
|
{
|
{
|
if (any_condjump_p (bb_end_insn))
|
if (any_condjump_p (bb_end_insn))
|
{
|
{
|
/* This might happen if the conditional jump has side
|
/* This might happen if the conditional jump has side
|
effects and could therefore not be optimized away.
|
effects and could therefore not be optimized away.
|
Make the basic block to end with a barrier in order
|
Make the basic block to end with a barrier in order
|
to prevent rtl_verify_flow_info from complaining. */
|
to prevent rtl_verify_flow_info from complaining. */
|
if (!e_fall)
|
if (!e_fall)
|
{
|
{
|
gcc_assert (!onlyjump_p (bb_end_insn)
|
gcc_assert (!onlyjump_p (bb_end_insn)
|
|| returnjump_p (bb_end_insn));
|
|| returnjump_p (bb_end_insn));
|
bb->il.rtl->footer = emit_barrier_after (bb_end_insn);
|
bb->il.rtl->footer = emit_barrier_after (bb_end_insn);
|
continue;
|
continue;
|
}
|
}
|
|
|
/* If the old fallthru is still next, nothing to do. */
|
/* If the old fallthru is still next, nothing to do. */
|
if (bb->aux == e_fall->dest
|
if (bb->aux == e_fall->dest
|
|| e_fall->dest == EXIT_BLOCK_PTR)
|
|| e_fall->dest == EXIT_BLOCK_PTR)
|
continue;
|
continue;
|
|
|
/* The degenerated case of conditional jump jumping to the next
|
/* The degenerated case of conditional jump jumping to the next
|
instruction can happen for jumps with side effects. We need
|
instruction can happen for jumps with side effects. We need
|
to construct a forwarder block and this will be done just
|
to construct a forwarder block and this will be done just
|
fine by force_nonfallthru below. */
|
fine by force_nonfallthru below. */
|
if (!e_taken)
|
if (!e_taken)
|
;
|
;
|
|
|
/* There is another special case: if *neither* block is next,
|
/* There is another special case: if *neither* block is next,
|
such as happens at the very end of a function, then we'll
|
such as happens at the very end of a function, then we'll
|
need to add a new unconditional jump. Choose the taken
|
need to add a new unconditional jump. Choose the taken
|
edge based on known or assumed probability. */
|
edge based on known or assumed probability. */
|
else if (bb->aux != e_taken->dest)
|
else if (bb->aux != e_taken->dest)
|
{
|
{
|
rtx note = find_reg_note (bb_end_insn, REG_BR_PROB, 0);
|
rtx note = find_reg_note (bb_end_insn, REG_BR_PROB, 0);
|
|
|
if (note
|
if (note
|
&& INTVAL (XEXP (note, 0)) < REG_BR_PROB_BASE / 2
|
&& INTVAL (XEXP (note, 0)) < REG_BR_PROB_BASE / 2
|
&& invert_jump (bb_end_insn,
|
&& invert_jump (bb_end_insn,
|
(e_fall->dest == EXIT_BLOCK_PTR
|
(e_fall->dest == EXIT_BLOCK_PTR
|
? NULL_RTX
|
? NULL_RTX
|
: label_for_bb (e_fall->dest)), 0))
|
: label_for_bb (e_fall->dest)), 0))
|
{
|
{
|
e_fall->flags &= ~EDGE_FALLTHRU;
|
e_fall->flags &= ~EDGE_FALLTHRU;
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
gcc_assert (could_fall_through
|
gcc_assert (could_fall_through
|
(e_taken->src, e_taken->dest));
|
(e_taken->src, e_taken->dest));
|
#endif
|
#endif
|
e_taken->flags |= EDGE_FALLTHRU;
|
e_taken->flags |= EDGE_FALLTHRU;
|
update_br_prob_note (bb);
|
update_br_prob_note (bb);
|
e = e_fall, e_fall = e_taken, e_taken = e;
|
e = e_fall, e_fall = e_taken, e_taken = e;
|
}
|
}
|
}
|
}
|
|
|
/* If the "jumping" edge is a crossing edge, and the fall
|
/* If the "jumping" edge is a crossing edge, and the fall
|
through edge is non-crossing, leave things as they are. */
|
through edge is non-crossing, leave things as they are. */
|
else if ((e_taken->flags & EDGE_CROSSING)
|
else if ((e_taken->flags & EDGE_CROSSING)
|
&& !(e_fall->flags & EDGE_CROSSING))
|
&& !(e_fall->flags & EDGE_CROSSING))
|
continue;
|
continue;
|
|
|
/* Otherwise we can try to invert the jump. This will
|
/* Otherwise we can try to invert the jump. This will
|
basically never fail, however, keep up the pretense. */
|
basically never fail, however, keep up the pretense. */
|
else if (invert_jump (bb_end_insn,
|
else if (invert_jump (bb_end_insn,
|
(e_fall->dest == EXIT_BLOCK_PTR
|
(e_fall->dest == EXIT_BLOCK_PTR
|
? NULL_RTX
|
? NULL_RTX
|
: label_for_bb (e_fall->dest)), 0))
|
: label_for_bb (e_fall->dest)), 0))
|
{
|
{
|
e_fall->flags &= ~EDGE_FALLTHRU;
|
e_fall->flags &= ~EDGE_FALLTHRU;
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
gcc_assert (could_fall_through
|
gcc_assert (could_fall_through
|
(e_taken->src, e_taken->dest));
|
(e_taken->src, e_taken->dest));
|
#endif
|
#endif
|
e_taken->flags |= EDGE_FALLTHRU;
|
e_taken->flags |= EDGE_FALLTHRU;
|
update_br_prob_note (bb);
|
update_br_prob_note (bb);
|
continue;
|
continue;
|
}
|
}
|
}
|
}
|
else if (extract_asm_operands (PATTERN (bb_end_insn)) != NULL)
|
else if (extract_asm_operands (PATTERN (bb_end_insn)) != NULL)
|
{
|
{
|
/* If the old fallthru is still next or if
|
/* If the old fallthru is still next or if
|
asm goto doesn't have a fallthru (e.g. when followed by
|
asm goto doesn't have a fallthru (e.g. when followed by
|
__builtin_unreachable ()), nothing to do. */
|
__builtin_unreachable ()), nothing to do. */
|
if (! e_fall
|
if (! e_fall
|
|| bb->aux == e_fall->dest
|
|| bb->aux == e_fall->dest
|
|| e_fall->dest == EXIT_BLOCK_PTR)
|
|| e_fall->dest == EXIT_BLOCK_PTR)
|
continue;
|
continue;
|
|
|
/* Otherwise we'll have to use the fallthru fixup below. */
|
/* Otherwise we'll have to use the fallthru fixup below. */
|
}
|
}
|
else
|
else
|
{
|
{
|
/* Otherwise we have some return, switch or computed
|
/* Otherwise we have some return, switch or computed
|
jump. In the 99% case, there should not have been a
|
jump. In the 99% case, there should not have been a
|
fallthru edge. */
|
fallthru edge. */
|
gcc_assert (returnjump_p (bb_end_insn) || !e_fall);
|
gcc_assert (returnjump_p (bb_end_insn) || !e_fall);
|
continue;
|
continue;
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
/* No fallthru implies a noreturn function with EH edges, or
|
/* No fallthru implies a noreturn function with EH edges, or
|
something similarly bizarre. In any case, we don't need to
|
something similarly bizarre. In any case, we don't need to
|
do anything. */
|
do anything. */
|
if (! e_fall)
|
if (! e_fall)
|
continue;
|
continue;
|
|
|
/* If the fallthru block is still next, nothing to do. */
|
/* If the fallthru block is still next, nothing to do. */
|
if (bb->aux == e_fall->dest)
|
if (bb->aux == e_fall->dest)
|
continue;
|
continue;
|
|
|
/* A fallthru to exit block. */
|
/* A fallthru to exit block. */
|
if (e_fall->dest == EXIT_BLOCK_PTR)
|
if (e_fall->dest == EXIT_BLOCK_PTR)
|
continue;
|
continue;
|
}
|
}
|
|
|
/* We got here if we need to add a new jump insn. */
|
/* We got here if we need to add a new jump insn. */
|
nb = force_nonfallthru (e_fall);
|
nb = force_nonfallthru (e_fall);
|
if (nb)
|
if (nb)
|
{
|
{
|
nb->il.rtl->visited = 1;
|
nb->il.rtl->visited = 1;
|
nb->aux = bb->aux;
|
nb->aux = bb->aux;
|
bb->aux = nb;
|
bb->aux = nb;
|
/* Don't process this new block. */
|
/* Don't process this new block. */
|
bb = nb;
|
bb = nb;
|
|
|
/* Make sure new bb is tagged for correct section (same as
|
/* Make sure new bb is tagged for correct section (same as
|
fall-thru source, since you cannot fall-throu across
|
fall-thru source, since you cannot fall-throu across
|
section boundaries). */
|
section boundaries). */
|
BB_COPY_PARTITION (e_fall->src, single_pred (bb));
|
BB_COPY_PARTITION (e_fall->src, single_pred (bb));
|
if (flag_reorder_blocks_and_partition
|
if (flag_reorder_blocks_and_partition
|
&& targetm.have_named_sections
|
&& targetm.have_named_sections
|
&& JUMP_P (BB_END (bb))
|
&& JUMP_P (BB_END (bb))
|
&& !any_condjump_p (BB_END (bb))
|
&& !any_condjump_p (BB_END (bb))
|
&& (EDGE_SUCC (bb, 0)->flags & EDGE_CROSSING))
|
&& (EDGE_SUCC (bb, 0)->flags & EDGE_CROSSING))
|
add_reg_note (BB_END (bb), REG_CROSSING_JUMP, NULL_RTX);
|
add_reg_note (BB_END (bb), REG_CROSSING_JUMP, NULL_RTX);
|
}
|
}
|
}
|
}
|
|
|
relink_block_chain (/*stay_in_cfglayout_mode=*/false);
|
relink_block_chain (/*stay_in_cfglayout_mode=*/false);
|
|
|
/* Annoying special case - jump around dead jumptables left in the code. */
|
/* Annoying special case - jump around dead jumptables left in the code. */
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
{
|
{
|
edge e;
|
edge e;
|
edge_iterator ei;
|
edge_iterator ei;
|
|
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
if (e->flags & EDGE_FALLTHRU)
|
if (e->flags & EDGE_FALLTHRU)
|
break;
|
break;
|
|
|
if (e && !can_fallthru (e->src, e->dest))
|
if (e && !can_fallthru (e->src, e->dest))
|
force_nonfallthru (e);
|
force_nonfallthru (e);
|
}
|
}
|
|
|
/* Ensure goto_locus from edges has some instructions with that locus
|
/* Ensure goto_locus from edges has some instructions with that locus
|
in RTL. */
|
in RTL. */
|
if (!optimize)
|
if (!optimize)
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
{
|
{
|
edge e;
|
edge e;
|
edge_iterator ei;
|
edge_iterator ei;
|
|
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
FOR_EACH_EDGE (e, ei, bb->succs)
|
if (e->goto_locus && !(e->flags & EDGE_ABNORMAL))
|
if (e->goto_locus && !(e->flags & EDGE_ABNORMAL))
|
{
|
{
|
basic_block nb;
|
basic_block nb;
|
rtx end;
|
rtx end;
|
|
|
insn = BB_END (e->src);
|
insn = BB_END (e->src);
|
end = PREV_INSN (BB_HEAD (e->src));
|
end = PREV_INSN (BB_HEAD (e->src));
|
while (insn != end
|
while (insn != end
|
&& (!INSN_P (insn) || INSN_LOCATOR (insn) == 0))
|
&& (!INSN_P (insn) || INSN_LOCATOR (insn) == 0))
|
insn = PREV_INSN (insn);
|
insn = PREV_INSN (insn);
|
if (insn != end
|
if (insn != end
|
&& locator_eq (INSN_LOCATOR (insn), (int) e->goto_locus))
|
&& locator_eq (INSN_LOCATOR (insn), (int) e->goto_locus))
|
continue;
|
continue;
|
if (simplejump_p (BB_END (e->src))
|
if (simplejump_p (BB_END (e->src))
|
&& INSN_LOCATOR (BB_END (e->src)) == 0)
|
&& INSN_LOCATOR (BB_END (e->src)) == 0)
|
{
|
{
|
INSN_LOCATOR (BB_END (e->src)) = e->goto_locus;
|
INSN_LOCATOR (BB_END (e->src)) = e->goto_locus;
|
continue;
|
continue;
|
}
|
}
|
if (e->dest != EXIT_BLOCK_PTR)
|
if (e->dest != EXIT_BLOCK_PTR)
|
{
|
{
|
insn = BB_HEAD (e->dest);
|
insn = BB_HEAD (e->dest);
|
end = NEXT_INSN (BB_END (e->dest));
|
end = NEXT_INSN (BB_END (e->dest));
|
while (insn != end && !INSN_P (insn))
|
while (insn != end && !INSN_P (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
if (insn != end && INSN_LOCATOR (insn)
|
if (insn != end && INSN_LOCATOR (insn)
|
&& locator_eq (INSN_LOCATOR (insn), (int) e->goto_locus))
|
&& locator_eq (INSN_LOCATOR (insn), (int) e->goto_locus))
|
continue;
|
continue;
|
}
|
}
|
nb = split_edge (e);
|
nb = split_edge (e);
|
if (!INSN_P (BB_END (nb)))
|
if (!INSN_P (BB_END (nb)))
|
BB_END (nb) = emit_insn_after_noloc (gen_nop (), BB_END (nb),
|
BB_END (nb) = emit_insn_after_noloc (gen_nop (), BB_END (nb),
|
nb);
|
nb);
|
INSN_LOCATOR (BB_END (nb)) = e->goto_locus;
|
INSN_LOCATOR (BB_END (nb)) = e->goto_locus;
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* Perform sanity checks on the insn chain.
|
/* Perform sanity checks on the insn chain.
|
1. Check that next/prev pointers are consistent in both the forward and
|
1. Check that next/prev pointers are consistent in both the forward and
|
reverse direction.
|
reverse direction.
|
2. Count insns in chain, going both directions, and check if equal.
|
2. Count insns in chain, going both directions, and check if equal.
|
3. Check that get_last_insn () returns the actual end of chain. */
|
3. Check that get_last_insn () returns the actual end of chain. */
|
|
|
void
|
void
|
verify_insn_chain (void)
|
verify_insn_chain (void)
|
{
|
{
|
rtx x, prevx, nextx;
|
rtx x, prevx, nextx;
|
int insn_cnt1, insn_cnt2;
|
int insn_cnt1, insn_cnt2;
|
|
|
for (prevx = NULL, insn_cnt1 = 1, x = get_insns ();
|
for (prevx = NULL, insn_cnt1 = 1, x = get_insns ();
|
x != 0;
|
x != 0;
|
prevx = x, insn_cnt1++, x = NEXT_INSN (x))
|
prevx = x, insn_cnt1++, x = NEXT_INSN (x))
|
gcc_assert (PREV_INSN (x) == prevx);
|
gcc_assert (PREV_INSN (x) == prevx);
|
|
|
gcc_assert (prevx == get_last_insn ());
|
gcc_assert (prevx == get_last_insn ());
|
|
|
for (nextx = NULL, insn_cnt2 = 1, x = get_last_insn ();
|
for (nextx = NULL, insn_cnt2 = 1, x = get_last_insn ();
|
x != 0;
|
x != 0;
|
nextx = x, insn_cnt2++, x = PREV_INSN (x))
|
nextx = x, insn_cnt2++, x = PREV_INSN (x))
|
gcc_assert (NEXT_INSN (x) == nextx);
|
gcc_assert (NEXT_INSN (x) == nextx);
|
|
|
gcc_assert (insn_cnt1 == insn_cnt2);
|
gcc_assert (insn_cnt1 == insn_cnt2);
|
}
|
}
|
|
|
/* If we have assembler epilogues, the block falling through to exit must
|
/* If we have assembler epilogues, the block falling through to exit must
|
be the last one in the reordered chain when we reach final. Ensure
|
be the last one in the reordered chain when we reach final. Ensure
|
that this condition is met. */
|
that this condition is met. */
|
static void
|
static void
|
fixup_fallthru_exit_predecessor (void)
|
fixup_fallthru_exit_predecessor (void)
|
{
|
{
|
edge e;
|
edge e;
|
edge_iterator ei;
|
edge_iterator ei;
|
basic_block bb = NULL;
|
basic_block bb = NULL;
|
|
|
/* This transformation is not valid before reload, because we might
|
/* This transformation is not valid before reload, because we might
|
separate a call from the instruction that copies the return
|
separate a call from the instruction that copies the return
|
value. */
|
value. */
|
gcc_assert (reload_completed);
|
gcc_assert (reload_completed);
|
|
|
FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR->preds)
|
FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR->preds)
|
if (e->flags & EDGE_FALLTHRU)
|
if (e->flags & EDGE_FALLTHRU)
|
bb = e->src;
|
bb = e->src;
|
|
|
if (bb && bb->aux)
|
if (bb && bb->aux)
|
{
|
{
|
basic_block c = ENTRY_BLOCK_PTR->next_bb;
|
basic_block c = ENTRY_BLOCK_PTR->next_bb;
|
|
|
/* If the very first block is the one with the fall-through exit
|
/* If the very first block is the one with the fall-through exit
|
edge, we have to split that block. */
|
edge, we have to split that block. */
|
if (c == bb)
|
if (c == bb)
|
{
|
{
|
bb = split_block (bb, NULL)->dest;
|
bb = split_block (bb, NULL)->dest;
|
bb->aux = c->aux;
|
bb->aux = c->aux;
|
c->aux = bb;
|
c->aux = bb;
|
bb->il.rtl->footer = c->il.rtl->footer;
|
bb->il.rtl->footer = c->il.rtl->footer;
|
c->il.rtl->footer = NULL;
|
c->il.rtl->footer = NULL;
|
}
|
}
|
|
|
while (c->aux != bb)
|
while (c->aux != bb)
|
c = (basic_block) c->aux;
|
c = (basic_block) c->aux;
|
|
|
c->aux = bb->aux;
|
c->aux = bb->aux;
|
while (c->aux)
|
while (c->aux)
|
c = (basic_block) c->aux;
|
c = (basic_block) c->aux;
|
|
|
c->aux = bb;
|
c->aux = bb;
|
bb->aux = NULL;
|
bb->aux = NULL;
|
}
|
}
|
}
|
}
|
|
|
/* In case there are more than one fallthru predecessors of exit, force that
|
/* In case there are more than one fallthru predecessors of exit, force that
|
there is only one. */
|
there is only one. */
|
|
|
static void
|
static void
|
force_one_exit_fallthru (void)
|
force_one_exit_fallthru (void)
|
{
|
{
|
edge e, predecessor = NULL;
|
edge e, predecessor = NULL;
|
bool more = false;
|
bool more = false;
|
edge_iterator ei;
|
edge_iterator ei;
|
basic_block forwarder, bb;
|
basic_block forwarder, bb;
|
|
|
FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR->preds)
|
FOR_EACH_EDGE (e, ei, EXIT_BLOCK_PTR->preds)
|
if (e->flags & EDGE_FALLTHRU)
|
if (e->flags & EDGE_FALLTHRU)
|
{
|
{
|
if (predecessor == NULL)
|
if (predecessor == NULL)
|
predecessor = e;
|
predecessor = e;
|
else
|
else
|
{
|
{
|
more = true;
|
more = true;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
if (!more)
|
if (!more)
|
return;
|
return;
|
|
|
/* Exit has several fallthru predecessors. Create a forwarder block for
|
/* Exit has several fallthru predecessors. Create a forwarder block for
|
them. */
|
them. */
|
forwarder = split_edge (predecessor);
|
forwarder = split_edge (predecessor);
|
for (ei = ei_start (EXIT_BLOCK_PTR->preds); (e = ei_safe_edge (ei)); )
|
for (ei = ei_start (EXIT_BLOCK_PTR->preds); (e = ei_safe_edge (ei)); )
|
{
|
{
|
if (e->src == forwarder
|
if (e->src == forwarder
|
|| !(e->flags & EDGE_FALLTHRU))
|
|| !(e->flags & EDGE_FALLTHRU))
|
ei_next (&ei);
|
ei_next (&ei);
|
else
|
else
|
redirect_edge_and_branch_force (e, forwarder);
|
redirect_edge_and_branch_force (e, forwarder);
|
}
|
}
|
|
|
/* Fix up the chain of blocks -- make FORWARDER immediately precede the
|
/* Fix up the chain of blocks -- make FORWARDER immediately precede the
|
exit block. */
|
exit block. */
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
{
|
{
|
if (bb->aux == NULL && bb != forwarder)
|
if (bb->aux == NULL && bb != forwarder)
|
{
|
{
|
bb->aux = forwarder;
|
bb->aux = forwarder;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* Return true in case it is possible to duplicate the basic block BB. */
|
/* Return true in case it is possible to duplicate the basic block BB. */
|
|
|
/* We do not want to declare the function in a header file, since it should
|
/* We do not want to declare the function in a header file, since it should
|
only be used through the cfghooks interface, and we do not want to move
|
only be used through the cfghooks interface, and we do not want to move
|
it to cfgrtl.c since it would require also moving quite a lot of related
|
it to cfgrtl.c since it would require also moving quite a lot of related
|
code. */
|
code. */
|
extern bool cfg_layout_can_duplicate_bb_p (const_basic_block);
|
extern bool cfg_layout_can_duplicate_bb_p (const_basic_block);
|
|
|
bool
|
bool
|
cfg_layout_can_duplicate_bb_p (const_basic_block bb)
|
cfg_layout_can_duplicate_bb_p (const_basic_block bb)
|
{
|
{
|
/* Do not attempt to duplicate tablejumps, as we need to unshare
|
/* Do not attempt to duplicate tablejumps, as we need to unshare
|
the dispatch table. This is difficult to do, as the instructions
|
the dispatch table. This is difficult to do, as the instructions
|
computing jump destination may be hoisted outside the basic block. */
|
computing jump destination may be hoisted outside the basic block. */
|
if (tablejump_p (BB_END (bb), NULL, NULL))
|
if (tablejump_p (BB_END (bb), NULL, NULL))
|
return false;
|
return false;
|
|
|
/* Do not duplicate blocks containing insns that can't be copied. */
|
/* Do not duplicate blocks containing insns that can't be copied. */
|
if (targetm.cannot_copy_insn_p)
|
if (targetm.cannot_copy_insn_p)
|
{
|
{
|
rtx insn = BB_HEAD (bb);
|
rtx insn = BB_HEAD (bb);
|
while (1)
|
while (1)
|
{
|
{
|
if (INSN_P (insn) && targetm.cannot_copy_insn_p (insn))
|
if (INSN_P (insn) && targetm.cannot_copy_insn_p (insn))
|
return false;
|
return false;
|
if (insn == BB_END (bb))
|
if (insn == BB_END (bb))
|
break;
|
break;
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
}
|
}
|
}
|
}
|
|
|
return true;
|
return true;
|
}
|
}
|
|
|
rtx
|
rtx
|
duplicate_insn_chain (rtx from, rtx to)
|
duplicate_insn_chain (rtx from, rtx to)
|
{
|
{
|
rtx insn, last, copy;
|
rtx insn, last, copy;
|
|
|
/* Avoid updating of boundaries of previous basic block. The
|
/* Avoid updating of boundaries of previous basic block. The
|
note will get removed from insn stream in fixup. */
|
note will get removed from insn stream in fixup. */
|
last = emit_note (NOTE_INSN_DELETED);
|
last = emit_note (NOTE_INSN_DELETED);
|
|
|
/* Create copy at the end of INSN chain. The chain will
|
/* Create copy at the end of INSN chain. The chain will
|
be reordered later. */
|
be reordered later. */
|
for (insn = from; insn != NEXT_INSN (to); insn = NEXT_INSN (insn))
|
for (insn = from; insn != NEXT_INSN (to); insn = NEXT_INSN (insn))
|
{
|
{
|
switch (GET_CODE (insn))
|
switch (GET_CODE (insn))
|
{
|
{
|
case DEBUG_INSN:
|
case DEBUG_INSN:
|
case INSN:
|
case INSN:
|
case CALL_INSN:
|
case CALL_INSN:
|
case JUMP_INSN:
|
case JUMP_INSN:
|
/* Avoid copying of dispatch tables. We never duplicate
|
/* Avoid copying of dispatch tables. We never duplicate
|
tablejumps, so this can hit only in case the table got
|
tablejumps, so this can hit only in case the table got
|
moved far from original jump. */
|
moved far from original jump. */
|
if (GET_CODE (PATTERN (insn)) == ADDR_VEC
|
if (GET_CODE (PATTERN (insn)) == ADDR_VEC
|
|| GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC)
|
|| GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC)
|
break;
|
break;
|
copy = emit_copy_of_insn_after (insn, get_last_insn ());
|
copy = emit_copy_of_insn_after (insn, get_last_insn ());
|
maybe_copy_epilogue_insn (insn, copy);
|
maybe_copy_epilogue_insn (insn, copy);
|
break;
|
break;
|
|
|
case CODE_LABEL:
|
case CODE_LABEL:
|
break;
|
break;
|
|
|
case BARRIER:
|
case BARRIER:
|
emit_barrier ();
|
emit_barrier ();
|
break;
|
break;
|
|
|
case NOTE:
|
case NOTE:
|
switch (NOTE_KIND (insn))
|
switch (NOTE_KIND (insn))
|
{
|
{
|
/* In case prologue is empty and function contain label
|
/* In case prologue is empty and function contain label
|
in first BB, we may want to copy the block. */
|
in first BB, we may want to copy the block. */
|
case NOTE_INSN_PROLOGUE_END:
|
case NOTE_INSN_PROLOGUE_END:
|
|
|
case NOTE_INSN_DELETED:
|
case NOTE_INSN_DELETED:
|
case NOTE_INSN_DELETED_LABEL:
|
case NOTE_INSN_DELETED_LABEL:
|
/* No problem to strip these. */
|
/* No problem to strip these. */
|
case NOTE_INSN_FUNCTION_BEG:
|
case NOTE_INSN_FUNCTION_BEG:
|
/* There is always just single entry to function. */
|
/* There is always just single entry to function. */
|
case NOTE_INSN_BASIC_BLOCK:
|
case NOTE_INSN_BASIC_BLOCK:
|
break;
|
break;
|
|
|
case NOTE_INSN_EPILOGUE_BEG:
|
case NOTE_INSN_EPILOGUE_BEG:
|
case NOTE_INSN_SWITCH_TEXT_SECTIONS:
|
case NOTE_INSN_SWITCH_TEXT_SECTIONS:
|
emit_note_copy (insn);
|
emit_note_copy (insn);
|
break;
|
break;
|
|
|
default:
|
default:
|
/* All other notes should have already been eliminated. */
|
/* All other notes should have already been eliminated. */
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
break;
|
break;
|
default:
|
default:
|
gcc_unreachable ();
|
gcc_unreachable ();
|
}
|
}
|
}
|
}
|
insn = NEXT_INSN (last);
|
insn = NEXT_INSN (last);
|
delete_insn (last);
|
delete_insn (last);
|
return insn;
|
return insn;
|
}
|
}
|
/* Create a duplicate of the basic block BB. */
|
/* Create a duplicate of the basic block BB. */
|
|
|
/* We do not want to declare the function in a header file, since it should
|
/* We do not want to declare the function in a header file, since it should
|
only be used through the cfghooks interface, and we do not want to move
|
only be used through the cfghooks interface, and we do not want to move
|
it to cfgrtl.c since it would require also moving quite a lot of related
|
it to cfgrtl.c since it would require also moving quite a lot of related
|
code. */
|
code. */
|
extern basic_block cfg_layout_duplicate_bb (basic_block);
|
extern basic_block cfg_layout_duplicate_bb (basic_block);
|
|
|
basic_block
|
basic_block
|
cfg_layout_duplicate_bb (basic_block bb)
|
cfg_layout_duplicate_bb (basic_block bb)
|
{
|
{
|
rtx insn;
|
rtx insn;
|
basic_block new_bb;
|
basic_block new_bb;
|
|
|
insn = duplicate_insn_chain (BB_HEAD (bb), BB_END (bb));
|
insn = duplicate_insn_chain (BB_HEAD (bb), BB_END (bb));
|
new_bb = create_basic_block (insn,
|
new_bb = create_basic_block (insn,
|
insn ? get_last_insn () : NULL,
|
insn ? get_last_insn () : NULL,
|
EXIT_BLOCK_PTR->prev_bb);
|
EXIT_BLOCK_PTR->prev_bb);
|
|
|
BB_COPY_PARTITION (new_bb, bb);
|
BB_COPY_PARTITION (new_bb, bb);
|
if (bb->il.rtl->header)
|
if (bb->il.rtl->header)
|
{
|
{
|
insn = bb->il.rtl->header;
|
insn = bb->il.rtl->header;
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
insn = duplicate_insn_chain (bb->il.rtl->header, insn);
|
insn = duplicate_insn_chain (bb->il.rtl->header, insn);
|
if (insn)
|
if (insn)
|
new_bb->il.rtl->header = unlink_insn_chain (insn, get_last_insn ());
|
new_bb->il.rtl->header = unlink_insn_chain (insn, get_last_insn ());
|
}
|
}
|
|
|
if (bb->il.rtl->footer)
|
if (bb->il.rtl->footer)
|
{
|
{
|
insn = bb->il.rtl->footer;
|
insn = bb->il.rtl->footer;
|
while (NEXT_INSN (insn))
|
while (NEXT_INSN (insn))
|
insn = NEXT_INSN (insn);
|
insn = NEXT_INSN (insn);
|
insn = duplicate_insn_chain (bb->il.rtl->footer, insn);
|
insn = duplicate_insn_chain (bb->il.rtl->footer, insn);
|
if (insn)
|
if (insn)
|
new_bb->il.rtl->footer = unlink_insn_chain (insn, get_last_insn ());
|
new_bb->il.rtl->footer = unlink_insn_chain (insn, get_last_insn ());
|
}
|
}
|
|
|
return new_bb;
|
return new_bb;
|
}
|
}
|
|
|
|
|
/* Main entry point to this module - initialize the datastructures for
|
/* Main entry point to this module - initialize the datastructures for
|
CFG layout changes. It keeps LOOPS up-to-date if not null.
|
CFG layout changes. It keeps LOOPS up-to-date if not null.
|
|
|
FLAGS is a set of additional flags to pass to cleanup_cfg(). */
|
FLAGS is a set of additional flags to pass to cleanup_cfg(). */
|
|
|
void
|
void
|
cfg_layout_initialize (unsigned int flags)
|
cfg_layout_initialize (unsigned int flags)
|
{
|
{
|
rtx x;
|
rtx x;
|
basic_block bb;
|
basic_block bb;
|
|
|
initialize_original_copy_tables ();
|
initialize_original_copy_tables ();
|
|
|
cfg_layout_rtl_register_cfg_hooks ();
|
cfg_layout_rtl_register_cfg_hooks ();
|
|
|
record_effective_endpoints ();
|
record_effective_endpoints ();
|
|
|
/* Make sure that the targets of non local gotos are marked. */
|
/* Make sure that the targets of non local gotos are marked. */
|
for (x = nonlocal_goto_handler_labels; x; x = XEXP (x, 1))
|
for (x = nonlocal_goto_handler_labels; x; x = XEXP (x, 1))
|
{
|
{
|
bb = BLOCK_FOR_INSN (XEXP (x, 0));
|
bb = BLOCK_FOR_INSN (XEXP (x, 0));
|
bb->flags |= BB_NON_LOCAL_GOTO_TARGET;
|
bb->flags |= BB_NON_LOCAL_GOTO_TARGET;
|
}
|
}
|
|
|
cleanup_cfg (CLEANUP_CFGLAYOUT | flags);
|
cleanup_cfg (CLEANUP_CFGLAYOUT | flags);
|
}
|
}
|
|
|
/* Splits superblocks. */
|
/* Splits superblocks. */
|
void
|
void
|
break_superblocks (void)
|
break_superblocks (void)
|
{
|
{
|
sbitmap superblocks;
|
sbitmap superblocks;
|
bool need = false;
|
bool need = false;
|
basic_block bb;
|
basic_block bb;
|
|
|
superblocks = sbitmap_alloc (last_basic_block);
|
superblocks = sbitmap_alloc (last_basic_block);
|
sbitmap_zero (superblocks);
|
sbitmap_zero (superblocks);
|
|
|
FOR_EACH_BB (bb)
|
FOR_EACH_BB (bb)
|
if (bb->flags & BB_SUPERBLOCK)
|
if (bb->flags & BB_SUPERBLOCK)
|
{
|
{
|
bb->flags &= ~BB_SUPERBLOCK;
|
bb->flags &= ~BB_SUPERBLOCK;
|
SET_BIT (superblocks, bb->index);
|
SET_BIT (superblocks, bb->index);
|
need = true;
|
need = true;
|
}
|
}
|
|
|
if (need)
|
if (need)
|
{
|
{
|
rebuild_jump_labels (get_insns ());
|
rebuild_jump_labels (get_insns ());
|
find_many_sub_basic_blocks (superblocks);
|
find_many_sub_basic_blocks (superblocks);
|
}
|
}
|
|
|
free (superblocks);
|
free (superblocks);
|
}
|
}
|
|
|
/* Finalize the changes: reorder insn list according to the sequence specified
|
/* Finalize the changes: reorder insn list according to the sequence specified
|
by aux pointers, enter compensation code, rebuild scope forest. */
|
by aux pointers, enter compensation code, rebuild scope forest. */
|
|
|
void
|
void
|
cfg_layout_finalize (void)
|
cfg_layout_finalize (void)
|
{
|
{
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
verify_flow_info ();
|
verify_flow_info ();
|
#endif
|
#endif
|
force_one_exit_fallthru ();
|
force_one_exit_fallthru ();
|
rtl_register_cfg_hooks ();
|
rtl_register_cfg_hooks ();
|
if (reload_completed
|
if (reload_completed
|
#ifdef HAVE_epilogue
|
#ifdef HAVE_epilogue
|
&& !HAVE_epilogue
|
&& !HAVE_epilogue
|
#endif
|
#endif
|
)
|
)
|
fixup_fallthru_exit_predecessor ();
|
fixup_fallthru_exit_predecessor ();
|
fixup_reorder_chain ();
|
fixup_reorder_chain ();
|
|
|
rebuild_jump_labels (get_insns ());
|
rebuild_jump_labels (get_insns ());
|
delete_dead_jumptables ();
|
delete_dead_jumptables ();
|
|
|
#ifdef ENABLE_CHECKING
|
#ifdef ENABLE_CHECKING
|
verify_insn_chain ();
|
verify_insn_chain ();
|
verify_flow_info ();
|
verify_flow_info ();
|
#endif
|
#endif
|
}
|
}
|
|
|
/* Checks whether all N blocks in BBS array can be copied. */
|
/* Checks whether all N blocks in BBS array can be copied. */
|
bool
|
bool
|
can_copy_bbs_p (basic_block *bbs, unsigned n)
|
can_copy_bbs_p (basic_block *bbs, unsigned n)
|
{
|
{
|
unsigned i;
|
unsigned i;
|
edge e;
|
edge e;
|
int ret = true;
|
int ret = true;
|
|
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
bbs[i]->flags |= BB_DUPLICATED;
|
bbs[i]->flags |= BB_DUPLICATED;
|
|
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
{
|
{
|
/* In case we should redirect abnormal edge during duplication, fail. */
|
/* In case we should redirect abnormal edge during duplication, fail. */
|
edge_iterator ei;
|
edge_iterator ei;
|
FOR_EACH_EDGE (e, ei, bbs[i]->succs)
|
FOR_EACH_EDGE (e, ei, bbs[i]->succs)
|
if ((e->flags & EDGE_ABNORMAL)
|
if ((e->flags & EDGE_ABNORMAL)
|
&& (e->dest->flags & BB_DUPLICATED))
|
&& (e->dest->flags & BB_DUPLICATED))
|
{
|
{
|
ret = false;
|
ret = false;
|
goto end;
|
goto end;
|
}
|
}
|
|
|
if (!can_duplicate_block_p (bbs[i]))
|
if (!can_duplicate_block_p (bbs[i]))
|
{
|
{
|
ret = false;
|
ret = false;
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
end:
|
end:
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
bbs[i]->flags &= ~BB_DUPLICATED;
|
bbs[i]->flags &= ~BB_DUPLICATED;
|
|
|
return ret;
|
return ret;
|
}
|
}
|
|
|
/* Duplicates N basic blocks stored in array BBS. Newly created basic blocks
|
/* Duplicates N basic blocks stored in array BBS. Newly created basic blocks
|
are placed into array NEW_BBS in the same order. Edges from basic blocks
|
are placed into array NEW_BBS in the same order. Edges from basic blocks
|
in BBS are also duplicated and copies of those of them
|
in BBS are also duplicated and copies of those of them
|
that lead into BBS are redirected to appropriate newly created block. The
|
that lead into BBS are redirected to appropriate newly created block. The
|
function assigns bbs into loops (copy of basic block bb is assigned to
|
function assigns bbs into loops (copy of basic block bb is assigned to
|
bb->loop_father->copy loop, so this must be set up correctly in advance)
|
bb->loop_father->copy loop, so this must be set up correctly in advance)
|
and updates dominators locally (LOOPS structure that contains the information
|
and updates dominators locally (LOOPS structure that contains the information
|
about dominators is passed to enable this).
|
about dominators is passed to enable this).
|
|
|
BASE is the superloop to that basic block belongs; if its header or latch
|
BASE is the superloop to that basic block belongs; if its header or latch
|
is copied, we do not set the new blocks as header or latch.
|
is copied, we do not set the new blocks as header or latch.
|
|
|
Created copies of N_EDGES edges in array EDGES are stored in array NEW_EDGES,
|
Created copies of N_EDGES edges in array EDGES are stored in array NEW_EDGES,
|
also in the same order.
|
also in the same order.
|
|
|
Newly created basic blocks are put after the basic block AFTER in the
|
Newly created basic blocks are put after the basic block AFTER in the
|
instruction stream, and the order of the blocks in BBS array is preserved. */
|
instruction stream, and the order of the blocks in BBS array is preserved. */
|
|
|
void
|
void
|
copy_bbs (basic_block *bbs, unsigned n, basic_block *new_bbs,
|
copy_bbs (basic_block *bbs, unsigned n, basic_block *new_bbs,
|
edge *edges, unsigned num_edges, edge *new_edges,
|
edge *edges, unsigned num_edges, edge *new_edges,
|
struct loop *base, basic_block after)
|
struct loop *base, basic_block after)
|
{
|
{
|
unsigned i, j;
|
unsigned i, j;
|
basic_block bb, new_bb, dom_bb;
|
basic_block bb, new_bb, dom_bb;
|
edge e;
|
edge e;
|
|
|
/* Duplicate bbs, update dominators, assign bbs to loops. */
|
/* Duplicate bbs, update dominators, assign bbs to loops. */
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
{
|
{
|
/* Duplicate. */
|
/* Duplicate. */
|
bb = bbs[i];
|
bb = bbs[i];
|
new_bb = new_bbs[i] = duplicate_block (bb, NULL, after);
|
new_bb = new_bbs[i] = duplicate_block (bb, NULL, after);
|
after = new_bb;
|
after = new_bb;
|
bb->flags |= BB_DUPLICATED;
|
bb->flags |= BB_DUPLICATED;
|
/* Possibly set loop header. */
|
/* Possibly set loop header. */
|
if (bb->loop_father->header == bb && bb->loop_father != base)
|
if (bb->loop_father->header == bb && bb->loop_father != base)
|
new_bb->loop_father->header = new_bb;
|
new_bb->loop_father->header = new_bb;
|
/* Or latch. */
|
/* Or latch. */
|
if (bb->loop_father->latch == bb && bb->loop_father != base)
|
if (bb->loop_father->latch == bb && bb->loop_father != base)
|
new_bb->loop_father->latch = new_bb;
|
new_bb->loop_father->latch = new_bb;
|
}
|
}
|
|
|
/* Set dominators. */
|
/* Set dominators. */
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
{
|
{
|
bb = bbs[i];
|
bb = bbs[i];
|
new_bb = new_bbs[i];
|
new_bb = new_bbs[i];
|
|
|
dom_bb = get_immediate_dominator (CDI_DOMINATORS, bb);
|
dom_bb = get_immediate_dominator (CDI_DOMINATORS, bb);
|
if (dom_bb->flags & BB_DUPLICATED)
|
if (dom_bb->flags & BB_DUPLICATED)
|
{
|
{
|
dom_bb = get_bb_copy (dom_bb);
|
dom_bb = get_bb_copy (dom_bb);
|
set_immediate_dominator (CDI_DOMINATORS, new_bb, dom_bb);
|
set_immediate_dominator (CDI_DOMINATORS, new_bb, dom_bb);
|
}
|
}
|
}
|
}
|
|
|
/* Redirect edges. */
|
/* Redirect edges. */
|
for (j = 0; j < num_edges; j++)
|
for (j = 0; j < num_edges; j++)
|
new_edges[j] = NULL;
|
new_edges[j] = NULL;
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
{
|
{
|
edge_iterator ei;
|
edge_iterator ei;
|
new_bb = new_bbs[i];
|
new_bb = new_bbs[i];
|
bb = bbs[i];
|
bb = bbs[i];
|
|
|
FOR_EACH_EDGE (e, ei, new_bb->succs)
|
FOR_EACH_EDGE (e, ei, new_bb->succs)
|
{
|
{
|
for (j = 0; j < num_edges; j++)
|
for (j = 0; j < num_edges; j++)
|
if (edges[j] && edges[j]->src == bb && edges[j]->dest == e->dest)
|
if (edges[j] && edges[j]->src == bb && edges[j]->dest == e->dest)
|
new_edges[j] = e;
|
new_edges[j] = e;
|
|
|
if (!(e->dest->flags & BB_DUPLICATED))
|
if (!(e->dest->flags & BB_DUPLICATED))
|
continue;
|
continue;
|
redirect_edge_and_branch_force (e, get_bb_copy (e->dest));
|
redirect_edge_and_branch_force (e, get_bb_copy (e->dest));
|
}
|
}
|
}
|
}
|
|
|
/* Clear information about duplicates. */
|
/* Clear information about duplicates. */
|
for (i = 0; i < n; i++)
|
for (i = 0; i < n; i++)
|
bbs[i]->flags &= ~BB_DUPLICATED;
|
bbs[i]->flags &= ~BB_DUPLICATED;
|
}
|
}
|
|
|
#include "gt-cfglayout.h"
|
#include "gt-cfglayout.h"
|
|
|
