diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2024-05-03 09:44:30 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2024-05-03 09:44:30 +0200 |
| commit | 7117e1f6bf6de25c1ff26c4d7abcc79b407ca221 (patch) | |
| tree | 2b0d42c1b012fc3cd3897f4258987b53d8ab28a6 /gcc/tree-inline.cc | |
| parent | 87e35da16df74cd1c4729a55d94e7bc592487f48 (diff) | |
| download | gcc-7117e1f6bf6de25c1ff26c4d7abcc79b407ca221.zip gcc-7117e1f6bf6de25c1ff26c4d7abcc79b407ca221.tar.gz gcc-7117e1f6bf6de25c1ff26c4d7abcc79b407ca221.tar.bz2 | |
tree-inline: Add __builtin_stack_{save,restore} pair about inline calls with calls to alloca [PR113596]
The following patch adds save_NNN = __builtin_stack_save (); ...
__builtin_stack_restore (save_NNN);
pair around inline calls which call alloca (alloca calls because of
VLA vars are ignored in that decision).
The patch doesn't change anything on whether we try to inline such calls or
not, it just fixes the behavior when we inline them despite those checks.
The stack save/restore restores the behavior that alloca acquired regions
are freed at the end of the containing call.
2024-05-03 Jakub Jelinek <jakub@redhat.com>
PR middle-end/113596
* tree-inline.cc (expand_call_inline): Emit __builtin_stack_save
and __builtin_stack_restore calls around inlined functions which
call alloca.
* gcc.dg/pr113596.c: New test.
* gcc.dg/tree-ssa/pr113596.c: New test.
Diffstat (limited to 'gcc/tree-inline.cc')
| -rw-r--r-- | gcc/tree-inline.cc | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/tree-inline.cc b/gcc/tree-inline.cc index 238afb7..b9fe209 100644 --- a/gcc/tree-inline.cc +++ b/gcc/tree-inline.cc @@ -4794,6 +4794,7 @@ expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id, use_operand_p use; gimple *simtenter_stmt = NULL; vec<tree> *simtvars_save; + tree save_stack = NULL_TREE; /* The gimplifier uses input_location in too many places, such as internal_get_tmp_var (). */ @@ -5042,6 +5043,28 @@ expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id, GSI_NEW_STMT); } + /* If function to be inlined calls alloca, wrap the inlined function + in between save_stack = __builtin_stack_save (); and + __builtin_stack_restore (save_stack); calls. */ + if (id->src_cfun->calls_alloca && !gimple_call_noreturn_p (stmt)) + /* Don't do this for VLA allocations though, just for user alloca + calls. */ + for (struct cgraph_edge *e = id->src_node->callees; e; e = e->next_callee) + if (gimple_maybe_alloca_call_p (e->call_stmt) + && !gimple_call_alloca_for_var_p (e->call_stmt)) + { + tree fn = builtin_decl_implicit (BUILT_IN_STACK_SAVE); + gcall *call = gimple_build_call (fn, 0); + save_stack = make_ssa_name (ptr_type_node); + gimple_call_set_lhs (call, save_stack); + gimple_stmt_iterator si = gsi_last_bb (bb); + gsi_insert_after (&si, call, GSI_NEW_STMT); + struct cgraph_node *dest = cgraph_node::get_create (fn); + id->dst_node->create_edge (dest, call, bb->count)->inline_failed + = CIF_BODY_NOT_AVAILABLE; + break; + } + if (DECL_INITIAL (fn)) { if (gimple_block (stmt)) @@ -5165,6 +5188,17 @@ expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id, } } + if (save_stack) + { + tree fn = builtin_decl_implicit (BUILT_IN_STACK_RESTORE); + gcall *call = gimple_build_call (fn, 1, save_stack); + gsi_insert_before (&stmt_gsi, call, GSI_SAME_STMT); + struct cgraph_node *dest = cgraph_node::get_create (fn); + id->dst_node->create_edge (dest, call, + return_block->count)->inline_failed + = CIF_BODY_NOT_AVAILABLE; + } + /* Reset the escaped solution. */ if (cfun->gimple_df) { |