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

re PR middle-end/48989 (FAIL: gfortran.dg/lto/pr46036 f_lto_pr46036_0.o assemble)

Browse Source 
2011-05-18  Richard Guenther  <rguenther@suse.de>

	PR middle-end/48989
	* tree-cfg.c (verify_gimple_assign_unary): Adjust TRUTH op
	operand verification.
	(verify_gimple_assign_binary): Likewise.
	* tree-ssa.c (useless_type_conversion_p): Preserve conversions
	to non-1-precision BOOLEAN_TYPEs.

From-SVN: r173854
This commit is contained in:
Richard Guenther 2011-05-18 10:36:45 +00:00 committed by Richard Biener
parent 8f5e543422
commit 51c213f791
3 changed files with 32 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2011-05-18 Richard Guenther <rguenther@suse.de>
PR middle-end/48989
* tree-cfg.c (verify_gimple_assign_unary): Adjust TRUTH op
operand verification.
(verify_gimple_assign_binary): Likewise.
* tree-ssa.c (useless_type_conversion_p): Preserve conversions
to non-1-precision BOOLEAN_TYPEs.
2011-05-18 Tom de Vries <tom@codesourcery.com>
PR target/45098

26
gcc/tree-cfg.c
View File

@ -3350,12 +3350,15 @@ verify_gimple_assign_unary (gimple stmt)
return false;
case TRUTH_NOT_EXPR:
if (!useless_type_conversion_p (boolean_type_node, rhs1_type))
/* We require two-valued operand types. */
if (!(TREE_CODE (rhs1_type) == BOOLEAN_TYPE
|| (INTEGRAL_TYPE_P (rhs1_type)
&& TYPE_PRECISION (rhs1_type) == 1)))
{
error ("invalid types in truth not");
debug_generic_expr (lhs_type);
debug_generic_expr (rhs1_type);
return true;
error ("invalid types in truth not");
debug_generic_expr (lhs_type);
debug_generic_expr (rhs1_type);
return true;
}
break;
@ -3558,10 +3561,13 @@ do_pointer_plus_expr_check:
case TRUTH_OR_EXPR:
case TRUTH_XOR_EXPR:
{
/* We allow only boolean typed or compatible argument and result. */
if (!useless_type_conversion_p (boolean_type_node, rhs1_type)
|| !useless_type_conversion_p (boolean_type_node, rhs2_type)
|| !useless_type_conversion_p (boolean_type_node, lhs_type))
/* We require two-valued operand types. */
if (!(TREE_CODE (rhs1_type) == BOOLEAN_TYPE
|| (INTEGRAL_TYPE_P (rhs1_type)
&& TYPE_PRECISION (rhs1_type) == 1))
|| !(TREE_CODE (rhs2_type) == BOOLEAN_TYPE
|| (INTEGRAL_TYPE_P (rhs2_type)
&& TYPE_PRECISION (rhs2_type) == 1)))
{
error ("type mismatch in binary truth expression");
debug_generic_expr (lhs_type);
@ -3570,7 +3576,7 @@ do_pointer_plus_expr_check:
return true;
}
return false;
break;
}
case LT_EXPR:

7
gcc/tree-ssa.c
View File

@ -1306,6 +1306,13 @@ useless_type_conversion_p (tree outer_type, tree inner_type)
|| TYPE_PRECISION (inner_type) != TYPE_PRECISION (outer_type))
return false;
/* Preserve conversions to BOOLEAN_TYPE if it is not of precision
one. */
if (TREE_CODE (inner_type) != BOOLEAN_TYPE
&& TREE_CODE (outer_type) == BOOLEAN_TYPE
&& TYPE_PRECISION (outer_type) != 1)
return false;
/* We don't need to preserve changes in the types minimum or
maximum value in general as these do not generate code
unless the types precisions are different. */