diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2014-12-10 21:26:05 +0100 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2014-12-10 20:26:05 +0000 |
| commit | 1b457aa45d402df7fbf1dbd818f6d38a4c447aaa (patch) | |
| tree | e0456a7b658d50a8d4d9e6f5d4d8aa1587c2f272 /gcc/simplify-rtx.c | |
| parent | 1c4967b998b0171712d7a208c6bb68528a5449a1 (diff) | |
| download | gcc-1b457aa45d402df7fbf1dbd818f6d38a4c447aaa.zip gcc-1b457aa45d402df7fbf1dbd818f6d38a4c447aaa.tar.gz gcc-1b457aa45d402df7fbf1dbd818f6d38a4c447aaa.tar.bz2 | |
real.h (HONOR_NANS): Replace macro with 3 overloaded declarations.
2014-12-10 Marc Glisse <marc.glisse@inria.fr>
* real.h (HONOR_NANS): Replace macro with 3 overloaded declarations.
* real.c: Include rtl.h and options.h.
(HONOR_NANS): Define three overloads.
* builtins.c (fold_builtin_classify, fold_builtin_unordered_cmp):
Simplify argument of HONOR_NANS.
* fold-const.c (combine_comparisons, fold_truth_not_expr,
fold_cond_expr_with_comparison, merge_truthop_with_opposite_arm,
fold_comparison, fold_binary_loc): Likewise.
* ifcvt.c (noce_try_move, noce_try_minmax): Likewise.
* ipa-inline-analysis.c (add_clause,
set_cond_stmt_execution_predicate): Likewise.
* match.pd: Likewise.
* rtlanal.c (may_trap_p_1): Likewise.
* simplify-rtx.c (simplify_const_relational_operation): Likewise.
* tree-if-conv.c (parse_predicate): Likewise.
* tree-ssa-ccp.c (valid_lattice_transition): Likewise.
* tree-ssa-ifcombine.c (ifcombine_ifandif): Likewise.
* tree-ssa-phiopt.c (minmax_replacement, neg_replacement): Likewise.
* tree-ssa-reassoc.c (eliminate_using_constants): Likewise.
* tree-ssa-tail-merge.c (gimple_equal_p): Likewise.
From-SVN: r218605
Diffstat (limited to 'gcc/simplify-rtx.c')
| -rw-r--r-- | gcc/simplify-rtx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index 1cbb157..5afbc02 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -4754,7 +4754,7 @@ simplify_const_relational_operation (enum rtx_code code, result except if they have side-effects. Even with NaNs we know the result of unordered comparisons and, if signaling NaNs are irrelevant, also the result of LT/GT/LTGT. */ - if ((! HONOR_NANS (GET_MODE (trueop0)) + if ((! HONOR_NANS (trueop0) || code == UNEQ || code == UNLE || code == UNGE || ((code == LT || code == GT || code == LTGT) && ! HONOR_SNANS (GET_MODE (trueop0)))) |