2006-10-21 Richard Guenther <rguenther@suse.de>

	PR middle-end/28796
	* simplify-rtx.c (simplify_const_relational_operation):
	Do not constant-fold ORDERED and UNORDERED for
	flag_unsafe_math_optimizations but only we do not need to
	honor NaNs for the given mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@117928 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9719982..09185e1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,13 @@
 2006-10-21  Richard Guenther  <rguenther@suse.de>
 
+       PR middle-end/28796
+       * simplify-rtx.c (simplify_const_relational_operation):
+       Do not constant-fold ORDERED and UNORDERED for
+       flag_unsafe_math_optimizations but only we do not need to
+       honor NaNs for the given mode.
+
+2006-10-21  Richard Guenther  <rguenther@suse.de>
+
        PR target/29512
        * config/i386/i386.c (classify_argument): Remove redundant
        walking of the BINFOs.

diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index 3b12b20..fee07f9 100644 (file)
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -3747,10 +3747,10 @@ simplify_const_relational_operation (enum rtx_code code,
     return simplify_const_relational_operation (signed_condition (code),
                                                mode, tem, const0_rtx);
 
-  if (flag_unsafe_math_optimizations && code == ORDERED)
+  if (! HONOR_NANS (mode) && code == ORDERED)
     return const_true_rtx;
 
-  if (flag_unsafe_math_optimizations && code == UNORDERED)
+  if (! HONOR_NANS (mode) && code == UNORDERED)
     return const0_rtx;
 
   /* For modes without NaNs, if the two operands are equal, we know the