graphite-poly.c File Reference

Functions
DEBUG_FUNCTION void	debug_gmp_value ()
int	scop_max_loop_depth ()
static void	print_scattering_function_1 ()
void	print_scattering_function ()
void	print_iteration_domain ()
void	print_scattering_functions ()
void	print_iteration_domains ()
DEBUG_FUNCTION void	debug_scattering_function ()
DEBUG_FUNCTION void	debug_iteration_domain ()
DEBUG_FUNCTION void	debug_scattering_functions ()
DEBUG_FUNCTION void	debug_iteration_domains ()
bool	apply_poly_transforms ()
void	new_poly_dr (poly_bb_p pbb, int dr_base_object_set, enum poly_dr_type type, void *cdr, graphite_dim_t nb_subscripts, isl_map *acc, isl_set *extent)
void	free_poly_dr ()
poly_bb_p	new_poly_bb ()
void	free_poly_bb ()
static void	print_pdr_access_layout ()
void	print_pdr ()
DEBUG_FUNCTION void	debug_pdr ()
scop_p	new_scop ()
void	free_scop ()
static void	openscop_print_pbb_domain ()
void	print_pbb_domain ()
static void	dump_gbb_cases ()
static void	dump_gbb_conditions ()
void	print_pdrs ()
DEBUG_FUNCTION void	debug_pdrs ()
static void	print_pbb_body (FILE *file, poly_bb_p pbb, int verbosity, bool statement_body_provided)
void	print_pbb ()
void	print_scop_params ()
static void	openscop_print_scop_context ()
void	print_scop_context ()
void	print_scop ()
void	print_cloog ()
DEBUG_FUNCTION void	debug_pbb_domain ()
DEBUG_FUNCTION void	debug_pbb ()
DEBUG_FUNCTION void	debug_scop_context ()
DEBUG_FUNCTION void	debug_scop ()
DEBUG_FUNCTION void	debug_cloog ()
DEBUG_FUNCTION void	debug_scop_params ()
void	print_isl_set ()
DEBUG_FUNCTION void	debug_isl_set ()
void	print_isl_map ()
DEBUG_FUNCTION void	debug_isl_map ()
void	print_isl_aff ()
DEBUG_FUNCTION void	debug_isl_aff ()
void	print_isl_constraint ()
DEBUG_FUNCTION void	debug_isl_constraint ()
void	pbb_number_of_iterations_at_time (poly_bb_p pbb, graphite_dim_t time_depth, mpz_t res)
static lst_p	loop_to_lst ()
void	scop_to_lst ()
static void	lst_indent_to ()
void	print_lst ()
DEBUG_FUNCTION void	debug_lst ()
static void	dot_lst_1 ()
DEBUG_FUNCTION void	dot_lst ()
DEBUG_FUNCTION void	cloog_checksum ()
isl_map *	reverse_loop_at_level ()
isl_union_map *	reverse_loop_for_pbbs ()

Variables
isl_ctx *	the_isl_ctx

---

Function Documentation

bool apply_poly_transforms

(

)

Apply graphite transformations to all the basic blocks of SCOP.   

References optimize_isl(), scop_do_block(), scop_do_interchange(), and scop_do_strip_mine().

Referenced by graphite_transform_loops().

DEBUG_FUNCTION void cloog_checksum

(

)

Computes a checksum for the code generated by CLooG for SCOP.   

References print_cloog().

DEBUG_FUNCTION void debug_cloog

(

)

Print to STDERR the SCOP under CLooG format, at some VERBOSITY
   level.   

References print_cloog().

DEBUG_FUNCTION void debug_gmp_value

(

)

Print to STDERR the GMP value VAL.   

DEBUG_FUNCTION void debug_isl_aff

(

)

References print_isl_aff().

DEBUG_FUNCTION void debug_isl_constraint

(

)

References print_isl_constraint().

DEBUG_FUNCTION void debug_isl_map

(

)

References print_isl_map().

DEBUG_FUNCTION void debug_isl_set

(

)

References print_isl_set().

DEBUG_FUNCTION void debug_iteration_domain

(

)

Prints to STDERR the iteration domain of PBB, at some VERBOSITY
   level.   

References print_iteration_domain().

DEBUG_FUNCTION void debug_iteration_domains

(

)

Prints to STDERR the iteration domains of every PBB of SCOP, at
   some VERBOSITY level.   

References print_iteration_domains().

DEBUG_FUNCTION void debug_lst

(

)

Print LST to STDERR.   

References print_lst().

DEBUG_FUNCTION void debug_pbb

(

)

Print to FILE the domain and scattering function of PBB, at some
   VERBOSITY level.   

References print_pbb().

DEBUG_FUNCTION void debug_pbb_domain

(

)

Print to STDERR the domain of PBB, at some VERBOSITY level.   

References print_pbb_domain().

DEBUG_FUNCTION void debug_pdr

(

)

Prints to STDERR the polyhedral data reference PDR, at some
   VERBOSITY level.   

References print_pdr().

DEBUG_FUNCTION void debug_pdrs

(

)

Print to STDERR all the data references of PBB.   

References print_pdrs().

DEBUG_FUNCTION void debug_scattering_function

(

)

Prints to STDERR the scattering function of PBB, at some VERBOSITY
   level.   

References print_scattering_function().

DEBUG_FUNCTION void debug_scattering_functions

(

)

Prints to STDERR the scattering functions of every PBB of SCOP, at
   some VERBOSITY level.   

References print_scattering_functions().

DEBUG_FUNCTION void debug_scop

(

)

Print to STDERR the SCOP, at some VERBOSITY level.   

References print_scop().

DEBUG_FUNCTION void debug_scop_context

(

)

Print to STDERR the context of SCOP, at some VERBOSITY level.   

References print_scop_context().

DEBUG_FUNCTION void debug_scop_params

(

)

Print to STDERR the parameters of SCOP, at some VERBOSITY
   level.   

References print_scop_params().

DEBUG_FUNCTION void dot_lst

(

)

Display the LST using dotty.   

References dot_lst_1().

static void dot_lst_1 ( )

static

Pretty print to FILE the loop statement tree LST in DOT format.   

References lst_depth(), lst_dewey_number(), and pbb_index().

Referenced by dot_lst().

static void dump_gbb_cases ( )

static

Dump the cases of a graphite basic block GBB on FILE.   

References print_gimple_stmt().

Referenced by print_pbb().

static void dump_gbb_conditions ( )

static

Dump conditions of a graphite basic block GBB on FILE.   

References print_gimple_stmt().

Referenced by print_pbb().

void free_poly_bb

(

)

Free polyhedral black box.   

References poly_bb::domain, free_poly_dr(), poly_bb::saved, poly_bb::schedule, and poly_bb::transformed.

Referenced by build_scop_drs(), and free_scop().

void free_poly_dr

(

)

Free polyhedral data reference PDR.   

References poly_dr::accesses, and poly_dr::extent.

Referenced by free_poly_bb().

void free_scop

(

)

Deletes SCOP.   

References scop::context, free_lst(), free_poly_bb(), scop::may_raw, scop::may_raw_no_source, scop::may_war, scop::may_war_no_source, scop::may_waw, scop::may_waw_no_source, scop::must_raw, scop::must_raw_no_source, scop::must_war, scop::must_war_no_source, scop::must_waw, and scop::must_waw_no_source.

Referenced by free_scops().

static lst_p loop_to_lst ( )

static

Translates LOOP to LST.   

References flow_bb_inside_loop_p(), loop::inner, basic_block_def::loop_father, new_lst_loop(), new_lst_stmt(), and loop::next.

Referenced by scop_to_lst().

static void lst_indent_to ( )

static

Print to FILE on a new line COLUMN white spaces.   

Referenced by print_lst().

poly_bb_p new_poly_bb

(

)

Create a new polyhedral black box.   

References poly_bb::domain, pbb_set_black_box(), poly_bb::saved, poly_bb::schedule, and poly_bb::transformed.

Referenced by build_scop_bbs_1(), and new_pbb_from_pbb().

void new_poly_dr	(	poly_bb_p	pbb,
		int	dr_base_object_set,
		enum poly_dr_type	type,
		void *	cdr,
		graphite_dim_t	nb_subscripts,
		isl_map *	acc,
		isl_set *	extent
	)

Create a new polyhedral data reference and add it to PBB.  It is
   defined by its ACCESSES, its TYPE, and the number of subscripts
   NB_SUBSCRIPTS.   

References poly_dr::accesses, poly_dr::extent, and type().

Referenced by build_poly_dr().

scop_p new_scop

(

)

Creates a new SCOP containing REGION.   

References scop::context, scop::may_raw, scop::may_raw_no_source, scop::may_war, scop::may_war_no_source, scop::may_waw, scop::may_waw_no_source, scop::must_raw, scop::must_raw_no_source, scop::must_war, scop::must_war_no_source, scop::must_waw, scop::must_waw_no_source, and scop_set_region().

Referenced by build_graphite_scops().

static void openscop_print_pbb_domain ( )

static

Print to FILE the domain of PBB in OpenScop format, at some VERBOSITY
   level.   

References poly_bb::domain, pbb_dim_iter_domain(), and pbb_nb_params().

Referenced by print_pbb().

static void openscop_print_scop_context ( )

static

Print to FILE the context of SCoP in OpenScop format, at some VERBOSITY
   level.   

References scop::context, and scop_nb_params().

Referenced by print_scop().

void pbb_number_of_iterations_at_time	(	poly_bb_p	pbb,
		graphite_dim_t	time_depth,
		mpz_t	res
	)

Returns the number of iterations RES of the loop around PBB at
   time(scattering) dimension TIME_DEPTH.   

References poly_bb::domain, and poly_bb::transformed.

Referenced by lst_niter_for_loop().

void print_cloog

(

)

Print to FILE the input file that CLooG would expect as input, at
   some VERBOSITY level.   

References pbb_index(), print_pbb_domain(), print_scattering_function_1(), print_scop_context(), print_scop_params(), poly_bb::schedule, and poly_bb::transformed.

Referenced by cloog_checksum(), and debug_cloog().

void print_isl_aff

(

)

References the_isl_ctx.

Referenced by debug_isl_aff().

void print_isl_constraint

(

)

References the_isl_ctx.

Referenced by debug_isl_constraint().

void print_isl_map

(

)

References the_isl_ctx.

Referenced by debug_isl_map(), and print_scattering_function_1().

void print_isl_set

(

)

References the_isl_ctx.

Referenced by debug_isl_set(), print_pbb_domain(), and print_scop_context().

void print_iteration_domain

(

)

Prints to FILE the iteration domain of PBB, at some VERBOSITY
   level.   

References print_pbb_domain().

Referenced by debug_iteration_domain(), and print_iteration_domains().

void print_iteration_domains

(

)

Prints to FILE the iteration domains of every PBB of SCOP, at some
   VERBOSITY level.   

References print_iteration_domain().

Referenced by debug_iteration_domains().

void print_lst

(

)

Print LST to FILE with INDENT spaces of indentation.   

References lst_dewey_number(), lst_indent_to(), and pbb_index().

Referenced by debug_lst(), and print_scop().

void print_pbb

(

)

Print to FILE the domain and scattering function of PBB, at some
   VERBOSITY level.   

References dump_gbb_cases(), dump_gbb_conditions(), openscop_print_pbb_domain(), pbb_index(), print_pbb_body(), print_pdrs(), and print_scattering_function().

Referenced by debug_pbb(), and print_scop().

static void print_pbb_body ( FILE *  file, poly_bb_p  pbb, int  verbosity, bool  statement_body_provided  )

static

Print to FILE the body of PBB, at some VERBOSITY level.
   If statement_body_provided is false statement body is not printed.   

References dump_bb(), and pbb_bb().

Referenced by print_pbb().

void print_pbb_domain

(

)

Print to FILE the domain of PBB, at some VERBOSITY level.   

References poly_bb::domain, and print_isl_set().

Referenced by debug_pbb_domain(), print_cloog(), and print_iteration_domain().

void print_pdr

(

)

Prints to FILE the polyhedral data reference PDR, at some VERBOSITY
   level.   

References dump_data_reference(), PDR_MAY_WRITE, PDR_READ, PDR_WRITE, and print_pdr_access_layout().

Referenced by debug_pdr(), and print_pdrs().

static void print_pdr_access_layout ( )

static

References pbb_dim_iter_domain(), and pbb_nb_params().

Referenced by print_pdr().

void print_pdrs

(

)

Print to FILE all the data references of PBB, at some VERBOSITY
   level.   

References PDR_READ, and print_pdr().

Referenced by debug_pdrs(), and print_pbb().

void print_scattering_function

(

)

Prints to FILE the scattering function of PBB, at some VERBOSITY
   level.   

References print_scattering_function_1(), poly_bb::schedule, and poly_bb::transformed.

Referenced by debug_scattering_function(), print_pbb(), and print_scattering_functions().

static void print_scattering_function_1 ( )

static

Prints to FILE the scattering function of PBB, at some VERBOSITY
   level.   

References pbb_dim_iter_domain(), pbb_index(), pbb_nb_local_vars(), pbb_nb_params(), pbb_nb_scattering_transform(), print_isl_map(), poly_bb::schedule, and poly_bb::transformed.

Referenced by print_cloog(), and print_scattering_function().

void print_scattering_functions

(

)

Prints to FILE the scattering functions of every PBB of SCOP.   

References print_scattering_function().

Referenced by debug_scattering_functions().

void print_scop

(

)

Print to FILE the SCOP, at some VERBOSITY level.   

References openscop_print_scop_context(), print_lst(), print_pbb(), and print_scop_params().

Referenced by debug_scop().

void print_scop_context

(

)

Print to FILE the context of SCoP, at some VERBOSITY level.   

References scop::context, print_isl_set(), and scop_nb_params().

Referenced by debug_scop_context(), and print_cloog().

void print_scop_params

(

)

Print to FILE the parameters of SCOP, at some VERBOSITY level.   

References print_generic_expr().

Referenced by debug_scop_params(), print_cloog(), and print_scop().

isl_map* reverse_loop_at_level

(

)

Reverse the loop around PBB at level DEPTH.   

References d1, d2, psct_dynamic_dim(), and poly_bb::transformed.

Referenced by reverse_loop_for_pbbs().

isl_union_map* reverse_loop_for_pbbs

(

)

Reverse the loop at level DEPTH for all the PBBS.   

References scop::context, and reverse_loop_at_level().

int scop_max_loop_depth

(

)

Return the maximal loop depth in SCOP.   

References pbb_dim_iter_domain().

Referenced by add_names_to_union_domain().

void scop_to_lst

(

)

Reads the original scattering of the SCOP and returns an LST
   representing it.   

References copy_lst(), loop_in_sese_p(), loop_to_lst(), new_lst_loop(), new_lst_stmt(), and outermost_loop_in_sese().

Referenced by build_poly_scop().

---

Variable Documentation

isl_ctx* the_isl_ctx

Referenced by graphite_transform_loops(), print_isl_aff(), print_isl_constraint(), print_isl_map(), and print_isl_set().