From 9e6a14a4ee8825697eed6fe29800f2abb16713cb Mon Sep 17 00:00:00 2001 From: "H.J. Lu" Date: Sat, 13 Sep 2008 08:47:41 -0700 Subject: re PR rtl-optimization/37489 (const_true_rtx returned for float compare) gcc/ 2008-09-13 H.J. Lu PR rtl-optimization/37489 * cse.c (fold_rtx): Don't return const_true_rtx for float compare if FLOAT_STORE_FLAG_VALUE is undefined. gcc/testsuite/ 2008-09-13 Raksit Ashok PR rtl-optimization/37489 * g++.dg/opt/cse3.C: New. From-SVN: r140344 --- gcc/cse.c | 26 +++++++++++++++++++++----- 1 file changed, 21 insertions(+), 5 deletions(-) (limited to 'gcc/cse.c') diff --git a/gcc/cse.c b/gcc/cse.c index c1effee8f03..b911879bf79 100644 --- a/gcc/cse.c +++ b/gcc/cse.c @@ -3214,17 +3214,24 @@ fold_rtx (rtx x, rtx insn) if (const_arg0 == 0 || const_arg1 == 0) { struct table_elt *p0, *p1; - rtx true_rtx = const_true_rtx, false_rtx = const0_rtx; + rtx true_rtx, false_rtx; enum machine_mode mode_arg1; -#ifdef FLOAT_STORE_FLAG_VALUE if (SCALAR_FLOAT_MODE_P (mode)) { +#ifdef FLOAT_STORE_FLAG_VALUE true_rtx = (CONST_DOUBLE_FROM_REAL_VALUE (FLOAT_STORE_FLAG_VALUE (mode), mode)); +#else + true_rtx = NULL_RTX; +#endif false_rtx = CONST0_RTX (mode); } -#endif + else + { + true_rtx = const_true_rtx; + false_rtx = const0_rtx; + } code = find_comparison_args (code, &folded_arg0, &folded_arg1, &mode_arg0, &mode_arg1); @@ -3332,8 +3339,17 @@ fold_rtx (rtx x, rtx insn) const_arg1)) || (REG_P (folded_arg1) && (REG_QTY (REGNO (folded_arg1)) == ent->comparison_qty)))) - return (comparison_dominates_p (ent->comparison_code, code) - ? true_rtx : false_rtx); + { + if (comparison_dominates_p (ent->comparison_code, code)) + { + if (true_rtx) + return true_rtx; + else + break; + } + else + return false_rtx; + } } } } -- cgit v1.2.1