osprey/ipa/main/optimize/ipo_inline.cxx File Reference

#include <stdint.h>
#include <alloca.h>
#include "assert.h"
#include "defs.h"
#include "config_ipa.h"
#include "lwn_util.h"
#include "targ_sim.h"
#include "wn_simp.h"
#include "wn_tree_util.h"
#include "ipa_cg.h"
#include "ipa_inline.h"
#include "ipo_clone.h"
#include "ipo_parent.h"
#include "ipl_summarize.h"
#include "ipo_tlog_utils.h"
#include "ipa_option.h"
#include "dwarf_DST_producer.h"
#include "clone_DST_utils.h"
#include "ipaa.h"
#include "ipo_inline.h"

Include dependency graph for ipo_inline.cxx:

Go to the source code of this file.

Data Types

module SCOPE_CONTEXT

Defines

#define __STDC_LIMIT_MACROS

#define BASETYPE   TY_mtype

#define ST_ADDR_SAVED   ST_addr_saved

#define ST_ADDR_PASSED   ST_addr_passed

#define SET_ST_ADDR_SAVED   Set_ST_addr_saved

#define SET_ST_ADDR_PASSED   Set_ST_addr_passed

#define RESET_ST_ADDR_SAVED   Clear_ST_addr_saved

#define RESET_ST_ADDR_PASSED   Clear_ST_addr_passed

Typedefs

typedef pair< ST *, BOOL > BARRIER_ST

Functions/Subroutines

static BOOL Subscripts_All_0 (const WN *actual, INT n)

static BOOL Equal_dims (ARB_HANDLE formal_arb, ARB_HANDLE actual_arb)

static INT Dim_size (ARB_HANDLE arb)

static BOOL Dim_size_is_1 (ARB_HANDLE arb)

static BOOL Dim_size_unknown (ARB_HANDLE arb)

static PARM_ITER Lookup_Parm (PARM_ATTR_VEC &vec, const ST *st)

static BOOL Formal_Is_Array (const ST *st)

static RESHAPE_METHOD Do_Linearize (WN *actual, ST *formal_st)

static BOOL IPA_Do_Linearization (IPA_NODE *callee_node, WN *call, SCOPE *caller_scope)

BOOL Can_Inline_Call (IPA_NODE *caller, IPA_NODE *callee, const IPA_EDGE *edge)

static ST * Find_Return_Registers (TYPE_ID type, PREG_NUM *rreg1, PREG_NUM *rreg2)

static WN * Create_array (WN *base)

static INT Get_orig_param_position (INT curpos, const VALUE_DYN_ARRAY *cprop_annot)

static ST * Get_actual_st_if_passed (WN *actual)

static void Set_Tables (IPA_NODE *node)

static BOOL ST_might_be_modified (const ST *st)

static void Update_Caller_MP_Pragmas (ST *s, WN *wn)

static pair< WN *, ST * > Create_Copy_Expr_For_Ptr (WN *expr, WN *call, BOOL is_mp)

static pair< WN *, ST * > Create_Copy_Expr (WN *expr, WN *call, BOOL is_mp)

static void Process_Actual (WN *actual, WN *copy_in_block, IPO_INLINE &inliner)

static void Copy_Subscript_Expressions (IPO_INLINE_AUX &aux, IPO_INLINE &inliner)

static void Update_formal_dref (WN *actual, IPA_NODE *caller)

static TYPE_ID Get_element_mtype (WN *actual)

static TY_IDX Get_element_ty (WN *actual)

void Init_inline ()

static void Propagate_Flags (IPA_NODE *caller_node, IPA_NODE *callee_node)

static void Recognize_Caller_MP (IPA_NODE *caller, IPA_NODE *callee)

static void Insert_Block_Around (WN *parent, WN *wn, WN *before, WN *after)

static void Insert_Labels (WN *Call, LABEL_IDX return_label, LABEL_IDX entry_label, WN *inlined_block)

static void Save_And_Restore_Stack (WN *call)

static void Replace_Return_By_Goto (TREE_ITER &iter, LABEL_IDX ret_label)

static vector< TY_IDX,
mempool_allocator< TY_IDX > > processed_types (Malloc_Mem_Pool)

static BOOL ty_processed (TY_IDX ty)

static void fix_var_dim_array (TY_IDX ty, IPO_SYMTAB *symtab)

static void Process_Pregs (WN *w, const RETURN_PREG &rp)

static BOOL has_array_reference (WN *wn)

static BOOL Unaliased_Actuals_Useful (WN *wn)

static ST * Get_Array_ST (WN *wn)

static BOOL Is_Scalar_Formal_Ref (const ST *st)

static void Disambiguate_Aliased_Actuals (PARM_ATTR_VEC &parm_attr, PU &pu)

static void Generate_Barriers (WN *parent, WN *call, IPO_INLINE_AUX &aux)

static void Array_reshape_eq (WN *actual, TREE_ITER &iter)

static void Array_reshape_gt (WN *actual, TREE_ITER &iter)

static void Array_reshape_lt (WN *actual, TREE_ITER &iter)

static WN * Simplify_Tree (WN *block)

static WN * Copy_Scalar (ST *dest, WN_OFFSET offset, TYPE_ID desc, WN *src)

static WN * Copy_Struct (ST *dest, WN *src, UINT64 size)

static void Process_Direct_Replacement (PARM_ITER parm)

static BOOL constant_array_base (WN *base)

static void Copy_Non_Constant_Parm (WN *parm, WN *copy_in_block, PARAMETER_ATTRIBUTES &p, IPO_INLINE &inliner)

static void Compute_Pass_Method (PARM_ITER p, IPO_INLINE_AUX &aux, IPO_INLINE &inliner)

static ST * get_formal (SCOPE *callee_scope, WN *formal)

Variables

static INT initial_initv_tab_size

MEM_POOL Ipo_mem_pool

WN_MAP Parent_Map

WN_MAP_TAB * caller_map_tab

WN_MAP_TAB * callee_map_tab

Define Documentation

#define __STDC_LIMIT_MACROS

Definition at line 46 of file ipo_inline.cxx.

#define BASETYPE TY_mtype

Definition at line 98 of file ipo_inline.cxx.

#define RESET_ST_ADDR_PASSED Clear_ST_addr_passed

Definition at line 104 of file ipo_inline.cxx.

#define RESET_ST_ADDR_SAVED Clear_ST_addr_saved

Definition at line 103 of file ipo_inline.cxx.

#define SET_ST_ADDR_PASSED Set_ST_addr_passed

Definition at line 102 of file ipo_inline.cxx.

#define SET_ST_ADDR_SAVED Set_ST_addr_saved

Definition at line 101 of file ipo_inline.cxx.

#define ST_ADDR_PASSED ST_addr_passed

Definition at line 100 of file ipo_inline.cxx.

Referenced by Clear_ST_addr_not_passed(), Clear_ST_addr_passed(), ST::Print(), IPO_INLINE::Process_ST(), Set_ST_addr_not_passed(), Set_ST_addr_passed(), ST_addr_not_passed(), ST_addr_passed(), and Synch_ST_flags().

#define ST_ADDR_SAVED ST_addr_saved

Definition at line 99 of file ipo_inline.cxx.

Referenced by Clear_ST_addr_not_saved(), Clear_ST_addr_saved(), ST::Print(), IPO_INLINE::Process_ST(), Set_ST_addr_not_saved(), Set_ST_addr_saved(), ST_addr_not_saved(), ST_addr_saved(), IPO_INLINE::SubstituteFormal(), and Synch_ST_flags().

Typedef Documentation

typedef pair<ST*, BOOL> BARRIER_ST [static]

Definition at line 2453 of file ipo_inline.cxx.

Function Documentation

static void Array_reshape_eq	(	WN *	actual,
		TREE_ITER &	iter
	)			`[static]`

Definition at line 2556 of file ipo_inline.cxx.

References i, INT, IPO_Copy_Tree(), Is_True, MTYPE_V, OPR_ADD, OPR_ARRAY, WN_TREE_ITER_base< WHIRL >::Replace(), UINT, WN_TREE_ITER_base< WHIRL >::Wn(), WN_array_base, WN_array_index, WN_CreateExp2, WN_num_dim, WN_operator(), WN_rtype(), and WN_Type_Conversion().

Referenced by IPO_INLINE::Reshape_Array().

static void Array_reshape_gt	(	WN *	actual,
		TREE_ITER &	iter
	)			`[static]`

Definition at line 2592 of file ipo_inline.cxx.

References Create_array(), i, INT, Is_True, MTYPE_V, OPR_ADD, OPR_ARRAY, WN_TREE_ITER_base< WHIRL >::Replace(), UINT, WN_TREE_ITER_base< WHIRL >::Wn(), WN_array_base, WN_array_index, WN_CreateExp2, WN_num_dim, WN_operator(), WN_rtype(), and WN_Type_Conversion().

Referenced by IPO_INLINE::Reshape_Array().

static void Array_reshape_lt	(	WN *	actual,
		TREE_ITER &	iter
	)			`[static]`

Definition at line 2628 of file ipo_inline.cxx.

References Create_array(), i, INT, Is_True, MTYPE_V, OPR_ADD, OPR_ARRAY, WN_TREE_ITER_base< WHIRL >::Replace(), UINT, WN_TREE_ITER_base< WHIRL >::Wn(), WN_array_base, WN_array_index, WN_CreateExp2, WN_num_dim, WN_operator(), WN_rtype(), and WN_Type_Conversion().

Referenced by IPO_INLINE::Reshape_Array().

BOOL Can_Inline_Call	(	IPA_NODE *	caller,
		IPA_NODE *	callee,
		const IPA_EDGE *	edge
	)

Definition at line 435 of file ipo_inline.cxx.

References FALSE, IPA_NODE::Has_Must_Inline_Attrib(), IPA_EDGE::Has_Must_Inline_Attrib(), INLINE_All, IPA_Do_Linearization(), IPA_Enable_Linearization, IPA_NODE::Lexical_Level(), Report_Reason(), IPA_NODE::Scope(), IPA_NODE::Set_Noinline_Attrib(), TRUE, and IPA_EDGE::Whirl_Node().

Referenced by Inline_Call().

static void Compute_Pass_Method	(	PARM_ITER	p,
		IPO_INLINE_AUX &	aux,
		IPO_INLINE &	inliner
	)			`[static]`

Definition at line 3347 of file ipo_inline.cxx.

References PARAMETER_ATTRIBUTES::Actual_Wn(), IPO_INLINE_AUX::copy_in_block, Copy_Non_Constant_Parm(), Do_Linearize(), FM_LOWER_FORMAL_REF, FM_REPLACE_ACTUAL, FM_REPLACE_ARRAY, FM_REPLACE_ST, Formal_Is_Array(), PARAMETER_ATTRIBUTES::Formal_St(), Get_actual_st_if_passed(), INLINE_Enable_Restrict_Pointers, KIND_POINTER, OPERATOR_is_leaf(), OPR_ARRAY, OPR_INTCONST, OPR_LDA, IPO_INLINE_AUX::parm_attr, PM_COPY_IN, PM_NEED_BARRIER, PM_REPLACE, r, RS_EQ, RS_EQ_COMMON, RS_GT, RS_LINEARIZE, RS_LT, SCLASS_FORMAL_REF, PARAMETER_ATTRIBUTES::Set_actual_aliased(), PARAMETER_ATTRIBUTES::Set_addr_passed_actual(), PARAMETER_ATTRIBUTES::Set_fixup_method(), PARAMETER_ATTRIBUTES::Set_pass_method(), PARAMETER_ATTRIBUTES::Set_reshape_method(), PARAMETER_ATTRIBUTES::Set_restrict_pointer(), ST_addr_passed(), ST_addr_saved(), ST_is_optional_argument, ST_is_value_parm, ST_sclass, ST_type, IPO_INLINE::SubstituteFormal(), TY_is_restrict, TY_kind, and WN_operator().

Referenced by IPO_INLINE::Process_Formals().

static BOOL constant_array_base ( WN * base ) [inline, static]

Definition at line 3287 of file ipo_inline.cxx.

References FALSE, OPR_LDA, OPR_LDID, SCLASS_FORMAL, ST_is_value_parm, ST_sclass, TRUE, WN_operator(), and WN_st().

static void Copy_Non_Constant_Parm	(	WN *	parm,
		WN *	copy_in_block,
		PARAMETER_ATTRIBUTES &	p,
		IPO_INLINE &	inliner
	)			`[static]`

Definition at line 3305 of file ipo_inline.cxx.

References IPO_INLINE::Call_Wn(), IPO_INLINE::Caller_node(), Create_Copy_Expr(), SUMMARY_PROCEDURE::Has_parallel_pragma(), SUMMARY_PROCEDURE::Has_parallel_region_pragma(), LWN_Insert_Block_Before(), NULL, OPR_ILOAD, OPR_INTCONST, OPR_LDA, OPR_LDID, PARAMETER_ATTRIBUTES::Set_actual(), ST_might_be_modified(), ST_st_idx, ST_type, IPA_NODE::Summary_Proc(), WN_kid0(), WN_Ldid(), WN_operator(), WN_rtype(), and WN_st().

Referenced by Compute_Pass_Method().

static WN* Copy_Scalar	(	ST *	dest,
		WN_OFFSET	offset,
		TYPE_ID	desc,
		WN *	src
	)			`[inline, static]`

Definition at line 3051 of file ipo_inline.cxx.

References ST_type, WN_Stid(), and WN_Type_Conversion().

Referenced by IPO_INLINE::Process_Barriers(), and IPO_INLINE::Process_Copy_In().

static WN* Copy_Struct	(	ST *	dest,
		WN *	src,
		UINT64	size
	)			`[static]`

Definition at line 3059 of file ipo_inline.cxx.

References Make_Pointer_Type(), MTYPE_M, MTYPE_U4, Pointer_Mtype, ST_type, WHIRL_Mldid_Mstid_On, WN_CreateMstore, WN_Intconst(), WN_Lda(), WN_rtype(), and WN_Stid().

Referenced by IPO_INLINE::Process_Copy_In().

static void Copy_Subscript_Expressions	(	IPO_INLINE_AUX &	aux,
		IPO_INLINE &	inliner
	)			`[static]`

Definition at line 1081 of file ipo_inline.cxx.

References IPO_INLINE_AUX::copy_in_block, iter, OPR_ARRAY, IPO_INLINE_AUX::parm_attr, PM_REPLACE, PM_UNKNOWN, Process_Actual(), and WN_operator().

Referenced by IPO_INLINE::Process_Formals().

static WN* Create_array ( WN * base ) [static]

Definition at line 513 of file ipo_inline.cxx.

References assert, b, Dim_size(), i, INT, IPO_Copy_Tree(), KIND_ARRAY, LWN_CreateExp2(), LWN_Parentize(), MTYPE_V, one, OPC_I4ADD, OPC_I4INTCONST, OPC_I4SUB, OPCODE_make_op(), OPR_ARRAY, OPR_LDA, OPR_LDID, size_wn(), ST_type, TY_AR_const_lbnd, TY_AR_const_ubnd, TY_AR_etype, TY_AR_lbnd_val, TY_AR_lbnd_var(), TY_AR_ndims, TY_AR_ubnd_val, TY_AR_ubnd_var(), TY_arb(), TY_kind, TY_mtype, TY_pointed, TY_size, TYPE_ID, WN_array_base, WN_array_dim, WN_array_index, WN_Create(), WN_CreateIntconst, WN_CreateLdid, WN_element_size(), WN_operator(), WN_rtype(), WN_st(), WN_st_idx(), and WN_ty().

Referenced by Array_reshape_gt(), and Array_reshape_lt().

static pair<WN, ST> Create_Copy_Expr	(	WN *	expr,
		WN *	call,
		BOOL	is_mp
	)			`[static]`

Definition at line 1008 of file ipo_inline.cxx.

References Gen_Temp_Symbol(), IPO_Copy_Tree(), make_pair(), MTYPE_To_TY, ST_type, TYPE_ID, Update_Caller_MP_Pragmas(), WN_rtype(), and WN_Stid().

Referenced by Copy_Non_Constant_Parm(), Process_Actual(), and IPO_INLINE::Process_Copy_In().

static pair<WN, ST> Create_Copy_Expr_For_Ptr	(	WN *	expr,
		WN *	call,
		BOOL	is_mp
	)			`[static]`

Definition at line 994 of file ipo_inline.cxx.

References Gen_Temp_Symbol(), IPO_Copy_Tree(), make_pair(), MTYPE_To_TY, Pointer_type, ST_type, Update_Caller_MP_Pragmas(), and WN_Stid().

Referenced by IPO_INLINE::Process_Copy_In().

static INT Dim_size ( ARB_HANDLE arb ) [inline, static]

Definition at line 152 of file ipo_inline.cxx.

References abs, ARB_const_lbnd, ARB_const_ubnd, ARB_lbnd_val, ARB_ubnd_val, and Is_True.

Referenced by Create_array(), and Dim_size_is_1().

static BOOL Dim_size_is_1 ( ARB_HANDLE arb ) [inline, static]

Definition at line 163 of file ipo_inline.cxx.

References ARB_const_lbnd, ARB_const_ubnd, and Dim_size().

Referenced by Dim_size_unknown().

static BOOL Dim_size_unknown ( ARB_HANDLE arb ) [static]

Definition at line 174 of file ipo_inline.cxx.

References ARB_const_ubnd, ARB_ubnd_var(), Dim_size_is_1(), and ST_IDX_ZERO.

Referenced by Do_Linearize().

static void Disambiguate_Aliased_Actuals	(	PARM_ATTR_VEC &	parm_attr,
		PU &	pu
	)			`[static]`

Definition at line 2375 of file ipo_inline.cxx.

References alloca, BOOL, BZERO, FALSE, FM_REPLACE_ST, Get_Array_ST(), i, INT, Is_Scalar_Formal_Ref(), NULL, PM_COPY_IN_OUT, PM_NEED_BARRIER, Set_PU_smart_addr_analysis(), TRUE, and UINT.

Referenced by IPO_INLINE::Process_Formals().

static RESHAPE_METHOD Do_Linearize	(	WN *	actual,
		ST *	formal_st
	)			`[static]`

Definition at line 208 of file ipo_inline.cxx.

References base, Dim_size_unknown(), Equal_dims(), i, INLINE_Array_Bounds, INT, KIND_ARRAY, KIND_POINTER, OPR_ARRAY, OPR_LDA, OPR_LDID, RS_EQ, RS_EQ_COMMON, RS_GT, RS_LINEARIZE, RS_LT, SCLASS_FORMAL_REF, ST_sclass, ST_type, Subscripts_All_0(), TY_AR_ndims, TY_arb(), TY_etype, TY_kind, TY_pointed, TY_size, WN_array_base, WN_operator(), and WN_st().

Referenced by Compute_Pass_Method(), and IPA_Do_Linearization().

static BOOL Equal_dims	(	ARB_HANDLE	formal_arb,
		ARB_HANDLE	actual_arb
	)			`[static]`

Definition at line 128 of file ipo_inline.cxx.

References abs, ARB_const_lbnd, ARB_const_ubnd, ARB_lbnd_val, ARB_ubnd_val, FALSE, and INT64.

Referenced by Do_Linearize().

static ST* Find_Return_Registers	(	TYPE_ID	type,
		PREG_NUM *	rreg1,
		PREG_NUM *	rreg2
	)			`[static]`

Definition at line 476 of file ipo_inline.cxx.

References Be_Type_Tbl, Fail_FmtAssertion(), Float_Preg, Get_Return_Info(), Get_Return_Mtypes(), Get_Return_Pregs(), Int_Preg, Preg_Offset_Is_Int, RETURN_INFO_count(), RETURN_INFO_mtype(), RETURN_INFO_preg(), TYPE_ID, Use_Simulated, and WHIRL_Return_Info_On.

static void fix_var_dim_array	(	TY_IDX	ty,
		IPO_SYMTAB *	symtab
	)			`[static]`

Definition at line 1950 of file ipo_inline.cxx.

References ARB_const_lbnd, ARB_const_stride, ARB_const_ubnd, ARB_dimension(), ARB_lbnd_var(), ARB_stride_var(), ARB_ubnd_var(), IPO_SYMTAB::Get_ST(), i, idx, KIND_ARRAY, KIND_POINTER, Make_arb_iter(), processed_types(), Set_ARB_lbnd_var(), Set_ARB_stride_var(), Set_ARB_ubnd_var(), ST_IDX_index(), ST_ptr(), ST_st_idx, TY_arb(), TY_etype, TY_kind, TY_pointed, ty_processed(), and UINT.

Referenced by IPO_INLINE::Process_Op_Code(), and IPO_INLINE::Process_ST().

static BOOL Formal_Is_Array ( const ST * st ) [static]

Definition at line 195 of file ipo_inline.cxx.

References KIND_ARRAY, KIND_POINTER, SCLASS_FORMAL, ST_sclass, ST_type, TY_kind, TY_pointed, and Ty_Table.

Referenced by Compute_Pass_Method(), and IPA_Do_Linearization().

static void Generate_Barriers	(	WN *	parent,
		WN *	call,
		IPO_INLINE_AUX &	aux
	)			`[static]`

Definition at line 2472 of file ipo_inline.cxx.

References after, before, BOOL, FALSE, i, Insert_Block_Around(), IPO_Copy_Tree(), Is_True, KIND_ARRAY, KIND_POINTER, NULL, p, IPO_INLINE_AUX::parm_attr, PM_NEED_BARRIER, Pointer_Mtype, size, ST_st_idx, ST_type, TRUE, TY_kind, TY_pointed, UINT, WN_CreateBarrier, WN_kid(), WN_Lda(), and WN_Ldid().

Referenced by IPO_INLINE::Post_Process_Caller().

static ST* Get_actual_st_if_passed ( WN * actual ) [static]

Definition at line 652 of file ipo_inline.cxx.

References CLASS_CONST, WN_TREE_ITER_base< WHIRL >::Get_parent_wn(), NULL, OPR_BLOCK, OPR_COMMA, OPR_ILOAD, OPR_LDA, OPR_MLOAD, p, ST_class, WN_TREE_ITER_base< WHIRL >::Wn(), WN_operator(), and WN_st().

Referenced by Compute_Pass_Method(), IPO_INLINE::Process_Copy_In(), and IPO_INLINE::SubstituteFormal().

static ST* Get_Array_ST ( WN * wn ) [static]

Definition at line 2317 of file ipo_inline.cxx.

References iter, KIND_ARRAY, KIND_POINTER, NULL, OPR_ILOAD, OPR_LDA, OPR_LDID, ST_type, TY_kind, TY_pointed, Ty_Table, WN_TREE_ITER_base< WHIRL >::Wn(), WN_operator(), and WN_st().

Referenced by Disambiguate_Aliased_Actuals().

static TYPE_ID Get_element_mtype ( WN * actual ) [static]

Definition at line 1253 of file ipo_inline.cxx.

References base, BASETYPE, Fail_FmtAssertion(), OPR_ARRAY, OPR_LDA, OPR_LDID, ST_type, TY_AR_etype, TY_pointed, TYPE_ID, WN_array_base, WN_operator(), WN_st(), and WN_ty().

static TY_IDX Get_element_ty ( WN * actual ) [static]

Definition at line 1289 of file ipo_inline.cxx.

References base, i, INT, Is_True, KIND_ARRAY, OPR_ARRAY, OPR_LDA, OPR_LDID, ST_type, TY_AR_etype, TY_kind, TY_pointed, WN_array_base, WN_kid(), WN_kid_count(), WN_operator(), WN_st(), and WN_ty().

static ST* get_formal	(	SCOPE *	callee_scope,
		WN *	formal
	)			`[static]`

Definition at line 3440 of file ipo_inline.cxx.

References WN_st().

Referenced by IPO_INLINE::Process_Formals().

static INT Get_orig_param_position	(	INT	curpos,
		const VALUE_DYN_ARRAY *	cprop_annot
	)			`[static]`

Definition at line 633 of file ipo_inline.cxx.

References i, and INT.

Referenced by IPO_INLINE::SubstituteFormal(), and Update_formal_dref().

static BOOL has_array_reference ( WN * wn ) [static]

Definition at line 2261 of file ipo_inline.cxx.

References FALSE, iter, KIND_ARRAY, KIND_POINTER, NULL, OPERATOR_has_sym(), SCLASS_FORMAL, ST_sclass, ST_type, TRUE, TY_kind, TY_pointed, WN_TREE_ITER_base< WHIRL >::Wn(), WN_operator(), and WN_st().

Referenced by Unaliased_Actuals_Useful().

void Init_inline ( )

Definition at line 1420 of file ipo_inline.cxx.

References Init_Operator_To_Opcode_Table().

Referenced by Perform_inlining(), and Perform_Transformation().

static void Insert_Block_Around	(	WN *	parent,
		WN *	wn,
		WN *	before,
		WN *	after
	)			`[static]`

Definition at line 1557 of file ipo_inline.cxx.

References first, Is_True, last, msg, NULL, OPERATOR_has_next_prev(), OPR_BLOCK, WN_first(), WN_last(), WN_next(), WN_operator(), and WN_prev().

Referenced by Generate_Barriers(), Insert_Labels(), IPO_INLINE::Post_Process_Caller(), and Save_And_Restore_Stack().

static void Insert_Labels	(	WN *	Call,
		LABEL_IDX	return_label,
		LABEL_IDX	entry_label,
		WN *	inlined_block
	)			`[static]`

Definition at line 1623 of file ipo_inline.cxx.

References Current_Map_Tab, Insert_Block_Around(), Is_True, NULL, OPR_BLOCK, OPR_GOTO, Parent_Map, WN_CreateLabel, WN_first(), WN_Get_Parent(), WN_label_number(), WN_last(), WN_next(), WN_operator(), and WN_prev().

Referenced by IPO_INLINE::Post_Process_Caller().

static BOOL IPA_Do_Linearization	(	IPA_NODE *	callee_node,
		WN *	call,
		SCOPE *	caller_scope
	)			`[static]`

Definition at line 316 of file ipo_inline.cxx.

References actual, Do_Linearize(), FALSE, Formal_Is_Array(), formals, i, INT, OPR_PARM, RS_LINEARIZE, SCLASS_FORMAL, ST_is_value_parm, ST_sclass, TRUE, IPA_NODE::Whirl_Tree(), WN_formal, WN_kid(), WN_kid0(), WN_kid_count(), WN_num_formals, WN_operator(), and WN_st().

Referenced by Can_Inline_Call().

static BOOL Is_Scalar_Formal_Ref ( const ST * st ) [inline, static]

Definition at line 2352 of file ipo_inline.cxx.

References FALSE, KIND_ARRAY, KIND_POINTER, SCLASS_FORMAL_REF, ST_sclass, ST_type, TRUE, TY_kind, and Ty_Table.

Referenced by Disambiguate_Aliased_Actuals().

static PARM_ITER Lookup_Parm	(	PARM_ATTR_VEC &	vec,
		const ST *	st
	)			`[static]`

Definition at line 182 of file ipo_inline.cxx.

References _ffestd_stmt_::end, and first.

Referenced by IPO_INLINE::Process_Formal_ST().

static void Process_Actual	(	WN *	actual,
		WN *	copy_in_block,
		IPO_INLINE &	inliner
	)			`[static]`

Definition at line 1025 of file ipo_inline.cxx.

References IPO_INLINE::Call_Wn(), IPO_INLINE::Caller_node(), count, Create_Copy_Expr(), SUMMARY_PROCEDURE::Has_parallel_pragma(), SUMMARY_PROCEDURE::Has_parallel_region_pragma(), i, LWN_Insert_Block_Before(), NULL, OPR_ARRAY, OPR_ILOAD, OPR_INTCONST, OPR_LDA, OPR_LDID, ST_might_be_modified(), ST_st_idx, ST_type, IPA_NODE::Summary_Proc(), UINT, WN_kid(), WN_kid0(), WN_kid_count(), WN_Ldid(), WN_operator(), WN_rtype(), and WN_st().

Referenced by Copy_Subscript_Expressions().

static void Process_Direct_Replacement ( PARM_ITER parm ) [static]

Definition at line 3158 of file ipo_inline.cxx.

References FM_REPLACE_ST, Is_True, OPERATOR_has_sym(), PM_REPLACE, Set_ST_addr_saved(), ST_addr_saved(), WN_offset(), WN_operator(), WN_st(), and WN_st_idx().

Referenced by IPO_INLINE::Process_Formals().

static void Process_Pregs	(	WN *	w,
		const RETURN_PREG &	rp
	)			`[static]`

Definition at line 2233 of file ipo_inline.cxx.

References RETURN_PREG::find(), RETURN_PREG::find_st(), INT, MTYPE_M, OPR_PRAGMA, OPR_STID, Preg_Is_Dedicated, ST_st_idx, WN_desc(), WN_offset(), WN_operator(), WN_pragma_arg1(), and WN_st_idx().

Referenced by IPO_INLINE::Process_ST().

static vector<TY_IDX, mempool_allocator<TY_IDX> > processed_types ( Malloc_Mem_Pool ) [static]

Referenced by fix_var_dim_array(), and ty_processed().

static void Propagate_Flags	(	IPA_NODE *	caller_node,
		IPA_NODE *	callee_node
	)			`[static]`

Definition at line 1504 of file ipo_inline.cxx.

References IPA_NODE::Func_ST(), PU_HAS_ALLOCA, PU_HAS_EXC_SCOPES, PU_HAS_INLINES, PU_HAS_MP, PU_HAS_NAMELIST, PU_HAS_REGION, PU_HAS_VERY_HIGH_WHIRL, PU_MP_NEEDS_LNO, PU_NEEDS_FILL_ALIGN_LOWERING, Pu_Table, and ST_pu().

Referenced by IPO_INLINE::Process().

static void Recognize_Caller_MP	(	IPA_NODE *	caller,
		IPA_NODE *	callee
	)			`[static]`

Definition at line 1538 of file ipo_inline.cxx.

References SUMMARY_PROCEDURE::Has_parallel_pragma(), SUMMARY_PROCEDURE::Has_parallel_region_pragma(), SUMMARY_PROCEDURE::Set_has_parallel_pragma(), SUMMARY_PROCEDURE::Set_has_parallel_region_pragma(), and IPA_NODE::Summary_Proc().

Referenced by IPO_INLINE::Pre_Process_Caller().

static void Replace_Return_By_Goto	(	TREE_ITER &	iter,
		LABEL_IDX	ret_label
	)			`[inline, static]`

Definition at line 1714 of file ipo_inline.cxx.

References WN_TREE_ITER_base< WHIRL >::Replace(), and WN_CreateGoto.

Referenced by IPO_INLINE::Process_Op_Code().

static void Save_And_Restore_Stack ( WN * call ) [static]

Definition at line 1671 of file ipo_inline.cxx.

References Create_Preg(), Current_Map_Tab, Insert_Block_Around(), Is_True, MTYPE_To_PREG, MTYPE_U4, NULL, OPR_BLOCK, Parent_Map, Pointer_Mtype, save, sp, WN_CreateAlloca(), WN_CreateDealloca(), WN_Get_Parent(), WN_Intconst(), WN_kid0(), WN_LdidPreg(), WN_operator(), and WN_StidIntoPreg().

Referenced by IPO_INLINE::Post_Process_Caller().

static void Set_Tables ( IPA_NODE * node ) [static]

Definition at line 706 of file ipo_inline.cxx.

References Current_Map_Tab, Current_pu, Current_scope, IPA_NODE::Lexical_Level(), IPA_NODE::Map_Table(), IPA_NODE::Parent_Map(), Parent_Map, Pu_Table, Scope_tab, IPA_NODE::Scope_Table(), and ST_pu().

Referenced by IPO_INLINE::Post_Process_Caller(), IPO_INLINE::Pre_Process_Caller(), IPO_INLINE::Process_Alloca_Postamble(), IPO_INLINE::Process_Alloca_Preamble(), IPO_INLINE::Process_Callee(), and IPO_INLINE::Process_Op_Code().

static WN* Simplify_Tree ( WN * block ) [static]

Definition at line 3008 of file ipo_inline.cxx.

References Parent_Map, WN_Simplify_Tree(), and WN_SimpParentMap.

Referenced by IPO_INLINE::Walk_and_Update_Callee().

static BOOL ST_might_be_modified ( const ST * st ) [static]

Definition at line 930 of file ipo_inline.cxx.

References CLASS_CONST, CLASS_PREG, FALSE, SCLASS_AUTO, SCLASS_FORMAL, SCLASS_FORMAL_REF, ST_addr_passed(), ST_addr_saved(), ST_class, ST_Has_Dope_Vector(), ST_has_nested_ref, ST_is_const_var, ST_sclass, and TRUE.

Referenced by Copy_Non_Constant_Parm(), and Process_Actual().

static BOOL Subscripts_All_0	(	const WN *	actual,
		INT	n
	)			`[static]`

Definition at line 111 of file ipo_inline.cxx.

References FALSE, i, index(), INT, OPR_INTCONST, TRUE, WN_array_index, WN_const_val(), WN_num_dim, and WN_operator().

Referenced by Do_Linearize().

static BOOL ty_processed ( TY_IDX ty ) [static]

Definition at line 1940 of file ipo_inline.cxx.

References FALSE, i, processed_types(), TRUE, and TY_IDX_index().

Referenced by fix_var_dim_array().

static BOOL Unaliased_Actuals_Useful ( WN * wn ) [static]

Definition at line 2287 of file ipo_inline.cxx.

References FALSE, has_array_reference(), iter, NULL, OPERATOR_is_stmt(), OPR_DO_LOOP, OPR_DO_WHILE, OPR_WHILE_DO, TRUE, WN_TREE_ITER_base< WHIRL >::Wn(), and WN_operator().

Referenced by IPO_INLINE::Process_Formals().

static void Update_Caller_MP_Pragmas	(	ST *	s,
		WN *	wn
	)			`[static]`

Definition at line 959 of file ipo_inline.cxx.

References Add_Pragma_To_MP_Regions(), FALSE, LWN_Get_Parent, Malloc_Mem_Pool, OPC_REGION, Parent_Map, REGION_is_mp(), SCLASS_AUTO, ST_sclass, tmp, TRUE, WN_opcode(), WN_PRAGMA_LOCAL, and WN_PRAGMA_SHARED.

Referenced by Create_Copy_Expr(), Create_Copy_Expr_For_Ptr(), IPO_INLINE::Create_Copy_In_Symbol(), IPO_INLINE::Process_Barriers(), and IPO_INLINE::Process_ST().

static void Update_formal_dref	(	WN *	actual,
		IPA_NODE *	caller
	)			`[static]`

Definition at line 1217 of file ipo_inline.cxx.

References IPAA_NODE_INFO::Add_formal_dref_elmt(), IPA_NODE::Cprop_Annot(), func, Get_orig_param_position(), i, INT, IPA_NODE::Mod_Ref_Info(), NULL, SCLASS_FORMAL, SCLASS_FORMAL_REF, ST_sclass, IPA_NODE::Whirl_Tree(), WN_formal, WN_has_sym, WN_num_formals, and WN_st().

Referenced by IPO_INLINE::Process_Copy_In().

Variable Documentation

WN_MAP_TAB* callee_map_tab

Definition at line 1431 of file ipo_inline.cxx.

WN_MAP_TAB* caller_map_tab

Definition at line 1430 of file ipo_inline.cxx.

INT initial_initv_tab_size [static]

Definition at line 74 of file ipo_inline.cxx.

Referenced by IPO_INLINE::Process(), and IPO_INLINE::Process_OPR_REGION().

MEM_POOL Ipo_mem_pool

Definition at line 76 of file ipo_inline.cxx.

WN_MAP Parent_Map

Definition at line 77 of file ipo_inline.cxx.


Data Types
module	SCOPE_CONTEXT
Defines
#define	__STDC_LIMIT_MACROS
#define	BASETYPE TY_mtype
#define	ST_ADDR_SAVED ST_addr_saved
#define	ST_ADDR_PASSED ST_addr_passed
#define	SET_ST_ADDR_SAVED Set_ST_addr_saved
#define	SET_ST_ADDR_PASSED Set_ST_addr_passed
#define	RESET_ST_ADDR_SAVED Clear_ST_addr_saved
#define	RESET_ST_ADDR_PASSED Clear_ST_addr_passed
Typedefs
typedef pair< ST *, BOOL >	BARRIER_ST
Functions/Subroutines
static BOOL	Subscripts_All_0 (const WN *actual, INT n)
static BOOL	Equal_dims (ARB_HANDLE formal_arb, ARB_HANDLE actual_arb)
static INT	Dim_size (ARB_HANDLE arb)
static BOOL	Dim_size_is_1 (ARB_HANDLE arb)
static BOOL	Dim_size_unknown (ARB_HANDLE arb)
static PARM_ITER	Lookup_Parm (PARM_ATTR_VEC &vec, const ST *st)
static BOOL	Formal_Is_Array (const ST *st)
static RESHAPE_METHOD	Do_Linearize (WN actual, ST formal_st)
static BOOL	IPA_Do_Linearization (IPA_NODE callee_node, WN call, SCOPE *caller_scope)
BOOL	Can_Inline_Call (IPA_NODE caller, IPA_NODE callee, const IPA_EDGE *edge)
static ST *	Find_Return_Registers (TYPE_ID type, PREG_NUM rreg1, PREG_NUM rreg2)
static WN *	Create_array (WN *base)
static INT	Get_orig_param_position (INT curpos, const VALUE_DYN_ARRAY *cprop_annot)
static ST *	Get_actual_st_if_passed (WN *actual)
static void	Set_Tables (IPA_NODE *node)
static BOOL	ST_might_be_modified (const ST *st)
static void	Update_Caller_MP_Pragmas (ST s, WN wn)
static pair< WN , ST >	Create_Copy_Expr_For_Ptr (WN expr, WN call, BOOL is_mp)
static pair< WN , ST >	Create_Copy_Expr (WN expr, WN call, BOOL is_mp)
static void	Process_Actual (WN actual, WN copy_in_block, IPO_INLINE &inliner)
static void	Copy_Subscript_Expressions (IPO_INLINE_AUX &aux, IPO_INLINE &inliner)
static void	Update_formal_dref (WN actual, IPA_NODE caller)
static TYPE_ID	Get_element_mtype (WN *actual)
static TY_IDX	Get_element_ty (WN *actual)
void	Init_inline ()
static void	Propagate_Flags (IPA_NODE caller_node, IPA_NODE callee_node)
static void	Recognize_Caller_MP (IPA_NODE caller, IPA_NODE callee)
static void	Insert_Block_Around (WN parent, WN wn, WN before, WN after)
static void	Insert_Labels (WN Call, LABEL_IDX return_label, LABEL_IDX entry_label, WN inlined_block)
static void	Save_And_Restore_Stack (WN *call)
static void	Replace_Return_By_Goto (TREE_ITER &iter, LABEL_IDX ret_label)
static vector< TY_IDX, mempool_allocator< TY_IDX > >	processed_types (Malloc_Mem_Pool)
static BOOL	ty_processed (TY_IDX ty)
static void	fix_var_dim_array (TY_IDX ty, IPO_SYMTAB *symtab)
static void	Process_Pregs (WN *w, const RETURN_PREG &rp)
static BOOL	has_array_reference (WN *wn)
static BOOL	Unaliased_Actuals_Useful (WN *wn)
static ST *	Get_Array_ST (WN *wn)
static BOOL	Is_Scalar_Formal_Ref (const ST *st)
static void	Disambiguate_Aliased_Actuals (PARM_ATTR_VEC &parm_attr, PU &pu)
static void	Generate_Barriers (WN parent, WN call, IPO_INLINE_AUX &aux)
static void	Array_reshape_eq (WN *actual, TREE_ITER &iter)
static void	Array_reshape_gt (WN *actual, TREE_ITER &iter)
static void	Array_reshape_lt (WN *actual, TREE_ITER &iter)
static WN *	Simplify_Tree (WN *block)
static WN *	Copy_Scalar (ST dest, WN_OFFSET offset, TYPE_ID desc, WN src)
static WN *	Copy_Struct (ST dest, WN src, UINT64 size)
static void	Process_Direct_Replacement (PARM_ITER parm)
static BOOL	constant_array_base (WN *base)
static void	Copy_Non_Constant_Parm (WN parm, WN copy_in_block, PARAMETER_ATTRIBUTES &p, IPO_INLINE &inliner)
static void	Compute_Pass_Method (PARM_ITER p, IPO_INLINE_AUX &aux, IPO_INLINE &inliner)
static ST *	get_formal (SCOPE callee_scope, WN formal)
Variables
static INT	initial_initv_tab_size
MEM_POOL	Ipo_mem_pool
WN_MAP	Parent_Map
WN_MAP_TAB *	caller_map_tab
WN_MAP_TAB *	callee_map_tab