From: Sujoy Saraswati <sujoy.saraswati@hpe.com>
Date: Sun, 20 Dec 2015 09:20:57 +0000 (+0000)
Subject: This series of patches fix PR61441.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afeb246c1bb0b5496dfd133c70fef9d9fff722ac;p=gcc.git

This series of patches fix PR61441.

This series of patches fix PR61441. This patch removes flag_errno_math check
for RINT, treating it similar to nearbyint.

Bootstrapped & regression-tested on x86_64-linux-gnu.

gcc/
	* match.pd (f(x) -> x): Removed flag_errno_math check for RINT.

From-SVN: r231858
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b7a146961f6..d8b5be3a1e7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-20  Sujoy Saraswati  <sujoy.saraswati@hpe.com>
+
+	PR tree-optimization/61441
+	* match.pd (f(x) -> x): Removed flag_errno_math check for RINT.
+
 2015-12-20  Sujoy Saraswati  <sujoy.saraswati@hpe.com>
 
 	PR tree-optimization/61441
diff --git a/gcc/match.pd b/gcc/match.pd
index 5ac30eb078f..1674a146790 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -2566,16 +2566,10 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
   (fns (fns @0))
   (fns @0)))
 /* f(x) -> x if x is integer valued and f does nothing for such values.  */
-(for fns (TRUNC FLOOR CEIL ROUND NEARBYINT)
+(for fns (TRUNC FLOOR CEIL ROUND NEARBYINT RINT)
  (simplify
   (fns integer_valued_real_p@0)
   @0))
-/* Same for rint.  We have to check flag_errno_math because
-   integer_valued_real_p accepts +Inf, -Inf and NaNs as integers.  */
-(if (!flag_errno_math)
- (simplify
-  (RINT integer_valued_real_p@0)
-  @0))
 
 /* hypot(x,0) and hypot(0,x) -> abs(x).  */
 (simplify