From: Jason Merrill Date: Fri, 11 Jun 2004 03:26:31 +0000 (-0400) Subject: gimplify.c (gimplify_modify_expr): Don't force a temporary of an aggregate_value_p... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3bcb4e37d15296c7aad59f8591876ccfa28f6c31;p=gcc.git gimplify.c (gimplify_modify_expr): Don't force a temporary of an aggregate_value_p type. * gimplify.c (gimplify_modify_expr): Don't force a temporary of an aggregate_value_p type. From-SVN: r82959 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ca94a49eb60..9628c84dffd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-06-10 Jason Merrill + + * gimplify.c (gimplify_modify_expr): Don't force a temporary + of an aggregate_value_p type. + 2004-06-10 Jeff Law * fold-const.c (fold_inf_compare): Avoid creating non-gimple diff --git a/gcc/gimplify.c b/gcc/gimplify.c index c25a89171b3..a4b9c702e28 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2493,12 +2493,16 @@ gimplify_modify_expr (tree *expr_p, tree *pre_p, tree *post_p, bool want_value) FIXME this should be handled by the is_gimple_rhs predicate. */ - if (TREE_CODE (*from_p) == CALL_EXPR - || (flag_non_call_exceptions && tree_could_trap_p (*from_p)) - /* If we're dealing with a renamable type, either source or dest - must be a renamed variable. */ - || (is_gimple_reg_type (TREE_TYPE (*from_p)) - && !is_gimple_reg (*to_p))) + if (aggregate_value_p (TREE_TYPE (*from_p), NULL_TREE)) + /* Don't force a temp of a large aggregate type; the copy could be + arbitrarily expensive. Instead we will generate a V_MAY_DEF for + the assignment. */; + else if (TREE_CODE (*from_p) == CALL_EXPR + || (flag_non_call_exceptions && tree_could_trap_p (*from_p)) + /* If we're dealing with a renamable type, either source or dest + must be a renamed variable. */ + || (is_gimple_reg_type (TREE_TYPE (*from_p)) + && !is_gimple_reg (*to_p))) gimplify_expr (from_p, pre_p, post_p, is_gimple_val, fb_rvalue); /* If the value being copied is of variable width, expose the length