6 #ifndef phrase_header_included
7 #define phrase_header_included
33 #ifndef __PHRASEC_LOCAL_H__
34 #define __PHRASEC_LOCAL_H__
entity make_start_ru_module(hash_table, statement *, int, entity, list)
phrase_distributor_communication.c
statement spaghettify_test(statement, const char *)
test_spaghettify.c
statement HRE_distribute(statement, string, const char *)
void create_realFifo_proc(statement, list)
entity entity_in_module(const char *, entity)
Return entity named name in specified module.
entity create_parameter_for_new_module(variable, const char *, const char *, entity, int)
phrase_distributor_control_code.c
list comEngine_expression_to_reference_list(expression, list)
comEngine_feasability.c
bool fsm_split_state(const char *)
fsm_split_state.c
statement comEngine_opt_loop_interchange(statement, statement, entity)
expression get_fifoExp_from_ref(reference, expression, hash_table)
comEngine_HRE_distribute.c
void short_debug_unstructured(unstructured, int)
DEBUG FUNCTION: print debugging informations for an unstructured an_unstructured (short version)
hash_table gLoopToToggleEnt
list reference_indices_entity_list(reference)
bool has_call_stat_inside(statement)
comEngine_generate_procCode.c
void get_supportedRef_HRE(statement, list *, list *)
void debug_statement(const char *, statement, int)
DEBUG FUNCTION: print debugging informations for a statement stat.
void process_replacement_HRE(list, expression, statement *)
statement make_fsm_from_statement(statement, entity, const char *)
This function build and return a statement representing the FSM code equivalent to the given unstruct...
bool print_code_smalltalk(const char *)
print_code_smalltalk.c
expression gBufferSizeEnt
bool phrase_comEngine_distributor(const char *)
void add_parameter_variable_to_module(reference, entity, statement, string, int)
Declare in the newly created module a new variable (which will be a parameter of the module),...
statement generate_code_function(statement, bool)
list compute_regions_union(list, list)
Compute union of exact regions.
string get_dynamic_variable_name(entity)
Return DYN_VAR_PARAM_NAME name for a dynamic variable.
hash_table gLoopToRef
comEngine_distribute.c
statement make_reset_state_variable_statement(statement, entity)
This function build and return a statement representing the initial assigment of the state_variable,...
void replace_array_ref_with_fifos(list, expression, entity, statement *)
string get_controlized_statement_comment(entity)
statement spaghettify_forloop(statement, const char *)
forloop_spaghettify.c
list make_loop_lStats_HRE(statement, entity, statement, entity, list, hash_table, expression)
string variable_to_string(variable)
Return a unique (regarding variable_equal_p(var1,var2)) string representation of a variable var.
statement make_step_inc_statement(int)
bool compute_distribution_controlization_context(list, statement, entity, hash_table *, hash_table *, hash_table *, hash_table *, hash_table *)
This function is called during PHRASE distribution controlization.
statement make_transStat(statement, entity, entity, expression)
list add_index_out_effect_proc(loop, list)
entity get_HRE_buff_ent_from_ref(reference)
list identify_analyzed_statements_to_distribute(statement)
This function return a list of statements that were previously marked for externalization during phas...
string get_externalized_function_name(statement)
Return the identified function name of the externalized portion of code by searching comment matching...
string get_send_parameter_module_name(variable)
bool fsm_merge_states(const char *)
fsm_merge_states.c
statement generate_stat_from_ref_list_proc(list, list, statement)
string get_common_param_name(entity variable, entity)
list get_statements_with_comments_containing(const char *, statement)
hash_table gRefToBuffSize
string statement_type_as_string(statement)
phrase_tools.c
statement generate_code_test_proc(statement)
statement comEngine_generate_procCode(statement, list, list)
statement spaghettify_statement(statement, const char *)
spaghettify.c
void debug_control(const char *, control, int)
DEBUG FUNCTION: print debugging informations for a control a_control.
string get_out_param_id_name(entity variable, entity)
statement make_transition_statement(control, statement, entity, const char *)
This function build a transition statement (a TEST statement) corresponding to the current control cu...
list make_send_array_params_modules(entity, list, entity, entity, int)
Make all SEND_PARAM communication modules for non-scalar regions for a given function.
string get_externalizable_function_name(statement)
Return the identified function name of the externalized portion of code by searching comment matching...
hash_table gLoopToOuterInd
comEngine_generate_code.c
list make_receive_array_params_modules(entity, list, entity, entity, int)
Make all RECEIVE_PARAM communication modules for non-scalar regions for a given function.
statement make_fsm_transitions_statement(statement, entity, const char *)
This function build and return a statement representing the transitions computation in the FSM,...
string get_receive_parameter_module_name(variable)
bool full_fsm_generation(const char *)
full_fsm_generation.c
entity create_new_integer_scalar_common_variable(string, entity, entity)
Creates and declares a new integer scalar variable for a newly created common.
hash_table gRefToHREVar
comEngine_generate_HRECode.c
void generate_fifo_stats2(list, list *, list *)
list make_send_scalar_params_modules(hash_table, int, entity, list)
Build and return list of modules used for INPUT communications (SEND_PARAMETERS......
hash_table gStatToHtOffset
int exit_state_variable_value_for_unstructured(statement)
Return the state variable value corresponding to the exit in a unstructured statement NB: always retu...
statement sequence_statement_containing(statement, statement)
bool fsm_generation(const char *)
fsm_generation.c
void debug_unstructured(unstructured, int)
DEBUG FUNCTION: print debugging informations for an unstructured an_unstructured.
dg_vertex_label vertex_label
statement spaghettify_loop(statement, const char *)
loop_spaghettify.c
list make_receive_scalar_params_modules(hash_table, int, entity, list)
Build and return list of modules used for OUTPUT communications (RECEIVE_PARAMETERS....
entity create_integer_parameter_for_new_module(const char *, const char *, entity, int)
Create new integer variable parameter for a newly created module.
void clean_statement_from_tags(const char *, statement)
bool phrase_distributor_init(const char *)
bool statement_is_contained_in_a_sequence_p(statement, statement)
bool internal_compute_distribution_context(statement, hash_table *, hash_table *, hash_table *, hash_table *, void *)
Internally used to compute distribution context for statement externalized_code.
statement generate_stat_from_ref_list_HRE(list, statement)
string get_send_param_module_name(entity, effect)
entity create_private_integer_variable_for_new_module(string, const char *, entity)
Creates an integer variable in specified module.
statement make_assignement_statement(entity, expression, statement)
Build and return new statement which is a assignement of variable a_variable with expression an_expre...
int entry_state_variable_value_for_unstructured(statement)
Return the state variable value corresponding to the entry in a unstructured statement.
void comEngine_distribute(const char *, statement, entity)
entity create_state_variable(const char *, int)
This function creates (and add declaration) state variable.
statement make_init_newInd_stat(statement, entity)
void store_new_module(const char *, entity, statement)
Store (PIPDBM) newly created module module with module_statement as USER_FILE by saving pretty printi...
void compute_region_variables(effect, list *, list *)
list process_gLoopToSync_proc(statement, list)
expression get_fifo_from_ref(reference)
int beautify_ordering(int)
Special function made for Ronan Keryell who likes a lot when a integer number is coded on 3 bits :-)
statement make_loop_step_stat(statement, entity)
statement make_wait_step_statement(void)
statement make_exec_mmcd(void)
bool phrase_remove_dependences(const char *)
phrase_remove_dependences.c
entity clone_variable_with_new_name(entity, const char *, const char *)
This function build and return new variable from a variable a_variable, with name new_name.
entity make_variable_from_name_and_entity(entity, const char *, statement, const char *)
Build and return new entity obtained by cloning variable cloned_variable, with a name obtained by the...
void process_innerStat1_proc(statement, entity, entity, entity)
bool spaghettify(const char *)
statement make_toggle_init_statement(entity)
string get_ref_var_param_name(entity)
Return REF_VAR_PARAM_NAME name for a dynamic variable.
expression make_expression_with_state_variable(entity, int value, string)
fsm_tools.c
void declare_common_variables_in_module(entity, entity)
Creates all the things that need to be created in order to declare common in module (all the variable...
entity comEngine_make_new_scalar_variable(const char *, basic)
string get_externalized_and_analyzed_function_name(statement, int *)
Return the identified function name of the externalized portion of code by searching comment matching...
entity create_new_common_variable(string, entity, entity, variable)
Creates and declares a new variable for a newly created common.
bool phrase_distributor_control_code(const char *)
void replace_in_sequence_statement_with(statement, statement, statement)
Replace statement old_stat by statement new_stat, asserting that this statement is contained in a seq...
string get_function_id_name(entity)
statement spaghettify_whileloop(statement, const char *)
whileloop_spaghettify.c
list process_gLoopToSync_HRE(statement, list)
bool full_spaghettify(const char *)
full_spaghettify.c
string get_function_name_by_searching_tag(statement, const char *)
phrase_distributor.c
entity make_wait_ru_module(statement *, int, entity, list)
list generate_stat_from_ref_list_HRE_list(list, list)
statement make_toggle_mmcd(entity)
bool comEngine_feasability(statement, graph)
statement fsmize_statement(statement, entity, const char *)
This function is recursively called during FSMization.
statement make_binary_call_statement(const char *, expression, expression, statement)
Build and return new statement which is a binary call with the 2 expressions expression1 and expressi...
list process_replacement_HRE_OutRef(list, list)
statement get_call_stat_proc(statement)
list generate_stat_from_ref_list_proc_list(list, list)
statement make_state_variable_assignement_statement(statement, entity, int)
This function build and return a statement representing the initial assigment of the state_variable,...
void comEngine_replace_reference_in_stat(statement, reference, expression)
void add_private_variable_to_module(reference, entity, statement, string)
Declare in the newly created module a new variable (which will be a private to the module),...
statement comEngine_generate_code(statement)
entity create_new_scalar_common_variable(string, entity, entity, basic)
Creates and declares a new scalar variable for a newly created common.
string get_in_param_id_name(entity variable, entity)
statement generate_fifo_stat2(reference, bool)
entity create_private_variable_for_new_module(entity, const char *, const char *, entity)
Creates a private variable in specified module.
void register_scalar_communications(hash_table *, entity, list)
Build an HASHTABLE where keys are VARIABLE and values are HASHTABLE where keys are modules or externa...
statement comEngine_generate_HRECode(statement, string, list, list, list, list, const char *, int)
list make_loop_lStats_proc(statement, entity, statement, entity, list, hash_table, expression)
void create_HRE_module(const char *, const char *, statement, entity)
bool code_has_write_eff_ref_p(reference, statement)
statement generate_code_test_HRE(statement)
string get_receive_param_module_name(entity, effect)
bool compute_distribution_context(list, statement, entity, hash_table *, hash_table *, hash_table *, hash_table *, hash_table *)
distribution_context.c
bool phrase_distributor(const char *)
hash_table gLoopToOpt
cproto-generated files
statement generate_ind_fifo_stat2(entity, entity, bool)
hash_table gLoopToUnSupRef
void get_supportedRef_proc(statement, hash_table, list *, list *)
statement get_call_stat_HRE(statement)
statement make_toggle_inc_statement(entity, int)
list references_for_regions(list)
Return a list of references corresponding to a list of regions.
The structure used to build lists in NewGen.