OSDN Git Service

Daily bump.
[pf3gnuchains/gcc-fork.git] / gcc / ira-color.c
index c3b63cc..c9cb184 100644 (file)
@@ -279,7 +279,8 @@ update_copy_costs (ira_allocno_t allocno, bool decr_p)
          else
            gcc_unreachable ();
 
-         if (cover_class != ALLOCNO_COVER_CLASS (another_allocno)
+         cover_class = ALLOCNO_COVER_CLASS (another_allocno);
+         if (! ira_reg_classes_intersect_p[rclass][cover_class]
              || ALLOCNO_ASSIGNED_P (another_allocno))
            continue;
 
@@ -301,6 +302,8 @@ update_copy_costs (ira_allocno_t allocno, bool decr_p)
            (&ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (another_allocno),
             cover_class, 0,
             ALLOCNO_CONFLICT_HARD_REG_COSTS (another_allocno));
+         i = ira_class_hard_reg_index[cover_class][hard_regno];
+         ira_assert (i >= 0);
          ALLOCNO_UPDATED_HARD_REG_COSTS (another_allocno)[i] += update_cost;
          ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (another_allocno)[i]
            += update_cost;
@@ -311,17 +314,19 @@ update_copy_costs (ira_allocno_t allocno, bool decr_p)
   while (get_next_update_cost (&allocno, &divisor));
 }
 
-/* This function updates COSTS (decrease if DECR_P) by conflict costs
-   of the unassigned allocnos connected by copies with allocnos in
-   update_cost_queue.  This update increases chances to remove some
-   copies.  */
+/* This function updates COSTS (decrease if DECR_P) for hard_registers
+   of COVER_CLASS by conflict costs of the unassigned allocnos
+   connected by copies with allocnos in update_cost_queue.  This
+   update increases chances to remove some copies.  */
 static void
-update_conflict_hard_regno_costs (int *costs, bool decr_p)
+update_conflict_hard_regno_costs (int *costs, enum reg_class cover_class,
+                                 bool decr_p)
 {
   int i, cost, class_size, freq, mult, div, divisor;
+  int index, hard_regno;
   int *conflict_costs;
   bool cont_p;
-  enum reg_class cover_class;
+  enum reg_class another_cover_class;
   ira_allocno_t allocno, another_allocno;
   ira_copy_t cp, next_cp;
 
@@ -340,16 +345,17 @@ update_conflict_hard_regno_costs (int *costs, bool decr_p)
          }
        else
          gcc_unreachable ();
-       cover_class = ALLOCNO_COVER_CLASS (allocno);
-       if (cover_class != ALLOCNO_COVER_CLASS (another_allocno)
+       another_cover_class = ALLOCNO_COVER_CLASS (another_allocno);
+       if (! ira_reg_classes_intersect_p[cover_class][another_cover_class]
            || ALLOCNO_ASSIGNED_P (another_allocno)
            || ALLOCNO_MAY_BE_SPILLED_P (ALLOCNO_FIRST_COALESCED_ALLOCNO
                                         (another_allocno)))
          continue;
-       class_size = ira_class_hard_regs_num[cover_class];
+       class_size = ira_class_hard_regs_num[another_cover_class];
        ira_allocate_and_copy_costs
          (&ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (another_allocno),
-          cover_class, ALLOCNO_CONFLICT_HARD_REG_COSTS (another_allocno));
+          another_cover_class,
+          ALLOCNO_CONFLICT_HARD_REG_COSTS (another_allocno));
        conflict_costs
          = ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (another_allocno);
        if (conflict_costs == NULL)
@@ -364,13 +370,18 @@ update_conflict_hard_regno_costs (int *costs, bool decr_p)
            cont_p = false;
            for (i = class_size - 1; i >= 0; i--)
              {
+               hard_regno = ira_class_hard_regs[another_cover_class][i];
+               ira_assert (hard_regno >= 0);
+               index = ira_class_hard_reg_index[cover_class][hard_regno];
+               if (index < 0)
+                 continue;
                cost = conflict_costs [i] * mult / div;
                if (cost == 0)
                  continue;
                cont_p = true;
                if (decr_p)
                  cost = -cost;
-               costs[i] += cost;
+               costs[index] += cost;
              }
          }
        /* Probably 5 hops will be enough.  */
@@ -429,11 +440,11 @@ static bool
 assign_hard_reg (ira_allocno_t allocno, bool retry_p)
 {
   HARD_REG_SET conflicting_regs;
-  int i, j, hard_regno, best_hard_regno, class_size;
+  int i, j, k, hard_regno, best_hard_regno, class_size;
   int cost, mem_cost, min_cost, full_cost, min_full_cost, add_cost;
   int *a_costs;
   int *conflict_costs;
-  enum reg_class cover_class, rclass;
+  enum reg_class cover_class, rclass, conflict_cover_class;
   enum machine_mode mode;
   ira_allocno_t a, conflict_allocno;
   ira_allocno_conflict_iterator aci;
@@ -490,7 +501,9 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
        if (retry_p || bitmap_bit_p (consideration_allocno_bitmap,
                                     ALLOCNO_NUM (conflict_allocno)))
          {
-           ira_assert (cover_class == ALLOCNO_COVER_CLASS (conflict_allocno));
+           conflict_cover_class = ALLOCNO_COVER_CLASS (conflict_allocno);
+           ira_assert (ira_reg_classes_intersect_p
+                       [cover_class][conflict_cover_class]);
            if (allocno_coalesced_p)
              {
                if (bitmap_bit_p (processed_coalesced_allocno_bitmap,
@@ -501,7 +514,8 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
              }
            if (ALLOCNO_ASSIGNED_P (conflict_allocno))
              {
-               if ((hard_regno = ALLOCNO_HARD_REGNO (conflict_allocno)) >= 0)
+               if ((hard_regno = ALLOCNO_HARD_REGNO (conflict_allocno)) >= 0
+                   && ira_class_hard_reg_index[cover_class][hard_regno] >= 0)
                  {
                    IOR_HARD_REG_SET
                      (conflicting_regs,
@@ -511,20 +525,27 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
                                               conflicting_regs))
                      goto fail;
                  }
-               continue;
              }
            else if (! ALLOCNO_MAY_BE_SPILLED_P (ALLOCNO_FIRST_COALESCED_ALLOCNO
                                                 (conflict_allocno)))
              {
                ira_allocate_and_copy_costs
                  (&ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (conflict_allocno),
-                  cover_class,
+                  conflict_cover_class,
                   ALLOCNO_CONFLICT_HARD_REG_COSTS (conflict_allocno));
                conflict_costs
                  = ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (conflict_allocno);
                if (conflict_costs != NULL)
                  for (j = class_size - 1; j >= 0; j--)
-                   full_costs[j] -= conflict_costs[j];
+                   {
+                     hard_regno = ira_class_hard_regs[cover_class][j];
+                     ira_assert (hard_regno >= 0);
+                     k = (ira_class_hard_reg_index
+                          [conflict_cover_class][hard_regno]);
+                     if (k < 0)
+                       continue;
+                     full_costs[j] -= conflict_costs[k];
+                   }
                queue_update_cost (conflict_allocno, COST_HOP_DIVISOR);
              }
          }
@@ -533,7 +554,7 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
     }
   /* Take into account preferences of allocnos connected by copies to
      the conflict allocnos.  */
-  update_conflict_hard_regno_costs (full_costs, true);
+  update_conflict_hard_regno_costs (full_costs, cover_class, true);
 
   /* Take preferences of allocnos connected by copies into
      account.  */
@@ -545,7 +566,7 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
       if (a == allocno)
        break;
     }
-  update_conflict_hard_regno_costs (full_costs, false);
+  update_conflict_hard_regno_costs (full_costs, cover_class, false);
   min_cost = min_full_cost = INT_MAX;
   /* We don't care about giving callee saved registers to allocnos no
      living through calls because call clobbered registers are
@@ -594,7 +615,8 @@ assign_hard_reg (ira_allocno_t allocno, bool retry_p)
       best_hard_regno = -1;
     }
  fail:
-  if (best_hard_regno < 0
+  if (flag_ira_algorithm != IRA_ALGORITHM_PRIORITY
+      && best_hard_regno < 0
       && ALLOCNO_NEXT_COALESCED_ALLOCNO (allocno) != allocno)
     {
       for (j = 0, a = ALLOCNO_NEXT_COALESCED_ALLOCNO (allocno);;
@@ -655,6 +677,17 @@ static ira_allocno_t uncolorable_allocno_bucket;
    of given *cover* class in the uncolorable_bucket.  */
 static int uncolorable_allocnos_num[N_REG_CLASSES];
 
+/* Return the current spill priority of allocno A.  The less the
+   number, the more preferable the allocno for spilling.  */
+static int
+allocno_spill_priority (ira_allocno_t a)
+{
+  return (ALLOCNO_TEMP (a)
+         / (ALLOCNO_LEFT_CONFLICTS_NUM (a)
+            * ira_reg_class_nregs[ALLOCNO_COVER_CLASS (a)][ALLOCNO_MODE (a)]
+            + 1));
+}
+
 /* Add ALLOCNO to bucket *BUCKET_PTR.  ALLOCNO should be not in a bucket
    before the call.  */
 static void
@@ -925,7 +958,12 @@ remove_allocno_from_bucket_and_push (ira_allocno_t allocno, bool colorable_p)
     {
       fprintf (ira_dump_file, "      Pushing");
       print_coalesced_allocno (allocno);
-      fprintf (ira_dump_file, "%s\n", colorable_p ? "" : "(potential spill)");
+      if (colorable_p)
+       fprintf (ira_dump_file, "\n");
+      else
+       fprintf (ira_dump_file, "(potential spill: %spri=%d, cost=%d)\n",
+                ALLOCNO_BAD_SPILL_P (allocno) ? "bad spill, " : "",
+                allocno_spill_priority (allocno), ALLOCNO_TEMP (allocno));
     }
   cover_class = ALLOCNO_COVER_CLASS (allocno);
   ira_assert ((colorable_p
@@ -959,7 +997,7 @@ push_allocno_to_spill (ira_allocno_t allocno)
   delete_allocno_from_bucket (allocno, &uncolorable_allocno_bucket);
   ALLOCNO_MAY_BE_SPILLED_P (allocno) = true;
   if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
-    fprintf (ira_dump_file, "      Pushing p%d(%d) (potential spill)\n",
+    fprintf (ira_dump_file, "      Pushing p%d(%d) (spill for NO_REGS)\n",
             ALLOCNO_NUM (allocno), ALLOCNO_REGNO (allocno));
   push_allocno_to_stack (allocno);
 }
@@ -1224,21 +1262,18 @@ push_allocnos_to_stack (void)
                  i++;
                  ira_assert (ALLOCNO_TEMP (i_allocno) != INT_MAX);
                  i_allocno_cost = ALLOCNO_TEMP (i_allocno);
-                 i_allocno_pri
-                   = (i_allocno_cost
-                      / (ALLOCNO_LEFT_CONFLICTS_NUM (i_allocno)
-                         * ira_reg_class_nregs[ALLOCNO_COVER_CLASS
-                                               (i_allocno)]
-                         [ALLOCNO_MODE (i_allocno)] + 1));
+                 i_allocno_pri = allocno_spill_priority (i_allocno);
                  if (allocno == NULL
                      || (! ALLOCNO_BAD_SPILL_P (i_allocno)
                          && ALLOCNO_BAD_SPILL_P (allocno))
-                     || allocno_pri > i_allocno_pri
-                     || (allocno_pri == i_allocno_pri
-                         && (allocno_cost > i_allocno_cost
-                             || (allocno_cost == i_allocno_cost 
-                                 && (ALLOCNO_NUM (allocno)
-                                     > ALLOCNO_NUM (i_allocno))))))
+                     || (! (ALLOCNO_BAD_SPILL_P (i_allocno)
+                            && ! ALLOCNO_BAD_SPILL_P (allocno))
+                         && (allocno_pri > i_allocno_pri
+                             || (allocno_pri == i_allocno_pri
+                                 && (allocno_cost > i_allocno_cost
+                                     || (allocno_cost == i_allocno_cost 
+                                         && (ALLOCNO_NUM (allocno)
+                                             > ALLOCNO_NUM (i_allocno))))))))
                    {
                      allocno = i_allocno;
                      allocno_cost = i_allocno_cost;
@@ -1592,6 +1627,10 @@ coalesce_allocnos (bool reload_p)
            {
              next_cp = cp->next_first_allocno_copy;
              regno = ALLOCNO_REGNO (cp->second);
+             /* For priority coloring we coalesce allocnos only with
+                the same cover class not with intersected cover
+                classes as it were possible.  It is done for
+                simplicity.  */
              if ((reload_p
                   || (ALLOCNO_COVER_CLASS (cp->second) == cover_class
                       && ALLOCNO_MODE (cp->second) == mode))
@@ -1646,12 +1685,72 @@ coalesce_allocnos (bool reload_p)
   ira_free (sorted_copies);
 }
 
+/* Map: allocno number -> allocno priority.  */
+static int *allocno_priorities;
+
+/* Set up priorities for N allocnos in array
+   CONSIDERATION_ALLOCNOS.  */
+static void
+setup_allocno_priorities (ira_allocno_t *consideration_allocnos, int n)
+{
+  int i, length, nrefs, priority, max_priority, mult;
+  ira_allocno_t a;
+
+  max_priority = 0;
+  for (i = 0; i < n; i++)
+    {
+      a = consideration_allocnos[i];
+      nrefs = ALLOCNO_NREFS (a);
+      ira_assert (nrefs >= 0);
+      mult = floor_log2 (ALLOCNO_NREFS (a)) + 1;
+      ira_assert (mult >= 0);
+      allocno_priorities[ALLOCNO_NUM (a)]
+       = priority
+       = (mult
+          * (ALLOCNO_MEMORY_COST (a) - ALLOCNO_COVER_CLASS_COST (a))
+          * ira_reg_class_nregs[ALLOCNO_COVER_CLASS (a)][ALLOCNO_MODE (a)]);
+      if (priority < 0)
+       priority = -priority;
+      if (max_priority < priority)
+       max_priority = priority;
+    }
+  mult = max_priority == 0 ? 1 : INT_MAX / max_priority;
+  for (i = 0; i < n; i++)
+    {
+      a = consideration_allocnos[i];
+      length = ALLOCNO_EXCESS_PRESSURE_POINTS_NUM (a);
+      if (length <= 0)
+       length = 1;
+      allocno_priorities[ALLOCNO_NUM (a)]
+       = allocno_priorities[ALLOCNO_NUM (a)] * mult / length;
+    }
+}
+
+/* Sort allocnos according to their priorities which are calculated
+   analogous to ones in file `global.c'.  */
+static int
+allocno_priority_compare_func (const void *v1p, const void *v2p)
+{
+  ira_allocno_t a1 = *(const ira_allocno_t *) v1p;
+  ira_allocno_t a2 = *(const ira_allocno_t *) v2p;
+  int pri1, pri2;
+
+  pri1 = allocno_priorities[ALLOCNO_NUM (a1)];
+  pri2 = allocno_priorities[ALLOCNO_NUM (a2)];
+  if (pri2 - pri1)
+    return pri2 - pri1;
+
+  /* If regs are equally good, sort by allocnos, so that the results of
+     qsort leave nothing to chance.  */
+  return ALLOCNO_NUM (a1) - ALLOCNO_NUM (a2);
+}
+
 /* Chaitin-Briggs coloring for allocnos in COLORING_ALLOCNO_BITMAP
    taking into account allocnos in CONSIDERATION_ALLOCNO_BITMAP.  */
 static void
 color_allocnos (void)
 {
-  unsigned int i;
+  unsigned int i, n;
   bitmap_iterator bi;
   ira_allocno_t a;
 
@@ -1659,30 +1758,83 @@ color_allocnos (void)
   processed_coalesced_allocno_bitmap = ira_allocate_bitmap ();
   if (flag_ira_coalesce)
     coalesce_allocnos (false);
-  /* Put the allocnos into the corresponding buckets.  */
-  colorable_allocno_bucket = NULL;
-  uncolorable_allocno_bucket = NULL;
-  EXECUTE_IF_SET_IN_BITMAP (coloring_allocno_bitmap, 0, i, bi)
+  if (flag_ira_algorithm == IRA_ALGORITHM_PRIORITY)
     {
-      a = ira_allocnos[i];
-      if (ALLOCNO_COVER_CLASS (a) == NO_REGS)
+      n = 0;
+      EXECUTE_IF_SET_IN_BITMAP (coloring_allocno_bitmap, 0, i, bi)
        {
-         ALLOCNO_HARD_REGNO (a) = -1;
-         ALLOCNO_ASSIGNED_P (a) = true;
-         ira_assert (ALLOCNO_UPDATED_HARD_REG_COSTS (a) == NULL);
-         ira_assert (ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (a) == NULL);
-         if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+         a = ira_allocnos[i];
+         if (ALLOCNO_COVER_CLASS (a) == NO_REGS)
            {
-             fprintf (ira_dump_file, "      Spill");
-             print_coalesced_allocno (a);
-             fprintf (ira_dump_file, "\n");
+             ALLOCNO_HARD_REGNO (a) = -1;
+             ALLOCNO_ASSIGNED_P (a) = true;
+             ira_assert (ALLOCNO_UPDATED_HARD_REG_COSTS (a) == NULL);
+             ira_assert (ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (a) == NULL);
+             if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+               {
+                 fprintf (ira_dump_file, "      Spill");
+                 print_coalesced_allocno (a);
+                 fprintf (ira_dump_file, "\n");
+               }
+             continue;
+           }
+         sorted_allocnos[n++] = a;
+       }
+      if (n != 0)
+       {
+         setup_allocno_priorities (sorted_allocnos, n);
+         qsort (sorted_allocnos, n, sizeof (ira_allocno_t),
+                allocno_priority_compare_func);
+         for (i = 0; i < n; i++)
+           {
+             a = sorted_allocnos[i];
+             if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+               {
+                 fprintf (ira_dump_file, "      ");
+                 print_coalesced_allocno (a);
+                 fprintf (ira_dump_file, "  -- ");
+               }
+             if (assign_hard_reg (a, false))
+               {
+                 if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+                   fprintf (ira_dump_file, "assign hard reg %d\n",
+                            ALLOCNO_HARD_REGNO (a));
+               }
+             else
+               {
+                 if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+                   fprintf (ira_dump_file, "assign memory\n");
+               }
            }
-         continue;
        }
-      put_allocno_into_bucket (a);
     }
-  push_allocnos_to_stack ();
-  pop_allocnos_from_stack ();
+  else
+    {
+      /* Put the allocnos into the corresponding buckets.  */
+      colorable_allocno_bucket = NULL;
+      uncolorable_allocno_bucket = NULL;
+      EXECUTE_IF_SET_IN_BITMAP (coloring_allocno_bitmap, 0, i, bi)
+       {
+         a = ira_allocnos[i];
+         if (ALLOCNO_COVER_CLASS (a) == NO_REGS)
+           {
+             ALLOCNO_HARD_REGNO (a) = -1;
+             ALLOCNO_ASSIGNED_P (a) = true;
+             ira_assert (ALLOCNO_UPDATED_HARD_REG_COSTS (a) == NULL);
+             ira_assert (ALLOCNO_UPDATED_CONFLICT_HARD_REG_COSTS (a) == NULL);
+             if (internal_flag_ira_verbose > 3 && ira_dump_file != NULL)
+               {
+                 fprintf (ira_dump_file, "      Spill");
+                 print_coalesced_allocno (a);
+                 fprintf (ira_dump_file, "\n");
+               }
+             continue;
+           }
+         put_allocno_into_bucket (a);
+       }
+      push_allocnos_to_stack ();
+      pop_allocnos_from_stack ();
+    }
   if (flag_ira_coalesce)
     /* We don't need coalesced allocnos for ira_reassign_pseudos.  */
     EXECUTE_IF_SET_IN_BITMAP (coloring_allocno_bitmap, 0, i, bi)
@@ -1783,8 +1935,8 @@ color_pass (ira_loop_tree_node_t loop_tree_node)
   /* Color all mentioned allocnos including transparent ones.  */
   color_allocnos ();
   /* Process caps.  They are processed just once.  */
-  if (flag_ira_algorithm == IRA_ALGORITHM_MIXED
-      || flag_ira_algorithm == IRA_ALGORITHM_REGIONAL)
+  if (flag_ira_region == IRA_REGION_MIXED
+      || flag_ira_region == IRA_REGION_ALL)
     EXECUTE_IF_SET_IN_BITMAP (loop_tree_node->all_allocnos, 0, j, bi)
       {
        a = ira_allocnos[j];
@@ -1793,9 +1945,9 @@ color_pass (ira_loop_tree_node_t loop_tree_node)
        /* Remove from processing in the next loop.  */
        bitmap_clear_bit (consideration_allocno_bitmap, j);
        rclass = ALLOCNO_COVER_CLASS (a);
-       if ((flag_ira_algorithm == IRA_ALGORITHM_MIXED
-            && loop_tree_node->reg_pressure[rclass]
-            <= ira_available_class_regs[rclass]))
+       if (flag_ira_region == IRA_REGION_MIXED
+           && (loop_tree_node->reg_pressure[rclass]
+               <= ira_available_class_regs[rclass]))
          {
            mode = ALLOCNO_MODE (a);
            hard_regno = ALLOCNO_HARD_REGNO (a);
@@ -1830,6 +1982,7 @@ color_pass (ira_loop_tree_node_t loop_tree_node)
          mode = ALLOCNO_MODE (a);
          rclass = ALLOCNO_COVER_CLASS (a);
          hard_regno = ALLOCNO_HARD_REGNO (a);
+         /* Use hard register class here.  ??? */
          if (hard_regno >= 0)
            {
              index = ira_class_hard_reg_index[rclass][hard_regno];
@@ -1841,9 +1994,10 @@ color_pass (ira_loop_tree_node_t loop_tree_node)
          if (subloop_allocno == NULL
              || ALLOCNO_CAP (subloop_allocno) != NULL)
            continue;
+         ira_assert (ALLOCNO_COVER_CLASS (subloop_allocno) == rclass);
          ira_assert (bitmap_bit_p (subloop_node->all_allocnos,
                                    ALLOCNO_NUM (subloop_allocno)));
-         if (flag_ira_algorithm == IRA_ALGORITHM_MIXED
+         if ((flag_ira_region == IRA_REGION_MIXED)
              && (loop_tree_node->reg_pressure[rclass]
                  <= ira_available_class_regs[rclass]))
            {
@@ -1989,6 +2143,7 @@ move_spill_restore (void)
              subloop_allocno = subloop_node->regno_allocno_map[regno];
              if (subloop_allocno == NULL)
                continue;
+             ira_assert (rclass == ALLOCNO_COVER_CLASS (subloop_allocno));
              /* We have accumulated cost.  To get the real cost of
                 allocno usage in the loop we should subtract costs of
                 the subloop allocnos.  */
@@ -2014,6 +2169,7 @@ move_spill_restore (void)
          if ((parent = loop_node->parent) != NULL
              && (parent_allocno = parent->regno_allocno_map[regno]) != NULL)
            {
+             ira_assert (rclass == ALLOCNO_COVER_CLASS (parent_allocno));
              exit_freq = ira_loop_edge_freq (loop_node, regno, true);
              enter_freq = ira_loop_edge_freq (loop_node, regno, false);
              if ((hard_regno2 = ALLOCNO_HARD_REGNO (parent_allocno)) < 0)
@@ -2081,13 +2237,15 @@ update_curr_costs (ira_allocno_t a)
        }
       else
        gcc_unreachable ();
-      if (cover_class != ALLOCNO_COVER_CLASS (another_a)
+      if (! ira_reg_classes_intersect_p[cover_class][ALLOCNO_COVER_CLASS
+                                                    (another_a)]
          || ! ALLOCNO_ASSIGNED_P (another_a)
          || (hard_regno = ALLOCNO_HARD_REGNO (another_a)) < 0)
        continue;
       rclass = REGNO_REG_CLASS (hard_regno);
       i = ira_class_hard_reg_index[cover_class][hard_regno];
-      ira_assert (i >= 0);
+      if (i < 0)
+       continue;
       cost = (cp->first == a
              ? ira_register_move_cost[mode][rclass][cover_class]
              : ira_register_move_cost[mode][cover_class][rclass]);
@@ -2103,66 +2261,6 @@ update_curr_costs (ira_allocno_t a)
     }
 }
 
-/* Map: allocno number -> allocno priority.  */
-static int *allocno_priorities;
-
-/* Set up priorities for N allocnos in array
-   CONSIDERATION_ALLOCNOS.  */
-static void
-setup_allocno_priorities (ira_allocno_t *consideration_allocnos, int n)
-{
-  int i, length, nrefs, priority, max_priority, mult;
-  ira_allocno_t a;
-
-  max_priority = 0;
-  for (i = 0; i < n; i++)
-    {
-      a = consideration_allocnos[i];
-      nrefs = ALLOCNO_NREFS (a);
-      ira_assert (nrefs >= 0);
-      mult = floor_log2 (ALLOCNO_NREFS (a)) + 1;
-      ira_assert (mult >= 0);
-      allocno_priorities[ALLOCNO_NUM (a)]
-       = priority
-       = (mult
-          * (ALLOCNO_MEMORY_COST (a) - ALLOCNO_COVER_CLASS_COST (a))
-          * ira_reg_class_nregs[ALLOCNO_COVER_CLASS (a)][ALLOCNO_MODE (a)]);
-      if (priority < 0)
-       priority = -priority;
-      if (max_priority < priority)
-       max_priority = priority;
-    }
-  mult = max_priority == 0 ? 1 : INT_MAX / max_priority;
-  for (i = 0; i < n; i++)
-    {
-      a = consideration_allocnos[i];
-      length = ALLOCNO_EXCESS_PRESSURE_POINTS_NUM (a);
-      if (length <= 0)
-       length = 1;
-      allocno_priorities[ALLOCNO_NUM (a)]
-       = allocno_priorities[ALLOCNO_NUM (a)] * mult / length;
-    }
-}
-
-/* Sort allocnos according to their priorities which are calculated
-   analogous to ones in file `global.c'.  */
-static int
-allocno_priority_compare_func (const void *v1p, const void *v2p)
-{
-  ira_allocno_t a1 = *(const ira_allocno_t *) v1p;
-  ira_allocno_t a2 = *(const ira_allocno_t *) v2p;
-  int pri1, pri2;
-
-  pri1 = allocno_priorities[ALLOCNO_NUM (a1)];
-  pri2 = allocno_priorities[ALLOCNO_NUM (a2)];
-  if (pri2 - pri1)
-    return pri2 - pri1;
-
-  /* If regs are equally good, sort by allocnos, so that the results of
-     qsort leave nothing to chance.  */
-  return ALLOCNO_NUM (a1) - ALLOCNO_NUM (a2);
-}
-
 /* Try to assign hard registers to the unassigned allocnos and
    allocnos conflicting with them or conflicting with allocnos whose
    regno >= START_REGNO.  The function is called after ira_flattening,
@@ -2202,7 +2300,8 @@ ira_reassign_conflict_allocnos (int start_regno)
        continue;
       FOR_EACH_ALLOCNO_CONFLICT (a, conflict_a, aci)
        {
-         ira_assert (cover_class == ALLOCNO_COVER_CLASS (conflict_a));
+         ira_assert (ira_reg_classes_intersect_p
+                     [cover_class][ALLOCNO_COVER_CLASS (conflict_a)]);
          if (bitmap_bit_p (allocnos_to_color, ALLOCNO_NUM (conflict_a)))
            continue;
          bitmap_set_bit (allocnos_to_color, ALLOCNO_NUM (conflict_a));