[RTL-ifcvt] PR rtl-optimization/67481: Look more deeply for CCmode sets during if...

	PR rtl-optimization/67481
	* ifcvt.c (contains_ccmode_rtx_p): New function.
	(insn_valid_noce_process_p): Use it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228195 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b3419b6..32875df 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2015-09-28  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
+       PR rtl-optimization/67481
+       * ifcvt.c (contains_ccmode_rtx_p): New function.
+       (insn_valid_noce_process_p): Use it.
+
+2015-09-28  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
+
        PR rtl-optimization/67456
        PR rtl-optimization/67464
        PR rtl-optimization/67465

diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index 2b63216..7ab738e 100644 (file)
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -1761,6 +1761,19 @@ noce_try_cmove (struct noce_if_info *if_info)
   return FALSE;
 }
 
+/* Return true if X contains a conditional code mode rtx.  */
+
+static bool
+contains_ccmode_rtx_p (rtx x)
+{
+  subrtx_iterator::array_type array;
+  FOR_EACH_SUBRTX (iter, array, x, ALL)
+    if (GET_MODE_CLASS (GET_MODE (*iter)) == MODE_CC)
+      return true;
+
+  return false;
+}
+
 /* Helper for bb_valid_for_noce_process_p.  Validate that
    the rtx insn INSN is a single set that does not set
    the conditional register CC and is in general valid for
@@ -1779,6 +1792,7 @@ insn_valid_noce_process_p (rtx_insn *insn, rtx cc)
   /* Currently support only simple single sets in test_bb.  */
   if (!sset
       || !noce_operand_ok (SET_DEST (sset))
+      || contains_ccmode_rtx_p (SET_DEST (sset))
       || !noce_operand_ok (SET_SRC (sset)))
     return false;