combine.c i (set_nonzero_bits_and_sign_copies): Split code updating rsp->sign_bit_cop...

2015-05-12  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    * combine.c i(set_nonzero_bits_and_sign_copies): Split code updating
    rsp->sign_bit_copies and rsp->nonzero_bits into ...
    (update_rsp_from_reg_equal): This.  Also use REG_EQUAL note on src if
    present to get more accurate information about the number of sign bit
    copies and non zero bits.

From-SVN: r223034

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 54f80c572b66eba83db837e9b2c942e64e330d08..0af90650f647ffe4db7f8649c8de0033969ac7c1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2015-05-12  Thomas Preud'homme  <thomas.preudhomme@arm.com>
+
+       * combine.c i(set_nonzero_bits_and_sign_copies): Split code updating
+       rsp->sign_bit_copies and rsp->nonzero_bits into ...
+       (update_rsp_from_reg_equal): This.  Also use REG_EQUAL note on src if
+       present to get more accurate information about the number of sign bit
+       copies and non zero bits.
+
 2015-05-12  Richard Biener  <rguenther@suse.de>
 
        * tree-vect-slp.c (vect_build_slp_tree_1): For BB vectorization

diff --git a/gcc/combine.c b/gcc/combine.c
index d8ba220e1e14bb5baac06d2d6f6649b0644024f2..274a2d93dbbd862b550ed945d3ed32ac35d81789 100644 (file)
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -1668,6 +1668,51 @@ sign_extend_short_imm (rtx src, machine_mode mode, unsigned int prec)
 }
 #endif
 
+/* Update RSP for pseudo-register X from INSN's REG_EQUAL note (if one exists)
+   and SET.  */
+
+static void
+update_rsp_from_reg_equal (reg_stat_type *rsp, rtx_insn *insn, const_rtx set,
+                          rtx x)
+{
+  rtx reg_equal_note = insn ? find_reg_equal_equiv_note (insn) : NULL_RTX;
+  unsigned HOST_WIDE_INT bits = 0;
+  rtx reg_equal = NULL, src = SET_SRC (set);
+  unsigned int num = 0;
+
+  if (reg_equal_note)
+    reg_equal = XEXP (reg_equal_note, 0);
+
+#ifdef SHORT_IMMEDIATES_SIGN_EXTEND
+  src = sign_extend_short_imm (src, GET_MODE (x), BITS_PER_WORD);
+  if (reg_equal)
+    reg_equal = sign_extend_short_imm (reg_equal, GET_MODE (x), BITS_PER_WORD);
+#endif
+
+  /* Don't call nonzero_bits if it cannot change anything.  */
+  if (rsp->nonzero_bits != ~(unsigned HOST_WIDE_INT) 0)
+    {
+      bits = nonzero_bits (src, nonzero_bits_mode);
+      if (reg_equal && bits)
+       bits &= nonzero_bits (reg_equal, nonzero_bits_mode);
+      rsp->nonzero_bits |= bits;
+    }
+
+  /* Don't call num_sign_bit_copies if it cannot change anything.  */
+  if (rsp->sign_bit_copies != 1)
+    {
+      num = num_sign_bit_copies (SET_SRC (set), GET_MODE (x));
+      if (reg_equal && num != GET_MODE_PRECISION (GET_MODE (x)))
+       {
+         unsigned int numeq = num_sign_bit_copies (reg_equal, GET_MODE (x));
+         if (num == 0 || numeq > num)
+           num = numeq;
+       }
+      if (rsp->sign_bit_copies == 0 || num < rsp->sign_bit_copies)
+       rsp->sign_bit_copies = num;
+    }
+}
+
 /* Called via note_stores.  If X is a pseudo that is narrower than
    HOST_BITS_PER_WIDE_INT and is being set, record what bits are known zero.
 
@@ -1683,7 +1728,6 @@ static void
 set_nonzero_bits_and_sign_copies (rtx x, const_rtx set, void *data)
 {
   rtx_insn *insn = (rtx_insn *) data;
-  unsigned int num;
 
   if (REG_P (x)
       && REGNO (x) >= FIRST_PSEUDO_REGISTER
@@ -1743,21 +1787,7 @@ set_nonzero_bits_and_sign_copies (rtx x, const_rtx set, void *data)
       if (SET_DEST (set) == x
          || (paradoxical_subreg_p (SET_DEST (set))
              && SUBREG_REG (SET_DEST (set)) == x))
-       {
-         rtx src = SET_SRC (set);
-
-#ifdef SHORT_IMMEDIATES_SIGN_EXTEND
-         src = sign_extend_short_imm (src, GET_MODE (x), BITS_PER_WORD);
-#endif
-
-         /* Don't call nonzero_bits if it cannot change anything.  */
-         if (rsp->nonzero_bits != ~(unsigned HOST_WIDE_INT) 0)
-           rsp->nonzero_bits |= nonzero_bits (src, nonzero_bits_mode);
-         num = num_sign_bit_copies (SET_SRC (set), GET_MODE (x));
-         if (rsp->sign_bit_copies == 0
-             || rsp->sign_bit_copies > num)
-           rsp->sign_bit_copies = num;
-       }
+       update_rsp_from_reg_equal (rsp, insn, set, x);
       else
        {
          rsp->nonzero_bits = GET_MODE_MASK (GET_MODE (x));