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

tree-cfg.c (valid_fixed_convert_types_p): New function.

Browse Source 
gcc/
	* tree-cfg.c (valid_fixed_convert_types_p): New function.
	(verify_gimple_expr): Handle FIXED_CONVERT_EXPR.

From-SVN: r135143
This commit is contained in:
Richard Sandiford 2008-05-10 12:18:24 +00:00 committed by Richard Sandiford
parent 0f418a86bd
commit 17d23165ff
2 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2008-05-10 Richard Sandiford <rdsandiford@googlemail.com>
* tree-cfg.c (valid_fixed_convert_types_p): New function.
(verify_gimple_expr): Handle FIXED_CONVERT_EXPR.
2008-05-10 Uros Bizjak <ubizjak@gmail.com>
* value-prof.c (interesting_stringop_to_profile): Do not

33
gcc/tree-cfg.c
View File

@ -3598,6 +3598,18 @@ one_pointer_to_useless_type_conversion_p (tree dest, tree src_obj)
return false;
}
/* Return true if TYPE1 is a fixed-point type and if conversions to and
from TYPE2 can be handled by FIXED_CONVERT_EXPR. */
static bool
valid_fixed_convert_types_p (tree type1, tree type2)
{
return (FIXED_POINT_TYPE_P (type1)
&& (INTEGRAL_TYPE_P (type2)
|| SCALAR_FLOAT_TYPE_P (type2)
|| FIXED_POINT_TYPE_P (type2)));
}
/* Verify the GIMPLE expression EXPR. Returns true if there is an
error, otherwise false. */
@ -3654,6 +3666,27 @@ verify_gimple_expr (tree expr)
return false;
}
case FIXED_CONVERT_EXPR:
{
tree op = TREE_OPERAND (expr, 0);
if (!is_gimple_val (op))
{
error ("invalid operand in conversion");
return true;
}
if (!valid_fixed_convert_types_p (type, TREE_TYPE (op))
&& !valid_fixed_convert_types_p (TREE_TYPE (op), type))
{
error ("invalid types in fixed-point conversion");
debug_generic_expr (type);
debug_generic_expr (TREE_TYPE (op));
return true;
}
return false;
}
case FLOAT_EXPR:
{
tree op = TREE_OPERAND (expr, 0);