#include <ipa_section.h>

Collaboration diagram for LINEX:

Public Member Functions
	LINEX (MEM_POOL *m)
	~LINEX ()
mINT32	Num_terms () const
TERM *	Get_term (INT32 idx) const
void	Set_term (const TERM *term)
void	Set_term (LTKIND kind, COEFF coeff, DESCR descr, mUINT8 level)
void	Set_linex_terms (INT start_index, INT end_index, TERM *term)
INT	Get_constant_term ()
void	Copy (LINEX *to)
BOOL	Loop_coeff_terms_equal (LINEX *l)
INT	Num_loop_coeff_terms ()
BOOL	Has_loop_coeff (INT i)
void	Add_access (SYSTEM_OF_EQUATIONS soe, mUINT8 depth, INT num_dim, INT axle, INT num_syms, ACTION_TYPE act, LOOP_SYMBOL_ARRAY sym, BOOL trace)
void	Print (FILE *fp=stderr)
void	Print_file (FILE *fp=stderr)
void	Map_access_vector (ACCESS_VECTOR av, BOOL Is_LNO, IPA_LNO_READ_FILE IPA_LNO_File)
void	Map_from_SOE (const SYSTEM_OF_EQUATIONS soe, INT i, const LOOP_SYMBOL_ARRAY syms, INT depth, INT dim, INT which_array, BOOL is_lower_bound)
void	Free_terms ()
BOOL	Equivalent (LINEX &b)
INT	Max (LINEX *l)
BOOL	Is_const ()
LINEX *	Merge (LINEX *l)
LINEX *	Subtract (LINEX *l)
void	Init (MEM_POOL *m)
void	Add_coupled_terms (LINEX *from)
void	Simplify ()
void	LNO_Simplify (IPA_LNO_READ_FILE IPA_LNO_File, WN wn_call)
void	Substitute_Lindex (INT lindex, LINEX *lx_substitute)
void	Remove_Zero_Terms ()
BOOL	Has_Local_Symbol ()
Private Attributes
TERM_ARRAY	_larray

Detailed Description

Definition at line 302 of file ipa_section.h.

Constructor & Destructor Documentation

LINEX::LINEX ( MEM_POOL * m ) [inline]

Definition at line 309 of file ipa_section.h.

References _larray.

Referenced by Init(), Merge(), and Subtract().

LINEX::~LINEX ( ) [inline]

Definition at line 312 of file ipa_section.h.

References _larray, and DYN_ARRAY< T >::Free_array().

Here is the call graph for this function:

Member Function Documentation

void LINEX::Add_access	(	SYSTEM_OF_EQUATIONS *	soe,
		mUINT8	depth,
		INT	num_dim,
		INT	axle,
		INT	num_syms,
		ACTION_TYPE	act,
		LOOP_SYMBOL_ARRAY *	sym,
		BOOL	trace
	)

Definition at line 492 of file ipa_section_main.cxx.

References ACTION_EQ, ACTION_LO, bzero(), c, Fail_FmtAssertion(), fprintf(), TERM::Get_coeff(), TERM::Get_desc(), Get_term(), TERM::Get_type(), Locate_symbol(), LTKIND_CONST, LTKIND_IV, LTKIND_LINDEX, LTKIND_NONE, LTKIND_SUBSCR, Num_terms(), and Print().

Referenced by Add_to_SOE(), and PROJECTED_KERNEL::Project().

Here is the call graph for this function:

void LINEX::Add_coupled_terms ( LINEX * from )

Definition at line 436 of file ipa_section.cxx.

References Fail_FmtAssertion(), Get_term(), TERM::Get_type(), LTKIND_CONST, LTKIND_IV, LTKIND_LINDEX, LTKIND_NONE, LTKIND_SUBSCR, Num_terms(), and Set_term().

Here is the call graph for this function:

void LINEX::Copy ( LINEX * to )

Definition at line 222 of file ipa_section_main.cxx.

References TERM::Get_coeff(), Get_term(), LTKIND_CONST, Num_terms(), and Set_term().

Referenced by PROJECTED_NODE::Copy(), PROJECTED_REGION::Map_to_linex_array(), PROJECTED_KERNEL::Set_Difference(), PROJECTED_NODE::Set_linexs(), and PROJECTED_NODE::Set_to_kernel_image().

Here is the call graph for this function:

BOOL LINEX::Equivalent ( LINEX & b )

Definition at line 324 of file ipa_section_main.cxx.

References TERM::Equivalent(), Get_term(), and Num_terms().

Referenced by PROJECTED_NODE::Equivalent(), PROJECTED_NODE::Matching_Segment_Stride(), and PROJECTED_REGION::May_Union().

Here is the call graph for this function:

void LINEX::Free_terms ( )

Definition at line 80 of file ipa_section_main.cxx.

References _larray, DYN_ARRAY< T >::Free_array(), and DYN_ARRAY< T >::Resetidx().

Referenced by PROJECTED_NODE::Fill_Out(), PROJECTED_REGION::May_Union(), PROJECTED_NODE::Reset_node(), RESHAPE::Reshape_Passed_Section(), PROJECTED_NODE::Set_linex_le(), PROJECTED_NODE::Set_to_kernel_image(), and Substitute_Lindex().

Here is the call graph for this function:

INT LINEX::Get_constant_term ( )

Definition at line 1017 of file ipa_section_main.cxx.

References TERM::Get_coeff(), Get_term(), TERM::Get_type(), and Num_terms().

Referenced by Linearize_Shape(), PROJECTED_REGION::May_Union(), RESHAPE::Reshape_Constant_Shape(), and RESHAPE::Reshapeable_Passed_Section().

Here is the call graph for this function:

TERM* LINEX::Get_term ( INT32 idx ) const [inline]

BOOL LINEX::Has_Local_Symbol ( )

BOOL LINEX::Has_loop_coeff ( INT i )

Definition at line 391 of file ipa_section.cxx.

References _larray, TERM::Get_desc(), TERM::Get_type(), and DYN_ARRAY< T >::Lastidx().

Referenced by PROJECTED_REGION::Project().

Here is the call graph for this function:

void LINEX::Init ( MEM_POOL * m )

Definition at line 452 of file ipa_section_main.cxx.

References LINEX().

Referenced by PROJECTED_NODE::Init(), and PROJECTED_KERNEL::Set_Difference().

Here is the call graph for this function:

BOOL LINEX::Is_const ( )

Definition at line 300 of file ipa_section_main.cxx.

References Get_term(), LTKIND_CONST, and Num_terms().

Referenced by PROJECTED_REGION::Constant_bounds(), Dim_Length(), Max(), PROJECTED_REGION::May_Union(), PROJECTED_KERNEL::Project(), RESHAPE::Reshape_Constant_Shape(), and RESHAPE::Reshapeable_Passed_Section().

Here is the call graph for this function:

void LINEX::LNO_Simplify	(	IPA_LNO_READ_FILE *	IPA_LNO_File,
		WN *	wn_call
	)

BOOL LINEX::Loop_coeff_terms_equal ( LINEX * l )

Definition at line 363 of file ipa_section.cxx.

References FALSE, FmtAssert, TERM::Get_coeff(), TERM::Get_desc(), Get_term(), TERM::Get_type(), and Num_loop_coeff_terms().

Referenced by PROJECTED_REGION::PROJECTED_REGION().

Here is the call graph for this function:

void LINEX::Map_access_vector	(	ACCESS_VECTOR *	av,
		BOOL	Is_LNO,
		IPA_LNO_READ_FILE *	IPA_LNO_File
	)

Definition at line 258 of file ipa_section.cxx.

References Access_vector_is_too_messy(), IPA_LNO_READ_FILE::Add_Translated_Ivar(), DYN_ARRAY< T >::AddElement(), CLASS_CONST, CLASS_VAR, CONST_DESC, Formal_Position(), Get_ivar(), GLOBAL_SYMTAB, Is_True, IPA_LNO_READ_FILE::Ivar(), IPA_LNO_READ_FILE::Ivar_Count(), DYN_ARRAY< T >::Lastidx(), LTKIND_CONST, LTKIND_IV, LTKIND_LINDEX, Set_term(), ST_class(), ST_IDX_level(), ST_st_idx(), STC_val(), and Targ_To_Host().

Referenced by LOOPINFO::Build_linex(), and PROJECTED_REGION::PROJECTED_REGION().

Here is the call graph for this function:

void LINEX::Map_from_SOE	(	const SYSTEM_OF_EQUATIONS *	soe,
		INT	i,
		const LOOP_SYMBOL_ARRAY *	syms,
		INT	depth,
		INT	dim,
		INT	which_array,
		BOOL	is_lower_bound
	)