Commit f2d3d07e by Richard Henderson Committed by Richard Henderson

Allow the front-end to create calls with a static chain

And, at the same time, allow indirect calls to have a static chain.
We'll always eliminate the static chain if we can prove it's unused.

        * calls.c (prepare_call_address): Allow decl or type for first arg.
        (expand_call): Pass type to prepare_call_address if no decl.
        * gimple-fold.c (gimple_fold_call): Eliminate the static chain if
        the function doesn't use it; fold it otherwise.
        * gimplify.c (gimplify_call_expr): Gimplify the static chain.
        * tree-cfg.c (verify_gimple_call): Allow a static chain on indirect
        function calls.

From-SVN: r217770
parent c21df29b
2014-11-19 Richard Henderson <rth@redhat.com> 2014-11-19 Richard Henderson <rth@redhat.com>
* calls.c (prepare_call_address): Allow decl or type for first arg.
(expand_call): Pass type to prepare_call_address if no decl.
* gimple-fold.c (gimple_fold_call): Eliminate the static chain if
the function doesn't use it; fold it otherwise.
* gimplify.c (gimplify_call_expr): Gimplify the static chain.
* tree-cfg.c (verify_gimple_call): Allow a static chain on indirect
function calls.
* targhooks.c (default_static_chain): Remove check for * targhooks.c (default_static_chain): Remove check for
DECL_STATIC_CHAIN. DECL_STATIC_CHAIN.
* config/moxie/moxie.c (moxie_static_chain): Likewise. * config/moxie/moxie.c (moxie_static_chain): Likewise.
...@@ -197,7 +197,7 @@ static void restore_fixed_argument_area (rtx, rtx, int, int); ...@@ -197,7 +197,7 @@ static void restore_fixed_argument_area (rtx, rtx, int, int);
CALL_INSN_FUNCTION_USAGE information. */ CALL_INSN_FUNCTION_USAGE information. */
rtx rtx
prepare_call_address (tree fndecl, rtx funexp, rtx static_chain_value, prepare_call_address (tree fndecl_or_type, rtx funexp, rtx static_chain_value,
rtx *call_fusage, int reg_parm_seen, int sibcallp) rtx *call_fusage, int reg_parm_seen, int sibcallp)
{ {
/* Make a valid memory address and copy constants through pseudo-regs, /* Make a valid memory address and copy constants through pseudo-regs,
...@@ -217,12 +217,13 @@ prepare_call_address (tree fndecl, rtx funexp, rtx static_chain_value, ...@@ -217,12 +217,13 @@ prepare_call_address (tree fndecl, rtx funexp, rtx static_chain_value,
#endif #endif
} }
if (static_chain_value != 0) if (static_chain_value != 0
&& (TREE_CODE (fndecl_or_type) != FUNCTION_DECL
|| DECL_STATIC_CHAIN (fndecl_or_type)))
{ {
rtx chain; rtx chain;
gcc_assert (fndecl); chain = targetm.calls.static_chain (fndecl_or_type, false);
chain = targetm.calls.static_chain (fndecl, false);
static_chain_value = convert_memory_address (Pmode, static_chain_value); static_chain_value = convert_memory_address (Pmode, static_chain_value);
emit_move_insn (chain, static_chain_value); emit_move_insn (chain, static_chain_value);
...@@ -3278,8 +3279,9 @@ expand_call (tree exp, rtx target, int ignore) ...@@ -3278,8 +3279,9 @@ expand_call (tree exp, rtx target, int ignore)
} }
after_args = get_last_insn (); after_args = get_last_insn ();
funexp = prepare_call_address (fndecl, funexp, static_chain_value, funexp = prepare_call_address (fndecl ? fndecl : fntype, funexp,
&call_fusage, reg_parm_seen, pass == 0); static_chain_value, &call_fusage,
reg_parm_seen, pass == 0);
load_register_parameters (args, num_actuals, &call_fusage, flags, load_register_parameters (args, num_actuals, &call_fusage, flags,
pass == 0, &sibcall_failure); pass == 0, &sibcall_failure);
......
...@@ -2723,6 +2723,27 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace) ...@@ -2723,6 +2723,27 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)
} }
} }
/* Check for indirect calls that became direct calls, and then
no longer require a static chain. */
if (gimple_call_chain (stmt))
{
tree fn = gimple_call_fndecl (stmt);
if (fn && !DECL_STATIC_CHAIN (fn))
{
gimple_call_set_chain (stmt, NULL);
changed = true;
}
else
{
tree tmp = maybe_fold_reference (gimple_call_chain (stmt), false);
if (tmp)
{
gimple_call_set_chain (stmt, tmp);
changed = true;
}
}
}
if (inplace) if (inplace)
return changed; return changed;
......
...@@ -2432,7 +2432,7 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value) ...@@ -2432,7 +2432,7 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value)
} }
} }
/* Finally, gimplify the function arguments. */ /* Gimplify the function arguments. */
if (nargs > 0) if (nargs > 0)
{ {
for (i = (PUSH_ARGS_REVERSED ? nargs - 1 : 0); for (i = (PUSH_ARGS_REVERSED ? nargs - 1 : 0);
...@@ -2454,6 +2454,21 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value) ...@@ -2454,6 +2454,21 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value)
} }
} }
/* Gimplify the static chain. */
if (CALL_EXPR_STATIC_CHAIN (*expr_p))
{
if (fndecl && !DECL_STATIC_CHAIN (fndecl))
CALL_EXPR_STATIC_CHAIN (*expr_p) = NULL;
else
{
enum gimplify_status t;
t = gimplify_arg (&CALL_EXPR_STATIC_CHAIN (*expr_p), pre_p,
EXPR_LOCATION (*expr_p));
if (t == GS_ERROR)
ret = GS_ERROR;
}
}
/* Verify the function result. */ /* Verify the function result. */
if (want_value && fndecl if (want_value && fndecl
&& VOID_TYPE_P (TREE_TYPE (TREE_TYPE (fnptrtype)))) && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (fnptrtype))))
......
...@@ -3333,22 +3333,14 @@ verify_gimple_call (gimple stmt) ...@@ -3333,22 +3333,14 @@ verify_gimple_call (gimple stmt)
return true; return true;
} }
/* If there is a static chain argument, this should not be an indirect /* If there is a static chain argument, the call should either be
call, and the decl should have DECL_STATIC_CHAIN set. */ indirect, or the decl should have DECL_STATIC_CHAIN set. */
if (gimple_call_chain (stmt)) if (gimple_call_chain (stmt)
&& fndecl
&& !DECL_STATIC_CHAIN (fndecl))
{ {
if (!gimple_call_fndecl (stmt)) error ("static chain with function that doesn%'t use one");
{ return true;
error ("static chain in indirect gimple call");
return true;
}
fn = TREE_OPERAND (fn, 0);
if (!DECL_STATIC_CHAIN (fn))
{
error ("static chain with function that doesn%'t use one");
return true;
}
} }
/* ??? The C frontend passes unpromoted arguments in case it /* ??? The C frontend passes unpromoted arguments in case it
......
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