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 30c186a9b27eb2aeb3ad196f6ed3e6a405a55c2e..a50d32d6ef8de8a50b34b844836405b5d23d7a45 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/match.pd b/gcc/match.pd
index 1d80613fdf88104de374dd2409da3ead7a7baab0..894cc14e5f2dbe522a13b7599a3f5145ecb590f9 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.  */