diff options
| author | Roger Sayle <roger@eyesopen.com> | 2006-06-02 23:41:12 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2006-06-02 23:41:12 +0000 |
| commit | 9734ebafb946f742faa6217ed74101a7237559a8 (patch) | |
| tree | 22f6b82e122dd9c6f89ed551047002cdf2f5abff /gcc/fold-const.c | |
| parent | 8659e538c5782559a73228b9c04e1d44a0f21d6f (diff) | |
| download | gcc-9734ebafb946f742faa6217ed74101a7237559a8.zip gcc-9734ebafb946f742faa6217ed74101a7237559a8.tar.gz gcc-9734ebafb946f742faa6217ed74101a7237559a8.tar.bz2 | |
fold-const.c (fold_unary): Ensure folded expressions are type correct.
* fold-const.c (fold_unary) <CONJ_EXPR>: Ensure folded expressions
are type correct. Clean-up.
<REALPART_EXPR>: Likewise. Optimize creal(~z) as creal(z).
<IMAGPART_EXPR>: Likewise. Optimize cimag(~z) as -cimag(z).
From-SVN: r114330
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 89 |
1 files changed, 55 insertions, 34 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 19058b2..7930bb4 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7548,21 +7548,22 @@ fold_unary (enum tree_code code, tree type, tree op0) case CONJ_EXPR: if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) return fold_convert (type, arg0); - else if (TREE_CODE (arg0) == COMPLEX_EXPR) - return build2 (COMPLEX_EXPR, type, - TREE_OPERAND (arg0, 0), - negate_expr (TREE_OPERAND (arg0, 1))); - else if (TREE_CODE (arg0) == COMPLEX_CST) - return build_complex (type, TREE_REALPART (arg0), - negate_expr (TREE_IMAGPART (arg0))); - else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) - return fold_build2 (TREE_CODE (arg0), type, - fold_build1 (CONJ_EXPR, type, - TREE_OPERAND (arg0, 0)), - fold_build1 (CONJ_EXPR, type, - TREE_OPERAND (arg0, 1))); - else if (TREE_CODE (arg0) == CONJ_EXPR) - return TREE_OPERAND (arg0, 0); + if (TREE_CODE (arg0) == COMPLEX_EXPR) + { + tree itype = TREE_TYPE (type); + tree rpart = fold_convert (itype, TREE_OPERAND (arg0, 0)); + tree ipart = fold_convert (itype, TREE_OPERAND (arg0, 1)); + return fold_build2 (COMPLEX_EXPR, type, rpart, negate_expr (ipart)); + } + if (TREE_CODE (arg0) == COMPLEX_CST) + { + tree itype = TREE_TYPE (type); + tree rpart = fold_convert (itype, TREE_REALPART (arg0)); + tree ipart = fold_convert (itype, TREE_IMAGPART (arg0)); + return build_complex (type, rpart, negate_expr (ipart)); + } + if (TREE_CODE (arg0) == CONJ_EXPR) + return fold_convert (type, TREE_OPERAND (arg0, 0)); return NULL_TREE; case BIT_NOT_EXPR: @@ -7614,34 +7615,54 @@ fold_unary (enum tree_code code, tree type, tree op0) case REALPART_EXPR: if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) - return NULL_TREE; - else if (TREE_CODE (arg0) == COMPLEX_EXPR) + return fold_convert (type, arg0); + if (TREE_CODE (arg0) == COMPLEX_EXPR) return omit_one_operand (type, TREE_OPERAND (arg0, 0), TREE_OPERAND (arg0, 1)); - else if (TREE_CODE (arg0) == COMPLEX_CST) - return TREE_REALPART (arg0); - else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) - return fold_build2 (TREE_CODE (arg0), type, - fold_build1 (REALPART_EXPR, type, - TREE_OPERAND (arg0, 0)), - fold_build1 (REALPART_EXPR, type, - TREE_OPERAND (arg0, 1))); + if (TREE_CODE (arg0) == COMPLEX_CST) + return fold_convert (type, TREE_REALPART (arg0)); + if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) + { + tree itype = TREE_TYPE (TREE_TYPE (arg0)); + tem = fold_build2 (TREE_CODE (arg0), itype, + fold_build1 (REALPART_EXPR, itype, + TREE_OPERAND (arg0, 0)), + fold_build1 (REALPART_EXPR, itype, + TREE_OPERAND (arg0, 1))); + return fold_convert (type, tem); + } + if (TREE_CODE (arg0) == CONJ_EXPR) + { + tree itype = TREE_TYPE (TREE_TYPE (arg0)); + tem = fold_build1 (REALPART_EXPR, itype, TREE_OPERAND (arg0, 0)); + return fold_convert (type, tem); + } return NULL_TREE; case IMAGPART_EXPR: if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) return fold_convert (type, integer_zero_node); - else if (TREE_CODE (arg0) == COMPLEX_EXPR) + if (TREE_CODE (arg0) == COMPLEX_EXPR) return omit_one_operand (type, TREE_OPERAND (arg0, 1), TREE_OPERAND (arg0, 0)); - else if (TREE_CODE (arg0) == COMPLEX_CST) - return TREE_IMAGPART (arg0); - else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) - return fold_build2 (TREE_CODE (arg0), type, - fold_build1 (IMAGPART_EXPR, type, - TREE_OPERAND (arg0, 0)), - fold_build1 (IMAGPART_EXPR, type, - TREE_OPERAND (arg0, 1))); + if (TREE_CODE (arg0) == COMPLEX_CST) + return fold_convert (type, TREE_IMAGPART (arg0)); + if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) + { + tree itype = TREE_TYPE (TREE_TYPE (arg0)); + tem = fold_build2 (TREE_CODE (arg0), itype, + fold_build1 (IMAGPART_EXPR, itype, + TREE_OPERAND (arg0, 0)), + fold_build1 (IMAGPART_EXPR, itype, + TREE_OPERAND (arg0, 1))); + return fold_convert (type, tem); + } + if (TREE_CODE (arg0) == CONJ_EXPR) + { + tree itype = TREE_TYPE (TREE_TYPE (arg0)); + tem = fold_build1 (IMAGPART_EXPR, itype, TREE_OPERAND (arg0, 0)); + return fold_convert (type, negate_expr (tem)); + } return NULL_TREE; default: |