re PR middle-end/28796 (__builtin_nan() and __builtin_unordered() inconsistent)

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.

From-SVN: r117928
This commit is contained in:
Richard Guenther 2006-10-21 10:13:13 +00:00 committed by Richard Biener
parent 1faf92ae79
commit bdbb046092
2 changed files with 10 additions and 2 deletions

View File

@ -1,3 +1,11 @@
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

View File

@ -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