common.opt (fsched-pressure-algorithm=): New option.

gcc/
	* common.opt (fsched-pressure-algorithm=): New option.
	* flag-types.h (sched_pressure_algorithm): New enum.
	* sched-int.h (sched_pressure_p): Replace with...
	(sched_pressure): ...this new variable.
	* haifa-sched.c (sched_pressure_p): Replace with...
	(sched_pressure): ...this new variable.
	(sched_regno_pressure_class, rank_for_schedule, ready_sort)
	(update_reg_and_insn_max_reg_pressure, schedule_insn)
	(debug_ready_list, prune_ready_list, schedule_block, sched_init)
	(sched_finish, fix_tick_ready, haifa_init_insn): Update accordingly.
	* sched-deps.c (init_insn_reg_pressure_info): Likewise.
	(sched_analyze_insn): Likewise.
	* sched-rgn.c (schedule_region): Likewise.
	* config/m68k/m68k.c (m68k_sched_variable_issue): Likewise.

From-SVN: r186881

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2ca14ffe8b07da22f2ee20dd404249226707b934..0ed52f54012607c379ec5e90e07b3ef5eb57f32d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,20 @@
+2012-04-26  Richard Sandiford  <richard.sandiford@linaro.org>
+
+       * common.opt (fsched-pressure-algorithm=): New option.
+       * flag-types.h (sched_pressure_algorithm): New enum.
+       * sched-int.h (sched_pressure_p): Replace with...
+       (sched_pressure): ...this new variable.
+       * haifa-sched.c (sched_pressure_p): Replace with...
+       (sched_pressure): ...this new variable.
+       (sched_regno_pressure_class, rank_for_schedule, ready_sort)
+       (update_reg_and_insn_max_reg_pressure, schedule_insn)
+       (debug_ready_list, prune_ready_list, schedule_block, sched_init)
+       (sched_finish, fix_tick_ready, haifa_init_insn): Update accordingly.
+       * sched-deps.c (init_insn_reg_pressure_info): Likewise.
+       (sched_analyze_insn): Likewise.
+       * sched-rgn.c (schedule_region): Likewise.
+       * config/m68k/m68k.c (m68k_sched_variable_issue): Likewise.
+
 2012-04-26  Bernd Schmidt  <bernds@codesourcery.com>
 
        * PR middle-end/52997

diff --git a/gcc/common.opt b/gcc/common.opt
index 4a2508c7113a65439e12731c77325f87a1e0cb5f..37e806a1f2ba72857f6e37927884fcecfe2e2c10 100644 (file)
--- a/gcc/common.opt
+++ b/gcc/common.opt
@@ -1665,6 +1665,19 @@ fsched-pressure
 Common Report Var(flag_sched_pressure) Init(0) Optimization
 Enable register pressure sensitive insn scheduling
 
+fsched-pressure-algorithm=
+Common Joined RejectNegative Enum(sched_pressure_algorithm) Var(flag_sched_pressure_algorithm) Init(SCHED_PRESSURE_WEIGHTED)
+-fsched-pressure-algorithm=[weighted|model] Set the pressure-scheduling algorithm
+
+Enum
+Name(sched_pressure_algorithm) Type(enum sched_pressure_algorithm) UnknownError(unknown %<fsched-pressure%> algorithm %qs)
+
+EnumValue
+Enum(sched_pressure_algorithm) String(weighted) Value(SCHED_PRESSURE_WEIGHTED)
+
+EnumValue
+Enum(sched_pressure_algorithm) String(model) Value(SCHED_PRESSURE_MODEL)
+
 fsched-spec
 Common Report Var(flag_schedule_speculative) Init(1) Optimization
 Allow speculative motion of non-loads

diff --git a/gcc/config/m68k/m68k.c b/gcc/config/m68k/m68k.c
index d3ed82b81ea262c3b30d521974bbb6390c1022f1..6fbd70016662c0308d2669a4e5ca28264b38d086 100644 (file)
--- a/gcc/config/m68k/m68k.c
+++ b/gcc/config/m68k/m68k.c
@@ -6090,7 +6090,7 @@ m68k_sched_variable_issue (FILE *sched_dump ATTRIBUTE_UNUSED,
        /* Scheduling for register pressure does not always take DFA into
           account.  Workaround instruction buffer not being filled enough.  */
        {
-         gcc_assert (sched_pressure_p);
+         gcc_assert (sched_pressure == SCHED_PRESSURE_WEIGHTED);
          insn_size = sched_ib.filled;
        }
 

diff --git a/gcc/flag-types.h b/gcc/flag-types.h
index f757423e56a57df51507beabcbfcd07ddf059d48..eb2da4ffed52f32421ffd9d5a597ff7c0a3234c5 100644 (file)
--- a/gcc/flag-types.h
+++ b/gcc/flag-types.h
@@ -106,6 +106,14 @@ enum symbol_visibility
 };
 #endif
 
+/* The algorithm used to implement -fsched-pressure.  */
+enum sched_pressure_algorithm
+{
+  SCHED_PRESSURE_NONE,
+  SCHED_PRESSURE_WEIGHTED,
+  SCHED_PRESSURE_MODEL
+};
+
 /* The algorithm used for the integrated register allocator (IRA).  */
 enum ira_algorithm
 {

diff --git a/gcc/haifa-sched.c b/gcc/haifa-sched.c
index 569cd2bace46f53e478b5eb57c1272b0b640015f..308141f1c24c79d9e81b16ed0dcfe2158cf41343 100644 (file)
--- a/gcc/haifa-sched.c
+++ b/gcc/haifa-sched.c
@@ -872,10 +872,10 @@ schedule_insns (void)
 
 /* Do register pressure sensitive insn scheduling if the flag is set
    up.  */
-bool sched_pressure_p;
+enum sched_pressure_algorithm sched_pressure;
 
 /* Map regno -> its pressure class.  The map defined only when
-   SCHED_PRESSURE_P is true.  */
+   SCHED_PRESSURE is SCHED_PRESSURE_WEIGHTED.  */
 enum reg_class *sched_regno_pressure_class;
 
 /* The current register pressure.  Only elements corresponding pressure
@@ -1661,7 +1661,7 @@ rank_for_schedule (const void *x, const void *y)
   /* Make sure that priority of TMP and TMP2 are initialized.  */
   gcc_assert (INSN_PRIORITY_KNOWN (tmp) && INSN_PRIORITY_KNOWN (tmp2));
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       int diff;
 
@@ -1677,7 +1677,7 @@ rank_for_schedule (const void *x, const void *y)
     }
 
 
-  if (sched_pressure_p
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED
       && (INSN_TICK (tmp2) > clock_var || INSN_TICK (tmp) > clock_var))
     {
       if (INSN_TICK (tmp) <= clock_var)
@@ -1995,7 +1995,7 @@ ready_sort (struct ready_list *ready)
   int i;
   rtx *first = ready_lastpos (ready);
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       for (i = 0; i < ready->n_ready; i++)
        if (!DEBUG_INSN_P (first[i]))
@@ -2138,7 +2138,7 @@ update_reg_and_insn_max_reg_pressure (rtx insn)
 void
 sched_setup_bb_reg_pressure_info (basic_block bb, rtx after)
 {
-  gcc_assert (sched_pressure_p);
+  gcc_assert (sched_pressure == SCHED_PRESSURE_WEIGHTED);
   initiate_bb_reg_pressure_info (bb);
   setup_insn_max_reg_pressure (after, false);
 }
@@ -2243,7 +2243,7 @@ schedule_insn (rtx insn)
       fputc ('\n', sched_dump);
     }
 
-  if (sched_pressure_p && !DEBUG_INSN_P (insn))
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED && !DEBUG_INSN_P (insn))
     update_reg_and_insn_max_reg_pressure (insn);
 
   /* Scheduling instruction should have all its dependencies resolved and
@@ -3366,12 +3366,12 @@ debug_ready_list (struct ready_list *ready)
       fprintf (sched_dump, "  %s:%d",
               (*current_sched_info->print_insn) (p[i], 0),
               INSN_LUID (p[i]));
-      if (sched_pressure_p)
+      if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
        fprintf (sched_dump, "(cost=%d",
                 INSN_REG_PRESSURE_EXCESS_COST_CHANGE (p[i]));
       if (INSN_TICK (p[i]) > clock_var)
        fprintf (sched_dump, ":delay=%d", INSN_TICK (p[i]) - clock_var);
-      if (sched_pressure_p)
+      if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
        fprintf (sched_dump, ")");
     }
   fprintf (sched_dump, "\n");
@@ -4001,7 +4001,7 @@ prune_ready_list (state_t temp_state, bool first_cycle_insn_p,
                cost = 1;
              reason = "asm";
            }
-         else if (sched_pressure_p)
+          else if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
            cost = 0;
          else
            {
@@ -4377,7 +4377,7 @@ schedule_block (basic_block *target_bb)
              fprintf (sched_dump, ";;\tReady list (t = %3d):  ",
                       clock_var);
              debug_ready_list (&ready);
-             if (sched_pressure_p)
+             if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
                print_curr_reg_pressure ();
            }
 
@@ -4420,7 +4420,8 @@ schedule_block (basic_block *target_bb)
          else
            insn = ready_remove_first (&ready);
 
-         if (sched_pressure_p && INSN_TICK (insn) > clock_var)
+         if (sched_pressure == SCHED_PRESSURE_WEIGHTED
+             && INSN_TICK (insn) > clock_var)
            {
              ready_add (&ready, insn, true);
              advance = 1;
@@ -4497,7 +4498,7 @@ schedule_block (basic_block *target_bb)
            {
              memcpy (temp_state, curr_state, dfa_state_size);
              cost = state_transition (curr_state, insn);
-             if (!sched_pressure_p)
+             if (sched_pressure != SCHED_PRESSURE_WEIGHTED)
                gcc_assert (cost < 0);
              if (memcmp (temp_state, curr_state, dfa_state_size) != 0)
                cycle_issued_insns++;
@@ -4785,10 +4786,14 @@ sched_init (void)
   if (targetm.sched.dispatch (NULL_RTX, IS_DISPATCH_ON))
     targetm.sched.dispatch_do (NULL_RTX, DISPATCH_INIT);
 
-  sched_pressure_p = (flag_sched_pressure && ! reload_completed
-                     && common_sched_info->sched_pass_id == SCHED_RGN_PASS);
+  if (flag_sched_pressure
+      && !reload_completed
+      && common_sched_info->sched_pass_id == SCHED_RGN_PASS)
+    sched_pressure = flag_sched_pressure_algorithm;
+  else
+    sched_pressure = SCHED_PRESSURE_NONE;
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     ira_setup_eliminable_regset ();
 
   /* Initialize SPEC_INFO.  */
@@ -4866,7 +4871,7 @@ sched_init (void)
   if (targetm.sched.init_global)
     targetm.sched.init_global (sched_dump, sched_verbose, get_max_uid () + 1);
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       int i, max_regno = max_reg_num ();
 
@@ -4983,7 +4988,7 @@ void
 sched_finish (void)
 {
   haifa_finish_h_i_d ();
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       if (regstat_n_sets_and_refs != NULL)
        regstat_free_n_sets_and_refs ();
@@ -5262,7 +5267,7 @@ fix_tick_ready (rtx next)
   INSN_TICK (next) = tick;
 
   delay = tick - clock_var;
-  if (delay <= 0 || sched_pressure_p)
+  if (delay <= 0 || sched_pressure == SCHED_PRESSURE_WEIGHTED)
     delay = QUEUE_READY;
 
   change_queue_index (next, delay);
@@ -6688,7 +6693,7 @@ haifa_init_insn (rtx insn)
       /* Extend dependency caches by one element.  */
       extend_dependency_caches (1, false);
     }
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     init_insn_reg_pressure_info (insn);
 }
 

diff --git a/gcc/sched-deps.c b/gcc/sched-deps.c
index 33a6996fe4fca2b7bbfde0aaf187b23d94f051f0..5bc329fc7daa60f21abc38f8ecee220d2164ca24 100644 (file)
--- a/gcc/sched-deps.c
+++ b/gcc/sched-deps.c
@@ -2168,7 +2168,7 @@ init_insn_reg_pressure_info (rtx insn)
   static struct reg_pressure_data *pressure_info;
   rtx link;
 
-  gcc_assert (sched_pressure_p);
+  gcc_assert (sched_pressure == SCHED_PRESSURE_WEIGHTED);
 
   if (! INSN_P (insn))
     return;
@@ -2951,7 +2951,7 @@ sched_analyze_insn (struct deps_desc *deps, rtx x, rtx insn)
       || (NONJUMP_INSN_P (insn) && control_flow_insn_p (insn)))
     reg_pending_barrier = MOVE_BARRIER;
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       setup_insn_reg_uses (deps, insn);
       init_insn_reg_pressure_info (insn);

diff --git a/gcc/sched-int.h b/gcc/sched-int.h
index 2fa5f759e85ab301b691507e5c744343422e7873..691d3ad4d24a0f50da2661aa7b8dfbc907cc5214 100644 (file)
--- a/gcc/sched-int.h
+++ b/gcc/sched-int.h
@@ -649,7 +649,7 @@ extern struct haifa_sched_info *current_sched_info;
 
 /* Do register pressure sensitive insn scheduling if the flag is set
    up.  */
-extern bool sched_pressure_p;
+extern enum sched_pressure_algorithm sched_pressure;
 
 /* Map regno -> its pressure class.  The map defined only when
    SCHED_PRESSURE_P is true.  */

diff --git a/gcc/sched-rgn.c b/gcc/sched-rgn.c
index 8e948880999c0df567d7e4eeca9a7a7849bb999d..268eddcfd9830530c727214aa72f7e26731dd913 100644 (file)
--- a/gcc/sched-rgn.c
+++ b/gcc/sched-rgn.c
@@ -2921,7 +2921,7 @@ schedule_region (int rgn)
 
   sched_extend_ready_list (rgn_n_insns);
 
-  if (sched_pressure_p)
+  if (sched_pressure == SCHED_PRESSURE_WEIGHTED)
     {
       sched_init_region_reg_pressure_info ();
       for (bb = 0; bb < current_nr_blocks; bb++)