Polly 20.0.0git
Typedefs | Functions
schedule.h File Reference
#include <isl/union_set_type.h>
#include <isl/union_map_type.h>
#include <isl/schedule_type.h>
#include <isl/aff_type.h>
#include <isl/space_type.h>
#include <isl/set_type.h>
#include <isl/list.h>
#include <isl/printer_type.h>

Go to the source code of this file.

Typedefs

typedef struct isl_schedule_constraints isl_schedule_constraints
 

Functions

isl_stat isl_options_set_schedule_max_coefficient (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_max_coefficient (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_max_constant_term (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_max_constant_term (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_maximize_band_depth (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_maximize_band_depth (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_maximize_coincidence (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_maximize_coincidence (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_outer_coincidence (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_outer_coincidence (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_split_scaled (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_split_scaled (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_treat_coalescing (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_treat_coalescing (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_separate_components (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_separate_components (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_serialize_sccs (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_serialize_sccs (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_whole_component (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_whole_component (isl_ctx *ctx)
 
isl_stat isl_options_set_schedule_carry_self_first (isl_ctx *ctx, int val)
 
int isl_options_get_schedule_carry_self_first (isl_ctx *ctx)
 
__isl_give isl_schedule_constraintsisl_schedule_constraints_copy (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_on_domain (__isl_take isl_union_set *domain)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_set_context (__isl_take isl_schedule_constraints *sc, __isl_take isl_set *context)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_set_validity (__isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *validity)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_set_coincidence (__isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *coincidence)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_set_proximity (__isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *proximity)
 
__isl_export __isl_give isl_schedule_constraintsisl_schedule_constraints_set_conditional_validity (__isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *condition, __isl_take isl_union_map *validity)
 
__isl_null isl_schedule_constraintsisl_schedule_constraints_free (__isl_take isl_schedule_constraints *sc)
 
isl_ctxisl_schedule_constraints_get_ctx (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_setisl_schedule_constraints_get_domain (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_setisl_schedule_constraints_get_context (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_mapisl_schedule_constraints_get_validity (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_mapisl_schedule_constraints_get_coincidence (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_mapisl_schedule_constraints_get_proximity (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_mapisl_schedule_constraints_get_conditional_validity (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_union_mapisl_schedule_constraints_get_conditional_validity_condition (__isl_keep isl_schedule_constraints *sc)
 
__isl_give isl_schedule_constraintsisl_schedule_constraints_apply (__isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *umap)
 
__isl_constructor __isl_give isl_schedule_constraintsisl_schedule_constraints_read_from_str (isl_ctx *ctx, const char *str)
 
__isl_give isl_schedule_constraintsisl_schedule_constraints_read_from_file (isl_ctx *ctx, FILE *input)
 
__isl_give isl_printerisl_printer_print_schedule_constraints (__isl_take isl_printer *p, __isl_keep isl_schedule_constraints *sc)
 
void isl_schedule_constraints_dump (__isl_keep isl_schedule_constraints *sc)
 
__isl_give char * isl_schedule_constraints_to_str (__isl_keep isl_schedule_constraints *sc)
 
__isl_export __isl_give isl_scheduleisl_schedule_constraints_compute_schedule (__isl_take isl_schedule_constraints *sc)
 
__isl_give isl_scheduleisl_union_set_compute_schedule (__isl_take isl_union_set *domain, __isl_take isl_union_map *validity, __isl_take isl_union_map *proximity)
 
__isl_give isl_scheduleisl_schedule_empty (__isl_take isl_space *space)
 
__isl_export __isl_give isl_scheduleisl_schedule_from_domain (__isl_take isl_union_set *domain)
 
__isl_give isl_scheduleisl_schedule_copy (__isl_keep isl_schedule *sched)
 
__isl_null isl_scheduleisl_schedule_free (__isl_take isl_schedule *sched)
 
__isl_export __isl_give isl_union_mapisl_schedule_get_map (__isl_keep isl_schedule *sched)
 
isl_ctxisl_schedule_get_ctx (__isl_keep isl_schedule *sched)
 
isl_bool isl_schedule_plain_is_equal (__isl_keep isl_schedule *schedule1, __isl_keep isl_schedule *schedule2)
 
__isl_export __isl_give isl_schedule_nodeisl_schedule_get_root (__isl_keep isl_schedule *schedule)
 
__isl_export __isl_give isl_union_setisl_schedule_get_domain (__isl_keep isl_schedule *schedule)
 
isl_stat isl_schedule_foreach_schedule_node_top_down (__isl_keep isl_schedule *sched, isl_bool(*fn)(__isl_keep isl_schedule_node *node, void *user), void *user)
 
__isl_give isl_scheduleisl_schedule_map_schedule_node_bottom_up (__isl_take isl_schedule *schedule, __isl_give isl_schedule_node *(*fn)(__isl_take isl_schedule_node *node, void *user), void *user)
 
__isl_give isl_scheduleisl_schedule_insert_context (__isl_take isl_schedule *schedule, __isl_take isl_set *context)
 
__isl_give isl_scheduleisl_schedule_insert_partial_schedule (__isl_take isl_schedule *schedule, __isl_take isl_multi_union_pw_aff *partial)
 
__isl_give isl_scheduleisl_schedule_insert_guard (__isl_take isl_schedule *schedule, __isl_take isl_set *guard)
 
__isl_give isl_scheduleisl_schedule_sequence (__isl_take isl_schedule *schedule1, __isl_take isl_schedule *schedule2)
 
__isl_give isl_scheduleisl_schedule_set (__isl_take isl_schedule *schedule1, __isl_take isl_schedule *schedule2)
 
__isl_give isl_scheduleisl_schedule_intersect_domain (__isl_take isl_schedule *schedule, __isl_take isl_union_set *domain)
 
__isl_give isl_scheduleisl_schedule_gist_domain_params (__isl_take isl_schedule *schedule, __isl_take isl_set *context)
 
__isl_give isl_scheduleisl_schedule_reset_user (__isl_take isl_schedule *schedule)
 
__isl_give isl_scheduleisl_schedule_align_params (__isl_take isl_schedule *schedule, __isl_take isl_space *space)
 
__isl_overload __isl_give isl_scheduleisl_schedule_pullback_union_pw_multi_aff (__isl_take isl_schedule *schedule, __isl_take isl_union_pw_multi_aff *upma)
 
__isl_give isl_scheduleisl_schedule_expand (__isl_take isl_schedule *schedule, __isl_take isl_union_pw_multi_aff *contraction, __isl_take isl_schedule *expansion)
 
__isl_give isl_scheduleisl_schedule_read_from_file (isl_ctx *ctx, FILE *input)
 
__isl_constructor __isl_give isl_scheduleisl_schedule_read_from_str (isl_ctx *ctx, const char *str)
 
__isl_give isl_printerisl_printer_print_schedule (__isl_take isl_printer *p, __isl_keep isl_schedule *schedule)
 
void isl_schedule_dump (__isl_keep isl_schedule *schedule)
 
__isl_give char * isl_schedule_to_str (__isl_keep isl_schedule *schedule)
 

Typedef Documentation

◆ isl_schedule_constraints

Definition at line 18 of file schedule.h.

Function Documentation

◆ isl_options_get_schedule_carry_self_first()

int isl_options_get_schedule_carry_self_first ( isl_ctx ctx)

Referenced by compute_carrying_sol().

◆ isl_options_get_schedule_max_coefficient()

int isl_options_get_schedule_max_coefficient ( isl_ctx ctx)

◆ isl_options_get_schedule_max_constant_term()

int isl_options_get_schedule_max_constant_term ( isl_ctx ctx)

◆ isl_options_get_schedule_maximize_band_depth()

int isl_options_get_schedule_maximize_band_depth ( isl_ctx ctx)

◆ isl_options_get_schedule_maximize_coincidence()

int isl_options_get_schedule_maximize_coincidence ( isl_ctx ctx)

Referenced by ok_to_merge(), and test_schedule().

◆ isl_options_get_schedule_outer_coincidence()

int isl_options_get_schedule_outer_coincidence ( isl_ctx ctx)

◆ isl_options_get_schedule_separate_components()

int isl_options_get_schedule_separate_components ( isl_ctx ctx)

◆ isl_options_get_schedule_serialize_sccs()

int isl_options_get_schedule_serialize_sccs ( isl_ctx ctx)

Referenced by compute_schedule().

◆ isl_options_get_schedule_split_scaled()

int isl_options_get_schedule_split_scaled ( isl_ctx ctx)

◆ isl_options_get_schedule_treat_coalescing()

int isl_options_get_schedule_treat_coalescing ( isl_ctx ctx)

◆ isl_options_get_schedule_whole_component()

int isl_options_get_schedule_whole_component ( isl_ctx ctx)

◆ isl_options_set_schedule_carry_self_first()

isl_stat isl_options_set_schedule_carry_self_first ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_max_coefficient()

isl_stat isl_options_set_schedule_max_coefficient ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_max_constant_term()

isl_stat isl_options_set_schedule_max_constant_term ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_maximize_band_depth()

isl_stat isl_options_set_schedule_maximize_band_depth ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_maximize_coincidence()

isl_stat isl_options_set_schedule_maximize_coincidence ( isl_ctx ctx,
int  val 
)

Referenced by test_schedule().

◆ isl_options_set_schedule_outer_coincidence()

isl_stat isl_options_set_schedule_outer_coincidence ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_separate_components()

isl_stat isl_options_set_schedule_separate_components ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_serialize_sccs()

isl_stat isl_options_set_schedule_serialize_sccs ( isl_ctx ctx,
int  val 
)

Referenced by polly::Scop::Scop().

◆ isl_options_set_schedule_split_scaled()

isl_stat isl_options_set_schedule_split_scaled ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_treat_coalescing()

isl_stat isl_options_set_schedule_treat_coalescing ( isl_ctx ctx,
int  val 
)

◆ isl_options_set_schedule_whole_component()

isl_stat isl_options_set_schedule_whole_component ( isl_ctx ctx,
int  val 
)

◆ isl_printer_print_schedule()

__isl_give isl_printer * isl_printer_print_schedule ( __isl_take isl_printer p,
__isl_keep isl_schedule schedule 
)

◆ isl_printer_print_schedule_constraints()

__isl_give isl_printer * isl_printer_print_schedule_constraints ( __isl_take isl_printer p,
__isl_keep isl_schedule_constraints sc 
)

◆ isl_schedule_align_params()

__isl_give isl_schedule * isl_schedule_align_params ( __isl_take isl_schedule schedule,
__isl_take isl_space space 
)

◆ isl_schedule_constraints_apply()

__isl_give isl_schedule_constraints * isl_schedule_constraints_apply ( __isl_take isl_schedule_constraints sc,
__isl_take isl_union_map umap 
)

◆ isl_schedule_constraints_compute_schedule()

__isl_export __isl_give isl_schedule * isl_schedule_constraints_compute_schedule ( __isl_take isl_schedule_constraints sc)

◆ isl_schedule_constraints_copy()

__isl_give isl_schedule_constraints * isl_schedule_constraints_copy ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_dump()

void isl_schedule_constraints_dump ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_free()

__isl_null isl_schedule_constraints * isl_schedule_constraints_free ( __isl_take isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_coincidence()

__isl_export __isl_give isl_union_map * isl_schedule_constraints_get_coincidence ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_conditional_validity()

__isl_export __isl_give isl_union_map * isl_schedule_constraints_get_conditional_validity ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_conditional_validity_condition()

__isl_export __isl_give isl_union_map * isl_schedule_constraints_get_conditional_validity_condition ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_context()

__isl_export __isl_give isl_set * isl_schedule_constraints_get_context ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_ctx()

isl_ctx * isl_schedule_constraints_get_ctx ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_domain()

__isl_export __isl_give isl_union_set * isl_schedule_constraints_get_domain ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_proximity()

__isl_export __isl_give isl_union_map * isl_schedule_constraints_get_proximity ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_get_validity()

__isl_export __isl_give isl_union_map * isl_schedule_constraints_get_validity ( __isl_keep isl_schedule_constraints sc)

◆ isl_schedule_constraints_on_domain()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_on_domain ( __isl_take isl_union_set domain)

◆ isl_schedule_constraints_read_from_file()

__isl_give isl_schedule_constraints * isl_schedule_constraints_read_from_file ( isl_ctx ctx,
FILE *  input 
)

◆ isl_schedule_constraints_read_from_str()

__isl_constructor __isl_give isl_schedule_constraints * isl_schedule_constraints_read_from_str ( isl_ctx ctx,
const char *  str 
)

◆ isl_schedule_constraints_set_coincidence()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_set_coincidence ( __isl_take isl_schedule_constraints sc,
__isl_take isl_union_map coincidence 
)

◆ isl_schedule_constraints_set_conditional_validity()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_set_conditional_validity ( __isl_take isl_schedule_constraints sc,
__isl_take isl_union_map condition,
__isl_take isl_union_map validity 
)

◆ isl_schedule_constraints_set_context()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_set_context ( __isl_take isl_schedule_constraints sc,
__isl_take isl_set context 
)

◆ isl_schedule_constraints_set_proximity()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_set_proximity ( __isl_take isl_schedule_constraints sc,
__isl_take isl_union_map proximity 
)

◆ isl_schedule_constraints_set_validity()

__isl_export __isl_give isl_schedule_constraints * isl_schedule_constraints_set_validity ( __isl_take isl_schedule_constraints sc,
__isl_take isl_union_map validity 
)

◆ isl_schedule_constraints_to_str()

__isl_give char * isl_schedule_constraints_to_str ( __isl_keep isl_schedule_constraints sc)

Referenced by isl::operator<<().

◆ isl_schedule_copy()

__isl_give isl_schedule * isl_schedule_copy ( __isl_keep isl_schedule sched)

◆ isl_schedule_dump()

void isl_schedule_dump ( __isl_keep isl_schedule schedule)

◆ isl_schedule_empty()

__isl_give isl_schedule * isl_schedule_empty ( __isl_take isl_space space)

Definition at line 86 of file isl_schedule.c.

References isl_schedule_from_domain(), and isl_union_set_empty().

Referenced by isl_union_access_info_init().

◆ isl_schedule_expand()

__isl_give isl_schedule * isl_schedule_expand ( __isl_take isl_schedule schedule,
__isl_take isl_union_pw_multi_aff contraction,
__isl_take isl_schedule expansion 
)

◆ isl_schedule_foreach_schedule_node_top_down()

isl_stat isl_schedule_foreach_schedule_node_top_down ( __isl_keep isl_schedule sched,
isl_bool(*)(__isl_keep isl_schedule_node *node, void *user fn,
void *  user 
)

◆ isl_schedule_free()

__isl_null isl_schedule * isl_schedule_free ( __isl_take isl_schedule sched)

◆ isl_schedule_from_domain()

__isl_export __isl_give isl_schedule * isl_schedule_from_domain ( __isl_take isl_union_set domain)

◆ isl_schedule_get_ctx()

isl_ctx * isl_schedule_get_ctx ( __isl_keep isl_schedule sched)

◆ isl_schedule_get_domain()

__isl_export __isl_give isl_union_set * isl_schedule_get_domain ( __isl_keep isl_schedule schedule)

◆ isl_schedule_get_map()

__isl_export __isl_give isl_union_map * isl_schedule_get_map ( __isl_keep isl_schedule sched)

◆ isl_schedule_get_root()

__isl_export __isl_give isl_schedule_node * isl_schedule_get_root ( __isl_keep isl_schedule schedule)

◆ isl_schedule_gist_domain_params()

__isl_give isl_schedule * isl_schedule_gist_domain_params ( __isl_take isl_schedule schedule,
__isl_take isl_set context 
)

◆ isl_schedule_insert_context()

__isl_give isl_schedule * isl_schedule_insert_context ( __isl_take isl_schedule schedule,
__isl_take isl_set context 
)

◆ isl_schedule_insert_guard()

__isl_give isl_schedule * isl_schedule_insert_guard ( __isl_take isl_schedule schedule,
__isl_take isl_set guard 
)

◆ isl_schedule_insert_partial_schedule()

__isl_give isl_schedule * isl_schedule_insert_partial_schedule ( __isl_take isl_schedule schedule,
__isl_take isl_multi_union_pw_aff partial 
)

◆ isl_schedule_intersect_domain()

__isl_give isl_schedule * isl_schedule_intersect_domain ( __isl_take isl_schedule schedule,
__isl_take isl_union_set domain 
)

◆ isl_schedule_map_schedule_node_bottom_up()

__isl_give isl_schedule * isl_schedule_map_schedule_node_bottom_up ( __isl_take isl_schedule schedule,
__isl_give isl_schedule_node *(*)(__isl_take isl_schedule_node *node, void *user fn,
void *  user 
)

◆ isl_schedule_plain_is_equal()

isl_bool isl_schedule_plain_is_equal ( __isl_keep isl_schedule schedule1,
__isl_keep isl_schedule schedule2 
)

Definition at line 175 of file isl_schedule.c.

References isl_bool_error, isl_bool_true, and isl_schedule_tree_plain_is_equal().

Referenced by main().

◆ isl_schedule_pullback_union_pw_multi_aff()

__isl_overload __isl_give isl_schedule * isl_schedule_pullback_union_pw_multi_aff ( __isl_take isl_schedule schedule,
__isl_take isl_union_pw_multi_aff upma 
)

◆ isl_schedule_read_from_file()

__isl_give isl_schedule * isl_schedule_read_from_file ( isl_ctx ctx,
FILE *  input 
)

◆ isl_schedule_read_from_str()

__isl_constructor __isl_give isl_schedule * isl_schedule_read_from_str ( isl_ctx ctx,
const char *  str 
)

Referenced by isl::schedule::schedule().

◆ isl_schedule_reset_user()

__isl_give isl_schedule * isl_schedule_reset_user ( __isl_take isl_schedule schedule)

◆ isl_schedule_sequence()

__isl_give isl_schedule * isl_schedule_sequence ( __isl_take isl_schedule schedule1,
__isl_take isl_schedule schedule2 
)

Definition at line 654 of file isl_schedule.c.

References isl_schedule_node_sequence, and isl_schedule_pair().

Referenced by isl::schedule::sequence(), and test_schedule_tree().

◆ isl_schedule_set()

__isl_give isl_schedule * isl_schedule_set ( __isl_take isl_schedule schedule1,
__isl_take isl_schedule schedule2 
)

Definition at line 665 of file isl_schedule.c.

References isl_schedule_node_set, and isl_schedule_pair().

◆ isl_schedule_to_str()

__isl_give char * isl_schedule_to_str ( __isl_keep isl_schedule schedule)

Referenced by isl::operator<<().

◆ isl_union_set_compute_schedule()

__isl_give isl_schedule * isl_union_set_compute_schedule ( __isl_take isl_union_set domain,
__isl_take isl_union_map validity,
__isl_take isl_union_map proximity 
)