diff options
| author | Roger Sayle <roger@eyesopen.com> | 2003-08-26 21:44:46 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2003-08-26 21:44:46 +0000 |
| commit | 00229de405d3ddbe05a4229a4758b67aee1b88b6 (patch) | |
| tree | f66d45ff83456aa8be9b704e85862705c14f4a6f | |
| parent | b41ead3e3537c589c78911ad0426c22a029cfb46 (diff) | |
| download | gcc-00229de405d3ddbe05a4229a4758b67aee1b88b6.zip gcc-00229de405d3ddbe05a4229a4758b67aee1b88b6.tar.gz gcc-00229de405d3ddbe05a4229a4758b67aee1b88b6.tar.bz2 | |
re PR middle-end/12002 (internal compiler error: in gen_lowpart, at emit-rtl.c:1374)
PR middle-end/12002
* tree.h (SCALAR_FLOAT_TYPE_P, COMPLEX_FLOAT_TYPE_P): New macros.
(FLOAT_TYPE_P): Define in terms of these two new macros.
* fold-const.c (fold <PLUS_EXPR>): Don't convert x+x into x*2.0
for complex floating point types.
* g77.f-torture/compile/12002.f: New test case.
From-SVN: r70821
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/fold-const.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g77.f-torture/compile/12002.f | 5 | ||||
| -rw-r--r-- | gcc/tree.h | 14 |
5 files changed, 31 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 746dec5..6830aee 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2003-08-26 Roger Sayle <roger@eyesopen.com> + + PR middle-end/12002 + * tree.h (SCALAR_FLOAT_TYPE_P, COMPLEX_FLOAT_TYPE_P): New macros. + (FLOAT_TYPE_P): Define in terms of these two new macros. + * fold-const.c (fold <PLUS_EXPR>): Don't convert x+x into x*2.0 + for complex floating point types. + 2003-08-26 Ulrich Weigand <uweigand@de.ibm.com> * config/s390/s390.c (emit_prologue): Don't check literal pool size. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index efa2db9..68a92a2 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -5713,7 +5713,8 @@ fold (tree expr) return non_lvalue (convert (type, arg1)); /* Convert x+x into x*2.0. */ - if (operand_equal_p (arg0, arg1, 0)) + if (operand_equal_p (arg0, arg1, 0) + && SCALAR_FLOAT_TYPE_P (type)) return fold (build (MULT_EXPR, type, arg0, build_real (type, dconst2))); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ba803a1..2cabf34 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2003-08-26 Roger Sayle <roger@eyesopen.com> + PR middle-end/12002 + * g77.f-torture/compile/12002.f: New test case. + +2003-08-26 Roger Sayle <roger@eyesopen.com> + * gcc.dg/20030826-1.c: New test case. 2003-08-26 Matt Kraai <kraai@alumni.cmu.edu> diff --git a/gcc/testsuite/g77.f-torture/compile/12002.f b/gcc/testsuite/g77.f-torture/compile/12002.f new file mode 100644 index 0000000..cd66145 --- /dev/null +++ b/gcc/testsuite/g77.f-torture/compile/12002.f @@ -0,0 +1,5 @@ +C PR middle-end/12002 + COMPLEX TE1 + TE1=-2. + TE1=TE1+TE1 + END @@ -446,13 +446,21 @@ extern void tree_operand_check_failed (int, enum tree_code, (TREE_CODE (TYPE) == INTEGER_TYPE || TREE_CODE (TYPE) == ENUMERAL_TYPE \ || TREE_CODE (TYPE) == BOOLEAN_TYPE || TREE_CODE (TYPE) == CHAR_TYPE) +/* Nonzero if TYPE represents a scalar floating-point type. */ + +#define SCALAR_FLOAT_TYPE_P(TYPE) (TREE_CODE (TYPE) == REAL_TYPE) + +/* Nonzero if TYPE represents a complex floating-point type. */ + +#define COMPLEX_FLOAT_TYPE_P(TYPE) \ + (TREE_CODE (TYPE) == COMPLEX_TYPE \ + && TREE_CODE (TREE_TYPE (TYPE)) == REAL_TYPE) + /* Nonzero if TYPE represents a floating-point type, including complex floating-point types. */ #define FLOAT_TYPE_P(TYPE) \ - (TREE_CODE (TYPE) == REAL_TYPE \ - || (TREE_CODE (TYPE) == COMPLEX_TYPE \ - && TREE_CODE (TREE_TYPE (TYPE)) == REAL_TYPE)) + (SCALAR_FLOAT_TYPE_P (TYPE) || COMPLEX_FLOAT_TYPE_P (TYPE)) /* Nonzero if TYPE represents an aggregate (multi-component) type. */ |