6 #ifndef paf_util_header_included
7 #define paf_util_header_included
35 #define PIP_SOLVE_MIN 0
36 #define PIP_SOLVE_MAX 1
41 #define PAF_UTIL_MODULE_NAME "PAFUTIL"
42 #define DFG_MODULE_NAME "DFG"
43 #define MAPPING_MODULE_NAME "MAPPING"
44 #define DIFF_PREFIX "DIFF"
45 #define COEFF_PREFIX "COEFF"
50 #define ADD_ELEMENT_TO_LIST( _list, _type, _element) \
51 (_list = gen_nconc( _list, CONS( _type, _element, NIL)))
53 #define BASE_NODE_NUMBER 1000
Value * matrice
package matrice
const char * pu_variable_name(Variable)
package mapping : Alexis Platonoff, april 1993
void new_df_ref_ind(string)
void lbound_exp(void)
===========================================================================
void fprint_indent(FILE *, int)
===========================================================================
void vecteur_fprint(FILE *, Pcontrainte, const char *(*)(entity))
void new_df_gov_pred(void)
===========================================================================
expression make_array_ref(list)
===========================================================================
list general_merge_sort(list, bool(*)(void))
Pcontrainte polynome_to_contrainte(Ppolynome)
========================================================================
Psysteme better_elim_var_with_eg(Psysteme, list *, list *)
===========================================================================
void init_new_dfg(void)
===========================================================================
bool is_entity_in_list_p(entity, list)
===========================================================================
void matrices_to_contraintes_with_sym_cst(Pcontrainte *, Pbase, Pbase, matrice, matrice, int, int, int)
void bdt_new_shedule(string)
list new_general_merge_sort(list, bool(*)(void))
void finish_new_do_loop(void)
===========================================================================
void bdt_elim_last_pred(void)
===========================================================================
expression negate_expression(expression)
===========================================================================
void init_new_gd_ins(char *)
===========================================================================
void finish_new_gd_ins(void)
===========================================================================
list stmt_list
The "stmt_list" global variable is the list the assign statement of the program (with all fields empt...
Pbase make_base_of_nest(int)
===========================================================================
void comp_exec_domain(graph, hash_table)
===========================================================================
Psysteme make_expression_equalities(list)
===========================================================================
int vertex_int_stmt(vertex)
===========================================================================
void step_exp(void)
===========================================================================
Psysteme elim_var_with_eg(Psysteme, list *, list *)
===========================================================================
Pvecteur prototype_factorize(Ppolynome, Variable)
========================================================================
void contraintes_with_sym_cst_to_matrices(Pcontrainte, Pbase, Pbase, matrice, matrice, int, int, int)
Creation de la matrice A correspondant au systeme lineaire et de la matrice correspondant a la partie...
void bdt_init_new_ins(char *)
===========================================================================
expression make_func_op(string, list)
===========================================================================
int stco_common_loops_of_statements(statement_mapping, statement, statement)
AP, sep 25th 1995 : I have added a function from static_controlise/utils.c.
Pcontrainte simplify_minmax_contrainte(Pcontrainte, Psysteme, int)
==================================================================
void pu_vect_fprint(FILE *, Pvecteur)
===========================================================================
list static_control_to_indices(static_control)
package mapping : Alexis Platonoff, july 1993
void ubound_exp(void)
===========================================================================
void reorganize_bdt(bdt)
===========================================================================
Psysteme find_implicit_equation(Psysteme)
========================================================================
void bdt_save_int(int)
===========================================================================
void finish_new_df_ref(void)
===========================================================================
void substitute_var_with_vec(Psysteme, entity, Value, Pvecteur)
===========================================================================
void init_op_name(string)
===========================================================================
list loop_list
The "loop_list" global variable is the list the loops of the program (with all their characteristics:...
Ppolynome vecteur_mult(Pvecteur, Pvecteur)
========================================================================
loop loop_dup(loop)
===========================================================================
void new_param(string)
===========================================================================
void bdt_save_id(string)
===========================================================================
void init_loop_ctrl(char *)
===========================================================================
expression lisp_exp_to_ri_exp(lisp_expression)
===========================================================================
Pvecteur polynome_to_vecteur(Ppolynome)
========================================================================
bool single_var_vecteur_p(Pvecteur)
===========================================================================
void new_df_sink_ins(char *)
===========================================================================
void elim_last_pred(void)
===========================================================================
successor first_succ_of_vertex(vertex)
===========================================================================
list vectors_to_expressions(Pcontrainte)
=================================================================
void save_id(string)
===========================================================================
void new_eng_loop(char *)
===========================================================================
void reset_current_stco_map(void)
========================================================================
expression rational_op_exp(string, expression, expression)
========================================================================
bool same_predicate_p(predicate, predicate)
===========================================================================
list vecteur_to_list(Pvecteur)
===========================================================================
void pu_inegalite_fprint(FILE *, Pcontrainte, const char *(*)(entity))
print.c
list simplify_minmax(list, Psysteme, int)
=================================================================
void bdt_save_exp(void)
===========================================================================
expression make_id_expression(string)
===========================================================================
void fprint_sc_pvecteur(FILE *, Psysteme)
===========================================================================
void save_exp(void)
===========================================================================
static_control get_stco_from_current_map(statement)
========================================================================
void save_pred(int)
===========================================================================
graph adg_read_paf(char *)
Current loop instruction.
vertex in_dfg_vertex_list(list, vertex)
===========================================================================
void imprime_quast(FILE *, quast)
===========================================================================
expression make_rational_exp(Pvecteur, Value)
=====================================================================
void bdt_init_new_base(void)
===========================================================================
void bdt_save_pred(int)
===========================================================================
bool pu_is_inferior_var(Variable, Variable)
void init_new_df_gov_pred(void)
===========================================================================
bdt bdt_read_paf(char *)
===========================================================================
void pu_egalite_fprint(FILE *, Pcontrainte, const char *(*)(entity))
vertex in_dg_vertex_list(list, vertex)
======================================================================
void fprint_psysteme(FILE *, Psysteme)
===========================================================================
void finish_new_df_source(void)
===========================================================================
void init_new_df_ref(char *)
===========================================================================
void fprint_pred(FILE *, predicate)
===========================================================================
Ppolynome prototype_var_subst(Ppolynome, Variable, Ppolynome)
=================================================================
Pvecteur vect_var_subst(Pvecteur, Variable, Pvecteur)
=================================================================
void save_int(int)
===========================================================================
void set_current_stco_map(statement_mapping)
========================================================================
void init_new_df_sink_ins(void)
===========================================================================
Ppolynome old_vecteur_to_polynome(Pvecteur)
===========================================================================
void init_new_df_source(char *)
===========================================================================
graph dfg
cproto-generated files
dataflow first_df_of_succ(successor)
===========================================================================
void pu_contraintes_to_matrices(Pcontrainte, Pbase, matrice, matrice, int, int)
===========================================================================
Psysteme old_polynome_to_sc(Ppolynome, list)
===========================================================================
void bdt_init_op_exp(string)
===========================================================================
void fprint_bdt(FILE *, bdt)
===========================================================================
void init_new_do_loop(char *)
===========================================================================
Psysteme polynome_to_sc(Ppolynome, list)
===========================================================================
void fprint_dataflow(FILE *, int, dataflow)
===========================================================================
statement_mapping get_current_stco_map(void)
========================================================================
void pu_matrices_to_contraintes(Pcontrainte *, Pbase, matrice, matrice, int, int)
utils.c
Pcontrainte expressions_to_vectors(list)
=================================================================
void new_df_trans_exp(void)
===========================================================================
void init_op_exp(string)
===========================================================================
list meld(list, list, bool(*)(void))
predicate expressions_to_predicate(list)
===========================================================================
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....