diff options
| author | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-08-26 21:44:46 +0000 |
|---|---|---|
| committer | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2003-08-26 21:44:46 +0000 |
| commit | 4b69983dc66a8d9910642c9d968fc44aa6fd37f3 (patch) | |
| tree | f66d45ff83456aa8be9b704e85862705c14f4a6f | |
| parent | 8118b31aa67ca994e23be1393372de8c98cd818a (diff) | |
| download | ppe42-gcc-4b69983dc66a8d9910642c9d968fc44aa6fd37f3.tar.gz ppe42-gcc-4b69983dc66a8d9910642c9d968fc44aa6fd37f3.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@70821 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 746dec528af..6830aeef16d 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 efa2db96637..68a92a2ed38 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 ba803a16550..2cabf340166 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 00000000000..cd661459f93 --- /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 diff --git a/gcc/tree.h b/gcc/tree.h index 6bceb7cc1d4..892057d9899 100644 --- a/gcc/tree.h +++ b/gcc/tree.h @@ -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. */ |
