sc_gram.y File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Include dependency graph for sc_gram.y:

Go to the source code of this file.

Defines

#define OPINF   1
#define OPINFEGAL   2
#define OPEGAL   3
#define OPSUPEGAL   4
#define OPSUP   5
#define DROIT   1
#define GAUCHE   2

Functions

 init_globals ()
 void init_globals: initialisation des variables globales
 vect_rm (b)
vect_add_elem value_mult (fac, $1))
 if (operat) vect_add_elem(&cp
 duplication du couple (ident,const) de la combinaison lineaire traitee
 value_uminus (value_mult(fac, $1)))
fin_mult_membre value_uminus (b1))
 switch (operat)

Variables

inisys __pad0__
 yysyntax_error = FALSE
defvar __pad1__
 b = ps_yacc->base
ps_yacc base = base_reversal(b)
l_var __pad2__
l_eq __pad3__
eq __pad4__
debeq __pad5__
 sens = 1
 facteur multiplicatif suivant qu'on analyse un terme
 cote = GAUCHE
 indique le sens de l'inegalite sens = -1 ==> l'operateur est soit > ,soit >=, sens = 1 ==> l'operateur est soit <, soit <=
 b1 = 0
 booleen indiquant quel membre est en cours d'analyse
 b2 = 0
 operat = 0
 pointeur sur le membre courant
 cp = NULL
 pointeur sur l'egalite ou l'inegalite courante
 eq = contrainte_new()
 ajout du couple (ident,const) a la contrainte courante
feq __pad6__
membre __pad7__
terme membre addop terme
terme __pad8__
 Variable
ident __pad9__
ident newid
ident const
 I'm pessimistic for long long here.
op __pad10__
addop __pad11__
multi_membre __pad12__
fin_mult_membre __pad13__
fin_mult_membre TCST
eq vecteur = cp
virg_opt __pad14__

Define Documentation

#define DROIT   1
#define GAUCHE   2
#define OPEGAL   3
#define OPINF   1
#define OPINFEGAL   2
#define OPSUP   5
#define OPSUPEGAL   4

Function Documentation

if ( operat   ) 

duplication du couple (ident,const) de la combinaison lineaire traitee

init_globals (  ) 

void init_globals: initialisation des variables globales

Definition at line 98 of file sc_read.c.

00099 {
00100     p_eg_fin = NULL;
00101     p_ineg_fin = NULL;
00102     p_pred = NULL;
00103     cp = NULL;
00104 }

switch ( operat   ) 

Definition at line 710 of file sc_gram.y.

vect_add_elem value_mult ( fac  ,
$  1 
)
Type Constraints
fin_mult_membre value_uminus ( b1   ) 
Type Constraints
value_uminus ( value_mult(fac, $1)   ) 
Type Constraints
vect_rm ( b   ) 

Referenced by add_affine_bound_conditions(), add_reference_information(), affine_expression_of_loop_index_p(), affine_to_transformer(), append_eg(), array_partial_subscript_value(), arrays_last_dims_linearization_sc(), arrays_same_first_dimensions_sc(), arrays_same_ith_dimension_p(), bounds_equal_p(), build_image_base(), c_convex_effects_on_actual_parameter_forward_translation(), constraints_keep_invariants_only(), constraints_to_loop_bound(), contrainte_free(), contrainte_reversal(), contrainte_subst_ofl_ctrl(), cout_nul(), dependence_system_add_lci_and_di(), dj_system_complement(), dual(), dual_positive(), elim_var_with_eg(), eq_in_ineq(), eq_set_vect_nul(), erase_trivial_ineg(), expression_equal_in_context_p(), expression_flt(), expression_less_than_in_context(), find_eg(), find_vbase(), free_vector_list(), FreeNormalized(), gcd_and_constant_dependence_test(), global_to_last_dims_offset(), hpfc_integer_constant_expression_p(), invariant_vector_p(), is_inferior_monome(), lvbase_ote_no_ligne(), make_vecteur_expression(), monome_monome_mult(), monome_rm(), my_substitute_var_with_vec(), my_system_remove_variables(), numerical_loop_iteration_count(), offset_of_reference(), pa_path_to_few_disjunct_ofl_ctrl(), Pcontrainte_to_expression_list(), plc_elim_var_with_eg(), plint(), plint_degen(), plreal(), polynome_constant_p(), polynome_TCST(), polynome_used_var(), primal(), primal_positive(), Pvecteur_to_assign_statement(), ray_dte_rm(), reference_last_indices_offset(), region_exact_projection_along_parameters(), region_exact_projection_along_variable(), remove_variables_if_possible(), sc_add_phi_equation(), sc_concatenate(), sc_elim_db_constraints(), sc_elim_double_constraints(), sc_elim_redund_with_first_ofl_ctrl(), sc_entities_cfc_variables(), sc_find_equalities(), sc_free1(), sc_integer_fourier_motzkin_variable_elimination(), sc_kill_db_eg(), sc_lexicographic_sort(), sc_min_max_of_variable(), sc_minmax_of_pvector(), sc_minmax_of_variable_optim(), sc_proj_optim_on_di_ofl(), sc_projection_along_variables_with_test_ofl_ctrl(), sc_projection_ofl_along_list_of_variables(), sc_projection_optim_along_vecteur_ofl(), sc_rm(), sc_simplexe_feasibility_ofl_ctrl(), sc_supress_parallel_redund_constraints(), sc_supress_same_constraints(), sc_transform_ineg_in_eg(), set_interprocedural_translation_context_sc(), shift_expression_of_loop_index_p(), simple_affine_to_transformer(), size_of_array(), sl_fprint_tab(), slx_parse(), sommet_rm(), sommets_rm(), substitute_and_create(), substitute_var_with_vec(), syst_parse(), top_down_abc_dimension(), transformer_add_integer_relation_information(), translate_array_effect(), translate_call_to_callee_frame(), translate_reference_to_callee_frame(), translate_to_module_frame(), uniform_dependence_p(), valuer(), var_pivotd(), var_pivots(), vect_gen_free(), vect_multiply(), vect_product(), and vect_subst().

Variable Documentation

inisys __pad0__

Definition at line 557 of file sc_gram.y.

op __pad10__

Definition at line 662 of file sc_gram.y.

addop __pad11__

Definition at line 695 of file sc_gram.y.

multi_membre __pad12__

Definition at line 701 of file sc_gram.y.

fin_mult_membre __pad13__

Definition at line 709 of file sc_gram.y.

virg_opt __pad14__

Definition at line 736 of file sc_gram.y.

defvar __pad1__

Definition at line 567 of file sc_gram.y.

l_var __pad2__

Definition at line 577 of file sc_gram.y.

l_eq __pad3__

Definition at line 586 of file sc_gram.y.

eq __pad4__

Definition at line 589 of file sc_gram.y.

debeq __pad5__

Definition at line 593 of file sc_gram.y.

feq __pad6__

Definition at line 602 of file sc_gram.y.

membre __pad7__

Definition at line 608 of file sc_gram.y.

terme __pad8__

Definition at line 617 of file sc_gram.y.

ident __pad9__

Definition at line 647 of file sc_gram.y.

b = ps_yacc->base

Definition at line 573 of file sc_gram.y.

b1 = 0

booleen indiquant quel membre est en cours d'analyse

Definition at line 596 of file sc_gram.y.

b2 = 0

Definition at line 597 of file sc_gram.y.

ps_yacc base = base_reversal(b)

Definition at line 574 of file sc_gram.y.

ident const

I'm pessimistic for long long here.

.. should rather return a pointer to a Value stored somewhere...

Definition at line 647 of file sc_gram.y.

cote = GAUCHE

indique le sens de l'inegalite sens = -1 ==> l'operateur est soit > ,soit >=, sens = 1 ==> l'operateur est soit <, soit <=

Definition at line 595 of file sc_gram.y.

cp = NULL

pointeur sur l'egalite ou l'inegalite courante

Definition at line 599 of file sc_gram.y.

eq = contrainte_new()

ajout du couple (ident,const) a la contrainte courante

element du vecteur colonne du systeme donne par l'analyse d'une contrainte

Definition at line 600 of file sc_gram.y.

ident newid

Definition at line 647 of file sc_gram.y.

operat = 0

pointeur sur le membre courant

Definition at line 598 of file sc_gram.y.

sens = 1

facteur multiplicatif suivant qu'on analyse un terme

introduit par un moins (-1) ou par un plus (1)

Definition at line 594 of file sc_gram.y.

fin_mult_membre TCST

Definition at line 709 of file sc_gram.y.

terme membre addop terme

Definition at line 613 of file sc_gram.y.

Variable

Definition at line 623 of file sc_gram.y.

eq vecteur = cp

Definition at line 732 of file sc_gram.y.

Referenced by build_first_comb(), find_motif(), find_pattern(), and simplify_sc_to_complexity().

yysyntax_error = FALSE

Definition at line 565 of file sc_gram.y.

Referenced by yyparse().

Generated by  doxygen 1.6.2-20100208