From 8d90f9c0298713f74874d30bdf155597c33629ae Mon Sep 17 00:00:00 2001 From: Geoffrey Keating Date: Sat, 3 May 2003 23:12:41 +0000 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/simplify-rtx.c | 13 ++++++++++++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0401c869494..c63385c4797 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-05-03 Geoffrey Keating + + * simplify-rtx.c (simplify_relational_operation): Add case for + ! (fabs(x) < 0.0). + 2003-05-03 Bruce Korb * gcc/fixinc/fixincl.tpl(dne): restore this to force merge conflicts diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 92ee19a0529..e4af67564a9 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; } -- 2.30.2