From: Aditya Kumar Date: Tue, 24 Nov 2015 17:57:45 +0000 (+0000) Subject: move all declarations to a same .h file X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf98f0f49bbb11f483d131e52a0261023820e85b;p=gcc.git move all declarations to a same .h file Co-Authored-By: Sebastian Pop From-SVN: r230825 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d61154fdb50..8221d0b8d7b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,18 @@ +2015-11-23 Aditya Kumar + Sebastian Pop + + * graphite-dependences.c: Only include graphite.h. + * graphite-isl-ast-to-gimple.c: Same. + * graphite-optimize-isl.c: Same. + * graphite-poly.c: Same. + * graphite-scop-detection.c: Same. + * graphite-sese-to-poly.c: Same. + * graphite.c: Same. + * graphite-isl-ast-to-gimple.h: Move to graphite.h. + * graphite-poly.h: Same. + * graphite-scop-detection.h: Same. + * graphite.h: New. + 2015-11-24 Pierre-Marie de Rodat * dwarf2out.c (gen_decl_die): Generate DW_TAG_imported_* instead of diff --git a/gcc/graphite-dependences.c b/gcc/graphite-dependences.c index 3f4e5ea8fe6..fcc771b9658 100644 --- a/gcc/graphite-dependences.c +++ b/gcc/graphite-dependences.c @@ -45,7 +45,7 @@ along with GCC; see the file COPYING3. If not see #include #include -#include "graphite-poly.h" +#include "graphite.h" /* Add the constraints from the set S to the domain of MAP. */ diff --git a/gcc/graphite-isl-ast-to-gimple.c b/gcc/graphite-isl-ast-to-gimple.c index 1d986f85905..58cccce70b3 100644 --- a/gcc/graphite-isl-ast-to-gimple.c +++ b/gcc/graphite-isl-ast-to-gimple.c @@ -70,8 +70,7 @@ extern "C" { } #endif -#include "graphite-poly.h" -#include "graphite-isl-ast-to-gimple.h" +#include "graphite.h" #include diff --git a/gcc/graphite-isl-ast-to-gimple.h b/gcc/graphite-isl-ast-to-gimple.h deleted file mode 100644 index dc8a93409e4..00000000000 --- a/gcc/graphite-isl-ast-to-gimple.h +++ /dev/null @@ -1,26 +0,0 @@ -/* Translation of ISL AST to Gimple. - Copyright (C) 2014-2015 Free Software Foundation, Inc. - Contributed by Roman Gareev . - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 3, or (at your option) -any later version. - -GCC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_GRAPHITE_ISL_AST_TO_GIMPLE_H -#define GCC_GRAPHITE_ISL_AST_TO_GIMPLE_H - -extern bool graphite_regenerate_ast_isl (scop_p); - -#endif diff --git a/gcc/graphite-optimize-isl.c b/gcc/graphite-optimize-isl.c index 559afc481b2..8727e39e4c6 100644 --- a/gcc/graphite-optimize-isl.c +++ b/gcc/graphite-optimize-isl.c @@ -52,7 +52,7 @@ along with GCC; see the file COPYING3. If not see #include #endif -#include "graphite-poly.h" +#include "graphite.h" #ifdef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS diff --git a/gcc/graphite-poly.c b/gcc/graphite-poly.c index c783fc31e02..a51aefe574c 100644 --- a/gcc/graphite-poly.c +++ b/gcc/graphite-poly.c @@ -57,7 +57,7 @@ extern "C" { } #endif -#include "graphite-poly.h" +#include "graphite.h" #define OPENSCOP_MAX_STRING 256 diff --git a/gcc/graphite-poly.h b/gcc/graphite-poly.h deleted file mode 100644 index d396d3f7d64..00000000000 --- a/gcc/graphite-poly.h +++ /dev/null @@ -1,466 +0,0 @@ -/* Graphite polyhedral representation. - Copyright (C) 2009-2015 Free Software Foundation, Inc. - Contributed by Sebastian Pop and - Tobias Grosser . - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 3, or (at your option) -any later version. - -GCC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_GRAPHITE_POLY_H -#define GCC_GRAPHITE_POLY_H - -#include "sese.h" - -#ifndef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS -# define isl_stat int -# define isl_stat_ok 0 -#endif - -typedef struct poly_dr *poly_dr_p; - -typedef struct poly_bb *poly_bb_p; - -typedef struct scop *scop_p; - -typedef unsigned graphite_dim_t; - -static inline graphite_dim_t scop_nb_params (scop_p); - -/* A data reference can write or read some memory or we - just know it may write some memory. */ -enum poly_dr_type -{ - PDR_READ, - /* PDR_MAY_READs are represented using PDR_READS. This does not - limit the expressiveness. */ - PDR_WRITE, - PDR_MAY_WRITE -}; - -struct poly_dr -{ - /* An identifier for this PDR. */ - int id; - - /* The number of data refs identical to this one in the PBB. */ - int nb_refs; - - /* A pointer to the gimple stmt containing this reference. */ - gimple *stmt; - - /* A pointer to the PBB that contains this data reference. */ - poly_bb_p pbb; - - enum poly_dr_type type; - - /* The access polyhedron contains the polyhedral space this data - reference will access. - - The polyhedron contains these dimensions: - - - The alias set (a): - Every memory access is classified in at least one alias set. - - - The subscripts (s_0, ..., s_n): - The memory is accessed using zero or more subscript dimensions. - - - The iteration domain (variables and parameters) - - Do not hardcode the dimensions. Use the following accessor functions: - - pdr_alias_set_dim - - pdr_subscript_dim - - pdr_iterator_dim - - pdr_parameter_dim - - Example: - - | int A[1335][123]; - | int *p = malloc (); - | - | k = ... - | for i - | { - | if (unknown_function ()) - | p = A; - | ... = p[?][?]; - | for j - | A[i][j+k] = m; - | } - - The data access A[i][j+k] in alias set "5" is described like this: - - | i j k a s0 s1 1 - | 0 0 0 1 0 0 -5 = 0 - |-1 0 0 0 1 0 0 = 0 - | 0 -1 -1 0 0 1 0 = 0 - | 0 0 0 0 1 0 0 >= 0 # The last four lines describe the - | 0 0 0 0 0 1 0 >= 0 # array size. - | 0 0 0 0 -1 0 1335 >= 0 - | 0 0 0 0 0 -1 123 >= 0 - - The pointer "*p" in alias set "5" and "7" is described as a union of - polyhedron: - - - | i k a s0 1 - | 0 0 1 0 -5 = 0 - | 0 0 0 1 0 >= 0 - - "or" - - | i k a s0 1 - | 0 0 1 0 -7 = 0 - | 0 0 0 1 0 >= 0 - - "*p" accesses all of the object allocated with 'malloc'. - - The scalar data access "m" is represented as an array with zero subscript - dimensions. - - | i j k a 1 - | 0 0 0 -1 15 = 0 - - The difference between the graphite internal format for access data and - the OpenSop format is in the order of columns. - Instead of having: - - | i j k a s0 s1 1 - | 0 0 0 1 0 0 -5 = 0 - |-1 0 0 0 1 0 0 = 0 - | 0 -1 -1 0 0 1 0 = 0 - | 0 0 0 0 1 0 0 >= 0 # The last four lines describe the - | 0 0 0 0 0 1 0 >= 0 # array size. - | 0 0 0 0 -1 0 1335 >= 0 - | 0 0 0 0 0 -1 123 >= 0 - - In OpenScop we have: - - | a s0 s1 i j k 1 - | 1 0 0 0 0 0 -5 = 0 - | 0 1 0 -1 0 0 0 = 0 - | 0 0 1 0 -1 -1 0 = 0 - | 0 1 0 0 0 0 0 >= 0 # The last four lines describe the - | 0 0 1 0 0 0 0 >= 0 # array size. - | 0 -1 0 0 0 0 1335 >= 0 - | 0 0 -1 0 0 0 123 >= 0 - - The OpenScop access function is printed as follows: - - | 1 # The number of disjunct components in a union of access functions. - | R C O I L P # Described bellow. - | a s0 s1 i j k 1 - | 1 0 0 0 0 0 -5 = 0 - | 0 1 0 -1 0 0 0 = 0 - | 0 0 1 0 -1 -1 0 = 0 - | 0 1 0 0 0 0 0 >= 0 # The last four lines describe the - | 0 0 1 0 0 0 0 >= 0 # array size. - | 0 -1 0 0 0 0 1335 >= 0 - | 0 0 -1 0 0 0 123 >= 0 - - Where: - - R: Number of rows. - - C: Number of columns. - - O: Number of output dimensions = alias set + number of subscripts. - - I: Number of input dimensions (iterators). - - L: Number of local (existentially quantified) dimensions. - - P: Number of parameters. - - In the example, the vector "R C O I L P" is "7 7 3 2 0 1". */ - isl_map *accesses; - isl_set *subscript_sizes; -}; - -#define PDR_ID(PDR) (PDR->id) -#define PDR_NB_REFS(PDR) (PDR->nb_refs) -#define PDR_PBB(PDR) (PDR->pbb) -#define PDR_TYPE(PDR) (PDR->type) -#define PDR_ACCESSES(PDR) (NULL) - -void new_poly_dr (poly_bb_p, gimple *, enum poly_dr_type, - isl_map *, isl_set *); -void free_poly_dr (poly_dr_p); -void debug_pdr (poly_dr_p); -void print_pdr (FILE *, poly_dr_p); - -static inline bool -pdr_read_p (poly_dr_p pdr) -{ - return PDR_TYPE (pdr) == PDR_READ; -} - -/* Returns true when PDR is a "write". */ - -static inline bool -pdr_write_p (poly_dr_p pdr) -{ - return PDR_TYPE (pdr) == PDR_WRITE; -} - -/* Returns true when PDR is a "may write". */ - -static inline bool -pdr_may_write_p (poly_dr_p pdr) -{ - return PDR_TYPE (pdr) == PDR_MAY_WRITE; -} - -/* POLY_BB represents a blackbox in the polyhedral model. */ - -struct poly_bb -{ - /* Pointer to a basic block or a statement in the compiler. */ - gimple_poly_bb_p black_box; - - /* Pointer to the SCOP containing this PBB. */ - scop_p scop; - - /* The iteration domain of this bb. The layout of this polyhedron - is I|G with I the iteration domain, G the context parameters. - - Example: - - for (i = a - 7*b + 8; i <= 3*a + 13*b + 20; i++) - for (j = 2; j <= 2*i + 5; j++) - for (k = 0; k <= 5; k++) - S (i,j,k) - - Loop iterators: i, j, k - Parameters: a, b - - | i >= a - 7b + 8 - | i <= 3a + 13b + 20 - | j >= 2 - | j <= 2i + 5 - | k >= 0 - | k <= 5 - - The number of variables in the DOMAIN may change and is not - related to the number of loops in the original code. */ - isl_set *domain; - - /* The data references we access. */ - vec drs; - - /* The original scattering. */ - isl_map *schedule; - - /* The transformed scattering. */ - isl_map *transformed; - - /* A copy of the transformed scattering. */ - isl_map *saved; - - /* True when this PBB contains only a reduction statement. */ - bool is_reduction; - - /* The last basic block generated for this pbb. */ - basic_block new_bb; -}; - -#define PBB_BLACK_BOX(PBB) ((gimple_poly_bb_p) PBB->black_box) -#define PBB_SCOP(PBB) (PBB->scop) -#define PBB_DRS(PBB) (PBB->drs) -#define PBB_IS_REDUCTION(PBB) (PBB->is_reduction) - -extern poly_bb_p new_poly_bb (scop_p, gimple_poly_bb_p); -extern void free_poly_bb (poly_bb_p); -extern void debug_loop_vec (poly_bb_p); -extern void print_pbb_domain (FILE *, poly_bb_p); -extern void print_pbb (FILE *, poly_bb_p); -extern void print_scop_context (FILE *, scop_p); -extern void print_scop (FILE *, scop_p); -extern void debug_pbb_domain (poly_bb_p); -extern void debug_pbb (poly_bb_p); -extern void print_pdrs (FILE *, poly_bb_p); -extern void debug_pdrs (poly_bb_p); -extern void debug_scop_context (scop_p); -extern void debug_scop (scop_p); -extern void print_scop_params (FILE *, scop_p); -extern void debug_scop_params (scop_p); -extern void print_iteration_domain (FILE *, poly_bb_p); -extern void print_iteration_domains (FILE *, scop_p); -extern void debug_iteration_domain (poly_bb_p); -extern void debug_iteration_domains (scop_p); -extern void print_isl_set (FILE *, isl_set *); -extern void print_isl_map (FILE *, isl_map *); -extern void print_isl_union_map (FILE *, isl_union_map *); -extern void print_isl_aff (FILE *, isl_aff *); -extern void print_isl_constraint (FILE *, isl_constraint *); -extern void debug_isl_set (isl_set *); -extern void debug_isl_map (isl_map *); -extern void debug_isl_union_map (isl_union_map *); -extern void debug_isl_aff (isl_aff *); -extern void debug_isl_constraint (isl_constraint *); -extern int scop_do_interchange (scop_p); -extern int scop_do_strip_mine (scop_p, int); -extern bool scop_do_block (scop_p); -extern bool flatten_all_loops (scop_p); -extern bool optimize_isl (scop_p); -extern void pbb_number_of_iterations_at_time (poly_bb_p, graphite_dim_t, mpz_t); -extern void debug_gmp_value (mpz_t); - -/* The basic block of the PBB. */ - -static inline basic_block -pbb_bb (poly_bb_p pbb) -{ - return GBB_BB (PBB_BLACK_BOX (pbb)); -} - -static inline int -pbb_index (poly_bb_p pbb) -{ - return pbb_bb (pbb)->index; -} - -/* The loop of the PBB. */ - -static inline loop_p -pbb_loop (poly_bb_p pbb) -{ - return gbb_loop (PBB_BLACK_BOX (pbb)); -} - -/* The scop that contains the PDR. */ - -static inline scop_p -pdr_scop (poly_dr_p pdr) -{ - return PBB_SCOP (PDR_PBB (pdr)); -} - -/* Set black box of PBB to BLACKBOX. */ - -static inline void -pbb_set_black_box (poly_bb_p pbb, gimple_poly_bb_p black_box) -{ - pbb->black_box = black_box; -} - -/* A helper structure to keep track of data references, polyhedral BBs, and - alias sets. */ - -struct dr_info -{ - enum { - invalid_alias_set = -1 - }; - /* The data reference. */ - data_reference_p dr; - - /* The polyhedral BB containing this DR. */ - poly_bb_p pbb; - - /* ALIAS_SET is the SCC number assigned by a graph_dfs of the alias graph. - -1 is an invalid alias set. */ - int alias_set; - - /* Construct a DR_INFO from a data reference DR, an ALIAS_SET, and a PBB. */ - dr_info (data_reference_p dr, poly_bb_p pbb, - int alias_set = invalid_alias_set) - : dr (dr), pbb (pbb), alias_set (alias_set) {} -}; - -/* A SCOP is a Static Control Part of the program, simple enough to be - represented in polyhedral form. */ -struct scop -{ - /* A SCOP is defined as a SESE region. */ - sese_info_p scop_info; - - /* Number of parameters in SCoP. */ - graphite_dim_t nb_params; - - /* All the basic blocks in this scop that contain memory references - and that will be represented as statements in the polyhedral - representation. */ - vec pbbs; - - /* All the data references in this scop. */ - vec drs; - - /* The context describes known restrictions concerning the parameters - and relations in between the parameters. - - void f (int8_t a, uint_16_t b) { - c = 2 a + b; - ... - } - - Here we can add these restrictions to the context: - - -128 >= a >= 127 - 0 >= b >= 65,535 - c = 2a + b */ - isl_set *param_context; - - /* The context used internally by ISL. */ - isl_ctx *isl_context; - - /* The original dependence relations: - RAW are read after write dependences, - WAR are write after read dependences, - WAW are write after write dependences. */ - isl_union_map *must_raw, *may_raw, *must_raw_no_source, *may_raw_no_source, - *must_war, *may_war, *must_war_no_source, *may_war_no_source, - *must_waw, *may_waw, *must_waw_no_source, *may_waw_no_source; -}; - -extern scop_p new_scop (edge, edge); -extern void free_scop (scop_p); -extern gimple_poly_bb_p new_gimple_poly_bb (basic_block, vec, - vec, vec); -extern void free_gimple_poly_bb (gimple_poly_bb_p); -extern void print_generated_program (FILE *, scop_p); -extern void debug_generated_program (scop_p); -extern int unify_scattering_dimensions (scop_p); -extern bool apply_poly_transforms (scop_p); - -/* Set the region of SCOP to REGION. */ - -static inline void -scop_set_region (scop_p scop, sese_info_p region) -{ - scop->scop_info = region; -} - -/* Returns the number of parameters for SCOP. */ - -static inline graphite_dim_t -scop_nb_params (scop_p scop) -{ - return scop->nb_params; -} - -/* Set the number of params of SCOP to NB_PARAMS. */ - -static inline void -scop_set_nb_params (scop_p scop, graphite_dim_t nb_params) -{ - scop->nb_params = nb_params; -} - -isl_union_map * -scop_get_dependences (scop_p scop); - -bool -carries_deps (__isl_keep isl_union_map *schedule, - __isl_keep isl_union_map *deps, - int depth); - -bool build_poly_scop (scop_p); - -#endif diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c index 60bb0499f08..1f8fc76f3f8 100644 --- a/gcc/graphite-scop-detection.c +++ b/gcc/graphite-scop-detection.c @@ -54,8 +54,7 @@ along with GCC; see the file COPYING3. If not see #include #include -#include "graphite-poly.h" -#include "graphite-scop-detection.h" +#include "graphite.h" class debug_printer { diff --git a/gcc/graphite-scop-detection.h b/gcc/graphite-scop-detection.h deleted file mode 100644 index 45117963e11..00000000000 --- a/gcc/graphite-scop-detection.h +++ /dev/null @@ -1,29 +0,0 @@ -/* Detection of Static Control Parts (SCoP) for Graphite. - Copyright (C) 2009-2015 Free Software Foundation, Inc. - Contributed by Sebastian Pop and - Tobias Grosser . - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 3, or (at your option) -any later version. - -GCC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -. */ - -#ifndef GCC_GRAPHITE_SCOP_DETECTION_H -#define GCC_GRAPHITE_SCOP_DETECTION_H - -extern void build_scops (vec *); -extern void dot_all_scops (vec); -extern void dot_scop (scop_p); - -#endif /* GCC_GRAPHITE_SCOP_DETECTION_H */ diff --git a/gcc/graphite-sese-to-poly.c b/gcc/graphite-sese-to-poly.c index ec7248b4417..e6802434137 100644 --- a/gcc/graphite-sese-to-poly.c +++ b/gcc/graphite-sese-to-poly.c @@ -65,7 +65,7 @@ extern "C" { } #endif -#include "graphite-poly.h" +#include "graphite.h" /* Assigns to RES the value of the INTEGER_CST T. */ diff --git a/gcc/graphite.c b/gcc/graphite.c index ef7e64daf2f..ee1d2117114 100644 --- a/gcc/graphite.c +++ b/gcc/graphite.c @@ -59,9 +59,7 @@ along with GCC; see the file COPYING3. If not see #include #include -#include "graphite-poly.h" -#include "graphite-scop-detection.h" -#include "graphite-isl-ast-to-gimple.h" +#include "graphite.h" /* Print global statistics to FILE. */ diff --git a/gcc/graphite.h b/gcc/graphite.h new file mode 100644 index 00000000000..30272bbc46c --- /dev/null +++ b/gcc/graphite.h @@ -0,0 +1,471 @@ +/* Graphite polyhedral representation. + Copyright (C) 2009-2015 Free Software Foundation, Inc. + Contributed by Sebastian Pop and + Tobias Grosser . + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 3, or (at your option) +any later version. + +GCC is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING3. If not see +. */ + +#ifndef GCC_GRAPHITE_POLY_H +#define GCC_GRAPHITE_POLY_H + +#include "sese.h" + +#ifndef HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS +# define isl_stat int +# define isl_stat_ok 0 +#endif + +typedef struct poly_dr *poly_dr_p; + +typedef struct poly_bb *poly_bb_p; + +typedef struct scop *scop_p; + +typedef unsigned graphite_dim_t; + +static inline graphite_dim_t scop_nb_params (scop_p); + +/* A data reference can write or read some memory or we + just know it may write some memory. */ +enum poly_dr_type +{ + PDR_READ, + /* PDR_MAY_READs are represented using PDR_READS. This does not + limit the expressiveness. */ + PDR_WRITE, + PDR_MAY_WRITE +}; + +struct poly_dr +{ + /* An identifier for this PDR. */ + int id; + + /* The number of data refs identical to this one in the PBB. */ + int nb_refs; + + /* A pointer to the gimple stmt containing this reference. */ + gimple *stmt; + + /* A pointer to the PBB that contains this data reference. */ + poly_bb_p pbb; + + enum poly_dr_type type; + + /* The access polyhedron contains the polyhedral space this data + reference will access. + + The polyhedron contains these dimensions: + + - The alias set (a): + Every memory access is classified in at least one alias set. + + - The subscripts (s_0, ..., s_n): + The memory is accessed using zero or more subscript dimensions. + + - The iteration domain (variables and parameters) + + Do not hardcode the dimensions. Use the following accessor functions: + - pdr_alias_set_dim + - pdr_subscript_dim + - pdr_iterator_dim + - pdr_parameter_dim + + Example: + + | int A[1335][123]; + | int *p = malloc (); + | + | k = ... + | for i + | { + | if (unknown_function ()) + | p = A; + | ... = p[?][?]; + | for j + | A[i][j+k] = m; + | } + + The data access A[i][j+k] in alias set "5" is described like this: + + | i j k a s0 s1 1 + | 0 0 0 1 0 0 -5 = 0 + |-1 0 0 0 1 0 0 = 0 + | 0 -1 -1 0 0 1 0 = 0 + | 0 0 0 0 1 0 0 >= 0 # The last four lines describe the + | 0 0 0 0 0 1 0 >= 0 # array size. + | 0 0 0 0 -1 0 1335 >= 0 + | 0 0 0 0 0 -1 123 >= 0 + + The pointer "*p" in alias set "5" and "7" is described as a union of + polyhedron: + + + | i k a s0 1 + | 0 0 1 0 -5 = 0 + | 0 0 0 1 0 >= 0 + + "or" + + | i k a s0 1 + | 0 0 1 0 -7 = 0 + | 0 0 0 1 0 >= 0 + + "*p" accesses all of the object allocated with 'malloc'. + + The scalar data access "m" is represented as an array with zero subscript + dimensions. + + | i j k a 1 + | 0 0 0 -1 15 = 0 + + The difference between the graphite internal format for access data and + the OpenSop format is in the order of columns. + Instead of having: + + | i j k a s0 s1 1 + | 0 0 0 1 0 0 -5 = 0 + |-1 0 0 0 1 0 0 = 0 + | 0 -1 -1 0 0 1 0 = 0 + | 0 0 0 0 1 0 0 >= 0 # The last four lines describe the + | 0 0 0 0 0 1 0 >= 0 # array size. + | 0 0 0 0 -1 0 1335 >= 0 + | 0 0 0 0 0 -1 123 >= 0 + + In OpenScop we have: + + | a s0 s1 i j k 1 + | 1 0 0 0 0 0 -5 = 0 + | 0 1 0 -1 0 0 0 = 0 + | 0 0 1 0 -1 -1 0 = 0 + | 0 1 0 0 0 0 0 >= 0 # The last four lines describe the + | 0 0 1 0 0 0 0 >= 0 # array size. + | 0 -1 0 0 0 0 1335 >= 0 + | 0 0 -1 0 0 0 123 >= 0 + + The OpenScop access function is printed as follows: + + | 1 # The number of disjunct components in a union of access functions. + | R C O I L P # Described bellow. + | a s0 s1 i j k 1 + | 1 0 0 0 0 0 -5 = 0 + | 0 1 0 -1 0 0 0 = 0 + | 0 0 1 0 -1 -1 0 = 0 + | 0 1 0 0 0 0 0 >= 0 # The last four lines describe the + | 0 0 1 0 0 0 0 >= 0 # array size. + | 0 -1 0 0 0 0 1335 >= 0 + | 0 0 -1 0 0 0 123 >= 0 + + Where: + - R: Number of rows. + - C: Number of columns. + - O: Number of output dimensions = alias set + number of subscripts. + - I: Number of input dimensions (iterators). + - L: Number of local (existentially quantified) dimensions. + - P: Number of parameters. + + In the example, the vector "R C O I L P" is "7 7 3 2 0 1". */ + isl_map *accesses; + isl_set *subscript_sizes; +}; + +#define PDR_ID(PDR) (PDR->id) +#define PDR_NB_REFS(PDR) (PDR->nb_refs) +#define PDR_PBB(PDR) (PDR->pbb) +#define PDR_TYPE(PDR) (PDR->type) +#define PDR_ACCESSES(PDR) (NULL) + +void new_poly_dr (poly_bb_p, gimple *, enum poly_dr_type, + isl_map *, isl_set *); +void free_poly_dr (poly_dr_p); +void debug_pdr (poly_dr_p); +void print_pdr (FILE *, poly_dr_p); + +static inline bool +pdr_read_p (poly_dr_p pdr) +{ + return PDR_TYPE (pdr) == PDR_READ; +} + +/* Returns true when PDR is a "write". */ + +static inline bool +pdr_write_p (poly_dr_p pdr) +{ + return PDR_TYPE (pdr) == PDR_WRITE; +} + +/* Returns true when PDR is a "may write". */ + +static inline bool +pdr_may_write_p (poly_dr_p pdr) +{ + return PDR_TYPE (pdr) == PDR_MAY_WRITE; +} + +/* POLY_BB represents a blackbox in the polyhedral model. */ + +struct poly_bb +{ + /* Pointer to a basic block or a statement in the compiler. */ + gimple_poly_bb_p black_box; + + /* Pointer to the SCOP containing this PBB. */ + scop_p scop; + + /* The iteration domain of this bb. The layout of this polyhedron + is I|G with I the iteration domain, G the context parameters. + + Example: + + for (i = a - 7*b + 8; i <= 3*a + 13*b + 20; i++) + for (j = 2; j <= 2*i + 5; j++) + for (k = 0; k <= 5; k++) + S (i,j,k) + + Loop iterators: i, j, k + Parameters: a, b + + | i >= a - 7b + 8 + | i <= 3a + 13b + 20 + | j >= 2 + | j <= 2i + 5 + | k >= 0 + | k <= 5 + + The number of variables in the DOMAIN may change and is not + related to the number of loops in the original code. */ + isl_set *domain; + + /* The data references we access. */ + vec drs; + + /* The original scattering. */ + isl_map *schedule; + + /* The transformed scattering. */ + isl_map *transformed; + + /* A copy of the transformed scattering. */ + isl_map *saved; + + /* True when this PBB contains only a reduction statement. */ + bool is_reduction; + + /* The last basic block generated for this pbb. */ + basic_block new_bb; +}; + +#define PBB_BLACK_BOX(PBB) ((gimple_poly_bb_p) PBB->black_box) +#define PBB_SCOP(PBB) (PBB->scop) +#define PBB_DRS(PBB) (PBB->drs) +#define PBB_IS_REDUCTION(PBB) (PBB->is_reduction) + +extern poly_bb_p new_poly_bb (scop_p, gimple_poly_bb_p); +extern void free_poly_bb (poly_bb_p); +extern void debug_loop_vec (poly_bb_p); +extern void print_pbb_domain (FILE *, poly_bb_p); +extern void print_pbb (FILE *, poly_bb_p); +extern void print_scop_context (FILE *, scop_p); +extern void print_scop (FILE *, scop_p); +extern void debug_pbb_domain (poly_bb_p); +extern void debug_pbb (poly_bb_p); +extern void print_pdrs (FILE *, poly_bb_p); +extern void debug_pdrs (poly_bb_p); +extern void debug_scop_context (scop_p); +extern void debug_scop (scop_p); +extern void print_scop_params (FILE *, scop_p); +extern void debug_scop_params (scop_p); +extern void print_iteration_domain (FILE *, poly_bb_p); +extern void print_iteration_domains (FILE *, scop_p); +extern void debug_iteration_domain (poly_bb_p); +extern void debug_iteration_domains (scop_p); +extern void print_isl_set (FILE *, isl_set *); +extern void print_isl_map (FILE *, isl_map *); +extern void print_isl_union_map (FILE *, isl_union_map *); +extern void print_isl_aff (FILE *, isl_aff *); +extern void print_isl_constraint (FILE *, isl_constraint *); +extern void debug_isl_set (isl_set *); +extern void debug_isl_map (isl_map *); +extern void debug_isl_union_map (isl_union_map *); +extern void debug_isl_aff (isl_aff *); +extern void debug_isl_constraint (isl_constraint *); +extern int scop_do_interchange (scop_p); +extern int scop_do_strip_mine (scop_p, int); +extern bool scop_do_block (scop_p); +extern bool flatten_all_loops (scop_p); +extern bool optimize_isl (scop_p); +extern void pbb_number_of_iterations_at_time (poly_bb_p, graphite_dim_t, mpz_t); +extern void debug_gmp_value (mpz_t); + +/* The basic block of the PBB. */ + +static inline basic_block +pbb_bb (poly_bb_p pbb) +{ + return GBB_BB (PBB_BLACK_BOX (pbb)); +} + +static inline int +pbb_index (poly_bb_p pbb) +{ + return pbb_bb (pbb)->index; +} + +/* The loop of the PBB. */ + +static inline loop_p +pbb_loop (poly_bb_p pbb) +{ + return gbb_loop (PBB_BLACK_BOX (pbb)); +} + +/* The scop that contains the PDR. */ + +static inline scop_p +pdr_scop (poly_dr_p pdr) +{ + return PBB_SCOP (PDR_PBB (pdr)); +} + +/* Set black box of PBB to BLACKBOX. */ + +static inline void +pbb_set_black_box (poly_bb_p pbb, gimple_poly_bb_p black_box) +{ + pbb->black_box = black_box; +} + +/* A helper structure to keep track of data references, polyhedral BBs, and + alias sets. */ + +struct dr_info +{ + enum { + invalid_alias_set = -1 + }; + /* The data reference. */ + data_reference_p dr; + + /* The polyhedral BB containing this DR. */ + poly_bb_p pbb; + + /* ALIAS_SET is the SCC number assigned by a graph_dfs of the alias graph. + -1 is an invalid alias set. */ + int alias_set; + + /* Construct a DR_INFO from a data reference DR, an ALIAS_SET, and a PBB. */ + dr_info (data_reference_p dr, poly_bb_p pbb, + int alias_set = invalid_alias_set) + : dr (dr), pbb (pbb), alias_set (alias_set) {} +}; + +/* A SCOP is a Static Control Part of the program, simple enough to be + represented in polyhedral form. */ +struct scop +{ + /* A SCOP is defined as a SESE region. */ + sese_info_p scop_info; + + /* Number of parameters in SCoP. */ + graphite_dim_t nb_params; + + /* All the basic blocks in this scop that contain memory references + and that will be represented as statements in the polyhedral + representation. */ + vec pbbs; + + /* All the data references in this scop. */ + vec drs; + + /* The context describes known restrictions concerning the parameters + and relations in between the parameters. + + void f (int8_t a, uint_16_t b) { + c = 2 a + b; + ... + } + + Here we can add these restrictions to the context: + + -128 >= a >= 127 + 0 >= b >= 65,535 + c = 2a + b */ + isl_set *param_context; + + /* The context used internally by ISL. */ + isl_ctx *isl_context; + + /* The original dependence relations: + RAW are read after write dependences, + WAR are write after read dependences, + WAW are write after write dependences. */ + isl_union_map *must_raw, *may_raw, *must_raw_no_source, *may_raw_no_source, + *must_war, *may_war, *must_war_no_source, *may_war_no_source, + *must_waw, *may_waw, *must_waw_no_source, *may_waw_no_source; +}; + +extern scop_p new_scop (edge, edge); +extern void free_scop (scop_p); +extern gimple_poly_bb_p new_gimple_poly_bb (basic_block, vec, + vec, vec); +extern void free_gimple_poly_bb (gimple_poly_bb_p); +extern void print_generated_program (FILE *, scop_p); +extern void debug_generated_program (scop_p); +extern int unify_scattering_dimensions (scop_p); +extern bool apply_poly_transforms (scop_p); + +/* Set the region of SCOP to REGION. */ + +static inline void +scop_set_region (scop_p scop, sese_info_p region) +{ + scop->scop_info = region; +} + +/* Returns the number of parameters for SCOP. */ + +static inline graphite_dim_t +scop_nb_params (scop_p scop) +{ + return scop->nb_params; +} + +/* Set the number of params of SCOP to NB_PARAMS. */ + +static inline void +scop_set_nb_params (scop_p scop, graphite_dim_t nb_params) +{ + scop->nb_params = nb_params; +} + +isl_union_map * +scop_get_dependences (scop_p scop); + +bool +carries_deps (__isl_keep isl_union_map *schedule, + __isl_keep isl_union_map *deps, + int depth); + +extern bool build_poly_scop (scop_p); +extern bool graphite_regenerate_ast_isl (scop_p); + +extern void build_scops (vec *); +extern void dot_all_scops (vec); +extern void dot_scop (scop_p); + +#endif