From: Geoffrey Keating <geoffk@apple.com>
Date: Sat, 3 May 2003 23:12:41 +0000 (+0000)
Subject: simplify-rtx.c (simplify_relational_operation): Add case for ! (fabs(x) < 0.0).
X-Git-Tag: releases/gcc-3.4.0~6830
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=8d90f9c0298713f74874d30bdf155597c33629ae;p=thirdparty%2Fgcc.git

simplify-rtx.c (simplify_relational_operation): Add case for ! (fabs(x) < 0.0).

	* simplify-rtx.c (simplify_relational_operation): Add case for
	! (fabs(x) < 0.0).

From-SVN: r66440
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0401c869494d..c63385c47971 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-05-03  Geoffrey Keating  <geoffk@apple.com>
+
+	* simplify-rtx.c (simplify_relational_operation): Add case for
+	! (fabs(x) < 0.0).
+
 2003-05-03  Bruce Korb  <bkorb@gnu.org>
 
 	* gcc/fixinc/fixincl.tpl(dne): restore this to force merge conflicts
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index 92ee19a0529b..e4af67564a98 100644
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -2381,10 +2381,21 @@ simplify_relational_operation (code, mode, op0, op1)
 	      tem = GET_CODE (trueop0) == FLOAT_EXTEND ? XEXP (trueop0, 0)
 						       : trueop0;
 	      if (GET_CODE (tem) == ABS)
-		return const1_rtx;
+		return const_true_rtx;
 	    }
 	  break;
 
+	case UNGE:
+	  /* Optimize ! (abs(x) < 0.0).  */
+	  if (trueop1 == CONST0_RTX (mode))
+	    {
+	      tem = GET_CODE (trueop0) == FLOAT_EXTEND ? XEXP (trueop0, 0)
+						       : trueop0;
+	      if (GET_CODE (tem) == ABS)
+		return const_true_rtx;
+	    }
+	  break;
+	  
 	default:
 	  break;
 	}