PIPS
phrase.h
Go to the documentation of this file.
1 /* Warning! Do not modify this file that is automatically generated! */
2 /* Modify src/Libs/phrase/phrase-local.h instead, to add your own modifications. */
3 
4 /* header file built by cproto */
5 
6 #ifndef phrase_header_included
7 #define phrase_header_included
8 /* phrase-local.h */
9 /*
10 
11  $Id: phrase-local.h 23065 2016-03-02 09:05:50Z coelho $
12 
13  Copyright 1989-2016 MINES ParisTech
14 
15  This file is part of PIPS.
16 
17  PIPS is free software: you can redistribute it and/or modify it
18  under the terms of the GNU General Public License as published by
19  the Free Software Foundation, either version 3 of the License, or
20  any later version.
21 
22  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
23  WARRANTY; without even the implied warranty of MERCHANTABILITY or
24  FITNESS FOR A PARTICULAR PURPOSE.
25 
26  See the GNU General Public License for more details.
27 
28  You should have received a copy of the GNU General Public License
29  along with PIPS. If not, see <http://www.gnu.org/licenses/>.
30 
31 */
32 
33 #ifndef __PHRASEC_LOCAL_H__
34 #define __PHRASEC_LOCAL_H__
35 
36 #include "dg.h"
37 typedef dg_arc_label arc_label;
38 typedef dg_vertex_label vertex_label;
39 
40 #include "graph.h"
41 #endif
42 /* cproto-generated files */
43 /* comEngine_optimization_function.c */
44 extern hash_table gLoopToOpt;
45 extern statement comEngine_opt_loop_interchange(statement /*stat*/, statement /*innerStat*/, entity /*newInd*/);
46 /* comEngine_HRE_distribute.c */
47 extern expression get_fifoExp_from_ref(reference /*curRef*/, expression /*buffExp*/, hash_table /*ht*/);
48 extern statement generate_fifo_stat2(reference /*curRef*/, bool /*bRead*/);
49 extern statement generate_ind_fifo_stat2(entity /*oldInd*/, entity /*newInd*/, bool /*bRead*/);
50 extern void generate_fifo_stats2(list /*lRef*/, list */*lReadStats*/, list */*lWriteStats*/);
51 extern statement HRE_distribute(statement /*stat*/, string /*new_module_name*/, const char */*module_name*/);
52 /* comEngine_generate_code.c */
53 extern hash_table gLoopToOuterInd;
54 extern bool gGenHRE;
55 extern list glToggleInitStats;
56 extern entity comEngine_make_new_scalar_variable(const char */*prefix*/, basic /*bas*/);
57 extern statement make_toggle_init_statement(entity /*toggleEnt*/);
58 extern statement make_toggle_inc_statement(entity /*toggleEnt*/, int /*val*/);
59 extern statement generate_code_function(statement /*stat*/, bool /*bCalledFromSeq*/);
60 extern statement comEngine_generate_code(statement /*stat*/);
61 /* phrase_remove_dependences.c */
62 extern bool phrase_remove_dependences(const char */*module_name*/);
63 /* comEngine_generate_HRECode.c */
64 extern hash_table gRefToHREVar;
65 extern expression get_fifo_from_ref(reference /*ref*/);
66 extern entity get_HRE_buff_ent_from_ref(reference /*ref*/);
67 extern statement make_wait_step_statement(void);
68 extern void replace_array_ref_with_fifos(list /*lRef*/, expression /*buffIndExp*/, entity /*ind*/, statement */*newStat*/);
69 extern statement generate_stat_from_ref_list_HRE(list /*lRef*/, statement /*stat*/);
70 extern list generate_stat_from_ref_list_HRE_list(list /*lRef*/, list /*lInStats*/);
71 extern void get_supportedRef_HRE(statement /*stat*/, list */*lSupportedRef*/, list */*lUnSupportedRef*/);
72 extern void process_replacement_HRE(list /*lRef*/, expression /*buffIndExp*/, statement */*stat*/);
73 extern list process_replacement_HRE_OutRef(list /*lRef*/, list /*lStats*/);
74 extern statement get_call_stat_HRE(statement /*stat*/);
75 extern list make_loop_lStats_HRE(statement /*stat*/, entity /*transferSize*/, statement /*innerStat*/, entity /*newOuterInd*/, list /*lSupportedRef*/, hash_table /*htOffset*/, expression /*bufferSizeExp*/);
76 extern statement generate_code_test_HRE(statement /*stat*/);
77 extern list process_gLoopToSync_HRE(statement /*stat*/, list /*lInStats*/);
78 extern statement comEngine_generate_HRECode(statement /*externalized_code*/, string /*new_module_name*/, list /*l_in*/, list /*l_out*/, list /*l_params*/, list /*l_priv*/, const char */*module_name*/, int /*hreMemSize*/);
79 /* comEngine_generate_procCode.c */
80 extern bool has_call_stat_inside(statement /*stat*/);
81 extern statement make_step_inc_statement(int /*incNum*/);
82 extern statement make_loop_step_stat(statement /*stat*/, entity /*newOuterInd*/);
83 extern statement make_toggle_mmcd(entity /*ent*/);
84 extern statement make_init_newInd_stat(statement /*stat*/, entity /*newInd*/);
85 extern statement make_transStat(statement /*stat*/, entity /*newOuterInd*/, entity /*transferSize*/, expression /*bufferSizeExp*/);
86 extern void comEngine_replace_reference_in_stat(statement /*stat*/, reference /*ref*/, expression /*new*/);
87 extern statement make_exec_mmcd(void);
88 extern statement generate_stat_from_ref_list_proc(list /*lRef*/, list /*lToggleEnt*/, statement /*stat*/);
89 extern list generate_stat_from_ref_list_proc_list(list /*lRef*/, list /*lInStats*/);
90 extern void process_innerStat1_proc(statement /*stat*/, entity /*oldInd*/, entity /*newOuterInd*/, entity /*newInnerInd*/);
91 extern void get_supportedRef_proc(statement /*stat*/, hash_table /*htOffset*/, list */*lSupportedRef*/, list */*lUnSupportedRef*/);
92 extern statement get_call_stat_proc(statement /*stat*/);
93 extern list make_loop_lStats_proc(statement /*stat*/, entity /*transferSize*/, statement /*innerStat*/, entity /*newOuterInd*/, list /*lSupportedRef*/, hash_table /*htOffset*/, expression /*bufferSizeExp*/);
94 extern list add_index_out_effect_proc(loop /*curLoop*/, list /*lStats*/);
95 extern statement generate_code_test_proc(statement /*stat*/);
96 extern list process_gLoopToSync_proc(statement /*stat*/, list /*lInStats*/);
97 extern void create_realFifo_proc(statement /*stat*/, list /*lRef*/);
98 extern statement comEngine_generate_procCode(statement /*externalized_code*/, list /*l_in*/, list /*l_out*/);
99 /* comEngine_feasability.c */
100 extern list comEngine_expression_to_reference_list(expression /*e*/, list /*lr*/);
101 extern bool code_has_write_eff_ref_p(reference /*ref*/, statement /*stat*/);
102 extern list reference_indices_entity_list(reference /*ref*/);
103 extern bool comEngine_feasability(statement /*externalized_code*/, graph /*dg*/);
104 /* comEngine_distribute.c */
105 extern hash_table gLoopToRef;
106 extern hash_table gStatToRef;
107 extern hash_table gRefToEff;
108 extern hash_table gLoopToSync;
109 extern hash_table gLoopToSupRef;
110 extern hash_table gLoopToUnSupRef;
111 extern entity gHREMemory;
112 extern expression gBufferSizeEnt;
113 extern int gBufferSize;
114 extern hash_table gRefToFifo;
115 extern hash_table gRefToFifoOff;
116 extern hash_table gRefToHREFifo;
117 extern hash_table gStatToHtOffset;
118 extern hash_table gRefToBuffSize;
119 extern hash_table gIndToNum;
120 extern hash_table gRefToInd;
121 extern hash_table gLoopToToggleEnt;
122 extern hash_table gEntToHREFifo;
123 extern hash_table gRefToToggle;
124 extern hash_table gToggleToInc;
125 extern hash_table gIsNewLoop;
126 extern void create_HRE_module(const char */*new_module_name*/, const char */*module_name*/, statement /*stat*/, entity /*new_fun*/);
127 extern void comEngine_distribute(const char */*module_name*/, statement /*module_stat*/, entity /*module*/);
128 extern bool phrase_comEngine_distributor(const char */*module_name*/);
129 /* phrase_distributor.c */
130 extern string get_function_name_by_searching_tag(statement /*stat*/, const char */*tag*/);
131 extern list identify_analyzed_statements_to_distribute(statement /*stat*/);
132 extern entity create_private_variable_for_new_module(entity /*a_variable*/, const char */*new_name*/, const char */*new_module_name*/, entity /*module*/);
133 extern void add_parameter_variable_to_module(reference /*ref*/, entity /*module*/, statement /*stat*/, string /*new_module_name*/, int /*param_nb*/);
134 extern void add_private_variable_to_module(reference /*ref*/, entity /*module*/, statement /*stat*/, string /*new_module_name*/);
135 extern bool phrase_distributor_init(const char */*module_name*/);
136 extern bool phrase_distributor(const char */*module_name*/);
137 /* phrase_distributor_control_code.c */
138 extern entity create_parameter_for_new_module(variable /*var*/, const char */*parameter_name*/, const char */*module_name*/, entity /*module*/, int /*param_nb*/);
139 extern entity create_integer_parameter_for_new_module(const char */*parameter_name*/, const char */*module_name*/, entity /*module*/, int /*param_nb*/);
140 extern void store_new_module(const char */*module_name*/, entity /*module*/, statement /*module_statement*/);
141 extern entity create_new_common_variable(string /*name*/, entity /*module*/, entity /*common*/, variable /*var*/);
142 extern entity create_new_scalar_common_variable(string /*name*/, entity /*module*/, entity /*common*/, basic /*b*/);
143 extern entity create_new_integer_scalar_common_variable(string /*name*/, entity /*module*/, entity /*common*/);
144 extern void declare_common_variables_in_module(entity /*common*/, entity /*module*/);
145 extern string get_controlized_statement_comment(entity /*function*/);
146 extern string get_in_param_id_name(entity variable, entity /*function*/);
147 extern string get_out_param_id_name(entity variable, entity /*function*/);
148 extern string get_function_id_name(entity /*function*/);
149 extern string get_common_param_name(entity variable, entity /*function*/);
150 extern string get_send_parameter_module_name(variable /*var*/);
151 extern string get_receive_parameter_module_name(variable /*var*/);
152 extern entity entity_in_module(const char */*name*/, entity /*module*/);
153 extern bool phrase_distributor_control_code(const char */*module_name*/);
154 /* phrase_distributor_communication.c */
155 extern entity make_start_ru_module(hash_table /*ht_params*/, statement */*module_statement*/, int /*number_of_deployment_units*/, entity /*global_common*/, list /*l_commons*/);
156 extern entity make_wait_ru_module(statement */*module_statement*/, int /*number_of_deployment_units*/, entity /*global_common*/, list /*l_commons*/);
157 extern string get_dynamic_variable_name(entity /*dynamic_variable*/);
158 extern string get_ref_var_param_name(entity /*reference_param*/);
159 extern string get_send_param_module_name(entity /*function*/, effect /*reg*/);
160 extern string get_receive_param_module_name(entity /*function*/, effect /*reg*/);
161 extern list make_send_scalar_params_modules(hash_table /*ht_in_communications*/, int /*number_of_deployment_units*/, entity /*global_common*/, list /*l_commons*/);
162 extern list make_receive_scalar_params_modules(hash_table /*ht_out_communications*/, int /*number_of_deployment_units*/, entity /*global_common*/, list /*l_commons*/);
163 extern void compute_region_variables(effect /*reg*/, list */*l_reg_params*/, list */*l_reg_variables*/);
164 extern entity create_private_integer_variable_for_new_module(string /*new_name*/, const char */*new_module_name*/, entity /*module*/);
165 extern list make_send_array_params_modules(entity /*function*/, list /*l_regions*/, entity /*global_common*/, entity /*externalized_fonction_common*/, int /*number_of_deployment_units*/);
166 extern list make_receive_array_params_modules(entity /*function*/, list /*l_regions*/, entity /*global_common*/, entity /*externalized_fonction_common*/, int /*number_of_deployment_units*/);
167 /* distribution_context.c */
168 extern bool compute_distribution_context(list /*l_stats*/, statement /*module_stat*/, entity /*module*/, hash_table */*ht_stats*/, hash_table */*ht_params*/, hash_table */*ht_private*/, hash_table */*ht_in_regions*/, hash_table */*ht_out_regions*/);
169 extern bool compute_distribution_controlization_context(list /*l_calls*/, statement /*module_stat*/, entity /*module*/, hash_table */*ht_calls*/, hash_table */*ht_params*/, hash_table */*ht_private*/, hash_table */*ht_in_regions*/, hash_table */*ht_out_regions*/);
170 extern list compute_regions_union(list /*l_in*/, list /*l_out*/);
171 extern bool internal_compute_distribution_context(statement /*externalized_code*/, hash_table */*ht_params*/, hash_table */*ht_private*/, hash_table */*ht_in_regions*/, hash_table */*ht_out_regions*/, void */*key_value*/);
172 extern string get_externalizable_function_name(statement /*stat*/);
173 extern string get_externalized_function_name(statement /*stat*/);
174 extern string get_externalized_and_analyzed_function_name(statement /*stat*/, int */*stats_nb*/);
175 extern string variable_to_string(variable /*var*/);
176 extern void register_scalar_communications(hash_table */*ht_communications*/, entity /*function*/, list /*l_regions*/);
177 /* fsm_generation.c */
178 extern bool fsm_generation(const char */*module_name*/);
179 /* print_code_smalltalk.c */
180 extern bool print_code_smalltalk(const char */*module_name*/);
181 /* fsm_merge_states.c */
182 extern bool fsm_merge_states(const char */*module_name*/);
183 /* fsm_split_state.c */
184 extern bool fsm_split_state(const char */*module_name*/);
185 /* full_fsm_generation.c */
186 extern bool full_fsm_generation(const char */*module_name*/);
187 /* loop_spaghettify.c */
188 extern statement spaghettify_loop(statement /*stat*/, const char */*module_name*/);
189 /* whileloop_spaghettify.c */
190 extern statement spaghettify_whileloop(statement /*stat*/, const char */*module_name*/);
191 /* forloop_spaghettify.c */
192 extern statement spaghettify_forloop(statement /*stat*/, const char */*module_name*/);
193 /* test_spaghettify.c */
194 extern statement spaghettify_test(statement /*stat*/, const char */*module_name*/);
195 /* spaghettify.c */
196 extern statement spaghettify_statement(statement /*stat*/, const char */*module_name*/);
197 extern bool spaghettify(const char */*module_name*/);
198 /* full_spaghettify.c */
199 extern bool full_spaghettify(const char */*module_name*/);
200 /* fsm_tools.c */
201 extern expression make_expression_with_state_variable(entity /*state_variable*/, int value, string /*intrinsic_name*/);
202 extern entity create_state_variable(const char */*module_name*/, int /*name_identifier*/);
203 extern statement make_state_variable_assignement_statement(statement /*stat*/, entity /*state_variable*/, int /*assignement_value*/);
204 extern int entry_state_variable_value_for_unstructured(statement /*stat*/);
205 extern int exit_state_variable_value_for_unstructured(statement /*stat*/);
206 extern statement make_reset_state_variable_statement(statement /*stat*/, entity /*state_variable*/);
207 extern statement make_transition_statement(control /*current_node*/, statement /*root_statement*/, entity /*state_variable*/, const char */*module_name*/);
208 extern statement make_fsm_transitions_statement(statement /*stat*/, entity /*state_variable*/, const char */*module_name*/);
209 extern statement make_fsm_from_statement(statement /*stat*/, entity /*state_variable*/, const char */*module_name*/);
210 extern statement fsmize_statement(statement /*stat*/, entity /*state_variable*/, const char */*module_name*/);
211 /* phrase_tools.c */
212 extern string statement_type_as_string(statement /*stat*/);
213 extern void debug_statement(const char */*comments*/, statement /*stat*/, int /*debug_level*/);
214 extern void debug_control(const char */*comments*/, control /*a_control*/, int /*debug_level*/);
215 extern void debug_unstructured(unstructured /*an_unstructured*/, int /*debug_level*/);
216 extern void short_debug_unstructured(unstructured /*an_unstructured*/, int /*debug_level*/);
217 extern entity clone_variable_with_new_name(entity /*a_variable*/, const char */*new_name*/, const char */*module_name*/);
218 extern entity make_variable_from_name_and_entity(entity /*cloned_variable*/, const char */*base_name*/, statement /*stat*/, const char */*module_name*/);
219 extern statement make_binary_call_statement(const char */*operator_name*/, expression /*expression1*/, expression /*expression2*/, statement /*stat*/);
220 extern statement make_assignement_statement(entity /*a_variable*/, expression /*an_expression*/, statement /*stat*/);
221 extern int beautify_ordering(int /*an_ordering*/);
222 extern void clean_statement_from_tags(const char */*comment_portion*/, statement /*stat*/);
223 extern list get_statements_with_comments_containing(const char */*comment_portion*/, statement /*stat*/);
224 extern bool statement_is_contained_in_a_sequence_p(statement /*root_statement*/, statement /*searched_stat*/);
225 extern statement sequence_statement_containing(statement /*root_statement*/, statement /*searched_stat*/);
226 extern void replace_in_sequence_statement_with(statement /*old_stat*/, statement /*new_stat*/, statement /*root_stat*/);
227 extern list references_for_regions(list /*l_regions*/);
228 #endif /* phrase_header_included */
make_start_ru_module
entity make_start_ru_module(hash_table, statement *, int, entity, list)
phrase_distributor_communication.c
Definition: phrase_distributor_communication.c:71
gIsNewLoop
hash_table gIsNewLoop
Definition: comEngine_distribute.c:86
spaghettify_test
statement spaghettify_test(statement, const char *)
test_spaghettify.c
Definition: test_spaghettify.c:142
HRE_distribute
statement HRE_distribute(statement, string, const char *)
Definition: comEngine_HRE_distribute.c:955
create_realFifo_proc
void create_realFifo_proc(statement, list)
Definition: comEngine_generate_procCode.c:1210
entity_in_module
entity entity_in_module(const char *, entity)
Return entity named name in specified module.
Definition: phrase_distributor_control_code.c:434
create_parameter_for_new_module
entity create_parameter_for_new_module(variable, const char *, const char *, entity, int)
phrase_distributor_control_code.c
Definition: phrase_distributor_control_code.c:74
comEngine_expression_to_reference_list
list comEngine_expression_to_reference_list(expression, list)
comEngine_feasability.c
Definition: comEngine_feasability.c:100
fsm_split_state
bool fsm_split_state(const char *)
fsm_split_state.c
Definition: fsm_split_state.c:54
gHREMemory
entity gHREMemory
Definition: comEngine_distribute.c:72
comEngine_opt_loop_interchange
statement comEngine_opt_loop_interchange(statement, statement, entity)
Definition: comEngine_optimization_function.c:411
get_fifoExp_from_ref
expression get_fifoExp_from_ref(reference, expression, hash_table)
comEngine_HRE_distribute.c
Definition: comEngine_HRE_distribute.c:260
short_debug_unstructured
void short_debug_unstructured(unstructured, int)
DEBUG FUNCTION: print debugging informations for an unstructured an_unstructured (short version)
Definition: phrase_tools.c:213
gLoopToToggleEnt
hash_table gLoopToToggleEnt
Definition: comEngine_distribute.c:82
reference_indices_entity_list
list reference_indices_entity_list(reference)
Definition: comEngine_feasability.c:603
has_call_stat_inside
bool has_call_stat_inside(statement)
comEngine_generate_procCode.c
Definition: comEngine_generate_procCode.c:260
gLoopToSupRef
hash_table gLoopToSupRef
Definition: comEngine_distribute.c:70
get_supportedRef_HRE
void get_supportedRef_HRE(statement, list *, list *)
Definition: comEngine_generate_HRECode.c:467
debug_statement
void debug_statement(const char *, statement, int)
DEBUG FUNCTION: print debugging informations for a statement stat.
Definition: phrase_tools.c:111
process_replacement_HRE
void process_replacement_HRE(list, expression, statement *)
Definition: comEngine_generate_HRECode.c:483
make_fsm_from_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...
Definition: fsm_tools.c:447
gStatToRef
hash_table gStatToRef
Definition: comEngine_distribute.c:67
gRefToFifoOff
hash_table gRefToFifoOff
Definition: comEngine_distribute.c:76
print_code_smalltalk
bool print_code_smalltalk(const char *)
print_code_smalltalk.c
Definition: print_code_smalltalk.c:1670
gBufferSizeEnt
expression gBufferSizeEnt
Definition: comEngine_distribute.c:73
phrase_comEngine_distributor
bool phrase_comEngine_distributor(const char *)
Definition: comEngine_distribute.c:511
add_parameter_variable_to_module
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),...
Definition: phrase_distributor.c:633
generate_code_function
statement generate_code_function(statement, bool)
Definition: comEngine_generate_code.c:1137
glToggleInitStats
list glToggleInitStats
Definition: comEngine_generate_code.c:89
compute_regions_union
list compute_regions_union(list, list)
Compute union of exact regions.
Definition: distribution_context.c:291
get_dynamic_variable_name
string get_dynamic_variable_name(entity)
Return DYN_VAR_PARAM_NAME name for a dynamic variable.
Definition: phrase_distributor_communication.c:501
gLoopToRef
hash_table gLoopToRef
comEngine_distribute.c
Definition: comEngine_distribute.c:66
make_reset_state_variable_statement
statement make_reset_state_variable_statement(statement, entity)
This function build and return a statement representing the initial assigment of the state_variable,...
Definition: fsm_tools.c:194
replace_array_ref_with_fifos
void replace_array_ref_with_fifos(list, expression, entity, statement *)
Definition: comEngine_generate_HRECode.c:286
get_controlized_statement_comment
string get_controlized_statement_comment(entity)
Definition: phrase_distributor_control_code.c:329
spaghettify_forloop
statement spaghettify_forloop(statement, const char *)
forloop_spaghettify.c
Definition: forloop_spaghettify.c:135
make_loop_lStats_HRE
list make_loop_lStats_HRE(statement, entity, statement, entity, list, hash_table, expression)
variable_to_string
string variable_to_string(variable)
Return a unique (regarding variable_equal_p(var1,var2)) string representation of a variable var.
Definition: distribution_context.c:511
gRefToFifo
hash_table gRefToFifo
Definition: comEngine_distribute.c:75
make_step_inc_statement
statement make_step_inc_statement(int)
Definition: comEngine_generate_procCode.c:537
compute_distribution_controlization_context
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.
Definition: distribution_context.c:216
make_transStat
statement make_transStat(statement, entity, entity, expression)
Definition: comEngine_generate_procCode.c:733
gLoopToSync
hash_table gLoopToSync
Definition: comEngine_distribute.c:69
add_index_out_effect_proc
list add_index_out_effect_proc(loop, list)
Definition: comEngine_generate_procCode.c:1129
get_HRE_buff_ent_from_ref
entity get_HRE_buff_ent_from_ref(reference)
Definition: comEngine_generate_HRECode.c:91
identify_analyzed_statements_to_distribute
list identify_analyzed_statements_to_distribute(statement)
This function return a list of statements that were previously marked for externalization during phas...
Definition: phrase_distributor.c:288
gRefToInd
hash_table gRefToInd
Definition: comEngine_distribute.c:81
get_externalized_function_name
string get_externalized_function_name(statement)
Return the identified function name of the externalized portion of code by searching comment matching...
Definition: distribution_context.c:459
get_send_parameter_module_name
string get_send_parameter_module_name(variable)
Definition: phrase_distributor_control_code.c:414
fsm_merge_states
bool fsm_merge_states(const char *)
fsm_merge_states.c
Definition: fsm_merge_states.c:54
generate_stat_from_ref_list_proc
statement generate_stat_from_ref_list_proc(list, list, statement)
Definition: comEngine_generate_procCode.c:989
gToggleToInc
hash_table gToggleToInc
Definition: comEngine_distribute.c:85
get_common_param_name
string get_common_param_name(entity variable, entity)
Definition: phrase_distributor_control_code.c:391
gRefToHREFifo
hash_table gRefToHREFifo
Definition: comEngine_distribute.c:77
get_statements_with_comments_containing
list get_statements_with_comments_containing(const char *, statement)
Definition: phrase_tools.c:481
gRefToBuffSize
hash_table gRefToBuffSize
Definition: comEngine_distribute.c:79
statement_type_as_string
string statement_type_as_string(statement)
phrase_tools.c
Definition: phrase_tools.c:65
generate_code_test_proc
statement generate_code_test_proc(statement)
Definition: comEngine_generate_procCode.c:1142
comEngine_generate_procCode
statement comEngine_generate_procCode(statement, list, list)
spaghettify_statement
statement spaghettify_statement(statement, const char *)
spaghettify.c
Definition: spaghettify.c:85
debug_control
void debug_control(const char *, control, int)
DEBUG FUNCTION: print debugging informations for a control a_control.
Definition: phrase_tools.c:134
get_out_param_id_name
string get_out_param_id_name(entity variable, entity)
Definition: phrase_distributor_control_code.c:354
make_transition_statement
statement make_transition_statement(control, statement, entity, const char *)
This function build a transition statement (a TEST statement) corresponding to the current control cu...
Definition: fsm_tools.c:212
make_send_array_params_modules
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.
Definition: phrase_distributor_communication.c:943
get_externalizable_function_name
string get_externalizable_function_name(statement)
Return the identified function name of the externalized portion of code by searching comment matching...
Definition: distribution_context.c:449
gLoopToOuterInd
hash_table gLoopToOuterInd
comEngine_generate_code.c
Definition: comEngine_generate_code.c:66
make_receive_array_params_modules
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.
Definition: phrase_distributor_communication.c:961
make_fsm_transitions_statement
statement make_fsm_transitions_statement(statement, entity, const char *)
This function build and return a statement representing the transitions computation in the FSM,...
Definition: fsm_tools.c:400
get_receive_parameter_module_name
string get_receive_parameter_module_name(variable)
Definition: phrase_distributor_control_code.c:424
full_fsm_generation
bool full_fsm_generation(const char *)
full_fsm_generation.c
Definition: full_fsm_generation.c:64
create_new_integer_scalar_common_variable
entity create_new_integer_scalar_common_variable(string, entity, entity)
Creates and declares a new integer scalar variable for a newly created common.
Definition: phrase_distributor_control_code.c:228
gRefToHREVar
hash_table gRefToHREVar
comEngine_generate_HRECode.c
Definition: comEngine_generate_HRECode.c:68
generate_fifo_stats2
void generate_fifo_stats2(list, list *, list *)
Definition: comEngine_HRE_distribute.c:432
make_send_scalar_params_modules
list make_send_scalar_params_modules(hash_table, int, entity, list)
Build and return list of modules used for INPUT communications (SEND_PARAMETERS......
Definition: phrase_distributor_communication.c:593
gStatToHtOffset
hash_table gStatToHtOffset
Definition: comEngine_distribute.c:78
exit_state_variable_value_for_unstructured
int exit_state_variable_value_for_unstructured(statement)
Return the state variable value corresponding to the exit in a unstructured statement NB: always retu...
Definition: fsm_tools.c:180
sequence_statement_containing
statement sequence_statement_containing(statement, statement)
Definition: phrase_tools.c:536
fsm_generation
bool fsm_generation(const char *)
fsm_generation.c
Definition: fsm_generation.c:103
debug_unstructured
void debug_unstructured(unstructured, int)
DEBUG FUNCTION: print debugging informations for an unstructured an_unstructured.
Definition: phrase_tools.c:146
vertex_label
dg_vertex_label vertex_label
Definition: phrase.h:38
spaghettify_loop
statement spaghettify_loop(statement, const char *)
loop_spaghettify.c
Definition: loop_spaghettify.c:391
make_receive_scalar_params_modules
list make_receive_scalar_params_modules(hash_table, int, entity, list)
Build and return list of modules used for OUTPUT communications (RECEIVE_PARAMETERS....
Definition: phrase_distributor_communication.c:609
create_integer_parameter_for_new_module
entity create_integer_parameter_for_new_module(const char *, const char *, entity, int)
Create new integer variable parameter for a newly created module.
Definition: phrase_distributor_control_code.c:126
clean_statement_from_tags
void clean_statement_from_tags(const char *, statement)
Definition: phrase_tools.c:414
phrase_distributor_init
bool phrase_distributor_init(const char *)
Definition: phrase_distributor.c:768
statement_is_contained_in_a_sequence_p
bool statement_is_contained_in_a_sequence_p(statement, statement)
Definition: phrase_tools.c:507
internal_compute_distribution_context
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.
Definition: distribution_context.c:346
generate_stat_from_ref_list_HRE
statement generate_stat_from_ref_list_HRE(list, statement)
Definition: comEngine_generate_HRECode.c:382
get_send_param_module_name
string get_send_param_module_name(entity, effect)
create_private_integer_variable_for_new_module
entity create_private_integer_variable_for_new_module(string, const char *, entity)
Creates an integer variable in specified module.
Definition: phrase_distributor_communication.c:775
make_assignement_statement
statement make_assignement_statement(entity, expression, statement)
Build and return new statement which is a assignement of variable a_variable with expression an_expre...
Definition: phrase_tools.c:392
entry_state_variable_value_for_unstructured
int entry_state_variable_value_for_unstructured(statement)
Return the state variable value corresponding to the entry in a unstructured statement.
Definition: fsm_tools.c:162
comEngine_distribute
void comEngine_distribute(const char *, statement, entity)
Definition: comEngine_distribute.c:469
create_state_variable
entity create_state_variable(const char *, int)
This function creates (and add declaration) state variable.
Definition: fsm_tools.c:84
make_init_newInd_stat
statement make_init_newInd_stat(statement, entity)
Definition: comEngine_generate_procCode.c:701
store_new_module
void store_new_module(const char *, entity, statement)
Store (PIPDBM) newly created module module with module_statement as USER_FILE by saving pretty printi...
Definition: phrase_distributor_control_code.c:143
compute_region_variables
void compute_region_variables(effect, list *, list *)
process_gLoopToSync_proc
list process_gLoopToSync_proc(statement, list)
Definition: comEngine_generate_procCode.c:1188
get_fifo_from_ref
expression get_fifo_from_ref(reference)
Definition: comEngine_generate_HRECode.c:74
beautify_ordering
int beautify_ordering(int)
Special function made for Ronan Keryell who likes a lot when a integer number is coded on 3 bits :-)
Definition: phrase_tools.c:407
make_loop_step_stat
statement make_loop_step_stat(statement, entity)
Definition: comEngine_generate_procCode.c:554
make_wait_step_statement
statement make_wait_step_statement(void)
Definition: comEngine_generate_HRECode.c:113
make_exec_mmcd
statement make_exec_mmcd(void)
Definition: comEngine_generate_procCode.c:967
phrase_remove_dependences
bool phrase_remove_dependences(const char *)
phrase_remove_dependences.c
Definition: phrase_remove_dependences.c:603
clone_variable_with_new_name
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.
Definition: phrase_tools.c:269
make_variable_from_name_and_entity
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...
Definition: phrase_tools.c:325
process_innerStat1_proc
void process_innerStat1_proc(statement, entity, entity, entity)
Definition: comEngine_generate_procCode.c:1057
spaghettify
bool spaghettify(const char *)
Definition: spaghettify.c:173
make_toggle_init_statement
statement make_toggle_init_statement(entity)
Definition: comEngine_generate_code.c:189
get_ref_var_param_name
string get_ref_var_param_name(entity)
Return REF_VAR_PARAM_NAME name for a dynamic variable.
Definition: phrase_distributor_communication.c:513
arc_label
dg_arc_label arc_label
Definition: phrase.h:37
make_expression_with_state_variable
expression make_expression_with_state_variable(entity, int value, string)
fsm_tools.c
Definition: fsm_tools.c:66
declare_common_variables_in_module
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...
Definition: phrase_distributor_control_code.c:237
comEngine_make_new_scalar_variable
entity comEngine_make_new_scalar_variable(const char *, basic)
Definition: comEngine_generate_code.c:94
get_externalized_and_analyzed_function_name
string get_externalized_and_analyzed_function_name(statement, int *)
Return the identified function name of the externalized portion of code by searching comment matching...
Definition: distribution_context.c:470
create_new_common_variable
entity create_new_common_variable(string, entity, entity, variable)
Creates and declares a new variable for a newly created common.
Definition: phrase_distributor_control_code.c:194
phrase_distributor_control_code
bool phrase_distributor_control_code(const char *)
Definition: phrase_distributor_control_code.c:1039
replace_in_sequence_statement_with
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...
Definition: phrase_tools.c:554
get_function_id_name
string get_function_id_name(entity)
Definition: phrase_distributor_control_code.c:367
spaghettify_whileloop
statement spaghettify_whileloop(statement, const char *)
whileloop_spaghettify.c
Definition: whileloop_spaghettify.c:142
process_gLoopToSync_HRE
list process_gLoopToSync_HRE(statement, list)
Definition: comEngine_generate_HRECode.c:613
full_spaghettify
bool full_spaghettify(const char *)
full_spaghettify.c
Definition: full_spaghettify.c:603
get_function_name_by_searching_tag
string get_function_name_by_searching_tag(statement, const char *)
phrase_distributor.c
Definition: phrase_distributor.c:82
make_wait_ru_module
entity make_wait_ru_module(statement *, int, entity, list)
generate_stat_from_ref_list_HRE_list
list generate_stat_from_ref_list_HRE_list(list, list)
Definition: comEngine_generate_HRECode.c:425
make_toggle_mmcd
statement make_toggle_mmcd(entity)
Definition: comEngine_generate_procCode.c:668
comEngine_feasability
bool comEngine_feasability(statement, graph)
Definition: comEngine_feasability.c:1177
fsmize_statement
statement fsmize_statement(statement, entity, const char *)
This function is recursively called during FSMization.
Definition: fsm_tools.c:536
make_binary_call_statement
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...
Definition: phrase_tools.c:354
process_replacement_HRE_OutRef
list process_replacement_HRE_OutRef(list, list)
Definition: comEngine_generate_HRECode.c:493
gBufferSize
int gBufferSize
Definition: comEngine_distribute.c:74
get_call_stat_proc
statement get_call_stat_proc(statement)
gRefToToggle
hash_table gRefToToggle
Definition: comEngine_distribute.c:84
generate_stat_from_ref_list_proc_list
list generate_stat_from_ref_list_proc_list(list, list)
Definition: comEngine_generate_procCode.c:1025
make_state_variable_assignement_statement
statement make_state_variable_assignement_statement(statement, entity, int)
This function build and return a statement representing the initial assigment of the state_variable,...
Definition: fsm_tools.c:129
gIndToNum
hash_table gIndToNum
Definition: comEngine_distribute.c:80
comEngine_replace_reference_in_stat
void comEngine_replace_reference_in_stat(statement, reference, expression)
Definition: comEngine_generate_procCode.c:871
add_private_variable_to_module
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),...
Definition: phrase_distributor.c:683
comEngine_generate_code
statement comEngine_generate_code(statement)
Definition: comEngine_generate_code.c:1187
gEntToHREFifo
hash_table gEntToHREFifo
Definition: comEngine_distribute.c:83
create_new_scalar_common_variable
entity create_new_scalar_common_variable(string, entity, entity, basic)
Creates and declares a new scalar variable for a newly created common.
Definition: phrase_distributor_control_code.c:220
gRefToEff
hash_table gRefToEff
Definition: comEngine_distribute.c:68
get_in_param_id_name
string get_in_param_id_name(entity variable, entity)
Definition: phrase_distributor_control_code.c:341
generate_fifo_stat2
statement generate_fifo_stat2(reference, bool)
Definition: comEngine_HRE_distribute.c:336
create_private_variable_for_new_module
entity create_private_variable_for_new_module(entity, const char *, const char *, entity)
Creates a private variable in specified module.
Definition: phrase_distributor.c:586
register_scalar_communications
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...
Definition: distribution_context.c:538
comEngine_generate_HRECode
statement comEngine_generate_HRECode(statement, string, list, list, list, list, const char *, int)
gGenHRE
bool gGenHRE
Definition: comEngine_generate_code.c:70
make_loop_lStats_proc
list make_loop_lStats_proc(statement, entity, statement, entity, list, hash_table, expression)
Definition: comEngine_generate_procCode.c:1114
create_HRE_module
void create_HRE_module(const char *, const char *, statement, entity)
Definition: comEngine_distribute.c:283
code_has_write_eff_ref_p
bool code_has_write_eff_ref_p(reference, statement)
Definition: comEngine_feasability.c:563
generate_code_test_HRE
statement generate_code_test_HRE(statement)
Definition: comEngine_generate_HRECode.c:547
get_receive_param_module_name
string get_receive_param_module_name(entity, effect)
compute_distribution_context
bool compute_distribution_context(list, statement, entity, hash_table *, hash_table *, hash_table *, hash_table *, hash_table *)
distribution_context.c
Definition: distribution_context.c:113
phrase_distributor
bool phrase_distributor(const char *)
Definition: phrase_distributor.c:816
gLoopToOpt
hash_table gLoopToOpt
cproto-generated files
Definition: comEngine_optimization_function.c:59
generate_ind_fifo_stat2
statement generate_ind_fifo_stat2(entity, entity, bool)
Definition: comEngine_HRE_distribute.c:396
gLoopToUnSupRef
hash_table gLoopToUnSupRef
Definition: comEngine_distribute.c:71
get_supportedRef_proc
void get_supportedRef_proc(statement, hash_table, list *, list *)
Definition: comEngine_generate_procCode.c:1077
get_call_stat_HRE
statement get_call_stat_HRE(statement)
Definition: comEngine_generate_HRECode.c:513
make_toggle_inc_statement
statement make_toggle_inc_statement(entity, int)
Definition: comEngine_generate_code.c:222
references_for_regions
list references_for_regions(list)
Return a list of references corresponding to a list of regions.
Definition: phrase_tools.c:603
__hash_table
Definition: hash.c:64
_newgen_struct_basic_
Definition: ri.h:595
_newgen_struct_control_
Definition: ri.h:932
_newgen_struct_dg_arc_label_
Definition: dg.h:195
_newgen_struct_dg_vertex_label_
Definition: dg.h:227
_newgen_struct_effect_
Definition: effects.h:630
_newgen_struct_entity_
Definition: ri.h:2778
_newgen_struct_expression_
Definition: ri.h:1239
_newgen_struct_graph_
Definition: graph.h:76
_newgen_struct_loop_
Definition: ri.h:1628
_newgen_struct_reference_
Definition: ri.h:2318
_newgen_struct_statement_
Definition: ri.h:2435
_newgen_struct_unstructured_
Definition: ri.h:2996
_newgen_struct_value_
Definition: ri.h:3049
_newgen_struct_variable_
Definition: ri.h:3111
cons
The structure used to build lists in NewGen.
Definition: newgen_list.h:41