diff options
| author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-01-07 13:40:09 +0000 |
|---|---|---|
| committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-01-07 13:40:09 +0000 |
| commit | 79b403d418ab3d320ab9fde66539fd42b76c848c (patch) | |
| tree | 32465aa9478284ae595a93d764dc43faec17562c | |
| parent | b467856b92bc127c2bf2859d3b4a0252431e9098 (diff) | |
| download | gcc-79b403d418ab3d320ab9fde66539fd42b76c848c.tar.gz | |
* simplify-rtx.c (simplify_relational_operation): Always simplify
ORDERED and UNORDERED when FLAG_FAST_MATH. Handle properly UNLE
and UNGE.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@38775 138bc75d-0d04-0410-961f-82ee72b054a4
| -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; |