diff mbox

[RS6000,3/7] rtx_costs for ROTATE/ASHIFT inside AND

Message ID 20150624005212.GX1723@bubble.grove.modra.org
State New
Headers show

Commit Message

Alan Modra June 24, 2015, 12:52 a.m. UTC 
The odd patterns for rldic and rldicr that require an insn predicate
that examines both the shift count and the mask, must be costed at a
point where both count and mask are available.

Also tidies the mode passed to a couple of predicates.

	* config/rs6000/rs6000.c (rs6000_rtx_costs): Pass mode to
	reg_or_add_cint_operand and reg_or_sub_cint_operand.  Handle
	rldic and rldicr insns under AND.
diff mbox

Patch

diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
index 5f42192..a4a72f3 100644
--- a/gcc/config/rs6000/rs6000.c
+++ b/gcc/config/rs6000/rs6000.c
@@ -30681,9 +30681,9 @@  rs6000_rtx_costs (rtx x, machine_mode mode, int outer_code,
 	  return true;
 	}
       else if ((outer_code == PLUS
-		&& reg_or_add_cint_operand (x, VOIDmode))
+		&& reg_or_add_cint_operand (x, mode))
 	       || (outer_code == MINUS
-		   && reg_or_sub_cint_operand (x, VOIDmode))
+		   && reg_or_sub_cint_operand (x, mode))
 	       || ((outer_code == SET
 		    || outer_code == IOR
 		    || outer_code == XOR)
@@ -30801,7 +30801,6 @@  rs6000_rtx_costs (rtx x, machine_mode mode, int outer_code,
 	}
       /* FALLTHRU */
 
-    case AND:
     case CLZ:
     case IOR:
     case XOR:
@@ -30809,6 +30808,24 @@  rs6000_rtx_costs (rtx x, machine_mode mode, int outer_code,
       *total = COSTS_N_INSNS (1);
       return false;
 
+    case AND:
+      *total = COSTS_N_INSNS (1);
+      if (mode == DImode)
+	{
+	  rtx op0 = XEXP (x, 0);
+	  if ((GET_CODE (op0) == ASHIFT || GET_CODE (op0) == ROTATE)
+	      && CONST_INT_P (XEXP (op0, 1)))
+	    {
+	      rtx op1 = XEXP (x, 1);
+	      if (includes_rldic_lshift_p (XEXP (op0, 1), op1))
+		return true;
+	      if (GET_CODE (op0) == ASHIFT
+		  && includes_rldicr_lshift_p (XEXP (op0, 1), op1))
+		return true;
+	    }
+	}
+      return false;
+
     case ASHIFT:
     case ASHIFTRT:
     case LSHIFTRT: