constraint.c File Reference

#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"

Include dependency graph for constraint.c:

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)

Function Documentation

compare_Pvecteur()

int compare_Pvecteur	(	Pvecteur *	pv1,
		Pvecteur *	pv2
	)

comparison function for Pvecteur in pips, to be used by qsort.

Parameters

pv1	v1
pv2	v2

Definition at line 50 of file constraint.c.

{
  return compare_entities((const entity*)&var_of(*pv1),
                          (const entity*)&var_of(*pv2));
}

References compare_entities(), and var_of.

Referenced by constraints_to_loop_bound(), generate_io_collect_or_update(), generate_io_system(), and make_vecteur_expression().

Here is the call graph for this function:

Here is the caller graph for this function:

vect_debug()

void vect_debug

(

Pvecteur

v

)

constraint.c

Definition at line 43 of file constraint.c.

{
  vect_fprint(stderr, v, (get_variable_name_t) entity_local_name);
}

References entity_local_name(), and vect_fprint().

Referenced by print_normalized(), PrintLinExpr(), sc_proj_optim_on_di_ofl(), simple_indices_p(), and TestDependence().

Here is the call graph for this function:

Here is the caller graph for this function:

vecteur_nul_p()

bool vecteur_nul_p

(

Pvecteur

v

)

Definition at line 56 of file constraint.c.

{
  return VECTEUR_NUL_P(v) ||
    // is this possible?
    (!v->succ && var_of(v)==TCST && val_of(v)==0);
}

References Svecteur::succ, TCST, val_of, var_of, and VECTEUR_NUL_P.

Referenced by generate_subarray_shift(), and subarray_shift_assignment_p().

Here is the caller graph for this function: