LCOV - code coverage report
Current view: top level - gcc - graphite-poly.c (source / functions) Hit Total Coverage
Test: gcc.info Lines: 158 320 49.4 %
Date: 2020-03-28 11:57:23 Functions: 16 46 34.8 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Graphite polyhedral representation.
       2                 :            :    Copyright (C) 2009-2020 Free Software Foundation, Inc.
       3                 :            :    Contributed by Sebastian Pop <sebastian.pop@amd.com> and
       4                 :            :    Tobias Grosser <grosser@fim.uni-passau.de>.
       5                 :            : 
       6                 :            : This file is part of GCC.
       7                 :            : 
       8                 :            : GCC is free software; you can redistribute it and/or modify
       9                 :            : it under the terms of the GNU General Public License as published by
      10                 :            : the Free Software Foundation; either version 3, or (at your option)
      11                 :            : any later version.
      12                 :            : 
      13                 :            : GCC is distributed in the hope that it will be useful,
      14                 :            : but WITHOUT ANY WARRANTY; without even the implied warranty of
      15                 :            : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      16                 :            : GNU General Public License for more details.
      17                 :            : 
      18                 :            : You should have received a copy of the GNU General Public License
      19                 :            : along with GCC; see the file COPYING3.  If not see
      20                 :            : <http://www.gnu.org/licenses/>.  */
      21                 :            : 
      22                 :            : #define USES_ISL
      23                 :            : 
      24                 :            : #include "config.h"
      25                 :            : 
      26                 :            : #ifdef HAVE_isl
      27                 :            : 
      28                 :            : #include "system.h"
      29                 :            : #include "coretypes.h"
      30                 :            : #include "backend.h"
      31                 :            : #include "tree.h"
      32                 :            : #include "gimple.h"
      33                 :            : #include "cfghooks.h"
      34                 :            : #include "diagnostic-core.h"
      35                 :            : #include "fold-const.h"
      36                 :            : #include "gimple-iterator.h"
      37                 :            : #include "tree-ssa-loop.h"
      38                 :            : #include "cfgloop.h"
      39                 :            : #include "tree-data-ref.h"
      40                 :            : #include "pretty-print.h"
      41                 :            : #include "gimple-pretty-print.h"
      42                 :            : #include "graphite.h"
      43                 :            : #include "dumpfile.h"
      44                 :            : 
      45                 :            : /* Print to STDERR the GMP value VAL.  */
      46                 :            : 
      47                 :            : DEBUG_FUNCTION void
      48                 :          0 : debug_gmp_value (mpz_t val)
      49                 :            : {
      50                 :          0 :   gmp_fprintf (stderr, "%Zd", val);
      51                 :          0 : }
      52                 :            : 
      53                 :            : /* Prints to FILE the iteration domain of PBB.  */
      54                 :            : 
      55                 :            : void
      56                 :          0 : print_iteration_domain (FILE *file, poly_bb_p pbb)
      57                 :            : {
      58                 :          0 :   print_pbb_domain (file, pbb);
      59                 :          0 : }
      60                 :            : 
      61                 :            : /* Prints to FILE the iteration domains of every PBB of SCOP.  */
      62                 :            : 
      63                 :            : void
      64                 :          0 : print_iteration_domains (FILE *file, scop_p scop)
      65                 :            : {
      66                 :          0 :   int i;
      67                 :          0 :   poly_bb_p pbb;
      68                 :            : 
      69                 :          0 :   FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
      70                 :          0 :     print_iteration_domain (file, pbb);
      71                 :          0 : }
      72                 :            : 
      73                 :            : /* Prints to STDERR the iteration domain of PBB.  */
      74                 :            : 
      75                 :            : DEBUG_FUNCTION void
      76                 :          0 : debug_iteration_domain (poly_bb_p pbb)
      77                 :            : {
      78                 :          0 :   print_iteration_domain (stderr, pbb);
      79                 :          0 : }
      80                 :            : 
      81                 :            : /* Prints to STDERR the iteration domains of every PBB of SCOP.  */
      82                 :            : 
      83                 :            : DEBUG_FUNCTION void
      84                 :          0 : debug_iteration_domains (scop_p scop)
      85                 :            : {
      86                 :          0 :   print_iteration_domains (stderr, scop);
      87                 :          0 : }
      88                 :            : 
      89                 :            : /* Create a new polyhedral data reference and add it to PBB.  It is
      90                 :            :    defined by its ACCESSES, its TYPE, and the number of subscripts
      91                 :            :    NB_SUBSCRIPTS.  */
      92                 :            : 
      93                 :            : void
      94                 :       1730 : new_poly_dr (poly_bb_p pbb, gimple *stmt, enum poly_dr_type type,
      95                 :            :              isl_map *acc, isl_set *subscript_sizes)
      96                 :            : {
      97                 :       1730 :   static int id = 0;
      98                 :       1730 :   poly_dr_p pdr = XNEW (struct poly_dr);
      99                 :            : 
     100                 :       1730 :   pdr->stmt = stmt;
     101                 :       1730 :   PDR_ID (pdr) = id++;
     102                 :       1730 :   PDR_NB_REFS (pdr) = 1;
     103                 :       1730 :   PDR_PBB (pdr) = pbb;
     104                 :       1730 :   pdr->accesses = acc;
     105                 :       1730 :   pdr->subscript_sizes = subscript_sizes;
     106                 :       1730 :   PDR_TYPE (pdr) = type;
     107                 :       1730 :   PBB_DRS (pbb).safe_push (pdr);
     108                 :            : 
     109                 :       1730 :   if (dump_file)
     110                 :            :     {
     111                 :        965 :       fprintf (dump_file, "Converting dr: ");
     112                 :        965 :       print_pdr (dump_file, pdr);
     113                 :        965 :       fprintf (dump_file, "To polyhedral representation:\n");
     114                 :        965 :       fprintf (dump_file, "  - access functions: ");
     115                 :        965 :       print_isl_map (dump_file, acc);
     116                 :        965 :       fprintf (dump_file, "  - subscripts: ");
     117                 :        965 :       print_isl_set (dump_file, subscript_sizes);
     118                 :            :     }
     119                 :       1730 : }
     120                 :            : 
     121                 :            : /* Free polyhedral data reference PDR.  */
     122                 :            : 
     123                 :            : static void
     124                 :       1730 : free_poly_dr (poly_dr_p pdr)
     125                 :            : {
     126                 :       1730 :   isl_map_free (pdr->accesses);
     127                 :       1730 :   isl_set_free (pdr->subscript_sizes);
     128                 :       1730 :   XDELETE (pdr);
     129                 :       1730 : }
     130                 :            : 
     131                 :            : /* Create a new polyhedral black box.  */
     132                 :            : 
     133                 :            : poly_bb_p
     134                 :        562 : new_poly_bb (scop_p scop, gimple_poly_bb_p black_box)
     135                 :            : {
     136                 :        562 :   poly_bb_p pbb = XNEW (struct poly_bb);
     137                 :            : 
     138                 :        562 :   pbb->domain = NULL;
     139                 :        562 :   pbb->iterators = NULL;
     140                 :        562 :   PBB_SCOP (pbb) = scop;
     141                 :        562 :   pbb_set_black_box (pbb, black_box);
     142                 :        562 :   PBB_DRS (pbb).create (3);
     143                 :        562 :   GBB_PBB ((gimple_poly_bb_p) black_box) = pbb;
     144                 :            : 
     145                 :        562 :   return pbb;
     146                 :            : }
     147                 :            : 
     148                 :            : /* Free polyhedral black box.  */
     149                 :            : 
     150                 :            : static void
     151                 :        562 : free_poly_bb (poly_bb_p pbb)
     152                 :            : {
     153                 :        562 :   int i;
     154                 :        562 :   poly_dr_p pdr;
     155                 :            : 
     156                 :        562 :   isl_set_free (pbb->domain);
     157                 :        562 :   pbb->domain = NULL;
     158                 :        562 :   isl_set_free (pbb->iterators);
     159                 :        562 :   pbb->iterators = NULL;
     160                 :            : 
     161                 :        562 :   if (PBB_DRS (pbb).exists ())
     162                 :       2292 :     FOR_EACH_VEC_ELT (PBB_DRS (pbb), i, pdr)
     163                 :       1730 :       free_poly_dr (pdr);
     164                 :            : 
     165                 :        562 :   PBB_DRS (pbb).release ();
     166                 :        562 :   XDELETE (pbb);
     167                 :        562 : }
     168                 :            : 
     169                 :            : /* Prints to FILE the polyhedral data reference PDR.  */
     170                 :            : 
     171                 :            : void
     172                 :       1691 : print_pdr (FILE *file, poly_dr_p pdr)
     173                 :            : {
     174                 :       1691 :   fprintf (file, "pdr_%d (", PDR_ID (pdr));
     175                 :            : 
     176                 :       1691 :   switch (PDR_TYPE (pdr))
     177                 :            :     {
     178                 :        756 :     case PDR_READ:
     179                 :        756 :       fprintf (file, "read \n");
     180                 :        756 :       break;
     181                 :            : 
     182                 :        935 :     case PDR_WRITE:
     183                 :        935 :       fprintf (file, "write \n");
     184                 :        935 :       break;
     185                 :            : 
     186                 :          0 :     case PDR_MAY_WRITE:
     187                 :          0 :       fprintf (file, "may_write \n");
     188                 :          0 :       break;
     189                 :            : 
     190                 :          0 :     default:
     191                 :          0 :       gcc_unreachable ();
     192                 :            :     }
     193                 :            : 
     194                 :       1691 :   fprintf (file, "in gimple stmt: ");
     195                 :       1691 :   print_gimple_stmt (file, pdr->stmt, 0);
     196                 :       1691 :   fprintf (file, "data accesses: ");
     197                 :       1691 :   print_isl_map (file, pdr->accesses);
     198                 :       1691 :   fprintf (file, "subscript sizes: ");
     199                 :       1691 :   print_isl_set (file, pdr->subscript_sizes);
     200                 :       1691 :   fprintf (file, ")\n");
     201                 :       1691 : }
     202                 :            : 
     203                 :            : /* Prints to STDERR the polyhedral data reference PDR.  */
     204                 :            : 
     205                 :            : DEBUG_FUNCTION void
     206                 :          0 : debug_pdr (poly_dr_p pdr)
     207                 :            : {
     208                 :          0 :   print_pdr (stderr, pdr);
     209                 :          0 : }
     210                 :            : 
     211                 :            : /* Store the GRAPHITE representation of BB.  */
     212                 :            : 
     213                 :            : gimple_poly_bb_p
     214                 :        562 : new_gimple_poly_bb (basic_block bb, vec<data_reference_p> drs,
     215                 :            :                     vec<scalar_use> reads, vec<tree> writes)
     216                 :            : {
     217                 :        562 :   gimple_poly_bb_p gbb = XNEW (struct gimple_poly_bb);
     218                 :        562 :   GBB_BB (gbb) = bb;
     219                 :        562 :   GBB_DATA_REFS (gbb) = drs;
     220                 :        562 :   gbb->read_scalar_refs = reads;
     221                 :        562 :   gbb->write_scalar_refs = writes;
     222                 :        562 :   GBB_CONDITIONS (gbb).create (0);
     223                 :        562 :   GBB_CONDITION_CASES (gbb).create (0);
     224                 :            : 
     225                 :        562 :   return gbb;
     226                 :            : }
     227                 :            : 
     228                 :            : /* Frees GBB.  */
     229                 :            : 
     230                 :            : static void
     231                 :        562 : free_gimple_poly_bb (gimple_poly_bb_p gbb)
     232                 :            : {
     233                 :        562 :   free_data_refs (GBB_DATA_REFS (gbb));
     234                 :        562 :   GBB_CONDITIONS (gbb).release ();
     235                 :        562 :   GBB_CONDITION_CASES (gbb).release ();
     236                 :        562 :   gbb->read_scalar_refs.release ();
     237                 :        562 :   gbb->write_scalar_refs.release ();
     238                 :        562 :   XDELETE (gbb);
     239                 :        562 : }
     240                 :            : 
     241                 :            : /* Deletes all gimple bbs in SCOP.  */
     242                 :            : 
     243                 :            : static void
     244                 :        182 : remove_gbbs_in_scop (scop_p scop)
     245                 :            : {
     246                 :        182 :   int i;
     247                 :        182 :   poly_bb_p pbb;
     248                 :            : 
     249                 :        744 :   FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
     250                 :        562 :     free_gimple_poly_bb (PBB_BLACK_BOX (pbb));
     251                 :        182 : }
     252                 :            : 
     253                 :            : /* Creates a new SCOP containing the region (ENTRY, EXIT).  */
     254                 :            : 
     255                 :            : scop_p
     256                 :        182 : new_scop (edge entry, edge exit)
     257                 :            : {
     258                 :        182 :   sese_info_p region = new_sese_info (entry, exit);
     259                 :        182 :   scop_p s = XNEW (struct scop);
     260                 :            : 
     261                 :        182 :   s->original_schedule = NULL;
     262                 :        182 :   s->transformed_schedule = NULL;
     263                 :        182 :   s->param_context = NULL;
     264                 :        182 :   scop_set_region (s, region);
     265                 :        182 :   s->pbbs.create (3);
     266                 :        182 :   s->drs.create (3);
     267                 :        182 :   s->dependence = NULL;
     268                 :        182 :   return s;
     269                 :            : }
     270                 :            : 
     271                 :            : /* Deletes SCOP.  */
     272                 :            : 
     273                 :            : void
     274                 :        182 : free_scop (scop_p scop)
     275                 :            : {
     276                 :        182 :   int i;
     277                 :        182 :   poly_bb_p pbb;
     278                 :            : 
     279                 :        182 :   remove_gbbs_in_scop (scop);
     280                 :        182 :   free_sese_info (scop->scop_info);
     281                 :            : 
     282                 :        744 :   FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
     283                 :        562 :     free_poly_bb (pbb);
     284                 :            : 
     285                 :        182 :   scop->pbbs.release ();
     286                 :        182 :   scop->drs.release ();
     287                 :            : 
     288                 :        182 :   isl_set_free (scop->param_context);
     289                 :        182 :   scop->param_context = NULL;
     290                 :        182 :   isl_union_map_free (scop->dependence);
     291                 :        182 :   scop->dependence = NULL;
     292                 :        182 :   isl_schedule_free (scop->original_schedule);
     293                 :        182 :   scop->original_schedule = NULL;
     294                 :        182 :   isl_schedule_free (scop->transformed_schedule);
     295                 :        182 :   scop->transformed_schedule = NULL;
     296                 :        182 :   XDELETE (scop);
     297                 :        182 : }
     298                 :            : 
     299                 :            : /* Print to FILE the domain of PBB.  */
     300                 :            : 
     301                 :            : void
     302                 :          0 : print_pbb_domain (FILE *file, poly_bb_p pbb)
     303                 :            : {
     304                 :          0 :   print_isl_set (file, pbb->domain);
     305                 :          0 : }
     306                 :            : 
     307                 :            : /* Dump the cases of a graphite basic block GBB on FILE.  */
     308                 :            : 
     309                 :            : static void
     310                 :          0 : dump_gbb_cases (FILE *file, gimple_poly_bb_p gbb)
     311                 :            : {
     312                 :          0 :   int i;
     313                 :          0 :   gimple *stmt;
     314                 :          0 :   vec<gimple *> cases;
     315                 :            : 
     316                 :          0 :   if (!gbb)
     317                 :          0 :     return;
     318                 :            : 
     319                 :          0 :   cases = GBB_CONDITION_CASES (gbb);
     320                 :          0 :   if (cases.is_empty ())
     321                 :            :     return;
     322                 :            : 
     323                 :          0 :   fprintf (file, "cases bb_%d (\n", GBB_BB (gbb)->index);
     324                 :            : 
     325                 :          0 :   FOR_EACH_VEC_ELT (cases, i, stmt)
     326                 :          0 :     print_gimple_stmt (file, stmt, 0);
     327                 :            : 
     328                 :          0 :   fprintf (file, ")\n");
     329                 :            : }
     330                 :            : 
     331                 :            : /* Dump conditions of a graphite basic block GBB on FILE.  */
     332                 :            : 
     333                 :            : static void
     334                 :          0 : dump_gbb_conditions (FILE *file, gimple_poly_bb_p gbb)
     335                 :            : {
     336                 :          0 :   int i;
     337                 :          0 :   gimple *stmt;
     338                 :          0 :   vec<gimple *> conditions;
     339                 :            : 
     340                 :          0 :   if (!gbb)
     341                 :          0 :     return;
     342                 :            : 
     343                 :          0 :   conditions = GBB_CONDITIONS (gbb);
     344                 :          0 :   if (conditions.is_empty ())
     345                 :            :     return;
     346                 :            : 
     347                 :          0 :   fprintf (file, "conditions bb_%d (\n", GBB_BB (gbb)->index);
     348                 :            : 
     349                 :          0 :   FOR_EACH_VEC_ELT (conditions, i, stmt)
     350                 :          0 :     print_gimple_stmt (file, stmt, 0);
     351                 :            : 
     352                 :          0 :   fprintf (file, ")\n");
     353                 :            : }
     354                 :            : 
     355                 :            : /* Print to FILE all the data references of PBB.  */
     356                 :            : 
     357                 :            : void
     358                 :          0 : print_pdrs (FILE *file, poly_bb_p pbb)
     359                 :            : {
     360                 :          0 :   int i;
     361                 :          0 :   poly_dr_p pdr;
     362                 :          0 :   int nb_reads = 0;
     363                 :          0 :   int nb_writes = 0;
     364                 :            : 
     365                 :          0 :   if (PBB_DRS (pbb).is_empty ())
     366                 :          0 :     return;
     367                 :            : 
     368                 :          0 :   fprintf (file, "Data references (\n");
     369                 :            : 
     370                 :          0 :   FOR_EACH_VEC_ELT (PBB_DRS (pbb), i, pdr)
     371                 :            :     if (PDR_TYPE (pdr) == PDR_READ)
     372                 :            :       nb_reads++;
     373                 :            :     else
     374                 :            :       nb_writes++;
     375                 :            : 
     376                 :          0 :   fprintf (file, "Read data references (\n");
     377                 :            : 
     378                 :          0 :   FOR_EACH_VEC_ELT (PBB_DRS (pbb), i, pdr)
     379                 :          0 :     if (PDR_TYPE (pdr) == PDR_READ)
     380                 :          0 :       print_pdr (file, pdr);
     381                 :            : 
     382                 :          0 :   fprintf (file, ")\n");
     383                 :          0 :   fprintf (file, "Write data references (\n");
     384                 :          0 :   FOR_EACH_VEC_ELT (PBB_DRS (pbb), i, pdr)
     385                 :          0 :     if (PDR_TYPE (pdr) != PDR_READ)
     386                 :          0 :       print_pdr (file, pdr);
     387                 :          0 :   fprintf (file, ")\n");
     388                 :          0 :   fprintf (file, ")\n");
     389                 :            : }
     390                 :            : 
     391                 :            : /* Print to STDERR all the data references of PBB.  */
     392                 :            : 
     393                 :            : DEBUG_FUNCTION void
     394                 :          0 : debug_pdrs (poly_bb_p pbb)
     395                 :            : {
     396                 :          0 :   print_pdrs (stderr, pbb);
     397                 :          0 : }
     398                 :            : 
     399                 :            : /* Print to FILE the body of PBB.  */
     400                 :            : 
     401                 :            : static void
     402                 :          0 : print_pbb_body (FILE *file, poly_bb_p pbb)
     403                 :            : {
     404                 :          0 :   fprintf (file, "Body (\n");
     405                 :          0 :   dump_bb (file, pbb_bb (pbb), 0, TDF_NONE);
     406                 :          0 :   fprintf (file, ")\n");
     407                 :          0 : }
     408                 :            : 
     409                 :            : /* Print to FILE the domain and scattering function of PBB.  */
     410                 :            : 
     411                 :            : void
     412                 :          0 : print_pbb (FILE *file, poly_bb_p pbb)
     413                 :            : {
     414                 :          0 :   fprintf (file, "pbb_%d (\n", pbb_index (pbb));
     415                 :          0 :   dump_gbb_conditions (file, PBB_BLACK_BOX (pbb));
     416                 :          0 :   dump_gbb_cases (file, PBB_BLACK_BOX (pbb));
     417                 :            : 
     418                 :          0 :   print_pbb_domain (file, pbb);
     419                 :          0 :   print_pdrs (file, pbb);
     420                 :          0 :   print_pbb_body (file, pbb);
     421                 :            : 
     422                 :          0 :   fprintf (file, ")\n");
     423                 :          0 : }
     424                 :            : 
     425                 :            : /* Print to FILE the parameters of SCOP.  */
     426                 :            : 
     427                 :            : void
     428                 :          0 : print_scop_params (FILE *file, scop_p scop)
     429                 :            : {
     430                 :          0 :   if (scop->scop_info->params.is_empty ())
     431                 :          0 :     return;
     432                 :            : 
     433                 :          0 :   int i;
     434                 :          0 :   tree t;
     435                 :          0 :   fprintf (file, "parameters (");
     436                 :          0 :   FOR_EACH_VEC_ELT (scop->scop_info->params, i, t)
     437                 :            :     {
     438                 :          0 :       print_generic_expr (file, t);
     439                 :          0 :       fprintf (file, ", ");
     440                 :            :     }
     441                 :          0 :   fprintf (file, ")\n");
     442                 :            : }
     443                 :            : 
     444                 :            : /* Print to FILE the context of SCoP.  */
     445                 :            : 
     446                 :            : void
     447                 :          0 : print_scop_context (FILE *file, scop_p scop)
     448                 :            : {
     449                 :          0 :   if (!scop->param_context)
     450                 :            :     return;
     451                 :            : 
     452                 :          0 :   fprintf (file, "Context (\n");
     453                 :          0 :   print_isl_set (file, scop->param_context);
     454                 :          0 :   fprintf (file, ")\n");
     455                 :            : }
     456                 :            : 
     457                 :            : /* Print to FILE the SCOP.  */
     458                 :            : 
     459                 :            : void
     460                 :          0 : print_scop (FILE *file, scop_p scop)
     461                 :            : {
     462                 :          0 :   int i;
     463                 :          0 :   poly_bb_p pbb;
     464                 :            : 
     465                 :          0 :   fprintf (file, "SCoP (\n");
     466                 :          0 :   print_scop_context (file, scop);
     467                 :          0 :   print_scop_params (file, scop);
     468                 :            : 
     469                 :          0 :   fprintf (file, "Number of statements: ");
     470                 :          0 :   fprintf (file, "%d\n", scop->pbbs.length ());
     471                 :            : 
     472                 :          0 :   FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
     473                 :          0 :     print_pbb (file, pbb);
     474                 :            : 
     475                 :          0 :   fprintf (file, ")\n");
     476                 :          0 : }
     477                 :            : 
     478                 :            : /* Print to STDERR the domain of PBB.  */
     479                 :            : 
     480                 :            : DEBUG_FUNCTION void
     481                 :          0 : debug_pbb_domain (poly_bb_p pbb)
     482                 :            : {
     483                 :          0 :   print_pbb_domain (stderr, pbb);
     484                 :          0 : }
     485                 :            : 
     486                 :            : /* Print to FILE the domain and scattering function of PBB.  */
     487                 :            : 
     488                 :            : DEBUG_FUNCTION void
     489                 :          0 : debug_pbb (poly_bb_p pbb)
     490                 :            : {
     491                 :          0 :   print_pbb (stderr, pbb);
     492                 :          0 : }
     493                 :            : 
     494                 :            : /* Print to STDERR the context of SCOP.  */
     495                 :            : 
     496                 :            : DEBUG_FUNCTION void
     497                 :          0 : debug_scop_context (scop_p scop)
     498                 :            : {
     499                 :          0 :   print_scop_context (stderr, scop);
     500                 :          0 : }
     501                 :            : 
     502                 :            : /* Print to STDERR the SCOP.  */
     503                 :            : 
     504                 :            : DEBUG_FUNCTION void
     505                 :          0 : debug_scop (scop_p scop)
     506                 :            : {
     507                 :          0 :   print_scop (stderr, scop);
     508                 :          0 : }
     509                 :            : 
     510                 :            : /* Print to STDERR the parameters of SCOP.  */
     511                 :            : 
     512                 :            : DEBUG_FUNCTION void
     513                 :          0 : debug_scop_params (scop_p scop)
     514                 :            : {
     515                 :          0 :   print_scop_params (stderr, scop);
     516                 :          0 : }
     517                 :            : 
     518                 :            : extern isl_ctx *the_isl_ctx;
     519                 :            : void
     520                 :       2990 : print_isl_set (FILE *f, __isl_keep isl_set *set)
     521                 :            : {
     522                 :       2990 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     523                 :       2990 :   p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK);
     524                 :       2990 :   p = isl_printer_print_set (p, set);
     525                 :       2990 :   p = isl_printer_print_str (p, "\n");
     526                 :       2990 :   isl_printer_free (p);
     527                 :       2990 : }
     528                 :            : 
     529                 :            : DEBUG_FUNCTION void
     530                 :          0 : debug_isl_set (__isl_keep isl_set *set)
     531                 :            : {
     532                 :          0 :   print_isl_set (stderr, set);
     533                 :          0 : }
     534                 :            : 
     535                 :            : void
     536                 :       2656 : print_isl_map (FILE *f, __isl_keep isl_map *map)
     537                 :            : {
     538                 :       2656 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     539                 :       2656 :   p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK);
     540                 :       2656 :   p = isl_printer_print_map (p, map);
     541                 :       2656 :   p = isl_printer_print_str (p, "\n");
     542                 :       2656 :   isl_printer_free (p);
     543                 :       2656 : }
     544                 :            : 
     545                 :            : DEBUG_FUNCTION void
     546                 :          0 : debug_isl_map (__isl_keep isl_map *map)
     547                 :            : {
     548                 :          0 :   print_isl_map (stderr, map);
     549                 :          0 : }
     550                 :            : 
     551                 :            : void
     552                 :        966 : print_isl_union_map (FILE *f, __isl_keep isl_union_map *map)
     553                 :            : {
     554                 :        966 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     555                 :        966 :   p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK);
     556                 :        966 :   p = isl_printer_print_union_map (p, map);
     557                 :        966 :   p = isl_printer_print_str (p, "\n");
     558                 :        966 :   isl_printer_free (p);
     559                 :        966 : }
     560                 :            : 
     561                 :            : DEBUG_FUNCTION void
     562                 :          0 : debug_isl_union_map (__isl_keep isl_union_map *map)
     563                 :            : {
     564                 :          0 :   print_isl_union_map (stderr, map);
     565                 :          0 : }
     566                 :            : 
     567                 :            : void
     568                 :          0 : print_isl_aff (FILE *f, __isl_keep isl_aff *aff)
     569                 :            : {
     570                 :          0 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     571                 :          0 :   p = isl_printer_print_aff (p, aff);
     572                 :          0 :   p = isl_printer_print_str (p, "\n");
     573                 :          0 :   isl_printer_free (p);
     574                 :          0 : }
     575                 :            : 
     576                 :            : DEBUG_FUNCTION void
     577                 :          0 : debug_isl_aff (__isl_keep isl_aff *aff)
     578                 :            : {
     579                 :          0 :   print_isl_aff (stderr, aff);
     580                 :          0 : }
     581                 :            : 
     582                 :            : void
     583                 :        304 : print_isl_constraint (FILE *f, __isl_keep isl_constraint *c)
     584                 :            : {
     585                 :        304 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     586                 :        304 :   p = isl_printer_print_constraint (p, c);
     587                 :        304 :   p = isl_printer_print_str (p, "\n");
     588                 :        304 :   isl_printer_free (p);
     589                 :        304 : }
     590                 :            : 
     591                 :            : DEBUG_FUNCTION void
     592                 :          0 : debug_isl_constraint (__isl_keep isl_constraint *c)
     593                 :            : {
     594                 :          0 :   print_isl_constraint (stderr, c);
     595                 :          0 : }
     596                 :            : 
     597                 :            : void
     598                 :        227 : print_isl_schedule (FILE *f, __isl_keep isl_schedule *s)
     599                 :            : {
     600                 :        227 :   isl_printer *p = isl_printer_to_file (the_isl_ctx, f);
     601                 :        227 :   p = isl_printer_set_yaml_style (p, ISL_YAML_STYLE_BLOCK);
     602                 :        227 :   p = isl_printer_print_schedule (p, s);
     603                 :        227 :   p = isl_printer_print_str (p, "\n");
     604                 :        227 :   isl_printer_free (p);
     605                 :        227 : }
     606                 :            : 
     607                 :            : DEBUG_FUNCTION void
     608                 :          0 : debug_isl_schedule (__isl_keep isl_schedule *s)
     609                 :            : {
     610                 :          0 :   print_isl_schedule (stderr, s);
     611                 :          0 : }
     612                 :            : 
     613                 :            : void
     614                 :        135 : print_isl_ast (FILE *file, __isl_keep isl_ast_node *n)
     615                 :            : {
     616                 :        135 :   isl_printer *prn = isl_printer_to_file (the_isl_ctx, file);
     617                 :        135 :   prn = isl_printer_set_output_format (prn, ISL_FORMAT_C);
     618                 :        135 :   prn = isl_printer_print_ast_node (prn, n);
     619                 :        135 :   prn = isl_printer_print_str (prn, "\n");
     620                 :        135 :   isl_printer_free (prn);
     621                 :        135 : }
     622                 :            : 
     623                 :            : DEBUG_FUNCTION void
     624                 :          0 : debug_isl_ast (isl_ast_node *n)
     625                 :            : {
     626                 :          0 :   print_isl_ast (stderr, n);
     627                 :          0 : }
     628                 :            : 
     629                 :            : DEBUG_FUNCTION void
     630                 :          0 : debug_scop_pbb (scop_p scop, int i)
     631                 :            : {
     632                 :          0 :   debug_pbb (scop->pbbs[i]);
     633                 :          0 : }
     634                 :            : 
     635                 :            : #endif  /* HAVE_isl */
     636                 :            : 

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.