OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/40252 (Internal compiler error on samba4 (verify_gimple failed))

Browse Source 
2009-05-26  Richard Guenther  <rguenther@suse.de>

	PR middle-end/40252
	* fold-const.c (fold_binary): Use the correct types for building
	rotates.

	* gcc.c-torture/compile/pr40252.c: New testcase.

From-SVN: r147868
This commit is contained in:
Richard Guenther 2009-05-26 11:41:34 +00:00 committed by Richard Biener
parent 3d62b8954f
commit 23977d3c07
2 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2009-05-26 Richard Guenther <rguenther@suse.de>
PR tree-optimization/40122
* tree-ssa-ccp.c (ccp_fold): Fold vector CONSTRUCTORs to
VECTOR_CSTs if possible.
(fold_gimple_assign): Likewise.
2009-05-26 Richard Guenther <rguenther@suse.de>
PR middle-end/40252

43
gcc/tree-ssa-ccp.c
View File

@ -958,6 +958,30 @@ ccp_fold (gimple stmt)
}
}
}
else if (TREE_CODE (rhs) == CONSTRUCTOR
&& TREE_CODE (TREE_TYPE (rhs)) == VECTOR_TYPE
&& (CONSTRUCTOR_NELTS (rhs)
== TYPE_VECTOR_SUBPARTS (TREE_TYPE (rhs))))
{
unsigned i;
tree val, list;
list = NULL_TREE;
FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (rhs), i, val)
{
if (TREE_CODE (val) == SSA_NAME
&& get_value (val)->lattice_val == CONSTANT)
val = get_value (val)->value;
if (TREE_CODE (val) == INTEGER_CST
|| TREE_CODE (val) == REAL_CST
|| TREE_CODE (val) == FIXED_CST)
list = tree_cons (NULL_TREE, val, list);
else
return NULL_TREE;
}
return build_vector (TREE_TYPE (rhs), nreverse (list));
}
if (kind == tcc_reference)
{
@ -2654,6 +2678,25 @@ fold_gimple_assign (gimple_stmt_iterator *si)
build_fold_addr_expr (tem));
}
else if (TREE_CODE (rhs) == CONSTRUCTOR
&& TREE_CODE (TREE_TYPE (rhs)) == VECTOR_TYPE
&& (CONSTRUCTOR_NELTS (rhs)
== TYPE_VECTOR_SUBPARTS (TREE_TYPE (rhs))))
{
/* Fold a constant vector CONSTRUCTOR to VECTOR_CST. */
unsigned i;
tree val;
FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (rhs), i, val)
if (TREE_CODE (val) != INTEGER_CST
&& TREE_CODE (val) != REAL_CST
&& TREE_CODE (val) != FIXED_CST)
return NULL_TREE;
return build_vector_from_ctor (TREE_TYPE (rhs),
CONSTRUCTOR_ELTS (rhs));
}
/* If we couldn't fold the RHS, hand over to the generic
fold routines. */
if (result == NULL_TREE)