Skip to content

R
riscv-gcc-1
Commit 9734ebaf by Roger Sayle Committed by Roger Sayle
Options

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
parent 8659e538
Showing with 62 additions and 34 deletions
gcc/ChangeLog
2006-06-02 Roger Sayle <roger@eyesopen.com>
* 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).
2006-06-01 DJ Delorie <dj@redhat.com> 2006-06-01 DJ Delorie <dj@redhat.com>
* config/v850/v850.h (ASM_OUTPUT_ADDR_DIFF_ELT): Disabled the * config/v850/v850.h (ASM_OUTPUT_ADDR_DIFF_ELT): Disabled the
......
gcc/fold-const.c
...@@ -7548,21 +7548,22 @@ fold_unary (enum tree_code code, tree type, tree op0) ...@@ -7548,21 +7548,22 @@ fold_unary (enum tree_code code, tree type, tree op0)
case CONJ_EXPR: case CONJ_EXPR:
if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE)
return fold_convert (type, arg0); return fold_convert (type, arg0);
else if (TREE_CODE (arg0) == COMPLEX_EXPR) if (TREE_CODE (arg0) == COMPLEX_EXPR)
return build2 (COMPLEX_EXPR, type, {
TREE_OPERAND (arg0, 0), tree itype = TREE_TYPE (type);
negate_expr (TREE_OPERAND (arg0, 1))); tree rpart = fold_convert (itype, TREE_OPERAND (arg0, 0));
else if (TREE_CODE (arg0) == COMPLEX_CST) tree ipart = fold_convert (itype, TREE_OPERAND (arg0, 1));
return build_complex (type, TREE_REALPART (arg0), return fold_build2 (COMPLEX_EXPR, type, rpart, negate_expr (ipart));
negate_expr (TREE_IMAGPART (arg0))); }
else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) if (TREE_CODE (arg0) == COMPLEX_CST)
return fold_build2 (TREE_CODE (arg0), type, {
fold_build1 (CONJ_EXPR, type, tree itype = TREE_TYPE (type);
TREE_OPERAND (arg0, 0)), tree rpart = fold_convert (itype, TREE_REALPART (arg0));
fold_build1 (CONJ_EXPR, type, tree ipart = fold_convert (itype, TREE_IMAGPART (arg0));
TREE_OPERAND (arg0, 1))); return build_complex (type, rpart, negate_expr (ipart));
else if (TREE_CODE (arg0) == CONJ_EXPR) }
return TREE_OPERAND (arg0, 0); if (TREE_CODE (arg0) == CONJ_EXPR)
return fold_convert (type, TREE_OPERAND (arg0, 0));
return NULL_TREE; return NULL_TREE;
case BIT_NOT_EXPR: case BIT_NOT_EXPR:
...@@ -7614,34 +7615,54 @@ fold_unary (enum tree_code code, tree type, tree op0) ...@@ -7614,34 +7615,54 @@ fold_unary (enum tree_code code, tree type, tree op0)
case REALPART_EXPR: case REALPART_EXPR:
if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE)
return NULL_TREE; return fold_convert (type, arg0);
else if (TREE_CODE (arg0) == COMPLEX_EXPR) if (TREE_CODE (arg0) == COMPLEX_EXPR)
return omit_one_operand (type, TREE_OPERAND (arg0, 0), return omit_one_operand (type, TREE_OPERAND (arg0, 0),
TREE_OPERAND (arg0, 1)); TREE_OPERAND (arg0, 1));
else if (TREE_CODE (arg0) == COMPLEX_CST) if (TREE_CODE (arg0) == COMPLEX_CST)
return TREE_REALPART (arg0); return fold_convert (type, TREE_REALPART (arg0));
else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR)
return fold_build2 (TREE_CODE (arg0), type, {
fold_build1 (REALPART_EXPR, type, tree itype = TREE_TYPE (TREE_TYPE (arg0));
TREE_OPERAND (arg0, 0)), tem = fold_build2 (TREE_CODE (arg0), itype,
fold_build1 (REALPART_EXPR, type, fold_build1 (REALPART_EXPR, itype,
TREE_OPERAND (arg0, 1))); 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; return NULL_TREE;
case IMAGPART_EXPR: case IMAGPART_EXPR:
if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE) if (TREE_CODE (TREE_TYPE (arg0)) != COMPLEX_TYPE)
return fold_convert (type, integer_zero_node); 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), return omit_one_operand (type, TREE_OPERAND (arg0, 1),
TREE_OPERAND (arg0, 0)); TREE_OPERAND (arg0, 0));
else if (TREE_CODE (arg0) == COMPLEX_CST) if (TREE_CODE (arg0) == COMPLEX_CST)
return TREE_IMAGPART (arg0); return fold_convert (type, TREE_IMAGPART (arg0));
else if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR) if (TREE_CODE (arg0) == PLUS_EXPR || TREE_CODE (arg0) == MINUS_EXPR)
return fold_build2 (TREE_CODE (arg0), type, {
fold_build1 (IMAGPART_EXPR, type, tree itype = TREE_TYPE (TREE_TYPE (arg0));
TREE_OPERAND (arg0, 0)), tem = fold_build2 (TREE_CODE (arg0), itype,
fold_build1 (IMAGPART_EXPR, type, fold_build1 (IMAGPART_EXPR, itype,
TREE_OPERAND (arg0, 1))); 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; return NULL_TREE;
default: default:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment