include/cloog/ppl_backend.h

   1 /* Copyright (C) 2008 Sebastian Pop
   2
   3    This is free software; you can redistribute it and/or modify it
   4    under the terms of the GNU General Public License as published by
   5    the Free Software Foundation; either version 2 of the License, or
   6    (at your option) any later version.
   7
   8    This software is distributed in the hope that it will be useful,
   9    but WITHOUT ANY WARRANTY; without even the implied warranty of
  10    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  11    General Public License for more details.
  12
  13    You should have received a copy of the GNU General Public License
  14    along with software; if not, write to the Free Software Foundation,
  15    Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
  16 */
  17
  18 # include <ppl_c.h>
  19
  20
  21 extern void cloog_initialize (void);
  22
  23 static inline void
  24 cloog_finalize (void)
  25 {
  26   ppl_finalize ();
  27 }
  28
  29 /**
  30  * CloogDomain structure:
  31  * this structure contains a polyhedron in the PolyLib shape and the number of
  32  * active references to this structure. Because CLooG uses many copies of
  33  * domains there is no need to actually copy these domains but just to return
  34  * a pointer to them and to increment the number of active references. Each time
  35  * a CloogDomain will be freed, we will decrement the active reference counter
  36  * and actually free it if its value is zero.
  37  */
  38 struct cloogdomain
  39 { Polyhedron * _polyhedron ;      /**< The polyhedral domain. */
  40   int _references ;               /**< Number of references to this structure. */
  41 } ;
  42 typedef struct cloogdomain CloogDomain ;