PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "linear.h"
#include "genC.h"
#include "properties.h"
#include "misc.h"
#include "ri.h"
#include "ri-util.h"
Go to the source code of this file.
Functions | |
void | vect_debug (Pvecteur v) |
constraint.c More... | |
int | compare_Pvecteur (Pvecteur *pv1, Pvecteur *pv2) |
comparison function for Pvecteur in pips, to be used by qsort. More... | |
bool | vecteur_nul_p (Pvecteur v) |
comparison function for Pvecteur in pips, to be used by qsort.
pv1 | v1 |
pv2 | v2 |
Definition at line 50 of file constraint.c.
References compare_entities(), and var_of.
Referenced by constraints_to_loop_bound(), generate_io_collect_or_update(), generate_io_system(), and make_vecteur_expression().
void vect_debug | ( | Pvecteur | v | ) |
Definition at line 43 of file constraint.c.
References entity_local_name(), and vect_fprint().
Referenced by print_normalized(), PrintLinExpr(), sc_proj_optim_on_di_ofl(), simple_indices_p(), and TestDependence().
Definition at line 56 of file constraint.c.
References Svecteur::succ, TCST, val_of, var_of, and VECTEUR_NUL_P.
Referenced by generate_subarray_shift(), and subarray_shift_assignment_p().