/* Tree inlining hooks and declarations.
|
/* Tree inlining hooks and declarations.
|
Copyright 2001, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
|
Copyright 2001, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
|
Contributed by Alexandre Oliva <aoliva@redhat.com>
|
Contributed by Alexandre Oliva <aoliva@redhat.com>
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify
|
GCC is free software; you can redistribute it and/or modify
|
it under the terms of the GNU General Public License as published by
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 3, or (at your option)
|
the Free Software Foundation; either version 3, or (at your option)
|
any later version.
|
any later version.
|
|
|
GCC is distributed in the hope that it will be useful,
|
GCC is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING3. If not see
|
along with GCC; see the file COPYING3. If not see
|
<http://www.gnu.org/licenses/>. */
|
<http://www.gnu.org/licenses/>. */
|
|
|
#ifndef GCC_TREE_INLINE_H
|
#ifndef GCC_TREE_INLINE_H
|
#define GCC_TREE_INLINE_H
|
#define GCC_TREE_INLINE_H
|
|
|
#include "varray.h"
|
#include "varray.h"
|
#include "splay-tree.h"
|
#include "splay-tree.h"
|
|
|
|
|
/* Data required for function body duplication. */
|
/* Data required for function body duplication. */
|
|
|
typedef struct copy_body_data
|
typedef struct copy_body_data
|
{
|
{
|
/* FUNCTION_DECL for function being inlined, or in general the
|
/* FUNCTION_DECL for function being inlined, or in general the
|
source function providing the original trees. */
|
source function providing the original trees. */
|
tree src_fn;
|
tree src_fn;
|
/* FUNCTION_DECL for function being inlined into, or in general
|
/* FUNCTION_DECL for function being inlined into, or in general
|
the destination function receiving the new trees. */
|
the destination function receiving the new trees. */
|
tree dst_fn;
|
tree dst_fn;
|
/* Callgraph node of the source function. */
|
/* Callgraph node of the source function. */
|
struct cgraph_node *src_node;
|
struct cgraph_node *src_node;
|
/* Callgraph node of the destination function. */
|
/* Callgraph node of the destination function. */
|
struct cgraph_node *dst_node;
|
struct cgraph_node *dst_node;
|
/* struct function for function being inlined. Usually this is the same
|
/* struct function for function being inlined. Usually this is the same
|
as DECL_STRUCT_FUNCTION (src_fn), but can be different if saved_cfg
|
as DECL_STRUCT_FUNCTION (src_fn), but can be different if saved_cfg
|
and saved_eh are in use. */
|
and saved_eh are in use. */
|
struct function *src_cfun;
|
struct function *src_cfun;
|
|
|
/* The VAR_DECL for the return value. */
|
/* The VAR_DECL for the return value. */
|
tree retvar;
|
tree retvar;
|
/* The map from local declarations in the inlined function to
|
/* The map from local declarations in the inlined function to
|
equivalents in the function into which it is being inlined. */
|
equivalents in the function into which it is being inlined. */
|
splay_tree decl_map;
|
splay_tree decl_map;
|
|
|
/* Create a new decl to replace DECL in the destination function. */
|
/* Create a new decl to replace DECL in the destination function. */
|
tree (*copy_decl) (tree, struct copy_body_data *);
|
tree (*copy_decl) (tree, struct copy_body_data *);
|
|
|
/* Current BLOCK. */
|
/* Current BLOCK. */
|
tree block;
|
tree block;
|
|
|
/* Exception region the inlined call lie in. */
|
/* Exception region the inlined call lie in. */
|
int eh_region;
|
int eh_region;
|
/* Take region number in the function being copied, add this value and
|
/* Take region number in the function being copied, add this value and
|
get eh region number of the duplicate in the function we inline into. */
|
get eh region number of the duplicate in the function we inline into. */
|
int eh_region_offset;
|
int eh_region_offset;
|
|
|
/* We use the same mechanism do all sorts of different things. Rather
|
/* We use the same mechanism do all sorts of different things. Rather
|
than enumerating the different cases, we categorize the behavior
|
than enumerating the different cases, we categorize the behavior
|
in the various situations. */
|
in the various situations. */
|
|
|
/* Indicate the desired behavior wrt call graph edges. We can either
|
/* Indicate the desired behavior wrt call graph edges. We can either
|
duplicate the edge (inlining, cloning), move the edge (versioning,
|
duplicate the edge (inlining, cloning), move the edge (versioning,
|
parallelization), or move the edges of the clones (saving). */
|
parallelization), or move the edges of the clones (saving). */
|
enum copy_body_cge_which {
|
enum copy_body_cge_which {
|
CB_CGE_DUPLICATE,
|
CB_CGE_DUPLICATE,
|
CB_CGE_MOVE,
|
CB_CGE_MOVE,
|
CB_CGE_MOVE_CLONES
|
CB_CGE_MOVE_CLONES
|
} transform_call_graph_edges;
|
} transform_call_graph_edges;
|
|
|
/* True if a new CFG should be created. False for inlining, true for
|
/* True if a new CFG should be created. False for inlining, true for
|
everything else. */
|
everything else. */
|
bool transform_new_cfg;
|
bool transform_new_cfg;
|
|
|
/* True if RETURN_EXPRs should be transformed to just the contained
|
/* True if RETURN_EXPRs should be transformed to just the contained
|
MODIFY_EXPR. The branch semantics of the return will be handled
|
MODIFY_EXPR. The branch semantics of the return will be handled
|
by manipulating the CFG rather than a statement. */
|
by manipulating the CFG rather than a statement. */
|
bool transform_return_to_modify;
|
bool transform_return_to_modify;
|
|
|
/* True if lang_hooks.decls.insert_block should be invoked when
|
/* True if lang_hooks.decls.insert_block should be invoked when
|
duplicating BLOCK nodes. */
|
duplicating BLOCK nodes. */
|
bool transform_lang_insert_block;
|
bool transform_lang_insert_block;
|
} copy_body_data;
|
} copy_body_data;
|
|
|
/* Function prototypes. */
|
/* Function prototypes. */
|
|
|
extern tree copy_body_r (tree *, int *, void *);
|
extern tree copy_body_r (tree *, int *, void *);
|
extern void insert_decl_map (copy_body_data *, tree, tree);
|
extern void insert_decl_map (copy_body_data *, tree, tree);
|
|
|
void optimize_inline_calls (tree);
|
void optimize_inline_calls (tree);
|
bool tree_inlinable_function_p (tree);
|
bool tree_inlinable_function_p (tree);
|
tree copy_tree_r (tree *, int *, void *);
|
tree copy_tree_r (tree *, int *, void *);
|
void clone_body (tree, tree, void *);
|
void clone_body (tree, tree, void *);
|
void save_body (tree, tree *, tree *);
|
void save_body (tree, tree *, tree *);
|
int estimate_move_cost (tree type);
|
int estimate_move_cost (tree type);
|
void push_cfun (struct function *new_cfun);
|
void push_cfun (struct function *new_cfun);
|
void pop_cfun (void);
|
void pop_cfun (void);
|
int estimate_num_insns (tree expr);
|
int estimate_num_insns (tree expr);
|
bool tree_versionable_function_p (tree);
|
bool tree_versionable_function_p (tree);
|
void tree_function_versioning (tree, tree, varray_type, bool);
|
void tree_function_versioning (tree, tree, varray_type, bool);
|
|
|
extern tree remap_decl (tree decl, copy_body_data *id);
|
extern tree remap_decl (tree decl, copy_body_data *id);
|
extern tree remap_type (tree type, copy_body_data *id);
|
extern tree remap_type (tree type, copy_body_data *id);
|
|
|
/* 0 if we should not perform inlining.
|
/* 0 if we should not perform inlining.
|
1 if we should expand functions calls inline at the tree level.
|
1 if we should expand functions calls inline at the tree level.
|
2 if we should consider *all* functions to be inline
|
2 if we should consider *all* functions to be inline
|
candidates. */
|
candidates. */
|
|
|
extern int flag_inline_trees;
|
extern int flag_inline_trees;
|
|
|
#endif /* GCC_TREE_INLINE_H */
|
#endif /* GCC_TREE_INLINE_H */
|
|
|
