public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/15649] New: [3.5 regression] ICE with __builtin_isgreater and -ffast-math
@ 2004-05-26 13:40 reichelt at gcc dot gnu dot org
2004-05-26 13:43 ` [Bug rtl-optimization/15649] " pinskia at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-05-26 13:40 UTC (permalink / raw)
To: gcc-bugs
Compiling the following testcase (which is from PR4765) with
"gcc -ffast-math" causes an ICE on mainline (i686-pc-linux-gnu):
=======================================================
double foo (double x)
{
return __builtin_isgreater(x,0.0) ? 0.0 : x;
}
=======================================================
The error message reads:
PR4765.c: In function `foo':
PR4765.c:3: internal compiler error: in fold, at fold-const.c:8156
Please submit a full bug report, [etc.]
Roger, your patch
http://gcc.gnu.org/ml/gcc-cvs/2004-05/msg00694.html
seems to be responsible for the regression. Could you please have a look?
--
Summary: [3.5 regression] ICE with __builtin_isgreater and -
ffast-math
Product: gcc
Version: 3.5.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: critical
Priority: P2
Component: rtl-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: reichelt at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org,roger at eyesopen dot
com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15649
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/15649] [3.5 regression] ICE with __builtin_isgreater and -ffast-math
2004-05-26 13:40 [Bug rtl-optimization/15649] New: [3.5 regression] ICE with __builtin_isgreater and -ffast-math reichelt at gcc dot gnu dot org
@ 2004-05-26 13:43 ` pinskia at gcc dot gnu dot org
2004-05-29 0:16 ` cvs-commit at gcc dot gnu dot org
2004-05-29 0:26 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-26 13:43 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-05-25 15:30 -------
Confirmed, this is ovbiously a bug as the compare code is one of the UN*_EXPR.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-05-25 15:30:55
date| |
Target Milestone|--- |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15649
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/15649] [3.5 regression] ICE with __builtin_isgreater and -ffast-math
2004-05-26 13:40 [Bug rtl-optimization/15649] New: [3.5 regression] ICE with __builtin_isgreater and -ffast-math reichelt at gcc dot gnu dot org
2004-05-26 13:43 ` [Bug rtl-optimization/15649] " pinskia at gcc dot gnu dot org
@ 2004-05-29 0:16 ` cvs-commit at gcc dot gnu dot org
2004-05-29 0:26 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-05-29 0:16 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-05-28 16:37 -------
Subject: Bug 15649
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: bonzini@gcc.gnu.org 2004-05-28 16:37:08
Modified files:
gcc : ChangeLog c-common.c c-typeck.c dojump.c expr.c
fold-const.c predict.c real.c tree-cfg.c
tree-inline.c tree-pretty-print.c tree.def
gcc/doc : c-tree.texi
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/gcc.c-torture/execute: compare-fp-1.c
compare-fp-2.c
compare-fp-3.c
compare-fp-3.x
compare-fp-4.c
compare-fp-4.x
gcc/testsuite/gcc.dg: pr15649-1.c
Log message:
gcc/ChangeLog:
2004-05-27 Paolo Bonzini <bonzini@gnu.org>
Roger Sayle <roger@eyesopen.com>
PR rtl-optimization/15649
Add LTGT_EXPR and improve pretty-printing of unordered
comparisons.
* c-common.c (c_common_truthvalue_conversion):
Handle LTGT_EXPR.
* c-typeck.c (build_binary_op): Likewise.
* dojump.c (do_jump): Likewise.
* expr.c (expand_expr_real_1, do_store_flag): Likewise.
* predict.c (tree_predict_by_opcode): Likewise.
* real.c (real_compare): Likewise.
* tree-cfg.c (verify_expr): Likewise.
* tree-inline.c (estimate_num_insns_1): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
Handle ORDERED_EXPR, UNORDERED_EXPR.
(op_symbol): Print unordered comparisons differently
than ordered ones.
* tree.def (LTGT_EXPR): New '<' tree code.
* doc/c-tree.texi (Expressions): Document floating-point
comparison nodes.
Fold comparisons between floating point values.
* fold-const.c (enum comparison_code): New, from
#define'd constants. Define compcodes for unordered
comparisons and for invalid transformations.
(invert_tree_comparison): Add "honor_nans" parameter.
(fold_truthop): Revamp to work on floating-point types too.
(comparison_to_compcode): Support unordered comparisons.
Use new enum comparison_code.
(compcode_to_comparison): Likewise.
(combine_compcodes): New function.
(invert_truthvalue): Let invert_tree_comparison decide
whether it is valid to fold the comparison. Fold ORDERED
and UNORDERED even if flag_unsafe_math_optimizations is off,
and the remaining even if flag_unsafe_math_optimizations
is off but we are under -fno-trapping-math.
(fold_relational_const): Integer modes do not honor NaNs.
gcc/testsuite/ChangeLog:
2004-05-27 Paolo Bonzini <bonzini@gnu.org>
* gcc.c-torture/compare-fp-1.c, gcc.c-torture/compare-fp-2.c,
gcc.c-torture/compare-fp-3.c, gcc.c-torture/compare-fp-4.c,
gcc.c-torture/compare-fp-3.x, gcc.c-torture/compare-fp-4.x,
gcc.c-torture/pr15649-1.c: New.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.3772&r2=2.3773
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-common.c.diff?cvsroot=gcc&r1=1.501&r2=1.502
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-typeck.c.diff?cvsroot=gcc&r1=1.304&r2=1.305
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dojump.c.diff?cvsroot=gcc&r1=1.16&r2=1.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&r1=1.648&r2=1.649
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&r1=1.382&r2=1.383
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/predict.c.diff?cvsroot=gcc&r1=1.104&r2=1.105
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/real.c.diff?cvsroot=gcc&r1=1.141&r2=1.142
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&r1=2.4&r2=2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-inline.c.diff?cvsroot=gcc&r1=1.102&r2=1.103
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-pretty-print.c.diff?cvsroot=gcc&r1=2.2&r2=2.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree.def.diff?cvsroot=gcc&r1=1.76&r2=1.77
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/doc/c-tree.texi.diff?cvsroot=gcc&r1=1.54&r2=1.55
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3784&r2=1.3785
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-3.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-3.x.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-4.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/compare-fp-4.x.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/pr15649-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15649
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug rtl-optimization/15649] [3.5 regression] ICE with __builtin_isgreater and -ffast-math
2004-05-26 13:40 [Bug rtl-optimization/15649] New: [3.5 regression] ICE with __builtin_isgreater and -ffast-math reichelt at gcc dot gnu dot org
2004-05-26 13:43 ` [Bug rtl-optimization/15649] " pinskia at gcc dot gnu dot org
2004-05-29 0:16 ` cvs-commit at gcc dot gnu dot org
@ 2004-05-29 0:26 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-29 0:26 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-05-28 16:55 -------
Fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15649
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2004-05-28 16:55 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-05-26 13:40 [Bug rtl-optimization/15649] New: [3.5 regression] ICE with __builtin_isgreater and -ffast-math reichelt at gcc dot gnu dot org
2004-05-26 13:43 ` [Bug rtl-optimization/15649] " pinskia at gcc dot gnu dot org
2004-05-29 0:16 ` cvs-commit at gcc dot gnu dot org
2004-05-29 0:26 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).