1 /* Some code common to C and ObjC front ends.
2 Copyright (C) 2001 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 2, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
25 #include "insn-config.h"
26 #include "integrate.h"
32 #include "diagnostic.h"
33 #include "tree-inline.h"
37 static int c_tree_printer
PARAMS ((output_buffer
*));
38 static tree inline_forbidden_p
PARAMS ((tree
*, int *, void *));
39 static void expand_deferred_fns
PARAMS ((void));
40 static tree start_cdtor
PARAMS ((int));
41 static void finish_cdtor
PARAMS ((tree
));
43 static varray_type deferred_fns
;
46 c_missing_noreturn_ok_p (decl
)
49 /* A missing noreturn is not ok for freestanding implementations and
50 ok for the `main' function in hosted implementations. */
51 return flag_hosted
&& MAIN_NAME_P (DECL_ASSEMBLER_NAME (decl
));
54 /* We want to inline `extern inline' functions even if this would
55 violate inlining limits. Some glibc and linux constructs depend on
56 such functions always being inlined when optimizing. */
59 c_disregard_inline_limits (fn
)
62 return DECL_DECLARED_INLINE_P (fn
) && DECL_EXTERNAL (fn
);
66 inline_forbidden_p (nodep
, walk_subtrees
, fn
)
68 int *walk_subtrees ATTRIBUTE_UNUSED
;
74 switch (TREE_CODE (node
))
77 t
= get_callee_fndecl (node
);
82 /* We cannot inline functions that call setjmp. */
83 if (setjmp_call_p (t
))
86 switch (DECL_FUNCTION_CODE (t
))
88 /* We cannot inline functions that take a variable number of
90 case BUILT_IN_VARARGS_START
:
91 case BUILT_IN_STDARG_START
:
93 /* Functions that need information about the address of the
94 caller can't (shouldn't?) be inlined. */
95 case BUILT_IN_RETURN_ADDRESS
:
106 /* We cannot inline functions that contain other functions. */
107 if (TREE_CODE (TREE_OPERAND (node
, 0)) == FUNCTION_DECL
108 && DECL_INITIAL (TREE_OPERAND (node
, 0)))
114 t
= TREE_OPERAND (node
, 0);
116 /* We will not inline a function which uses computed goto. The
117 addresses of its local labels, which may be tucked into
118 global storage, are of course not constant across
119 instantiations, which causes unexpected behaviour. */
120 if (TREE_CODE (t
) != LABEL_DECL
)
123 /* We cannot inline a nested function that jumps to a nonlocal
125 if (TREE_CODE (t
) == LABEL_DECL
126 && DECL_CONTEXT (t
) && DECL_CONTEXT (t
) != fn
)
139 c_cannot_inline_tree_fn (fnp
)
145 if (! function_attribute_inlinable_p (fn
))
147 DECL_UNINLINABLE (fn
) = 1;
151 /* If a function has pending sizes, we must not defer its
152 compilation, and we can't inline it as a tree. */
153 if (fn
== current_function_decl
)
155 t
= get_pending_sizes ();
156 put_pending_sizes (t
);
160 DECL_UNINLINABLE (fn
) = 1;
165 if (DECL_CONTEXT (fn
))
167 /* If a nested function has pending sizes, we may have already
169 if (DECL_LANG_SPECIFIC (fn
)->pending_sizes
)
171 DECL_UNINLINABLE (fn
) = 1;
177 /* We rely on the fact that this function is called upfront,
178 just before we start expanding a function. If FN is active
179 (i.e., it's the current_function_decl or a parent thereof),
180 we have to walk FN's saved tree. Otherwise, we can safely
181 assume we have done it before and, if we didn't mark it as
182 uninlinable (in which case we wouldn't have been called), it
183 is inlinable. Unfortunately, this strategy doesn't work for
184 nested functions, because they're only expanded as part of
185 their enclosing functions, so the inlinability test comes in
187 t
= current_function_decl
;
190 t
= DECL_CONTEXT (t
);
195 if (walk_tree (&DECL_SAVED_TREE (fn
), inline_forbidden_p
, fn
, NULL
))
197 DECL_UNINLINABLE (fn
) = 1;
204 /* Initialization common to C and Objective-C front ends. */
206 c_objc_common_init (filename
)
207 const char *filename
;
209 c_init_decl_processing ();
211 filename
= c_common_init (filename
);
215 save_lang_status
= &push_c_function_context
;
216 restore_lang_status
= &pop_c_function_context
;
217 mark_lang_status
= &mark_c_function_context
;
218 lang_expand_expr
= c_expand_expr
;
219 lang_expand_decl_stmt
= c_expand_decl_stmt
;
221 /* These were not defined in the Objective-C front end, but I'm
222 putting them here anyway. The diagnostic format decoder might
223 want an enhanced ObjC implementation. */
224 diagnostic_format_decoder (global_dc
) = &c_tree_printer
;
225 lang_missing_noreturn_ok_p
= &c_missing_noreturn_ok_p
;
227 /* If still unspecified, make it match -std=c99
228 (allowing for -pedantic-errors). */
229 if (mesg_implicit_function_declaration
< 0)
232 mesg_implicit_function_declaration
= flag_pedantic_errors
? 2 : 1;
234 mesg_implicit_function_declaration
= 0;
237 VARRAY_TREE_INIT (deferred_fns
, 32, "deferred_fns");
238 ggc_add_tree_varray_root (&deferred_fns
, 1);
243 /* Register a function tree, so that its optimization and conversion
244 to RTL is only done at the end of the compilation. */
250 VARRAY_PUSH_TREE (deferred_fns
, fn
);
255 /* Expand deferred functions for C and ObjC. */
258 expand_deferred_fns ()
262 for (i
= 0; i
< VARRAY_ACTIVE_SIZE (deferred_fns
); i
++)
264 tree decl
= VARRAY_TREE (deferred_fns
, i
);
266 if (! TREE_ASM_WRITTEN (decl
))
268 /* For static inline functions, delay the decision whether to
269 emit them or not until wrapup_global_declarations. */
270 if (! TREE_PUBLIC (decl
))
271 DECL_DEFER_OUTPUT (decl
) = 1;
272 c_expand_deferred_function (decl
);
276 VARRAY_FREE (deferred_fns
);
280 start_cdtor (method_type
)
283 tree fnname
= get_file_function_name (method_type
);
284 tree void_list_node_1
= build_tree_list (NULL_TREE
, void_type_node
);
287 start_function (void_list_node_1
,
288 build_nt (CALL_EXPR
, fnname
,
289 tree_cons (NULL_TREE
, NULL_TREE
, void_list_node_1
),
294 current_function_cannot_inline
295 = "static constructors and destructors cannot be inlined";
297 body
= c_begin_compound_stmt ();
301 add_scope_stmt (/*begin_p=*/1, /*partial_p=*/0);
313 scope
= add_scope_stmt (/*begin_p=*/0, /*partial_p=*/0);
314 block
= poplevel (0, 0, 0);
315 SCOPE_STMT_BLOCK (TREE_PURPOSE (scope
)) = block
;
316 SCOPE_STMT_BLOCK (TREE_VALUE (scope
)) = block
;
318 RECHAIN_STMTS (body
, COMPOUND_BODY (body
));
323 /* Called at end of parsing, but before end-of-file processing. */
326 c_objc_common_finish_file ()
328 expand_deferred_fns ();
332 tree body
= start_cdtor ('I');
334 for (; static_ctors
; static_ctors
= TREE_CHAIN (static_ctors
))
335 c_expand_expr_stmt (build_function_call (TREE_VALUE (static_ctors
),
343 tree body
= start_cdtor ('D');
345 for (; static_dtors
; static_dtors
= TREE_CHAIN (static_dtors
))
346 c_expand_expr_stmt (build_function_call (TREE_VALUE (static_dtors
),
354 FILE *stream
= dump_begin (TDI_all
, &flags
);
358 dump_node (getdecls (), flags
& ~TDF_SLIM
, stream
);
359 dump_end (TDI_all
, stream
);
364 /* Called during diagnostic message formatting process to print a
365 source-level entity onto BUFFER. The meaning of the format specifiers
368 %F: a function declaration,
371 These format specifiers form a subset of the format specifiers set used
372 by the C++ front-end.
373 Please notice when called, the `%' part was already skipped by the
374 diagnostic machinery. */
376 c_tree_printer (buffer
)
377 output_buffer
*buffer
;
379 tree t
= va_arg (output_buffer_format_args (buffer
), tree
);
381 switch (*output_buffer_text_cursor (buffer
))
387 const char *n
= DECL_NAME (t
)
388 ? (*decl_printable_name
) (t
, 2)
390 output_add_string (buffer
, n
);