/* * Copyright 2012 Ecole Normale Superieure * Copyright 2015-2016 Sven Verdoolaege * * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege, * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France */ #include <isl_schedule_constraints.h> #include <isl/schedule.h> #include <isl/space.h> #include <isl/set.h> #include <isl/map.h> #include <isl/union_set.h> #include <isl/union_map.h> #include <isl/stream.h> /* The constraints that need to be satisfied by a schedule on "domain". * * "context" specifies extra constraints on the parameters. * * "validity" constraints map domain elements i to domain elements * that should be scheduled after i. (Hard constraint) * "proximity" constraints map domain elements i to domains elements * that should be scheduled as early as possible after i (or before i). * (Soft constraint) * * "condition" and "conditional_validity" constraints map possibly "tagged" * domain elements i -> s to "tagged" domain elements j -> t. * The elements of the "conditional_validity" constraints, but without the * tags (i.e., the elements i -> j) are treated as validity constraints, * except that during the construction of a tilable band, * the elements of the "conditional_validity" constraints may be violated * provided that all adjacent elements of the "condition" constraints * are local within the band. * A dependence is local within a band if domain and range are mapped * to the same schedule point by the band. */ struct isl_schedule_constraints { … }; __isl_give isl_schedule_constraints *isl_schedule_constraints_copy( __isl_keep isl_schedule_constraints *sc) { … } /* Construct an empty (invalid) isl_schedule_constraints object. * The caller is responsible for setting the domain and initializing * all the other fields, e.g., by calling isl_schedule_constraints_init. */ static __isl_give isl_schedule_constraints *isl_schedule_constraints_alloc( isl_ctx *ctx) { … } /* Initialize all the fields of "sc", except domain, which is assumed * to have been set by the caller. */ static __isl_give isl_schedule_constraints *isl_schedule_constraints_init( __isl_take isl_schedule_constraints *sc) { … } /* Construct an isl_schedule_constraints object for computing a schedule * on "domain". The initial object does not impose any constraints. */ __isl_give isl_schedule_constraints *isl_schedule_constraints_on_domain( __isl_take isl_union_set *domain) { … } /* Replace the domain of "sc" by "domain". */ static __isl_give isl_schedule_constraints *isl_schedule_constraints_set_domain( __isl_take isl_schedule_constraints *sc, __isl_take isl_union_set *domain) { … } /* Replace the context of "sc" by "context". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_set_context( __isl_take isl_schedule_constraints *sc, __isl_take isl_set *context) { … } /* Replace the constraints of type "type" in "sc" by "c". * * First detect any equality constraints that may be implicit in "c" * in order to try and improve the accuracy of the input (and therefore * also the output) of the isl_set_coefficients calls * that are eventually performed on (some of) these constraints. */ static __isl_give isl_schedule_constraints *isl_schedule_constraints_set( __isl_take isl_schedule_constraints *sc, enum isl_edge_type type, __isl_take isl_union_map *c) { … } /* Replace the validity constraints of "sc" by "validity". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_set_validity( __isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *validity) { … } /* Replace the coincidence constraints of "sc" by "coincidence". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_set_coincidence( __isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *coincidence) { … } /* Replace the proximity constraints of "sc" by "proximity". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_set_proximity( __isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *proximity) { … } /* Replace the conditional validity constraints of "sc" by "condition" * and "validity". */ __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_null isl_schedule_constraints *isl_schedule_constraints_free( __isl_take isl_schedule_constraints *sc) { … } isl_ctx *isl_schedule_constraints_get_ctx( __isl_keep isl_schedule_constraints *sc) { … } /* Return the domain of "sc". */ __isl_give isl_union_set *isl_schedule_constraints_get_domain( __isl_keep isl_schedule_constraints *sc) { … } /* Return the context of "sc". */ __isl_give isl_set *isl_schedule_constraints_get_context( __isl_keep isl_schedule_constraints *sc) { … } /* Return the constraints of type "type" in "sc". */ __isl_give isl_union_map *isl_schedule_constraints_get( __isl_keep isl_schedule_constraints *sc, enum isl_edge_type type) { … } /* Return the validity constraints of "sc". */ __isl_give isl_union_map *isl_schedule_constraints_get_validity( __isl_keep isl_schedule_constraints *sc) { … } /* Return the coincidence constraints of "sc". */ __isl_give isl_union_map *isl_schedule_constraints_get_coincidence( __isl_keep isl_schedule_constraints *sc) { … } /* Return the proximity constraints of "sc". */ __isl_give isl_union_map *isl_schedule_constraints_get_proximity( __isl_keep isl_schedule_constraints *sc) { … } /* Return the conditional validity constraints of "sc". */ __isl_give isl_union_map *isl_schedule_constraints_get_conditional_validity( __isl_keep isl_schedule_constraints *sc) { … } /* Return the conditions for the conditional validity constraints of "sc". */ __isl_give isl_union_map * isl_schedule_constraints_get_conditional_validity_condition( __isl_keep isl_schedule_constraints *sc) { … } /* Add "c" to the constraints of type "type" in "sc". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_add( __isl_take isl_schedule_constraints *sc, enum isl_edge_type type, __isl_take isl_union_map *c) { … } /* Can a schedule constraint of type "type" be tagged? */ static int may_be_tagged(enum isl_edge_type type) { … } /* Apply "umap" to the domains of the wrapped relations * inside the domain and range of "c". * * That is, for each map of the form * * [D -> S] -> [E -> T] * * in "c", apply "umap" to D and E. * * D is exposed by currying the relation to * * D -> [S -> [E -> T]] * * E is exposed by doing the same to the inverse of "c". */ static __isl_give isl_union_map *apply_factor_domain( __isl_take isl_union_map *c, __isl_keep isl_union_map *umap) { … } /* Apply "umap" to domain and range of "c". * If "tag" is set, then "c" may contain tags and then "umap" * needs to be applied to the domains of the wrapped relations * inside the domain and range of "c". */ static __isl_give isl_union_map *apply(__isl_take isl_union_map *c, __isl_keep isl_union_map *umap, int tag) { … } /* Apply "umap" to the domain of the schedule constraints "sc". * * The two sides of the various schedule constraints are adjusted * accordingly. */ __isl_give isl_schedule_constraints *isl_schedule_constraints_apply( __isl_take isl_schedule_constraints *sc, __isl_take isl_union_map *umap) { … } /* An enumeration of the various keys that may appear in a YAML mapping * of an isl_schedule_constraints object. * The keys for the edge types are assumed to have the same values * as the edge types in isl_edge_type. */ enum isl_sc_key { … }; /* Textual representations of the YAML keys for an isl_schedule_constraints * object. */ static char *key_str[] = …; #undef BASE #define BASE … #include "print_yaml_field_templ.c" #undef BASE #define BASE … #include "print_yaml_field_templ.c" #undef BASE #define BASE … #include "print_yaml_field_templ.c" /* Print a key, value pair for the edge of type "type" in "sc" to "p". * * If the edge relation is empty, then it is not printed since * an empty relation is the default value. */ static __isl_give isl_printer *print_constraint(__isl_take isl_printer *p, __isl_keep isl_schedule_constraints *sc, enum isl_edge_type type) { … } /* Print "sc" to "p" * * In particular, print the isl_schedule_constraints object as a YAML document. * Fields with values that are (obviously) equal to their default values * are not printed. */ __isl_give isl_printer *isl_printer_print_schedule_constraints( __isl_take isl_printer *p, __isl_keep isl_schedule_constraints *sc) { … } #undef BASE #define BASE … #include <print_templ_yaml.c> #undef KEY #define KEY … #undef KEY_ERROR #define KEY_ERROR … #undef KEY_END #define KEY_END … #undef KEY_STR #define KEY_STR … #undef KEY_EXTRACT #define KEY_EXTRACT … #undef KEY_GET #define KEY_GET … #include "extract_key.c" #undef BASE #define BASE … #include "read_in_string_templ.c" #undef BASE #define BASE … #include "read_in_string_templ.c" #undef BASE #define BASE … #include "read_in_string_templ.c" /* Read an isl_schedule_constraints object from "s". * * Start off with an empty (invalid) isl_schedule_constraints object and * then fill up the fields based on the input. * The input needs to contain at least a description of the domain. * The other fields are set to defaults by isl_schedule_constraints_init * if they are not specified in the input. */ __isl_give isl_schedule_constraints *isl_stream_read_schedule_constraints( isl_stream *s) { … } /* Read an isl_schedule_constraints object from the file "input". */ __isl_give isl_schedule_constraints *isl_schedule_constraints_read_from_file( isl_ctx *ctx, FILE *input) { … } #undef TYPE_BASE #define TYPE_BASE … #include "isl_read_from_str_templ.c" /* Align the parameters of the fields of "sc". */ __isl_give isl_schedule_constraints * isl_schedule_constraints_align_params(__isl_take isl_schedule_constraints *sc) { … } /* Add the number of basic maps in "map" to *n. */ static isl_stat add_n_basic_map(__isl_take isl_map *map, void *user) { … } /* Return the total number of isl_basic_maps in the constraints of "sc". * Return -1 on error. */ int isl_schedule_constraints_n_basic_map( __isl_keep isl_schedule_constraints *sc) { … } /* Return the total number of isl_maps in the constraints of "sc". */ isl_size isl_schedule_constraints_n_map(__isl_keep isl_schedule_constraints *sc) { … }
Codebase Browser
llvm