match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the conversion.

2016-10-12  Richard Biener  <rguenther@suse.de>

	* match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint
	on the conversion.

From-SVN: r241022

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 30c186a..a50d32d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2016-10-12  Richard Biener  <rguenther@suse.de>
 
+       * match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint
+       on the conversion.
+
+2016-10-12  Richard Biener  <rguenther@suse.de>
+
        * tree-ssa-propagate.c
        (substitute_and_fold_dom_walker::before_dom_children): Do not
        ignore ASSERT_EXPRs but only preserve them.

diff --git a/gcc/match.pd b/gcc/match.pd
index 1d80613..894cc14 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1783,10 +1783,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 (simplify
   (mult (convert1? (exact_div @0 @1)) (convert2? @2))
   /* We cannot use matching captures here, since in the case of
-     constants we don't see the second conversion.  Look through
-     a sign-changing or widening conversions.  */
-  (if (operand_equal_p (@1, @2, 0)
-       && element_precision (@0) <= element_precision (type))
+     constants we don't see the second conversion.  */
+  (if (operand_equal_p (@1, @2, 0))
    (convert @0)))
 
 /* Canonicalization of binary operations.  */