6 #ifndef atomizer_header_included
7 #define atomizer_header_included
37 #define DOUBLE_PRECISION_SIZE 8
bool true_dependence_with_entity_p(conflict, entity)
defs_elim.c
void atomizer_of_loop(loop, Block *)
===========================================================================
expression assign_tmp_to_exp(expression, Block *)
===========================================================================
void atomizer_of_intrinsic(call, Block *)
===========================================================================
int get_nlc_number(entity)
===========================================================================
void atomizer_of_call(call, Block *)
===========================================================================
void atomizer_of_test(test, Block *)
===========================================================================
bool defs_elim_of_statement(statement, graph)
===========================================================================
void atomizer_of_statement(statement, Block *)
===========================================================================
void normalize_wp65_code(statement)
void put_stmt_in_Block(statement, Block *)
codegen.c
void atom_get_blocs(control, cons **)
void normal_expression_of_statement(statement)
===========================================================================
void normal_expression_of_expression(expression)
norm_exp.c
void insert_new_declarations(char *)
===========================================================================
void modify_blocks(control)
control.c
void normal_expression_of_unstructured(unstructured)
===========================================================================
bool defs_elim_of_assign_call(statement, graph)
===========================================================================
list l_inst
The list "first" is a truncated list from the first to the current statement (not included).
hash_table MemToTmp
These lists memorize all the new created entities of each type.
void atomizer_of_block(instruction)
===========================================================================
void atomizer_of_external(call, Block *)
===========================================================================
expression atomizer_of_expression(expression, Block *, int)
===========================================================================
bool instruction_in_list_p(instruction, list)
utils.c
void insert_one_type_declaration(entity, list, string)
===========================================================================
control find_control_block(control)
===========================================================================
bool nlc_linear_expression_p(expression)
===========================================================================
list atomizer_of_expressions(list, Block *)
===========================================================================
void atomizer_of_array_indices(expression, Block *)
===========================================================================
bool new_atomizer(char *)
Mappings for the cumulated effects of statements.
void atomizer_of_unstructured(unstructured)
void defs_elim_of_unstructured(unstructured, graph)
===========================================================================
bool atomizer(const string)
===========================================================================
void store_expression(expression, Block *)
===========================================================================
void reconfig_expression(expression)
===========================================================================
During the computation, the program has to deal with blocks of statements.
The structure used to build lists in NewGen.