6 #ifndef conversion_header_included
7 #define conversion_header_included
cons * listexpres_to_listexpres_newbase(cons *, Pvecteur[], Pbase)
entity make_index_prime_entity(entity)
Psysteme loop_iteration_domaine_to_sc(list, Pbase *)
loop_iteration_domaine_to_sc.c
void look_for_nested_loops_unstructured(unstructured, statement(*)(list, bool(*)(statement)), bool(*)(statement))
oid look_for_nested_loops_unstructured(unstructured u) search the nested loops contained in the unstr...
void reset_information_for_code_optimizations(void)
entity make_index_entity(entity)
Psysteme sc_change_baseindex(Psysteme, Pbase, Pbase)
Psysteme sc_change_baseindex(Psysteme sc, Pbase base_old, Pbase base_new) le changement de base d'ind...
void loop_index_domaine_to_contrainte(range, entity, Psysteme)
void change_of_base_index(Pbase, Pbase *)
void change_of_base_index(Pbase base_oldindex, Pbase *base_newindex) change of variable index from ba...
expression constraints_to_loop_bound(Pcontrainte, Variable, bool, entity)
expression constraints_to_loop_bound(c, var, is_lower)
statement look_for_inner_loops(loop, list, statement(*)(list, bool(*)(statement)), bool(*)(statement))
FI: I do not understand how debug levels are managed...
void look_for_nested_loop_statements(statement, statement(*)(list, bool(*)(statement)), bool(*)(statement))
look_for_nested_loops.c
expression expression_to_expression_newbase(expression, Pvecteur[], Pbase)
expression Psysteme_to_expression(Psysteme)
system_to_code.c
Pvecteur vect_change_base(Pvecteur, Pbase, Pvecteur[])
void scanning_base_to_vect(matrice, int, Pbase, Pvecteur[])
code_change_of_basis.c
list Pcontrainte_to_expression_list(Pcontrainte, entity)
statement systeme_to_loop_nest(Psysteme, list, statement, entity)
sc is used to generate the loop nest bounds for variables vars.
void statement_newbase(statement, Pvecteur[], Pbase)
void derive_new_basis(Pbase, Pbase *, entity(*)(entity))
Warning! Do not modify this file that is automatically generated!
void set_information_for_code_optimizations(Psysteme)
I could keep the system for further optimizations...
statement generate_optional_if(Psysteme, statement)
statement generate_optional_if(sc, stat)
bool bounds_equal_p(Variable, Pcontrainte, Pcontrainte)
this function checks whether the lower and upper constraints are going to generate the same bound on ...
Value * matrice
package matrice
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....