match.pd ((T)(T2)x -> (T)x): Remove restriction on final precision not matching mode...

2016-07-29  Richard Biener  <rguenther@suse.de>

	* match.pd ((T)(T2)x -> (T)x): Remove restriction on final
	precision not matching mode precision.

From-SVN: r237838

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e37b77c5732d3236a359bb654e8d682b82018139..109ff1c8bd2df8ef5e50adccac26b4cdfebe4834 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-29  Richard Biener  <rguenther@suse.de>
+
+       * match.pd ((T)(T2)x -> (T)x): Remove restriction on final
+       precision not matching mode precision.
+
 2016-06-28  John David Anglin  <danglin@gcc.gnu.org>
 
        * config/pa/pa.md (call_symref_64bit_post_reload): Don't call

diff --git a/gcc/match.pd b/gcc/match.pd
index 980b73b9a191469caf47504556ba2c0c80792a22..b24bfb47de0a2cf762629f2ce12c9dec1e89abd3 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1652,14 +1652,11 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
        float or both integer, we don't need the middle conversion if the
        former is wider than the latter and doesn't change the signedness
        (for integers).  Avoid this if the final type is a pointer since
-       then we sometimes need the middle conversion.  Likewise if the
-       final type has a precision not equal to the size of its mode.  */
+       then we sometimes need the middle conversion.  */
     (if (((inter_int && inside_int) || (inter_float && inside_float))
         && (final_int || final_float)
         && inter_prec >= inside_prec
-        && (inter_float || inter_unsignedp == inside_unsignedp)
-        && ! (final_prec != GET_MODE_PRECISION (TYPE_MODE (type))
-              && TYPE_MODE (type) == TYPE_MODE (inter_type)))
+        && (inter_float || inter_unsignedp == inside_unsignedp))
      (ocvt @0))
 
     /* If we have a sign-extension of a zero-extended value, we can
@@ -1692,9 +1689,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
         && ((inter_unsignedp && inter_prec > inside_prec)
             == (final_unsignedp && final_prec > inter_prec))
         && ! (inside_ptr && inter_prec != final_prec)
-        && ! (final_ptr && inside_prec != inter_prec)
-        && ! (final_prec != GET_MODE_PRECISION (TYPE_MODE (type))
-              && TYPE_MODE (type) == TYPE_MODE (inter_type)))
+        && ! (final_ptr && inside_prec != inter_prec))
      (ocvt @0))
 
     /* A truncation to an unsigned type (a zero-extension) should be