Candl 0.6.0
Defines
candl.h File Reference
#include <piplib/piplib64.h>
#include <candl/options.h>
#include <candl/matrix.h>
#include <candl/statement.h>
#include <candl/program.h>
#include <candl/dependence.h>
#include <candl/ddv.h>
#include <candl/violation.h>
#include <candl/pruning.h>
Include dependency graph for candl.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines

#define CANDL_RELEASE   "0.6.0"
#define CANDL_VERSION   "64"
#define CANDL_SUPPORTS_SCOPLIB
#define CANDL_SUPPORTS_ISL
#define CANDL_UNSET   -1
#define CANDL_RAW   1
#define CANDL_WAR   2
#define CANDL_WAW   3
#define CANDL_RAR   4
#define CANDL_ASSIGNMENT   1
#define CANDL_P_REDUCTION   2
#define CANDL_M_REDUCTION   3
#define CANDL_T_REDUCTION   4
#define CANDL_EQUAL   1
#define CANDL_POSIT   2
#define CANDL_LATER   3
#define CANDL_NEVER   4
#define CANDL_NB_INFOS   3
#define CANDL_MAX_STRING   2048
#define CANDL_TEMP_OUTPUT   "candl.temp"
#define CANDL_max(x, y)   ((x) > (y)? (x) : (y))
#define CANDL_min(x, y)   ((x) < (y)? (x) : (y))
#define CANDL_FAIL(msg)   { fprintf(stderr, "[Candl] " msg "\n"); exit(1); }
#define CANDL_FMT   "%4s"
#define CANDL_init(val)   ((val) = 0)
#define CANDL_assign(v1, v2)   ((v1) = (v2))
#define CANDL_set_si(val, i)   ((val) = (Entier)(i))
#define CANDL_get_si(val)   ((val))
#define CANDL_clear(val)   ((val) = 0)
#define CANDL_print(Dst, fmt, val)   (fprintf((Dst),(fmt),(val)))
#define CANDL_eq(v1, v2)   ((v1)==(v2))
#define CANDL_ne(v1, v2)   ((v1)!=(v2))
#define CANDL_increment(ref, val)   ((ref) = (val)+(Entier)(1))
#define CANDL_decrement(ref, val)   ((ref) = (val)-(Entier)(1))
#define CANDL_subtract(ref, val1, val2)   ((ref) = (val1)-(val2))
#define CANDL_oppose(ref, val)   ((ref) = (-(val)))
#define CANDL_zero_p(val)   CANDL_eq(val,0)
#define CANDL_notzero_p(val)   CANDL_ne(val,0)

Define Documentation

#define CANDL_assign (   v1,
  v2 
)    ((v1) = (v2))
#define CANDL_ASSIGNMENT   1
#define CANDL_clear (   val)    ((val) = 0)
#define CANDL_decrement (   ref,
  val 
)    ((ref) = (val)-(Entier)(1))
#define CANDL_eq (   v1,
  v2 
)    ((v1)==(v2))
#define CANDL_EQUAL   1
#define CANDL_FAIL (   msg)    { fprintf(stderr, "[Candl] " msg "\n"); exit(1); }
#define CANDL_FMT   "%4s"
#define CANDL_get_si (   val)    ((val))
#define CANDL_increment (   ref,
  val 
)    ((ref) = (val)+(Entier)(1))
#define CANDL_init (   val)    ((val) = 0)
#define CANDL_LATER   3
#define CANDL_M_REDUCTION   3
#define CANDL_max (   x,
 
)    ((x) > (y)? (x) : (y))
#define CANDL_MAX_STRING   2048
#define CANDL_min (   x,
 
)    ((x) < (y)? (x) : (y))

Referenced by candl_violation().

#define CANDL_NB_INFOS   3
#define CANDL_ne (   v1,
  v2 
)    ((v1)!=(v2))
#define CANDL_NEVER   4
#define CANDL_notzero_p (   val)    CANDL_ne(val,0)
#define CANDL_oppose (   ref,
  val 
)    ((ref) = (-(val)))
#define CANDL_P_REDUCTION   2
#define CANDL_POSIT   2
#define CANDL_print (   Dst,
  fmt,
  val 
)    (fprintf((Dst),(fmt),(val)))
#define CANDL_RAR   4
#define CANDL_RAW   1
#define CANDL_RELEASE   "0.6.0"

------ ( ----------------------------------------------------------** )\ CAnDL ** ----- / ) --------------------------------------------------------** ( * ( candl.h ** ---- #/ --------------------------------------------------------** .-"#'-. First version: september 8th 2003 ** --- |"-.-"| -------------------------------------------------------** | | | | | | ************************************************************* CAnDL '-._,-' the Chunky Analyzer for Dependences in Loops (experimental) *

* Copyright (C) 2003-2008 Cedric Bastoul * * This is free software; you can redistribute it and/or modify it under the * terms of the GNU Lesser General Public License as published by the Free * Software Foundation; either version 3 of the License, or (at your option) * any later version. * * This software 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 Lesser General Public License * along with software; if not, write to the Free Software Foundation, Inc., * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * * CAnDL, the Chunky Dependence Analyser * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr * *

Referenced by candl_dependence_pprint(), candl_options_version(), and candl_violation_pprint().

#define CANDL_set_si (   val,
 
)    ((val) = (Entier)(i))
#define CANDL_subtract (   ref,
  val1,
  val2 
)    ((ref) = (val1)-(val2))
#define CANDL_SUPPORTS_ISL
#define CANDL_SUPPORTS_SCOPLIB

Referenced by candl_options_help().

#define CANDL_T_REDUCTION   4
#define CANDL_TEMP_OUTPUT   "candl.temp"
#define CANDL_UNSET   -1
#define CANDL_VERSION   "64"
#define CANDL_WAR   2
#define CANDL_WAW   3
#define CANDL_zero_p (   val)    CANDL_eq(val,0)