PROJECTED_REGION Module Reference

#include <ipa_section.h>

Collaboration diagram for PROJECTED_REGION:


Public Member Functions
	PROJECTED_REGION (ACCESS_ARRAY ar, MEM_POOL mem_pool, LOOPINFO loop, BOOL in_ipl=TRUE, IPA_LNO_READ_FILE IPA_LNO_File=NULL)
	PROJECTED_REGION (PROJECTED_REGION *p)
	PROJECTED_REGION (mINT16 type, mUINT8 depth, mUINT8 num_dim, MEM_POOL *mem_pool)
void	Set_Mem_Pool (MEM_POOL *mem_pool)
MEM_POOL *	Mem_Pool ()
void	Set_callsite_id (INT16 id)
INT16	Get_callsite_id () const
void	Set_actual_id (INT16 id)
INT16	Get_actual_id () const
void	Set_id (INT32 i)
INT32	Get_id () const
void	Set_type (mINT16 type)
mINT16	Get_type () const
void	Set_num_dims (mUINT8 num_dims)
mUINT8	Get_num_dims () const
void	Set_depth (mUINT8 depth)
mUINT8	Get_depth () const
mINT32	Get_projected_kernel_id () const
void	Set_projected_kernel_id (mINT32 id)
PROJECTED_KERNEL *	Get_projected_kernel () const
void	Set_projected_kernel (PROJECTED_KERNEL *p)
BOOL	Is_unprojected_region () const
void	Set_unprojected ()
void	Reset_is_unprojected ()
BOOL	Is_messy_region () const
void	Set_messy_region ()
void	Reset_messy_region ()
BOOL	Is_may_kill () const
void	Set_is_may_kill ()
BOOL	Is_may_use () const
void	Set_is_may_use ()
BOOL	Is_passed () const
void	Set_is_passed ()
BOOL	Is_formal () const
void	Set_is_formal ()
void	Set_projected_node (PROJECTED_NODE *node)
PROJECTED_NODE *	Get_projected_node (INT i)
BOOL	Has_Messy_Bounds ()
BOOL	Has_Important_Messy_Bounds ()
void	Set_Messy_If_Local_Symbol ()
void	Copy_projected_node (PROJECTED_NODE *node)
void	Copy_write (PROJECTED_REGION *p_in)
void	Set_projected_array (PROJECTED_ARRAY *region)
PROJECTED_ARRAY *	Get_projected_array () const
INT	Compare (PROJECTED_REGION *b)
LINEX_ARRAY *	Map_to_linex_array ()
void	Project (INT depth, LOOPINFO *l)
PROJECTED_REGION *	Union (PROJECTED_REGION &b, const LOOPINFO &l)
BOOL	May_Union (PROJECTED_REGION &b, BOOL trace)
void	Set_region (SYSTEM_OF_EQUATIONS soe, LOOP_SYMBOL_ARRAY syms, INT stride[], INT pivot_row, INT pos, INT loop_step, INT projected_axle)
BOOL	Equivalent (PROJECTED_REGION *p)
BOOL	Constant_bounds (mUINT8 num_dims)
void	Print (FILE *fp=stderr)
void	Print_file (FILE *fp=stderr)
void	IPA_LNO_Print (FILE fp=stderr, IPA_LNO_READ_FILE IPA_LNO_File=NULL)
void	IPA_LNO_Print_File (FILE *fp=stderr, INT pr_index=-1)
void	WB_Print (FILE *fp, INT proj_region_index)
void	Simplify ()
void	LNO_Simplify (IPA_LNO_READ_FILE IPA_LNO_File, WN wn_call)
void	Fill_Out ()
BOOL	Matching_Segment_Stride (PROJECTED_REGION *pr)
Private Attributes
union {
PROJECTED_ARRAY * _region
mINT32 _id
}	u1
mINT16	_type
mUINT8	_num_dims
mUINT8	_depth
union {
mINT32 _projected_kernel
PROJECTED_KERNEL * _p
type {
mINT16 _callsite_id
mINT16 _actual_id
} u22
}	u2
MEM_POOL *	_mem_pool

Detailed Description

Definition at line 770 of file ipa_section.h.

Constructor & Destructor Documentation

PROJECTED_REGION::PROJECTED_REGION	(	ACCESS_ARRAY *	ar,
		MEM_POOL *	mem_pool,
		LOOPINFO *	loop,
		BOOL	in_ipl = `TRUE`,
		IPA_LNO_READ_FILE *	IPA_LNO_File = `NULL`
	)

Definition at line 1148 of file ipa_section.cxx.

References Access_vector_is_too_messy(), BOOL, CXX_NEW, ACCESS_ARRAY::Dim(), FALSE, DYN_ARRAY< T >::Force_Alloc_array(), PROJECTED_KERNEL::Get_depth(), LOOPINFO::Get_kernels(), PROJECTED_KERNEL::Get_linex(), PROJECTED_NODE::Get_lower_linex(), LOOPINFO::Get_nest_level(), PROJECTED_KERNEL::Get_num_dims(), Get_projected_array(), Get_projected_kernel(), Get_projected_node(), i, PROJECTED_KERNEL::Init(), PROJECTED_NODE::Init(), INT, IPL_Access_Array_Map, DYN_ARRAY< T >::Lastidx(), LINEX::Loop_coeff_terms_equal(), LINEX::Map_access_vector(), MESSY_REGION, mUINT8, DYN_ARRAY< T >::Newidx(), NON_MESSY_REGION, NULL, ACCESS_ARRAY::Num_Vec(), pn, Set_depth(), PROJECTED_KERNEL::Set_Difference(), Set_Mem_Pool(), Set_num_dims(), Set_projected_array(), Set_projected_kernel(), Set_type(), PROJECTED_NODE::Set_unprojected(), Set_unprojected(), DYN_ARRAY< T >::Setidx(), ACCESS_ARRAY::Too_Messy, and TRUE.

PROJECTED_REGION::PROJECTED_REGION ( PROJECTED_REGION * p )

Definition at line 297 of file ipa_section_main.cxx.

References Copy_projected_node(), CXX_NEW, Get_depth(), Get_num_dims(), Get_projected_kernel(), Get_projected_node(), Get_type(), i, INT, Mem_Pool(), Set_depth(), Set_Mem_Pool(), Set_num_dims(), Set_projected_array(), Set_projected_kernel(), and Set_type().

PROJECTED_REGION::PROJECTED_REGION	(	mINT16	type,
		mUINT8	depth,
		mUINT8	num_dim,
		MEM_POOL *	mem_pool
	)

Definition at line 658 of file ipa_section_main.cxx.

References CXX_NEW, i, INT, u1, and u2.

Member Function/Subroutine Documentation

void PROJECTED_REGION::Set_Mem_Pool ( MEM_POOL * mem_pool ) [inline]

Definition at line 819 of file ipa_section.h.

References _mem_pool.

Referenced by PROJECTED_REGION(), Projected_Region_To_Memory(), and update_region().

MEM_POOL* PROJECTED_REGION::Mem_Pool ( ) [inline]

Definition at line 820 of file ipa_section.h.

References _mem_pool.

Referenced by PROJECTED_KERNEL::Init(), Map_to_linex_array(), May_Union(), PROJECTED_REGION(), and Set_region().

void PROJECTED_REGION::Set_callsite_id ( INT16 id ) [inline]

Definition at line 822 of file ipa_section.h.

References u2.

Referenced by CFG_NODE_INFO::Add_array_param(), and Copy_write().

INT16 PROJECTED_REGION::Get_callsite_id ( ) const [inline]

Definition at line 823 of file ipa_section.h.

References u2.

Referenced by Copy_write(), IPA_LNO_Print_File(), ARRAY_SUMMARY_OUTPUT::Map_summary_info(), Print(), Print_file(), and WB_Print().

void PROJECTED_REGION::Set_actual_id ( INT16 id ) [inline]

Definition at line 825 of file ipa_section.h.

References u2.

Referenced by CFG_NODE_INFO::Add_array_param(), and Copy_write().

INT16 PROJECTED_REGION::Get_actual_id ( ) const [inline]

Definition at line 826 of file ipa_section.h.

References u2.

Referenced by Copy_write(), IPA_LNO_Print(), IPA_LNO_Print_File(), Print(), Print_file(), and WB_Print().

void PROJECTED_REGION::Set_id ( INT32 i ) [inline]

Definition at line 828 of file ipa_section.h.

References u1.

Referenced by IPA_LNO_Map_Projected_Region(), and ARRAY_SUMMARY_OUTPUT::Map_projected_region().

INT32 PROJECTED_REGION::Get_id ( ) const [inline]

Definition at line 829 of file ipa_section.h.

References u1.

Referenced by IPA_LNO_Print_File(), IPA_LNO_Read_Projected_Region(), Print_file(), Projected_Region_To_Memory(), update_projected_region(), and WB_Print().

void PROJECTED_REGION::Set_type ( mINT16 type ) [inline]

Definition at line 831 of file ipa_section.h.

References _type.

Referenced by Copy_write(), PROJECTED_REGION(), Projected_Region_To_Memory(), and Set_region().

mINT16 PROJECTED_REGION::Get_type ( ) const [inline]

Definition at line 832 of file ipa_section.h.

References _type.

Referenced by Compare(), Copy_write(), PROJECTED_REGION(), Projected_Region_To_Memory(), Same_Shape(), and Union_sections().

void PROJECTED_REGION::Set_num_dims ( mUINT8 num_dims ) [inline]

Definition at line 834 of file ipa_section.h.

References _num_dims.

Referenced by Copy_write(), PROJECTED_REGION(), and Projected_Region_To_Memory().

mUINT8 PROJECTED_REGION::Get_num_dims ( ) const [inline]

Definition at line 835 of file ipa_section.h.

References _num_dims.

Referenced by Add_to_SOE(), Array_Shapes_Match_At_Formal(), Can_Map_Projected_Region(), Compare(), Copy_write(), Equivalent(), Fill_Out(), Formal_Dim_Count(), Has_Important_Messy_Bounds(), Has_Messy_Bounds(), IPA_LNO_Print(), IPA_LNO_Print_File(), IPA_LNO_Read_Projected_Region(), Is_region_mappable_to_caller(), Linearize_Shape(), LNO_Simplify(), Map_callee_region_to_caller(), Map_Projected_Region(), Matching_Segment_Stride(), May_Union(), Print(), Print_file(), Project(), PROJECTED_REGION(), Projected_Region_To_Memory(), RESHAPE::Reshape_Callee_To_Caller(), RESHAPE::Reshape_Constant_Shape(), RESHAPE::Reshape_Passed_Section(), RESHAPE::Reshapeable_Passed_Section(), Same_Shape(), Set_Caller_Annot_Messy(), Set_region(), Simplify(), Translate_Array(), Union_sections(), update_projected_region(), Walk_Projected_Region(), and WB_Print().

void PROJECTED_REGION::Set_depth ( mUINT8 depth ) [inline]

Definition at line 837 of file ipa_section.h.

References _depth.

Referenced by Copy_write(), PROJECTED_REGION(), and Projected_Region_To_Memory().

mUINT8 PROJECTED_REGION::Get_depth ( ) const [inline]

Definition at line 838 of file ipa_section.h.

References _depth.

Referenced by Compare(), Copy_write(), IPA_LNO_Print(), IPA_LNO_Print_File(), May_Union(), Print(), Print_file(), PROJECTED_REGION(), Projected_Region_To_Memory(), RESHAPE::Reshape_Callee_To_Caller(), RESHAPE::Reshape_Constant_Shape(), Same_Shape(), Set_Caller_Annot_Messy(), Set_region(), Union_sections(), and WB_Print().

mINT32 PROJECTED_REGION::Get_projected_kernel_id ( ) const [inline]

Definition at line 840 of file ipa_section.h.

References u2.

void PROJECTED_REGION::Set_projected_kernel_id ( mINT32 id ) [inline]

Definition at line 841 of file ipa_section.h.

References u2.

PROJECTED_KERNEL* PROJECTED_REGION::Get_projected_kernel ( ) const [inline]

Definition at line 843 of file ipa_section.h.

References u2.

Referenced by Print(), process_array_node(), Project(), and PROJECTED_REGION().

void PROJECTED_REGION::Set_projected_kernel ( PROJECTED_KERNEL * p ) [inline]

Definition at line 844 of file ipa_section.h.

References u2.

Referenced by PROJECTED_REGION(), and Projected_Region_To_Memory().

BOOL PROJECTED_REGION::Is_unprojected_region ( ) const [inline]

Definition at line 846 of file ipa_section.h.

References _type, and UNPROJECTED_REGION.

Referenced by IPA_LNO_Print(), IPA_LNO_Print_File(), Print(), Print_file(), Project(), RESHAPE::Reshapeable_Passed_Section(), and WB_Print().

void PROJECTED_REGION::Set_unprojected ( ) [inline]

Definition at line 848 of file ipa_section.h.

References _type, and UNPROJECTED_REGION.

Referenced by Min_Max_Fill_Region(), and PROJECTED_REGION().

void PROJECTED_REGION::Reset_is_unprojected ( ) [inline]

Definition at line 850 of file ipa_section.h.

References _type, and UNPROJECTED_REGION.

Referenced by Fill_Out(), Min_Max_Fill_Region(), and Projected_Region_From_St().

BOOL PROJECTED_REGION::Is_messy_region ( ) const [inline]

void PROJECTED_REGION::Set_messy_region ( ) [inline]

Definition at line 853 of file ipa_section.h.

References _type, and MESSY_REGION.

Referenced by Map_callee_region_to_caller(), May_Union(), process_array_node(), Project(), Set_Caller_Annot_Messy(), Set_region(), Union_sections(), and update_projected_region().

void PROJECTED_REGION::Reset_messy_region ( ) [inline]

Definition at line 855 of file ipa_section.h.

References _type, and MESSY_REGION.

BOOL PROJECTED_REGION::Is_may_kill ( ) const [inline]

Definition at line 857 of file ipa_section.h.

References _type, and IS_MAY_KILL.

Referenced by IPA_LNO_Print(), IPA_LNO_Print_File(), and WB_Print().

void PROJECTED_REGION::Set_is_may_kill ( ) [inline]

Definition at line 858 of file ipa_section.h.

References _type, and IS_MAY_KILL.

Referenced by CFG_NODE_INFO::Add_may_def_array().

BOOL PROJECTED_REGION::Is_may_use ( ) const [inline]

Definition at line 860 of file ipa_section.h.

References _type, and IS_MAY_USE.

Referenced by IPA_LNO_Print(), IPA_LNO_Print_File(), and WB_Print().

void PROJECTED_REGION::Set_is_may_use ( ) [inline]

Definition at line 861 of file ipa_section.h.

References _type, and IS_MAY_USE.

Referenced by CFG_NODE_INFO::Add_may_use_array().

BOOL PROJECTED_REGION::Is_passed ( ) const [inline]

Definition at line 863 of file ipa_section.h.

References _type, and IS_PASSED.

Referenced by Copy_write(), IPA_LNO_Print(), IPA_LNO_Print_File(), Print(), Print_file(), and WB_Print().

void PROJECTED_REGION::Set_is_passed ( ) [inline]

Definition at line 864 of file ipa_section.h.

References _type, and IS_PASSED.

Referenced by CFG_NODE_INFO::Add_array_param().

BOOL PROJECTED_REGION::Is_formal ( ) const [inline]

Definition at line 866 of file ipa_section.h.

References _type, and IS_FORMAL.

Referenced by IPA_LNO_Print(), IPA_LNO_Print_File(), and WB_Print().

void PROJECTED_REGION::Set_is_formal ( ) [inline]

Definition at line 867 of file ipa_section.h.

References _type, and IS_FORMAL.

Referenced by CFG_NODE_INFO::Add_formal_array(), and Projected_Region_From_St().

void PROJECTED_REGION::Set_projected_node ( PROJECTED_NODE * node ) [inline]

Definition at line 869 of file ipa_section.h.

References u1.

Referenced by Projected_Region_To_Memory(), and update_projected_region().

PROJECTED_NODE* PROJECTED_REGION::Get_projected_node ( INT i ) [inline]

BOOL PROJECTED_REGION::Has_Messy_Bounds ( )

Definition at line 1154 of file ipa_section_main.cxx.

References FALSE, Get_num_dims(), Get_projected_node(), PROJECTED_NODE::Has_a_messy_bound(), i, INT, pn, and TRUE.

Referenced by RESHAPE::Reshape_Callee_To_Caller().

BOOL PROJECTED_REGION::Has_Important_Messy_Bounds ( )

Definition at line 1164 of file ipa_section_main.cxx.

References FALSE, Get_num_dims(), Get_projected_node(), PROJECTED_NODE::Has_a_messy_bound(), i, INT, pn, and TRUE.

Referenced by RESHAPE::Reshape_Callee_To_Caller().

void PROJECTED_REGION::Set_Messy_If_Local_Symbol ( )

void PROJECTED_REGION::Copy_projected_node ( PROJECTED_NODE * node )

Definition at line 288 of file ipa_section_main.cxx.

References PROJECTED_NODE::Copy(), Get_projected_array(), and Get_projected_node().

Referenced by PROJECTED_REGION().

void PROJECTED_REGION::Copy_write ( PROJECTED_REGION * p_in )

Definition at line 987 of file ipa_section_main.cxx.

References Get_actual_id(), Get_callsite_id(), Get_depth(), Get_num_dims(), Get_type(), Is_passed(), Set_actual_id(), Set_callsite_id(), Set_depth(), Set_num_dims(), and Set_type().

Referenced by IPA_LNO_Map_Projected_Region(), and ARRAY_SUMMARY_OUTPUT::Map_projected_region().

void PROJECTED_REGION::Set_projected_array ( PROJECTED_ARRAY * region ) [inline]

Definition at line 881 of file ipa_section.h.

References u1.

Referenced by PROJECTED_REGION(), Projected_Region_To_Memory(), Set_region(), and update_projected_region().

PROJECTED_ARRAY* PROJECTED_REGION::Get_projected_array ( ) const [inline]

Definition at line 882 of file ipa_section.h.

References u1.

Referenced by Add_to_SOE(), Compare(), Copy_projected_node(), PROJECTED_KERNEL::Init(), IPA_LNO_Map_Projected_Region(), ARRAY_SUMMARY_OUTPUT::Map_projected_region(), Map_to_linex_array(), Min_Max_Fill_Region(), Print(), CG_BROWSER::Print_Projected_Region(), Project(), PROJECTED_REGION(), Projected_Region_From_St(), and Set_region().

INT PROJECTED_REGION::Compare ( PROJECTED_REGION * b )

Definition at line 1259 of file ipa_section.cxx.

References Add_to_SOE(), BOOL, SYSTEM_OF_EQUATIONS::Copy_To_Work(), CXX_DELETE, CXX_NEW, CXX_NEW_ARRAY, PROJECTED_NODE::Equivalent(), FALSE, fprintf(), Get_depth(), ARRAY_SUMMARY::Get_local_pool(), Get_num_dims(), Get_projected_array(), Get_type(), i, INT, INT16, local_pool, MEM_POOL_Pop, MEM_POOL_Push, Print(), SYSTEM_OF_EQUATIONS::Prove_Redundant(), result, SYSTEM_OF_EQUATIONS::Simple_Redundant(), TFile, Trace_Sections, and TRUE.

LINEX_ARRAY * PROJECTED_REGION::Map_to_linex_array ( )

Definition at line 424 of file ipa_section.cxx.

References LINEX::Copy(), CXX_NEW, DYN_ARRAY< T >::Elements(), FmtAssert, PROJECTED_NODE::Get_lower_linex(), Get_projected_array(), i, INT, PROJECTED_NODE::Is_messy_lb(), PROJECTED_NODE::Is_unprojected(), Mem_Pool(), DYN_ARRAY< T >::Newidx(), node, and p.

Referenced by PROJECTED_KERNEL::Init().

void PROJECTED_REGION::Project	(	INT	depth,
		LOOPINFO *	l
	)

PROJECTED_REGION* PROJECTED_REGION::Union	(	PROJECTED_REGION &	b,
		const LOOPINFO &	l
	)

BOOL PROJECTED_REGION::May_Union	(	PROJECTED_REGION &	b,
		BOOL	trace
	)

Definition at line 769 of file ipa_section_main.cxx.

References Add_to_SOE(), BOOL, change, CONST_DESC, SYSTEM_OF_EQUATIONS::Copy_To_Work(), CXX_NEW, CXX_NEW_ARRAY, LINEX::Equivalent(), FALSE, PROJECTED_NODE::Fill_Out(), fprintf(), LINEX::Free_terms(), Gcd(), gcd(), TERM::Get_coeff(), LINEX::Get_constant_term(), Get_depth(), PROJECTED_NODE::Get_lower_linex(), Get_num_dims(), Get_projected_node(), PROJECTED_NODE::Get_segment_length_linex(), PROJECTED_NODE::Get_segment_stride_linex(), PROJECTED_NODE::Get_step_linex(), LINEX::Get_term(), PROJECTED_NODE::Get_upper_linex(), PROJECTED_NODE::Has_all_messy_bounds(), i, INT, LINEX::Is_const(), PROJECTED_NODE::Is_messy_lb(), Is_messy_region(), PROJECTED_NODE::Is_messy_ub(), local_pool, LTKIND_CONST, SYSTEM_OF_EQUATIONS::Mark_New_Redundant(), SYSTEM_OF_EQUATIONS::Mark_Simple_Redundant(), PROJECTED_NODE::Matching_Segment_Stride(), Mem_Pool(), mINT32, NULL, SYSTEM_OF_EQUATIONS::Num_Le_Constraints(), Print(), PROJECTED_NODE::Set_all_messy_bounds(), TERM::Set_coeff(), Set_messy_region(), PROJECTED_NODE::Set_segment_length_linex(), PROJECTED_NODE::Set_segment_stride_linex(), LINEX::Set_term(), LINEX::Simplify(), LINEX::Subtract(), and TRUE.

Referenced by Union_sections(), and update_region().

void PROJECTED_REGION::Set_region	(	SYSTEM_OF_EQUATIONS *	soe,
		LOOP_SYMBOL_ARRAY *	syms,
		INT	stride[],
		INT	pivot_row,
		INT	pos,
		INT	loop_step,
		INT	projected_axle
	)