#include "config.h"
#include "system.h"
#include "coretypes.h"
-#include "tm.h"
-#include "ggc.h"
-#include "tree.h"
-#include "rtl.h"
-#include "output.h"
-#include "basic-block.h"
-#include "diagnostic.h"
-#include "tree-pretty-print.h"
-#include "gimple-pretty-print.h"
+#include "diagnostic-core.h"
#include "tree-flow.h"
-#include "toplev.h"
#include "tree-dump.h"
-#include "timevar.h"
+#include "gimple-pretty-print.h"
#include "cfgloop.h"
#include "tree-chrec.h"
#include "tree-data-ref.h"
#include "tree-scalar-evolution.h"
-#include "tree-pass.h"
-#include "domwalk.h"
-#include "value-prof.h"
-#include "pointer-set.h"
-#include "gimple.h"
-#include "params.h"
-#include "graphite-cloog-util.h"
+#include "sese.h"
#ifdef HAVE_cloog
#include "ppl_c.h"
-#include "sese.h"
#include "graphite-ppl.h"
-#include "graphite.h"
#include "graphite-poly.h"
#include "graphite-dependences.h"
+#include "graphite-cloog-util.h"
+
+#define OPENSCOP_MAX_STRING 256
/* Return the maximal loop depth in SCOP. */
if (verbosity > 0)
{
fprintf (file, "# scattering bb_%d (\n", pbb_index (pbb));
- fprintf (file, "# eq");
+ fprintf (file, "#eq");
for (i = 0; i < pbb_nb_scattering_transform (pbb); i++)
fprintf (file, " s%d", (int) i);
if (verbosity > 0)
{
fprintf (file, "# scattering bb_%d (\n", pbb_index (pbb));
- fprintf (file, "# eq");
+ fprintf (file, "#eq");
for (i = 0; i < pbb_nb_scattering_transform (pbb); i++)
fprintf (file, " s%d", (int) i);
print_iteration_domains (stderr, scop, verbosity);
}
+/* Read N integer from FILE. */
+
+int *
+openscop_read_N_int (FILE *file, int N)
+{
+ char s[OPENSCOP_MAX_STRING];
+ char *str;
+ int i, *res = (int *) xmalloc (OPENSCOP_MAX_STRING * sizeof (int));
+
+ /* Skip blank and commented lines. */
+ while (fgets (s, sizeof s, file) == (char *) 0
+ || s[0] == '#'
+ || ISSPACE (s[0]))
+ ;
+
+ str = s;
+
+ for (i = 0; i < N; i++)
+ {
+ sscanf (str, "%d", &res[i]);
+
+ /* Jump the integer that was read. */
+ while ((*str) && !ISSPACE (*str) && (*str != '#'))
+ str++;
+
+ /* Jump spaces. */
+ while ((*str) && ISSPACE (*str) && (*str != '#'))
+ str++;
+ }
+
+ return res;
+}
+
+/* Read one integer from FILE. */
+
+static int
+openscop_read_one_int (FILE *file)
+{
+ int *x = openscop_read_N_int (file, 1);
+ int res = *x;
+
+ free (x);
+ return res;
+}
+
+/* Read N string from FILE. */
+
+static char *
+openscop_read_N_string (FILE *file, int N)
+{
+ int count, i;
+ char str[OPENSCOP_MAX_STRING];
+ char *tmp = (char *) xmalloc (sizeof (char) * OPENSCOP_MAX_STRING);
+ char *s = NULL;
+
+ /* Skip blank and commented lines. */
+ while (fgets (str, sizeof str, file) == (char *) 0
+ || str[0] == '#'
+ || ISSPACE (str[0]))
+ ;
+
+ s = str;
+ count = 0;
+
+ for (i = 0; i < N; i++)
+ {
+ /* Read the first word. */
+ for (; (*s) && (!ISSPACE (*s)) && (*s != '#'); ++count)
+ tmp[count] = *(s++);
+
+ tmp[count] = ' ';
+ count++;
+
+ /* Jump spaces. */
+ while ((*s) && ISSPACE (*s) && (*s != '#'))
+ s++;
+ }
+
+ tmp[count-1] = '\0';
+
+ return tmp;
+}
+
+/* Read one string from FILE. */
+
+static char *
+openscop_read_one_string (FILE *file)
+{
+ return openscop_read_N_string (file, 1);
+}
+
+/* Read from FILE the powerset PS in its OpenScop matrix form. OUTPUT is the
+ number of output dimensions, INPUT is the number of input dimensions,
+ LOCALS is the number of existentially quantified variables and PARAMS is
+ the number of parameters. */
+
+static void
+openscop_read_powerset_matrix (FILE *file,
+ ppl_Pointset_Powerset_C_Polyhedron_t *ps,
+ int *output, int *input, int *locals,
+ int *params)
+{
+ int nb_disjuncts, i;
+
+ nb_disjuncts = openscop_read_one_int (file);
+
+ for (i = 0; i < nb_disjuncts; i++)
+ {
+ ppl_Polyhedron_t ph;
+
+ openscop_read_polyhedron_matrix (file, &ph, output, input, locals,
+ params);
+ if (!ph)
+ *ps = NULL;
+ else if (i == 0)
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (ps, ph);
+ else
+ ppl_Pointset_Powerset_C_Polyhedron_add_disjunct (*ps, ph);
+ }
+}
+
+/* Read a scattering function from FILE and save it to PBB. Return whether
+ the scattering function was provided or not. */
+
+static bool
+graphite_read_scatt (FILE *file, poly_bb_p pbb)
+{
+ bool scattering_provided = false;
+ int output, input, locals, params;
+ ppl_Polyhedron_t newp;
+
+ if (openscop_read_one_int (file) > 0)
+ {
+ /* Read number of disjunct components. */
+ openscop_read_one_int (file);
+
+ /* Read scattering function. */
+ openscop_read_polyhedron_matrix (file, &newp, &output, &input,
+ &locals, ¶ms);
+ store_scattering (PBB_SCOP (pbb));
+ PBB_TRANSFORMED (pbb) = poly_scattering_new ();
+ PBB_TRANSFORMED_SCATTERING (pbb) = newp;
+ PBB_NB_LOCAL_VARIABLES (pbb) = locals;
+
+ /* New scattering dimension. */
+ PBB_NB_SCATTERING_TRANSFORM (pbb) = output;
+
+ scattering_provided = true;
+ }
+
+ return scattering_provided;
+}
+
+/* Read a scop file. Return true if the scop is transformed. */
+
+static bool
+graphite_read_scop_file (FILE *file, scop_p scop)
+{
+ char *tmp, *language;
+ size_t i, j, nb_statements, nbr, nbw;
+ int input, output, locals, params;
+ ppl_Pointset_Powerset_C_Polyhedron_t ps;
+ poly_bb_p pbb;
+ bool transform_done = false;
+
+ /* Ensure that the file is in OpenScop format. */
+ tmp = openscop_read_N_string (file, 2);
+
+ if (strcmp (tmp, "SCoP 1"))
+ {
+ error ("the file is not in OpenScop format");
+ return false;
+ }
+
+ free (tmp);
+
+ /* Read the language. */
+ language = openscop_read_one_string (file);
+
+ if (strcmp (language, "Gimple"))
+ {
+ error ("the language is not recognized");
+ return false;
+ }
+
+ free (language);
+
+ /* Read the context but do not use it. */
+ openscop_read_powerset_matrix (file, &ps, &input, &output, &locals, ¶ms);
+
+ if ((size_t) params != scop->nb_params)
+ {
+ error ("parameters number in the scop file is different from the"
+ " internal scop parameter number");
+ return false;
+ }
+
+ /* Read parameter names if provided. */
+ if (openscop_read_one_int (file))
+ openscop_read_N_string (file, scop->nb_params);
+
+ nb_statements = openscop_read_one_int (file);
+
+ if (nb_statements != VEC_length (poly_bb_p, SCOP_BBS (scop)))
+ {
+ error ("number of statements in the OpenScop file does not match"
+ " the graphite internal statements number");
+ return false;
+ }
+
+ for (i = 0; VEC_iterate (poly_bb_p, SCOP_BBS (scop), i, pbb); i++)
+ {
+ /* Read iteration domain. */
+ openscop_read_powerset_matrix (file, &ps, &input, &output, &locals,
+ ¶ms);
+
+ /* Read scattering. */
+ transform_done = graphite_read_scatt (file, pbb);
+
+ /* Scattering names. */
+ openscop_read_one_int (file);
+
+ /* Read access functions. */
+ if (openscop_read_one_int (file) > 0)
+ {
+ nbr = openscop_read_one_int (file);
+
+ /* Read access functions. */
+ for (j = 0; j < nbr; j++)
+ openscop_read_powerset_matrix (file, &ps, &input, &output, &locals,
+ ¶ms);
+
+ nbw = openscop_read_one_int (file);
+
+ /* Write access functions. */
+ for (j = 0; j < nbw; j++)
+ openscop_read_powerset_matrix (file, &ps, &input, &output, &locals,
+ ¶ms);
+ }
+
+ /* Statement body. */
+ openscop_read_one_int (file);
+ }
+
+ return transform_done;
+}
+
+/* Initialize and return a file that will be used to write a scop. SCOP_NUMBER
+ is a sequential number (identifier) used to differentiate scop files.
+ Examples of the generated file names: dump_base_name.0.graphite,
+ dump_base_name.1.graphite, dump_base_name.2.graphite, etc. */
+
+static FILE *
+init_graphite_out_file (int scop_number)
+{
+ FILE *graphite_out_file;
+ int len = strlen (dump_base_name);
+ char *dumpname = XNEWVEC (char, len + 25);
+ char *s_scop_number = XNEWVEC (char, 15);
+
+ memcpy (dumpname, dump_base_name, len + 1);
+ strip_off_ending (dumpname, len);
+ sprintf (s_scop_number, ".%d", scop_number);
+ strcat (dumpname, s_scop_number);
+ strcat (dumpname, ".graphite");
+ graphite_out_file = fopen (dumpname, "w+b");
+
+ if (graphite_out_file == 0)
+ fatal_error ("can%'t open %s for writing: %m", dumpname);
+
+ free (dumpname);
+
+ return graphite_out_file;
+}
+
+/* Open and return a file used for scop reading. SCOP_NUMBER is a sequential
+ number (identifier) used to differentiate scop files. Examples of the
+ generated file names: dump_base_name.0.graphite, dump_base_name.1.graphite,
+ dump_base_name.2.graphite, etc. */
+
+static FILE *
+init_graphite_in_file (int scop_number)
+{
+ FILE *graphite_in_file;
+ int len = strlen (dump_base_name);
+ char *dumpname = XNEWVEC (char, len + 25);
+ char *s_scop_number = XNEWVEC (char, 15);
+
+ memcpy (dumpname, dump_base_name, len + 1);
+ strip_off_ending (dumpname, len);
+ sprintf (s_scop_number, ".%d", scop_number);
+ strcat (dumpname, s_scop_number);
+ strcat (dumpname, ".graphite");
+ graphite_in_file = fopen (dumpname, "r+b");
+
+ if (graphite_in_file == 0)
+ fatal_error ("can%'t open %s for reading: %m", dumpname);
+
+ free (dumpname);
+
+ return graphite_in_file;
+}
/* Apply graphite transformations to all the basic blocks of SCOP. */
apply_poly_transforms (scop_p scop)
{
bool transform_done = false;
+ FILE *graphite_file;
+ static size_t file_scop_number = 0;
+
+ /* This feature is only enabled in the Graphite branch. */
+ if (0)
+ {
+ graphite_file = init_graphite_in_file (file_scop_number);
+ transform_done |= graphite_read_scop_file (graphite_file, scop);
+
+ if (!graphite_legal_transform (scop))
+ fatal_error ("the graphite file read for scop %d does not contain a legal transform",
+ (int) file_scop_number);
+
+ file_scop_number++;
+ }
/* Generate code even if we did not apply any real transformation.
This also allows to check the performance for the identity
else
{
if (flag_loop_strip_mine)
- transform_done |= scop_do_strip_mine (scop);
+ transform_done |= scop_do_strip_mine (scop, 0);
if (flag_loop_interchange)
transform_done |= scop_do_interchange (scop);
}
+ if (flag_loop_flatten)
+ transform_done |= flatten_all_loops (scop);
+
+ /* This feature is only enabled in the Graphite branch. */
+ if (0)
+ {
+ graphite_file = init_graphite_out_file (file_scop_number);
+ print_scop (graphite_file, scop, 1);
+ file_scop_number++;
+ }
+
return transform_done;
}
{
int i, j;
poly_dr_p pdr1, pdr2;
- unsigned n = VEC_length (poly_dr_p, PBB_DRS (pbb));
- VEC (poly_dr_p, heap) *collapsed = VEC_alloc (poly_dr_p, heap, n);
FOR_EACH_VEC_ELT (poly_dr_p, PBB_DRS (pbb), i, pdr1)
- FOR_EACH_VEC_ELT (poly_dr_p, collapsed, j, pdr2)
- if (!can_collapse_pdrs (pdr1, pdr2))
- VEC_quick_push (poly_dr_p, collapsed, pdr1);
+ for (j = i + 1; VEC_iterate (poly_dr_p, PBB_DRS (pbb), j, pdr2); j++)
+ if (can_collapse_pdrs (pdr1, pdr2))
+ {
+ PDR_NB_REFS (pdr1) += PDR_NB_REFS (pdr2);
+ free_poly_dr (pdr2);
+ VEC_ordered_remove (poly_dr_p, PBB_DRS (pbb), j);
+ }
- VEC_free (poly_dr_p, heap, collapsed);
PBB_PDR_DUPLICATES_REMOVED (pbb) = true;
}
/* Create a new polyhedral black box. */
-void
-new_poly_bb (scop_p scop, void *black_box, bool reduction)
+poly_bb_p
+new_poly_bb (scop_p scop, void *black_box)
{
poly_bb_p pbb = XNEW (struct poly_bb);
PBB_SAVED (pbb) = NULL;
PBB_ORIGINAL (pbb) = NULL;
PBB_DRS (pbb) = VEC_alloc (poly_dr_p, heap, 3);
- PBB_IS_REDUCTION (pbb) = reduction;
+ PBB_IS_REDUCTION (pbb) = false;
PBB_PDR_DUPLICATES_REMOVED (pbb) = false;
- VEC_safe_push (poly_bb_p, heap, SCOP_BBS (scop), pbb);
+ GBB_PBB ((gimple_bb_p) black_box) = pbb;
+
+ return pbb;
}
/* Free polyhedral black box. */
if (verbosity > 0)
{
fprintf (file, "\n# Iteration domain of bb_%d (\n", GBB_BB (gbb)->index);
- fprintf (file, "# eq");
+ fprintf (file, "#eq");
for (i = 0; i < pbb_dim_iter_domain (pbb); i++)
fprintf (file, " i%d", (int) i);
fprintf (file, "# Body (\n");
if (!statement_body_provided)
- {
- if (verbosity > 0)
- fprintf (file, "# Statement body is not provided\n");
+ {
+ if (verbosity > 0)
+ fprintf (file, "# Statement body is not provided\n");
+
+ fprintf (file, "0\n");
- fprintf (file, "0\n");
- return;
- }
+ if (verbosity > 1)
+ fprintf (file, "#)\n");
+ return;
+ }
if (verbosity > 0)
fprintf (file, "# Statement body is provided\n");
if (verbosity > 0)
{
fprintf (file, "# Context (\n");
- fprintf (file, "# eq");
+ fprintf (file, "#eq");
for (i = 0; i < scop_nb_params (scop); i++)
fprintf (file, " p%d", (int) i);
if (verbosity > 0)
{
fprintf (file, "# Context (\n");
- fprintf (file, "# eq");
+ fprintf (file, "#eq");
for (i = 0; i < scop_nb_params (scop); i++)
fprintf (file, " p%d", (int) i);
fprintf (file, "# )\n");
}
-/* Print to FILE the SCOP header: context, parameters, and statements
- number. */
+/* Print to FILE the SCOP, at some VERBOSITY level. */
-static void
-print_scop_header (FILE *file, scop_p scop, int verbosity)
+void
+print_scop (FILE *file, scop_p scop, int verbosity)
{
+ int i;
+ poly_bb_p pbb;
+
fprintf (file, "SCoP 1\n#(\n");
fprintf (file, "# Language\nGimple\n");
openscop_print_scop_context (file, scop, verbosity);
fprintf (file, "# Number of statements\n");
fprintf (file, "%d\n",VEC_length (poly_bb_p, SCOP_BBS (scop)));
-}
-
-/* Print to FILE the SCOP, at some VERBOSITY level. */
-
-void
-print_scop (FILE *file, scop_p scop, int verbosity)
-{
- int i;
- poly_bb_p pbb;
-
- print_scop_header (file, scop, verbosity);
FOR_EACH_VEC_ELT (poly_bb_p, SCOP_BBS (scop), i, pbb)
print_pbb (file, pbb, verbosity);
gcc_unreachable ();
}
-/* Returns the number of iterations NITER of the loop around PBB at
- depth LOOP_DEPTH. */
-
-void
-pbb_number_of_iterations (poly_bb_p pbb,
- graphite_dim_t loop_depth,
- mpz_t niter)
-{
- ppl_Linear_Expression_t le;
- ppl_dimension_type dim;
-
- ppl_Pointset_Powerset_C_Polyhedron_space_dimension (PBB_DOMAIN (pbb), &dim);
- ppl_new_Linear_Expression_with_dimension (&le, dim);
- ppl_set_coef (le, pbb_iterator_dim (pbb, loop_depth), 1);
- mpz_set_si (niter, -1);
- ppl_max_for_le_pointset (PBB_DOMAIN (pbb), le, niter);
- ppl_delete_Linear_Expression (le);
-}
-
-/* Returns the number of iterations NITER of the loop around PBB at
+/* Returns the number of iterations RES of the loop around PBB at
time(scattering) dimension TIME_DEPTH. */
void
pbb_number_of_iterations_at_time (poly_bb_p pbb,
graphite_dim_t time_depth,
- mpz_t niter)
+ mpz_t res)
{
- ppl_Pointset_Powerset_C_Polyhedron_t ext_domain, sctr;
+ ppl_Pointset_Powerset_C_Polyhedron_t domain, sctr_lb, sctr_ub;
+ ppl_dimension_type domain_dim, sctr_dim;
+ graphite_dim_t dim_iter_domain = pbb_dim_iter_domain (pbb);
ppl_Linear_Expression_t le;
- ppl_dimension_type dim;
+ mpz_t lb, ub, diff, one;
+ int i;
- /* Takes together domain and scattering polyhedrons, and composes
- them into the bigger polyhedron that has the following format:
+ ppl_Polyhedron_space_dimension (PBB_TRANSFORMED_SCATTERING (pbb), &sctr_dim);
- t0..t_{n-1} | l0..l_{nlcl-1} | i0..i_{niter-1} | g0..g_{nparm-1}
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron
+ (&domain, PBB_DOMAIN (pbb));
- where
- | t0..t_{n-1} are time dimensions (scattering dimensions)
- | l0..l_{nclc-1} are local variables in scattering function
- | i0..i_{niter-1} are original iteration variables
- | g0..g_{nparam-1} are global parameters. */
+ ppl_Pointset_Powerset_C_Polyhedron_space_dimension (domain, &domain_dim);
- ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (&sctr,
- PBB_TRANSFORMED_SCATTERING (pbb));
+ mpz_init (diff);
+ mpz_init (lb);
+ mpz_init (ub);
+ mpz_init (one);
+ mpz_set_si (one, 1);
- /* Extend the iteration domain with the scattering dimensions:
- 0..0 | 0..0 | i0..i_{niter-1} | g0..g_{nparm-1}. */
- ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron
- (&ext_domain, PBB_DOMAIN (pbb));
- ppl_insert_dimensions_pointset (ext_domain, 0,
- pbb_nb_scattering_transform (pbb)
- + pbb_nb_local_vars (pbb));
+ /* Compute the upper bound on the original iteration domain and add
+ that upper bound to the scattering. */
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron
+ (&sctr_ub, PBB_TRANSFORMED_SCATTERING (pbb));
+ for (i = 0; i < (int) dim_iter_domain; i++)
+ {
+ ppl_Linear_Expression_t eq;
+ ppl_Constraint_t pc;
+ ppl_Constraint_System_t cs;
+ ppl_Polyhedron_t ph;
+ ppl_Pointset_Powerset_C_Polyhedron_t pph;
+
+ ppl_new_Linear_Expression_with_dimension (&le, domain_dim);
+ ppl_set_coef (le, i, 1);
+ ppl_min_for_le_pointset (domain, le, lb);
+ ppl_max_for_le_pointset (domain, le, ub);
+ mpz_sub (diff, ub, lb);
+ mpz_add (diff, diff, one);
+
+ ppl_new_Linear_Expression_with_dimension (&eq, sctr_dim);
+ ppl_set_coef (eq, psct_iterator_dim (pbb, i), -1);
+ ppl_set_inhomogeneous_gmp (eq, diff);
+
+ ppl_new_Constraint (&pc, eq, PPL_CONSTRAINT_TYPE_EQUAL);
+ ppl_new_Constraint_System_from_Constraint (&cs, pc);
+ ppl_new_C_Polyhedron_from_Constraint_System (&ph, cs);
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (&pph, ph);
+ ppl_Pointset_Powerset_C_Polyhedron_intersection_assign (sctr_ub, pph);
+
+ ppl_delete_Linear_Expression (le);
+ ppl_delete_Linear_Expression (eq);
+ ppl_delete_Polyhedron (ph);
+ ppl_delete_Pointset_Powerset_C_Polyhedron (pph);
+ ppl_delete_Constraint (pc);
+ ppl_delete_Constraint_System (cs);
+ }
- /* Add to sctr the extended domain. */
- ppl_Pointset_Powerset_C_Polyhedron_intersection_assign (sctr, ext_domain);
+ /* Compute the lower bound on the original iteration domain and add
+ it to the scattering. */
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron
+ (&sctr_lb, PBB_TRANSFORMED_SCATTERING (pbb));
+ for (i = 0; i < (int) dim_iter_domain; i++)
+ {
+ ppl_Linear_Expression_t eq;
+ ppl_Constraint_t pc;
+ ppl_Constraint_System_t cs;
+ ppl_Polyhedron_t ph;
+ ppl_Pointset_Powerset_C_Polyhedron_t pph;
+
+ ppl_new_Linear_Expression_with_dimension (&le, domain_dim);
+ ppl_set_coef (le, i, 1);
+ ppl_min_for_le_pointset (domain, le, lb);
+
+ ppl_new_Linear_Expression_with_dimension (&eq, sctr_dim);
+ ppl_set_coef (eq, psct_iterator_dim (pbb, i), -1);
+ ppl_set_inhomogeneous_gmp (eq, lb);
+
+ ppl_new_Constraint (&pc, eq, PPL_CONSTRAINT_TYPE_EQUAL);
+ ppl_new_Constraint_System_from_Constraint (&cs, pc);
+ ppl_new_C_Polyhedron_from_Constraint_System (&ph, cs);
+ ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (&pph, ph);
+ ppl_Pointset_Powerset_C_Polyhedron_intersection_assign (sctr_lb, pph);
+
+ ppl_delete_Linear_Expression (le);
+ ppl_delete_Linear_Expression (eq);
+ ppl_delete_Polyhedron (ph);
+ ppl_delete_Pointset_Powerset_C_Polyhedron (pph);
+ ppl_delete_Constraint (pc);
+ ppl_delete_Constraint_System (cs);
+ }
/* Extract the number of iterations. */
- ppl_Pointset_Powerset_C_Polyhedron_space_dimension (sctr, &dim);
- ppl_new_Linear_Expression_with_dimension (&le, dim);
+ ppl_new_Linear_Expression_with_dimension (&le, sctr_dim);
ppl_set_coef (le, time_depth, 1);
- mpz_set_si (niter, -1);
- ppl_max_for_le_pointset (sctr, le, niter);
+ ppl_min_for_le_pointset (sctr_lb, le, lb);
+ ppl_max_for_le_pointset (sctr_ub, le, ub);
+ mpz_sub (res, ub, lb);
+ mpz_clear (one);
+ mpz_clear (diff);
+ mpz_clear (lb);
+ mpz_clear (ub);
ppl_delete_Linear_Expression (le);
- ppl_delete_Pointset_Powerset_C_Polyhedron (sctr);
- ppl_delete_Pointset_Powerset_C_Polyhedron (ext_domain);
+ ppl_delete_Pointset_Powerset_C_Polyhedron (sctr_ub);
+ ppl_delete_Pointset_Powerset_C_Polyhedron (sctr_lb);
+ ppl_delete_Pointset_Powerset_C_Polyhedron (domain);
}
/* Translates LOOP to LST. */
/* When debugging, enable the following code. This cannot be used
in production compilers because it calls "system". */
#if 0
- int x;
FILE *stream = fopen ("/tmp/lst.dot", "w");
gcc_assert (stream);
fputs ("}\n\n", stream);
fclose (stream);
- x = system ("dotty /tmp/lst.dot &");
+ system ("dotty /tmp/lst.dot &");
#else
fputs ("digraph all {\n", stderr);
dot_lst_1 (stderr, lst);
#endif
}
+/* Computes a checksum for the code generated by CLooG for SCOP. */
+
+DEBUG_FUNCTION void
+cloog_checksum (scop_p scop ATTRIBUTE_UNUSED)
+{
+ /* When debugging, enable the following code. This cannot be used
+ in production compilers because it calls "system". */
+#if 0
+ FILE *stream = fopen ("/tmp/scop.cloog", "w");
+ gcc_assert (stream);
+ print_cloog (stream, scop, 0);
+ fclose (stream);
+
+ fputs ("\n", stdout);
+ system ("cloog -compilable 1 /tmp/scop.cloog > /tmp/scop.c ; gcc -O0 -g /tmp/scop.c -lm -o /tmp/scop; /tmp/scop | md5sum ");
+#endif
+}
+
#endif