From 1f36a2ddaac4e1f25258c5c6bbd08f6341549d60 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Sun, 7 Jan 2001 14:40:09 +0100 Subject: simplify-rtx.c (simplify_relational_operation): Always simplify ORDERED and UNORDERED when FLAG_FAST_MATH. * simplify-rtx.c (simplify_relational_operation): Always simplify ORDERED and UNORDERED when FLAG_FAST_MATH. Handle properly UNLE and UNGE. From-SVN: r38775 --- gcc/simplify-rtx.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gcc/simplify-rtx.c') diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 13d693c..a3a1bfe 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1762,6 +1762,12 @@ simplify_relational_operation (code, mode, op0, op1) return simplify_relational_operation (signed_condition (code), mode, tem, const0_rtx); + if (flag_fast_math && code == ORDERED) + return const_true_rtx; + + if (flag_fast_math && code == UNORDERED) + return const0_rtx; + /* For non-IEEE floating-point, if the two operands are equal, we know the result. */ if (rtx_equal_p (op0, op1) @@ -1953,8 +1959,10 @@ simplify_relational_operation (code, mode, op0, op1) case GTU: return op1ltu ? const_true_rtx : const0_rtx; case LE: + case UNLE: return equal || op0lt ? const_true_rtx : const0_rtx; case GE: + case UNGE: return equal || op1lt ? const_true_rtx : const0_rtx; case LEU: return equal || op0ltu ? const_true_rtx : const0_rtx; -- cgit v1.1