PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "linear_assert.h"
#include "arithmetique.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Macros | |
#define | OPINF 1 |
quelques constantes symboliques More... | |
#define | OPINFEGAL 2 |
#define | OPEGAL 3 |
#define | OPSUPEGAL 4 |
#define | OPSUP 5 |
#define | CHAINE 0 |
Functions | |
void | init_globals () |
void init_globals: initialisation des variables globales More... | |
void | new_ident (Psysteme ps, Variable s) |
void new_ident(Psysteme ps, char s[]): fonction introduisant un nouvel identificateur dans la liste des variables du systeme en cours de lecture More... | |
Variable | rec_ident (Psysteme ps, Variable s) |
int rec_ident(Psysteme ps, char * s): cette fonction recherche dans la liste des variables du systeme la variable de nom s More... | |
void | creer_eg (Psysteme ps, Pcontrainte peq) |
void creer_eg(Psysteme ps,Pcontrainte peq): ajout de la contrainte (egalite) peq au systeme ps. More... | |
void | creer_ineg (Psysteme ps, Pcontrainte peq, int sens) |
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens): ajout d'une nouvelle inegalite peq dans la liste des inegalites du systeme ps More... | |
Psysteme | sc_reversal (Psysteme sc) |
Psysteme sc_reversal(Psysteme sc) More... | |
Pcontrainte | contrainte_reversal (Pcontrainte c) |
Pcontrainte contrainte_reversal(Pcontrainte c) More... | |
Variables | |
Pcontrainte | p_eg_fin |
ensemble des fonctions utilisees dans le programme 'sc_gram.y' permettant de construire la structure de donnees 'Psysteme ' a partir de la grammaire definie dans 'sc_gram.y' More... | |
Pcontrainte | p_ineg_fin |
pointeur sur la derniere inegalite More... | |
Pvecteur | p_pred |
pointeur sur le predecesseur du couple courant More... | |
Pvecteur | p_membre_courant |
Pvecteur | cp |
pointeur sur le couple courant More... | |
char * | nom_var [100] |
Pcontrainte contrainte_reversal | ( | Pcontrainte | c | ) |
Pcontrainte contrainte_reversal(Pcontrainte c)
Definition at line 227 of file sc_read.c.
References contrainte_vecteur, vect_reversal(), vect_rm(), and VECTEUR_NUL.
Referenced by sc_reversal().
void creer_eg | ( | Psysteme | ps, |
Pcontrainte | peq | ||
) |
void creer_eg(Psysteme ps,Pcontrainte peq): ajout de la contrainte (egalite) peq au systeme ps.
Inutilisable car elle utilise la variable globale p_eg_fin pour faire des chainages rapides en FIN de liste
Definition at line 159 of file sc_read.c.
References p_eg_fin, and Scontrainte::succ.
void creer_ineg | ( | Psysteme | ps, |
Pcontrainte | peq, | ||
int | sens | ||
) |
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens): ajout d'une nouvelle inegalite peq dans la liste des inegalites du systeme ps
Si sens vaut -1, l'inegalite est multipliee par -1; ceci est utilise pour convertir une inegalite de type >= en <=
Inutilisable hors contexte car la variable globale p_ineg_fin est utilisee pour effectuer rapidement des chainages en FIN de liste
multiplication par "-1" des coefficients de chaque variable si l'inegalite est "superieure"
Definition at line 185 of file sc_read.c.
References p_ineg_fin, sens, Scontrainte::succ, vect_chg_sgn(), and Scontrainte::vecteur.
void init_globals | ( | ) |
void new_ident(Psysteme ps, char s[]): fonction introduisant un nouvel identificateur dans la liste des variables du systeme en cours de lecture
Modification:
Definition at line 118 of file sc_read.c.
References Ssysteme::base, base_contains_variable_p(), Ssysteme::dimension, and vect_add_variable().
int rec_ident(Psysteme ps, char * s): cette fonction recherche dans la liste des variables du systeme la variable de nom s
Modifications:
Definition at line 136 of file sc_read.c.
References Ssysteme::base, base_find_variable(), exit, fprintf(), variable_default_name(), and VARIABLE_UNDEFINED_P.
Psysteme sc_reversal(Psysteme sc)
Definition at line 208 of file sc_read.c.
References contrainte_reversal(), CONTRAINTE_UNDEFINED, CONTRAINTE_UNDEFINED_P, sc_empty_p(), sc_rn_p(), and Scontrainte::succ.
Referenced by sc_fscan().
Pvecteur cp |
pointeur sur le couple courant
pointeur sur l'egalite ou l'inegalite courante
Definition at line 87 of file sc_read.c.
Referenced by adg_sc_dup(), any_assign_to_transformer(), any_basic_update_to_transformer(), any_update_to_transformer(), assign_rhs_to_cp_to_transformer(), atomic_constant_path_p(), C_any_comment_to_text(), callnodeclfilter(), char_pointer_to_double_type(), chunk_for_domain(), cons_of_gen_chunk(), constant_memory_access_path_to_location_entity(), constant_memory_access_path_to_location_name(), context_dup(), controlize_sequence(), copy_obj_out_constructed(), do_simdizer_auto_tile_generate_all_tests(), fuse_2_control_nodes(), gen_alloc(), gen_alloc_constructed(), gen_do_enter_tabulated(), gen_enter_tabulated(), gen_length(), gen_map(), gen_mapl(), gen_nreverse(), gen_reduce(), gen_some(), gen_trav_obj_constructed(), generic_unary_operation_to_transformer(), gfc2pips_buildCaseTest(), gfc2pips_dumpSELECT(), init_globals(), lhs_expression_to_transformer(), make_location_entity(), make_ref(), mat_sys_conv(), matrices_to_constraints(), matrices_to_constraints_with_sym_cst(), matrices_to_contraintes_with_sym_cst(), matrices_to_loop_sc(), matrices_to_sc(), my_matrices_to_constraints_with_sym_cst(), my_matrices_to_constraints_with_sym_cst_2(), points_to_unary_operation_to_transformer(), PRINTF_PARSE(), pu_matrices_to_contraintes(), sc_copy(), sc_dup1(), struct_reference_assignment_or_equality_to_transformer(), transitive_closure_pass(), update_cp_with_rhs_to_transformer(), var_posit(), VASNPRINTF(), and wide_forward_control_map_get_blocs().
char* nom_var[100] |
Definition at line 89 of file sc_read.c.
Referenced by fprint_lray_dte(), fprint_lsom(), ray_dte_fprint(), sc_fprint(), sc_fprint_for_sc_fscan(), sc_print(), sg_fprint(), sg_print(), and sommet_fprint().
Pcontrainte p_eg_fin |
ensemble des fonctions utilisees dans le programme 'sc_gram.y' permettant de construire la structure de donnees 'Psysteme ' a partir de la grammaire definie dans 'sc_gram.y'
dernier operateur rencontre
Ces fonction ne sont utilisables que dans ce contexte particulier car elles utilisent des variables globales
* init_globals(): initialisation des variables globales * new_ident (ps,s) : - introduction de la nouvelle variable s dans la base * rec_ident (ps,s) : - recherche du rang de la variable s dans la base * creer_eg (p) : - ajout d'une egalite, dont les couples (variable,coefficient) sont pointes par p * creer_ineg (p): - ajout d'une inegalite, dont les couples (variable,coefficient) sont pointes par p
Corinne Ancourt
Modifications:
Introduites pour utilisation avec le module YACC gram.y pointeur sur la derniere egalite
Definition at line 76 of file sc_read.c.
Referenced by creer_eg(), and init_globals().
Pcontrainte p_ineg_fin |
pointeur sur la derniere inegalite
Definition at line 79 of file sc_read.c.
Referenced by creer_ineg(), and init_globals().
Pvecteur p_pred |
pointeur sur le predecesseur du couple courant
Definition at line 82 of file sc_read.c.
Referenced by init_globals().