mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-12 07:39:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

regmove.c (regmove_optimize): Conform to struct rtl_opt_pass execute function prototype.

Browse Source 
2009-02-25  Paolo Bonzini  <bonzini@gnu.org>

	* regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
	execute function prototype.  Get f and nregs from max_reg_num
	and get_insns.  Remove the first backward pass as it's dead,
	guard the forward pass by flag_expensive_optimizations.
	(rest_of_handle_regmove): Delete.
	(pass_regmove): Replace it with regmove_optimize.

From-SVN: r144429
This commit is contained in:
Paolo Bonzini 2009-02-25 18:12:29 +00:00 committed by Paolo Bonzini
parent f618d33ef1
commit 62d049cf1e
2 changed files with 24 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2009-02-25 Paolo Bonzini <bonzini@gnu.org>
* regmove.c (regmove_optimize): Conform to struct rtl_opt_pass
execute function prototype. Get f and nregs from max_reg_num
and get_insns. Remove the first backward pass as it's dead,
guard the forward pass by flag_expensive_optimizations.
(rest_of_handle_regmove): Delete.
(pass_regmove): Replace it with regmove_optimize.
2009-02-25 Martin Jambor <mjambor@suse.cz> 2009-02-25 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/39259 PR tree-optimization/39259

49
gcc/regmove.c
View File

@ -882,25 +882,21 @@ fixup_match_2 (rtx insn, rtx dst, rtx src, rtx offset)
return 0; return 0;
} }
/* Main entry for the register move optimization. /* Main entry for the register move optimization. */
F is the first instruction.
NREGS is one plus the highest pseudo-reg number used in the instruction.
REGMOVE_DUMP_FILE is a stream for output of a trace of actions taken
(or 0 if none should be output). */
static void static unsigned int
regmove_optimize (rtx f, int nregs) regmove_optimize (void)
{ {
rtx insn; rtx insn;
struct match match; struct match match;
int pass;
int i; int i;
rtx copy_src, copy_dst; rtx copy_src, copy_dst;
int nregs = max_reg_num ();
/* ??? Hack. Regmove doesn't examine the CFG, and gets mightily /* ??? Hack. Regmove doesn't examine the CFG, and gets mightily
confused by non-call exceptions ending blocks. */ confused by non-call exceptions ending blocks. */
if (flag_non_call_exceptions) if (flag_non_call_exceptions)
return; return 0;
df_note_add_problem (); df_note_add_problem ();
df_analyze (); df_analyze ();
@ -912,35 +908,26 @@ regmove_optimize (rtx f, int nregs)
for (i = nregs; --i >= 0; ) for (i = nregs; --i >= 0; )
regno_src_regno[i] = -1; regno_src_regno[i] = -1;
/* A forward/backward pass. Replace output operands with input operands. */ /* A forward pass. Replace output operands with input operands. */
for (pass = 0; pass <= 2; pass++) if (flag_expensive_optimizations)
{ {
if (! flag_regmove && pass >= flag_expensive_optimizations)
goto done;
if (dump_file) if (dump_file)
fprintf (dump_file, "Starting %s pass...\n", fprintf (dump_file, "Starting forward pass...\n");
pass ? "backward" : "forward");
for (insn = pass ? get_last_insn () : f; insn; for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
insn = pass ? PREV_INSN (insn) : NEXT_INSN (insn))
{ {
rtx set; rtx set = single_set (insn);
set = single_set (insn);
if (! set) if (! set)
continue; continue;
if (flag_expensive_optimizations && ! pass if ((GET_CODE (SET_SRC (set)) == SIGN_EXTEND
&& (GET_CODE (SET_SRC (set)) == SIGN_EXTEND
|| GET_CODE (SET_SRC (set)) == ZERO_EXTEND) || GET_CODE (SET_SRC (set)) == ZERO_EXTEND)
&& REG_P (XEXP (SET_SRC (set), 0)) && REG_P (XEXP (SET_SRC (set), 0))
&& REG_P (SET_DEST (set))) && REG_P (SET_DEST (set)))
optimize_reg_copy_3 (insn, SET_DEST (set), SET_SRC (set)); optimize_reg_copy_3 (insn, SET_DEST (set), SET_SRC (set));
if (flag_expensive_optimizations && ! pass if (REG_P (SET_SRC (set))
&& REG_P (SET_SRC (set))
&& REG_P (SET_DEST (set))) && REG_P (SET_DEST (set)))
{ {
/* If this is a register-register copy where SRC is not dead, /* If this is a register-register copy where SRC is not dead,
@ -1245,7 +1232,6 @@ regmove_optimize (rtx f, int nregs)
} }
} }
done:
/* Clean up. */ /* Clean up. */
free (regno_src_regno); free (regno_src_regno);
if (reg_set_in_bb) if (reg_set_in_bb)
@ -1255,6 +1241,7 @@ regmove_optimize (rtx f, int nregs)
} }
regstat_free_n_sets_and_refs (); regstat_free_n_sets_and_refs ();
regstat_free_ri (); regstat_free_ri ();
return 0;
} }
/* Returns nonzero if INSN's pattern has matching constraints for any operand. /* Returns nonzero if INSN's pattern has matching constraints for any operand.
@ -1356,14 +1343,6 @@ gate_handle_regmove (void)
return (optimize > 0 && flag_regmove); return (optimize > 0 && flag_regmove);
} }
/* Register allocation pre-pass, to reduce number of moves necessary
for two-address machines. */
static unsigned int
rest_of_handle_regmove (void)
{
regmove_optimize (get_insns (), max_reg_num ());
return 0;
}
struct rtl_opt_pass pass_regmove = struct rtl_opt_pass pass_regmove =
{ {
@ -1371,7 +1350,7 @@ struct rtl_opt_pass pass_regmove =
RTL_PASS, RTL_PASS,
"regmove", /* name */ "regmove", /* name */
gate_handle_regmove, /* gate */ gate_handle_regmove, /* gate */
rest_of_handle_regmove, /* execute */ regmove_optimize, /* execute */
NULL, /* sub */ NULL, /* sub */
NULL, /* next */ NULL, /* next */
0, /* static_pass_number */ 0, /* static_pass_number */