| /* Graphite polyhedral representation. |
| Copyright (C) 2009-2022 Free Software Foundation, Inc. |
| Contributed by Sebastian Pop <sebastian.pop@amd.com> and |
| Tobias Grosser <grosser@fim.uni-passau.de>. |
| |
| 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 |
| <http://www.gnu.org/licenses/>. */ |
| |
| #define INCLUDE_ISL |
| |
| #include "config.h" |
| |
| #ifdef HAVE_isl |
| |
| #include "system.h" |
| #include "coretypes.h" |
| #include "backend.h" |
| #include "tree.h" |
| #include "gimple.h" |
| #include "cfghooks.h" |
| #include "diagnostic-core.h" |
| #include "fold-const.h" |
| #include "gimple-iterator.h" |
| #include "tree-ssa-loop.h" |
| #include "cfgloop.h" |
| #include "tree-data-ref.h" |
| #include "pretty-print.h" |
| #include "gimple-pretty-print.h" |
| #include "graphite.h" |
| #include "dumpfile.h" |
| |
| /* Print to STDERR the GMP value VAL. */ |
| |
| DEBUG_FUNCTION void |
| debug_gmp_value (mpz_t val) |
| { |
| gmp_fprintf (stderr, "%Zd", val); |
| } |
| |
| /* Prints to FILE the iteration domain of PBB. */ |
| |
| void |
| print_iteration_domain (FILE *file, poly_bb_p pbb) |
| { |
| print_pbb_domain (file, pbb); |
| } |
| |
| /* Prints to FILE the iteration domains of every PBB of SCOP. */ |
| |
| void |
| print_iteration_domains (FILE *file, scop_p scop) |
| { |
| for (poly_bb_p pbb : scop->pbbs) |
| print_iteration_domain (file, pbb); |
| } |
| |
| /* Prints to STDERR the iteration domain of PBB. */ |
| |
| DEBUG_FUNCTION void |
| debug_iteration_domain (poly_bb_p pbb) |
| { |
| print_iteration_domain (stderr, pbb); |
| } |
| |
| /* Prints to STDERR the iteration domains of every PBB of SCOP. */ |
| |
| DEBUG_FUNCTION void |
| debug_iteration_domains (scop_p scop) |
| { |
| print_iteration_domains (stderr, scop); |
| } |
| |
| /* 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. */ |
| |
| void |
| new_poly_dr (poly_bb_p pbb, gimple *stmt, enum poly_dr_type type, |
| isl_map *acc, isl_set *subscript_sizes) |
| { |
| static int id = 0; |
| poly_dr_p pdr = XNEW (struct poly_dr); |
| |
| pdr->stmt = stmt; |
| PDR_ID (pdr) = id++; |
| PDR_NB_REFS (pdr) = 1; |
| PDR_PBB (pdr) = pbb; |
| pdr->accesses = acc; |
| pdr->subscript_sizes = subscript_sizes; |
| PDR_TYPE (pdr) = type; |
| PBB_DRS (pbb).safe_push (pdr); |
| |
| if (dump_file) |
| { |
| fprintf (dump_file, "Converting dr: "); |
| print_pdr (dump_file, pdr); |
| fprintf (dump_file, "To polyhedral representation:\n"); |
| fprintf (dump_file, " - access functions: "); |
| print_isl_map (dump_file, acc); |
| fprintf (dump_file, " - subscripts: "); |
| print_isl_set (dump_file, subscript_sizes); |
| } |
| } |
| |
| /* Free polyhedral data reference PDR. */ |
| |
| static void |
| free_poly_dr (poly_dr_p pdr) |
| { |
| isl_map_free (pdr->accesses); |
| isl_set_free (pdr->subscript_sizes); |
| XDELETE (pdr); |
| } |
| |
| /* Create a new polyhedral black box. */ |
| |
| poly_bb_p |
| new_poly_bb (scop_p scop, gimple_poly_bb_p black_box) |
| { |
| poly_bb_p pbb = XNEW (struct poly_bb); |
| |
| pbb->domain = NULL; |
| pbb->iterators = NULL; |
| PBB_SCOP (pbb) = scop; |
| pbb_set_black_box (pbb, black_box); |
| PBB_DRS (pbb).create (3); |
| GBB_PBB ((gimple_poly_bb_p) black_box) = pbb; |
| |
| return pbb; |
| } |
| |
| /* Free polyhedral black box. */ |
| |
| static void |
| free_poly_bb (poly_bb_p pbb) |
| { |
| isl_set_free (pbb->domain); |
| pbb->domain = NULL; |
| isl_set_free (pbb->iterators); |
| pbb->iterators = NULL; |
| |
| if (PBB_DRS (pbb).exists ()) |
| for (poly_dr_p pdr : PBB_DRS (pbb)) |
| free_poly_dr (pdr); |
| |
| PBB_DRS (pbb).release (); |
| XDELETE (pbb); |
| } |
| |
| /* Prints to FILE the polyhedral data reference PDR. */ |
| |
| void |
| print_pdr (FILE *file, poly_dr_p pdr) |
| { |
| fprintf (file, "pdr_%d (", PDR_ID (pdr)); |
| |
| switch (PDR_TYPE (pdr)) |
| { |
| case PDR_READ: |
| fprintf (file, "read \n"); |
| break; |
| |
| case PDR_WRITE: |
| fprintf (file, "write \n"); |
| break; |
| |
| case PDR_MAY_WRITE: |
| fprintf (file, "may_write \n"); |
| break; |
| |
| default: |
| gcc_unreachable (); |
| } |
| |
| fprintf (file, "in gimple stmt: "); |
| print_gimple_stmt (file, pdr->stmt, 0); |
| fprintf (file, "data accesses: "); |
| print_isl_map (file, pdr->accesses); |
| fprintf (file, "subscript sizes: "); |
| print_isl_set (file, pdr->subscript_sizes); |
| fprintf (file, ")\n"); |
| } |
| |
| /* Prints to STDERR the polyhedral data reference PDR. */ |
| |
| DEBUG_FUNCTION void |
| debug_pdr (poly_dr_p pdr) |
| { |
| print_pdr (stderr, pdr); |
| } |
| |
| /* Store the GRAPHITE representation of BB. */ |
| |
| gimple_poly_bb_p |
| new_gimple_poly_bb (basic_block bb, vec<data_reference_p> drs, |
| vec<scalar_use> reads, vec<tree> writes) |
| { |
| gimple_poly_bb_p gbb = XNEW (struct gimple_poly_bb); |
| GBB_BB (gbb) = bb; |
| GBB_DATA_REFS (gbb) = drs; |
| gbb->read_scalar_refs = reads; |
| gbb->write_scalar_refs = writes; |
| GBB_CONDITIONS (gbb).create (0); |
| GBB_CONDITION_CASES (gbb).create (0); |
| |
| return gbb; |
| } |
| |
| /* Frees GBB. */ |
| |
| static void |
| free_gimple_poly_bb (gimple_poly_bb_p gbb) |
| { |
| free_data_refs (GBB_DATA_REFS (gbb)); |
| GBB_CONDITIONS (gbb).release (); |
| GBB_CONDITION_CASES (gbb).release (); |
| gbb->read_scalar_refs.release (); |
| gbb->write_scalar_refs.release (); |
| XDELETE (gbb); |
| } |
| |
| /* Deletes all gimple bbs in SCOP. */ |
| |
| static void |
| remove_gbbs_in_scop (scop_p scop) |
| { |
| for (poly_bb_p pbb : scop->pbbs) |
| free_gimple_poly_bb (PBB_BLACK_BOX (pbb)); |
| } |
| |
| /* Creates a new SCOP containing the region (ENTRY, EXIT). */ |
| |
| scop_p |
| new_scop (edge entry, edge exit) |
| { |
| sese_info_p region = new_sese_info (entry, exit); |
| scop_p s = XNEW (struct scop); |
| |
| s->original_schedule = NULL; |
| s->transformed_schedule = NULL; |
| s->param_context = NULL; |
| scop_set_region (s, region); |
| s->pbbs.create (3); |
| s->drs.create (3); |
| s->dependence = NULL; |
| return s; |
| } |
| |
| /* Deletes SCOP. */ |
| |
| void |
| free_scop (scop_p scop) |
| { |
| remove_gbbs_in_scop (scop); |
| free_sese_info (scop->scop_info); |
| |
| for (poly_bb_p pbb : scop->pbbs) |
| free_poly_bb (pbb); |
| |
| scop->pbbs.release (); |
| scop->drs.release (); |
| |
| isl_set_free (scop->param_context); |
| scop->param_context = NULL; |
| isl_union_map_free (scop->dependence); |
| scop->dependence = NULL; |
| isl_schedule_free (scop->original_schedule); |
| scop->original_schedule = NULL; |
| isl_schedule_free (scop->transformed_schedule); |
| scop->transformed_schedule = NULL; |
| XDELETE (scop); |
| } |
| |
| /* Print to FILE the domain of PBB. */ |
| |
| void |
| print_pbb_domain (FILE *file, poly_bb_p pbb) |
| { |
| print_isl_set (file, pbb->domain); |
| } |
| |
| /* Dump the cases of a graphite basic block GBB on FILE. */ |
| |
| static void |
| dump_gbb_cases (FILE *file, gimple_poly_bb_p gbb) |
| { |
| vec<gimple *> cases; |
| |
| if (!gbb) |
| return; |
| |
| cases = GBB_CONDITION_CASES (gbb); |
| if (cases.is_empty ()) |
| return; |
| |
| fprintf (file, "cases bb_%d (\n", GBB_BB (gbb)->index); |
| |
| for (gimple *stmt : cases) |
| print_gimple_stmt (file, stmt, 0); |
| |
| fprintf (file, ")\n"); |
| } |
| |
| /* Dump conditions of a graphite basic block GBB on FILE. */ |
| |
| static void |
| dump_gbb_conditions (FILE *file, gimple_poly_bb_p gbb) |
| { |
| vec<gimple *> conditions; |
| |
| if (!gbb) |
| return; |
| |
| conditions = GBB_CONDITIONS (gbb); |
| if (conditions.is_empty ()) |
| return; |
| |
| fprintf (file, "conditions bb_%d (\n", GBB_BB (gbb)->index); |
| |
| for (gimple *stmt : conditions) |
| print_gimple_stmt (file, stmt, 0); |
| |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to FILE all the data references of PBB. */ |
| |
| void |
| print_pdrs (FILE *file, poly_bb_p pbb) |
| { |
| if (PBB_DRS (pbb).is_empty ()) |
| return; |
| |
| fprintf (file, "Data references (\n"); |
| fprintf (file, "Read data references (\n"); |
| |
| for (poly_dr_p pdr : PBB_DRS (pbb)) |
| if (PDR_TYPE (pdr) == PDR_READ) |
| print_pdr (file, pdr); |
| |
| fprintf (file, ")\n"); |
| fprintf (file, "Write data references (\n"); |
| for (poly_dr_p pdr : PBB_DRS (pbb)) |
| if (PDR_TYPE (pdr) != PDR_READ) |
| print_pdr (file, pdr); |
| fprintf (file, ")\n"); |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to STDERR all the data references of PBB. */ |
| |
| DEBUG_FUNCTION void |
| debug_pdrs (poly_bb_p pbb) |
| { |
| print_pdrs (stderr, pbb); |
| } |
| |
| /* Print to FILE the body of PBB. */ |
| |
| static void |
| print_pbb_body (FILE *file, poly_bb_p pbb) |
| { |
| fprintf (file, "Body (\n"); |
| dump_bb (file, pbb_bb (pbb), 0, TDF_NONE); |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to FILE the domain and scattering function of PBB. */ |
| |
| void |
| print_pbb (FILE *file, poly_bb_p pbb) |
| { |
| fprintf (file, "pbb_%d (\n", pbb_index (pbb)); |
| dump_gbb_conditions (file, PBB_BLACK_BOX (pbb)); |
| dump_gbb_cases (file, PBB_BLACK_BOX (pbb)); |
| |
| print_pbb_domain (file, pbb); |
| print_pdrs (file, pbb); |
| print_pbb_body (file, pbb); |
| |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to FILE the parameters of SCOP. */ |
| |
| void |
| print_scop_params (FILE *file, scop_p scop) |
| { |
| if (scop->scop_info->params.is_empty ()) |
| return; |
| |
| int i; |
| tree t; |
| fprintf (file, "parameters ("); |
| FOR_EACH_VEC_ELT (scop->scop_info->params, i, t) |
| { |
| print_generic_expr (file, t); |
| fprintf (file, ", "); |
| } |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to FILE the context of SCoP. */ |
| |
| void |
| print_scop_context (FILE *file, scop_p scop) |
| { |
| if (!scop->param_context) |
| return; |
| |
| fprintf (file, "Context (\n"); |
| print_isl_set (file, scop->param_context); |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to FILE the SCOP. */ |
| |
| void |
| print_scop (FILE *file, scop_p scop) |
| { |
| fprintf (file, "SCoP (\n"); |
| print_scop_context (file, scop); |
| print_scop_params (file, scop); |
| |
| fprintf (file, "Number of statements: "); |
| fprintf (file, "%d\n", scop->pbbs.length ()); |
| |
| for (poly_bb_p pbb : scop->pbbs) |
| print_pbb (file, pbb); |
| |
| fprintf (file, ")\n"); |
| } |
| |
| /* Print to STDERR the domain of PBB. */ |
| |
| DEBUG_FUNCTION void |
| debug_pbb_domain (poly_bb_p pbb) |
| { |
| print_pbb_domain (stderr, pbb); |
| } |
| |
| /* Print to FILE the domain and scattering function of PBB. */ |
| |
| DEBUG_FUNCTION void |
| debug_pbb (poly_bb_p pbb) |
| { |
| print_pbb (stderr, pbb); |
| } |
| |
| /* Print to STDERR the context of SCOP. */ |
| |
| DEBUG_FUNCTION void |
| debug_scop_context (scop_p scop) |
| { |
| print_scop_context (stderr, scop); |
| } |
| |
| /* Print to STDERR the SCOP. */ |
| |
| DEBUG_FUNCTION void |
| debug_scop (scop_p scop) |
| { |
| print_scop (stderr, scop); |
| } |
| |
| /* Print to STDERR the parameters of SCOP. */ |
| |
| DEBUG_FUNCTION void |
| debug_scop_params (scop_p scop) |
| { |
| print_scop_params (stderr, scop); |
| } |
| |
| extern isl_ctx *the_isl_ctx; |
| void |
| print_isl_set (FILE *f, __isl_keep isl_set *set) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK); |
| p = isl_printer_print_set (p, set); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_set (__isl_keep isl_set *set) |
| { |
| print_isl_set (stderr, set); |
| } |
| |
| void |
| print_isl_map (FILE *f, __isl_keep isl_map *map) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK); |
| p = isl_printer_print_map (p, map); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_map (__isl_keep isl_map *map) |
| { |
| print_isl_map (stderr, map); |
| } |
| |
| void |
| print_isl_union_map (FILE *f, __isl_keep isl_union_map *map) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK); |
| p = isl_printer_print_union_map (p, map); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_union_map (__isl_keep isl_union_map *map) |
| { |
| print_isl_union_map (stderr, map); |
| } |
| |
| void |
| print_isl_aff (FILE *f, __isl_keep isl_aff *aff) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_print_aff (p, aff); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_aff (__isl_keep isl_aff *aff) |
| { |
| print_isl_aff (stderr, aff); |
| } |
| |
| void |
| print_isl_constraint (FILE *f, __isl_keep isl_constraint *c) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_print_constraint (p, c); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_constraint (__isl_keep isl_constraint *c) |
| { |
| print_isl_constraint (stderr, c); |
| } |
| |
| void |
| print_isl_schedule (FILE *f, __isl_keep isl_schedule *s) |
| { |
| isl_printer *p = isl_printer_to_file (the_isl_ctx, f); |
| p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK); |
| p = isl_printer_print_schedule (p, s); |
| p = isl_printer_print_str (p, "\n"); |
| isl_printer_free (p); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_schedule (__isl_keep isl_schedule *s) |
| { |
| print_isl_schedule (stderr, s); |
| } |
| |
| void |
| print_isl_ast (FILE *file, __isl_keep isl_ast_node *n) |
| { |
| isl_printer *prn = isl_printer_to_file (the_isl_ctx, file); |
| prn = isl_printer_set_output_format (prn, ISL_FORMAT_C); |
| prn = isl_printer_print_ast_node (prn, n); |
| prn = isl_printer_print_str (prn, "\n"); |
| isl_printer_free (prn); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_isl_ast (isl_ast_node *n) |
| { |
| print_isl_ast (stderr, n); |
| } |
| |
| DEBUG_FUNCTION void |
| debug_scop_pbb (scop_p scop, int i) |
| { |
| debug_pbb (scop->pbbs[i]); |
| } |
| |
| #endif /* HAVE_isl */ |
| |