25 #include "pips_config.h"
84 bool descriptor_normalize_p)
91 if (descriptor_normalize_p)
95 descriptor_normalize_p, &sc_loop);
96 if (descriptor_normalize_p)
123 pips_debug(6,
"regions before elimination of index %s.\n",
125 (*effects_prettyprint_func)(l_reg);
129 pips_debug(6,
"regions after elimination of index.\n");
130 (*effects_prettyprint_func)(l_reg);
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
descriptor make_descriptor(enum descriptor_utype tag, void *val)
static reference ref
Current stmt (an integer)
void sc_syst_debug(Psysteme s)
constraint_to_text.c
Pcontrainte contrainte_make(Pvecteur pv)
Pcontrainte contrainte_make(Pvecteur pv): allocation et initialisation d'une contrainte avec un vecte...
#define region_system_(reg)
#define region_system(reg)
list all_regions_sc_append(list, Psysteme, bool)
void all_regions_variable_rename(list, entity, entity)
effect make_reference_region(reference, action)
descriptor loop_convex_descriptor_make(loop)
entity loop_regions_normalize(list, entity, range, bool *, bool, Psysteme *)
FONCTIONS D'INTERFACE
list convex_regions_descriptor_variable_rename(list, entity, entity)
effect reference_to_convex_region(reference, action, bool)
unary_operators.c
Psysteme sc_loop_proper_precondition(loop)
bool add_precondition_to_scalar_convex_regions
void convex_effects_descriptor_normalize(list)
Psysteme region_sc_normalize(Psysteme, int)
descriptor vector_to_convex_descriptor(Pvecteur)
list convex_regions_loop_normalize(list, entity, range, entity *, descriptor, bool)
void project_regions_along_loop_index(list, entity, range)
void project_regions_along_loop_index(list l_reg, entity index, l_range) input : a list l_reg of regi...
list convex_regions_union_over_range(list, entity, range, descriptor)
list array_regions_sc_append(list, Psysteme, bool)
void project_regions_along_variables(list, list)
void project_regions_along_variables(list l_reg, list l_param) input : a list of regions to project,...
bool store_effect_p(effect)
#define descriptor_convex_(x)
#define descriptor_undefined
#define descriptor_convex(x)
#define descriptor_undefined_p(x)
#define newgen_Psysteme(p)
#define ENDP(l)
Test if a list is empty.
#define NIL
The empty list (nil in Lisp)
#define CONS(_t_, _i_, _l_)
List element cell constructor (insert an element at the beginning of a list)
void gen_free_list(list l)
free the spine of the list
#define FOREACH(_fe_CASTER, _fe_item, _fe_list)
Apply/map an instruction block on all the elements of a list.
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
const char * entity_minimal_name(entity e)
Do preserve scope informations.
#define range_undefined_p(x)
void sc_creer_base(Psysteme ps)
void sc_creer_base(Psysteme ps): initialisation des parametres dimension et base d'un systeme lineair...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
void sc_add_inegalite(Psysteme p, Pcontrainte i)
void sc_add_inegalite(Psysteme p, Pcontrainte i): macro ajoutant une inegalite i a un systeme p; la b...
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
#define BASE_NULLE
MACROS SUR LES BASES.
#define VECTEUR_UNDEFINED_P(v)