diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/simplify-rtx.c | 8 |
2 files changed, 14 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c1141eb8e4e..14df3834582 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +Sun Jan 7 14:39:07 MET 2001 Jan Hubicka <jh@suse.cz> + + * simplify-rtx.c (simplify_relational_operation): Always simplify + ORDERED and UNORDERED when FLAG_FAST_MATH. Handle properly UNLE + and UNGE. + Sun Jan 7 14:35:13 MET 2001 Jan Hubicka <jh@suse.cz> * combine.c (combine_simplify_rtx): Recognize the unordered compares. diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 13d693cbdfe..a3a1bfea499 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; |
