* simplify-rtx.c (simplify_relational_operation): Add case for

	! (fabs(x) < 0.0).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@66440 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0401c86..c63385c 100644 (file)
--- 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 92ee19a..e4af675 100644 (file)
--- 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;
        }