aarch64: Fix failure in cmpimm_branch_1.c
authorRichard Sandiford <richard.sandiford@arm.com>
Sat, 25 Jan 2020 10:39:06 +0000 (10:39 +0000)
committerRichard Sandiford <richard.sandiford@arm.com>
Mon, 27 Jan 2020 15:13:00 +0000 (15:13 +0000)
gcc.target/aarch64/cmpimm_branch_1.c started failing after Bernd's
fix to make combine take the costs of jumps into account
(g:391500af1932e696a007).  This is because the rtx costs
of *compare_condjump<GPI:mode> were higher than the costs
of the instructions it combines.

2020-01-27  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64.c (aarch64_if_then_else_costs): Match
jump conditions for *compare_condjump<GPI:mode>.

gcc/ChangeLog
gcc/config/aarch64/aarch64.c

index 1759f1bffe6ffa93985ab3dba98cc2c22b518565..5bbe0e313518aa9e5f19eacaec3c94c088019a5e 100644 (file)
@@ -1,3 +1,8 @@
+2020-01-27  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * config/aarch64/aarch64.c (aarch64_if_then_else_costs): Match
+       jump conditions for *compare_condjump<GPI:mode>.
+
 2020-01-27  David Malcolm  <dmalcolm@redhat.com>
 
        PR analyzer/93276
index 3437fff6811a3c68c3f30454ee00953ea702b68a..11197bd033ea17cdfb709cd6ad266d61fe2b1746 100644 (file)
@@ -11020,6 +11020,8 @@ aarch64_if_then_else_costs (rtx op0, rtx op1, rtx op2, int *cost, bool speed)
   rtx inner;
   rtx comparator;
   enum rtx_code cmpcode;
+  const struct cpu_cost_table *extra_cost
+    = aarch64_tune_params.insn_extra_cost;
 
   if (COMPARISON_P (op0))
     {
@@ -11054,8 +11056,17 @@ aarch64_if_then_else_costs (rtx op0, rtx op1, rtx op2, int *cost, bool speed)
                    /* CBZ/CBNZ.  */
                    *cost += rtx_cost (inner, VOIDmode, cmpcode, 0, speed);
 
-               return true;
-             }
+                 return true;
+               }
+             if (register_operand (inner, VOIDmode)
+                 && aarch64_imm24 (comparator, VOIDmode))
+               {
+                 /* SUB and SUBS.  */
+                 *cost += COSTS_N_INSNS (2);
+                 if (speed)
+                   *cost += extra_cost->alu.arith * 2;
+                 return true;
+               }
            }
          else if (cmpcode == LT || cmpcode == GE)
            {