Commit fb6234e0 by Andreas Krebbel Committed by Andreas Krebbel

re PR middle-end/40501 (error: invalid conversion in gimple call)

2009-06-24  Andreas Krebbel  <krebbel1@de.ibm.com>
	
	PR middle-end/40501
	* tree-ssa-math-opts.c (execute_optimize_bswap): Convert the bswap
	src and dst operands if necessary.

2009-06-24  Andreas Krebbel  <krebbel1@de.ibm.com>

	* gcc.dg/pr40501.c: New testcase.

From-SVN: r148892
parent 7acf4da6
2009-06-24 Andreas Krebbel <krebbel1@de.ibm.com>
PR middle-end/40501
* tree-ssa-math-opts.c (execute_optimize_bswap): Convert the bswap
src and dst operands if necessary.
2009-06-23 DJ Delorie <dj@redhat.com>
Add MeP port.
......
2009-06-24 Andreas Krebbel <krebbel1@de.ibm.com>
* gcc.dg/pr40501.c: New testcase.
2009-06-23 DJ Delorie <dj@redhat.com>
Add MeP port.
......
/* { dg-do compile { target alpha*-*-* ia64*-*-* x86_64-*-* s390x-*-* } } */
/* { dg-options "-O2" } */
/* { dg-require-effective-target lp64 } */
/* PR middle-end/40501 */
/* This once failed due to the bswap pass missing to add the type
casts of the signed argument and result to the proper unsigned
types. */
typedef long int int64_t;
int64_t
swap64 (int64_t n)
{
return (((n & (((int64_t) 0xff) )) << 56) |
((n & (((int64_t) 0xff) << 8)) << 40) |
((n & (((int64_t) 0xff) << 16)) << 24) |
((n & (((int64_t) 0xff) << 24)) << 8) |
((n & (((int64_t) 0xff) << 32)) >> 8) |
((n & (((int64_t) 0xff) << 40)) >> 24) |
((n & (((int64_t) 0xff) << 48)) >> 40) |
((n & (((int64_t) 0xff) << 56)) >> 56));
}
......@@ -1164,6 +1164,7 @@ execute_optimize_bswap (void)
basic_block bb;
bool bswap32_p, bswap64_p;
bool changed = false;
tree bswap32_type = NULL_TREE, bswap64_type = NULL_TREE;
if (BITS_PER_UNIT != 8)
return 0;
......@@ -1181,6 +1182,20 @@ execute_optimize_bswap (void)
if (!bswap32_p && !bswap64_p)
return 0;
/* Determine the argument type of the builtins. The code later on
assumes that the return and argument type are the same. */
if (bswap32_p)
{
tree fndecl = built_in_decls[BUILT_IN_BSWAP32];
bswap32_type = TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (fndecl)));
}
if (bswap64_p)
{
tree fndecl = built_in_decls[BUILT_IN_BSWAP64];
bswap64_type = TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (fndecl)));
}
FOR_EACH_BB (bb)
{
gimple_stmt_iterator gsi;
......@@ -1188,7 +1203,8 @@ execute_optimize_bswap (void)
for (gsi = gsi_after_labels (bb); !gsi_end_p (gsi); gsi_next (&gsi))
{
gimple stmt = gsi_stmt (gsi);
tree bswap_src;
tree bswap_src, bswap_type;
tree bswap_tmp;
tree fndecl = NULL_TREE;
int type_size;
gimple call;
......@@ -1203,11 +1219,17 @@ execute_optimize_bswap (void)
{
case 32:
if (bswap32_p)
fndecl = built_in_decls[BUILT_IN_BSWAP32];
{
fndecl = built_in_decls[BUILT_IN_BSWAP32];
bswap_type = bswap32_type;
}
break;
case 64:
if (bswap64_p)
fndecl = built_in_decls[BUILT_IN_BSWAP64];
{
fndecl = built_in_decls[BUILT_IN_BSWAP64];
bswap_type = bswap64_type;
}
break;
default:
continue;
......@@ -1222,8 +1244,41 @@ execute_optimize_bswap (void)
continue;
changed = true;
call = gimple_build_call (fndecl, 1, bswap_src);
gimple_call_set_lhs (call, gimple_assign_lhs (stmt));
bswap_tmp = bswap_src;
/* Convert the src expression if necessary. */
if (!useless_type_conversion_p (TREE_TYPE (bswap_tmp), bswap_type))
{
gimple convert_stmt;
bswap_tmp = create_tmp_var (bswap_type, "bswapsrc");
add_referenced_var (bswap_tmp);
bswap_tmp = make_ssa_name (bswap_tmp, NULL);
convert_stmt = gimple_build_assign_with_ops (
CONVERT_EXPR, bswap_tmp, bswap_src, NULL);
gsi_insert_before (&gsi, convert_stmt, GSI_SAME_STMT);
}
call = gimple_build_call (fndecl, 1, bswap_tmp);
bswap_tmp = gimple_assign_lhs (stmt);
/* Convert the result if necessary. */
if (!useless_type_conversion_p (TREE_TYPE (bswap_tmp), bswap_type))
{
gimple convert_stmt;
bswap_tmp = create_tmp_var (bswap_type, "bswapdst");
add_referenced_var (bswap_tmp);
bswap_tmp = make_ssa_name (bswap_tmp, NULL);
convert_stmt = gimple_build_assign_with_ops (
CONVERT_EXPR, gimple_assign_lhs (stmt), bswap_tmp, NULL);
gsi_insert_after (&gsi, convert_stmt, GSI_SAME_STMT);
}
gimple_call_set_lhs (call, bswap_tmp);
if (dump_file)
{
......
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