PIPS
|
#include <stdio.h>
#include <limits.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "constants.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "matrice.h"
#include "misc.h"
#include "tiling.h"
Go to the source code of this file.
Functions | |
Pvecteur | make_loop_indice_equation (Pbase loop_indices, tiling tile, Pvecteur tile_delay, Pvecteur tile_indices, Pvecteur tile_local_indices, int rank) |
PACKAGE MOVEMENTS. More... | |
Psysteme | loop_bounds_to_tile_bounds (Psysteme loop_bounds, Pbase loop_indices, tiling t, Pvecteur tile_delay, Pvecteur tile_indices, Pvecteur tile_local_indices) |
this function returns the system of constraints More... | |
Psysteme loop_bounds_to_tile_bounds | ( | Psysteme | loop_bounds, |
Pbase | loop_indices, | ||
tiling | t, | ||
Pvecteur | tile_delay, | ||
Pvecteur | tile_indices, | ||
Pvecteur | tile_local_indices | ||
) |
this function returns the system of constraints
-------—> --------—> ------—> ---—> --------------—> loop_indices = P (tile_indices - tile_delay) + origin + tile_local_indices
P is the matrice describing the tiling. Its determinant is 1.
mise a jour de la base du systeme de contraintes
build the constraints min (=0) <= lti <= max (=ls-1)
build the constraints 0 <= ti
loop_bounds | oop_bounds |
loop_indices | oop_indices |
tile_delay | ile_delay |
tile_indices | ile_indices |
tile_local_indices | ile_local_indices |
Definition at line 97 of file build_sc_tile.c.
References ACCESS, Ssysteme::base, contrainte_make(), debug(), debug_off, debug_on, Ssysteme::dimension, entity_local_name(), fprintf(), ifdebug, max, min, sc_add_egalite(), sc_dup(), sc_force_variable_to_zero(), sc_fprint(), Svecteur::succ, TCST, tiling_origin, tiling_tile, VALUE_CONST, value_maximum, value_minimum, value_minus, VALUE_MONE, value_mult, value_ne, value_notzero_p, VALUE_ONE, value_uminus, VALUE_ZERO, Svecteur::var, vect_add_elem(), vect_add_variable(), vect_coeff(), vect_new(), VECTEUR_NUL_P, and vecteur_var.
Referenced by loop_nest_to_wp65_code().
Pvecteur make_loop_indice_equation | ( | Pbase | loop_indices, |
tiling | tile, | ||
Pvecteur | tile_delay, | ||
Pvecteur | tile_indices, | ||
Pvecteur | tile_local_indices, | ||
int | rank | ||
) |
PACKAGE MOVEMENTS.
Corinne Ancourt - septembre 1991
loop_indices | oop_indices |
tile | ile |
tile_delay | ile_delay |
tile_indices | ile_indices |
tile_local_indices | ile_local_indices |
rank | ank |
Definition at line 51 of file build_sc_tile.c.
References ACCESS, fprintf(), ifdebug, rank, Svecteur::succ, TCST, tiling_origin, tiling_tile, VALUE_CONST, value_mult, value_ne, value_notzero_p, VALUE_ONE, value_uminus, VALUE_ZERO, Svecteur::var, vect_add_elem(), vect_coeff(), vect_dump(), vect_make(), vect_size(), and vecteur_var.
Referenced by array_indices_communication(), and reference_conversion_computation().