PIPS
effects-simple.h
Go to the documentation of this file.
1 /* Warning! Do not modify this file that is automatically generated! */
2 /* Modify src/Libs/effects-simple/effects-simple-local.h instead, to add your own modifications. */
3 
4 /* header file built by cproto */
5 
6 #ifndef effects_simple_header_included
7 #define effects_simple_header_included
8 /* effects_simple-local.h */
9 /*
10 
11  $Id: effects-simple-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 /* actions interpretation for simple effects prettyprinting */
34 typedef enum {act_rw, act_inout, act_live_in, act_live_out}
35  simple_effects_actions_interpretations;
36 
37 /* copies an effect with no subcript expression */
38 #define make_sdfi_effect(e) \
39  (reference_indices(effect_any_reference(e)) == NIL) ? \
40  make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL),\
41  copy_action(effect_action(e)), \
42  make_approximation(approximation_tag(effect_approximation(e)), UU)) : \
43  make_simple_effect(make_reference(reference_variable(effect_any_reference(e)), NIL), \
44  copy_action(effect_action(e)), \
45  make_approximation(is_approximation_may, UU))
46 /* cproto-generated files */
47 /* binary_operators.c */
48 extern list ReferenceUnion(list /*l1*/, list /*l2*/, bool (* /*union_combinable_p*/)(effect, effect));
49 extern list ReferenceTestUnion(list /*l1*/, list /*l2*/, bool (* /*union_combinable_p*/)(effect, effect));
50 extern list EffectsMayUnion(list /*l1*/, list /*l2*/, bool (* /*union_combinable_p*/)(effect, effect));
51 extern list ProperEffectsMustUnion(list /*l1*/, list /*l2*/, bool (* /*union_combinable_p*/)(effect, effect));
52 extern list EffectsMustUnion(list /*l1*/, list /*l2*/, bool (* /*union_combinable_p*/)(effect, effect));
53 extern list effects_may_union(effect /*eff1*/, effect /*eff2*/);
54 extern list effects_must_union(effect /*eff1*/, effect /*eff2*/);
55 extern effect effect_may_union(effect /*eff1*/, effect /*eff2*/);
56 extern effect effect_must_union(effect /*eff1*/, effect /*eff2*/);
57 extern list EffectsSupDifference(list /*l1*/, list /*l2*/, bool (* /*difference_combinable_p*/)(effect, effect));
58 extern list EffectsInfDifference(list /*l1*/, list /*l2*/, bool (* /*difference_combinable_p*/)(effect, effect));
59 extern effect proper_to_summary_simple_effect(effect /*eff*/);
60 extern bool simple_cells_intersection_p(cell /*c1*/, descriptor /*d1*/, cell /*c2*/, descriptor /*d2*/, bool */*exact_p*/);
61 extern bool simple_cells_inclusion_p(cell /*c1*/, descriptor /*d1*/, cell /*c2*/, descriptor /*d2*/, bool */*exact_p*/);
62 /* interface.c */
63 extern bool cumulated_references(const string /*module_name*/);
64 extern bool proper_references(const string /*module_name*/);
65 extern bool proper_pointer_effects(const string /*module_name*/);
66 extern bool summary_pointer_effects(const string /*module_name*/);
67 extern bool cumulated_pointer_effects(const string /*module_name*/);
68 extern bool cumulated_pointer_effects_with_points_to(const string /*module_name*/);
69 extern bool cumulated_pointer_effects_with_pointer_values(const string /*module_name*/);
70 extern bool proper_effects(const string /*module_name*/);
71 extern bool proper_effects_with_points_to(const string /*module_name*/);
72 extern bool proper_effects_with_pointer_values(const string /*module_name*/);
73 extern bool summary_effects(const string /*module_name*/);
74 extern bool cumulated_effects(const string /*module_name*/);
75 extern bool cumulated_effects_with_points_to(const string /*module_name*/);
76 extern bool cumulated_effects_with_pointer_values(const string /*module_name*/);
77 extern bool in_summary_effects(const string /*module_name*/);
78 extern bool out_summary_effects(const string /*module_name*/);
79 extern bool in_effects(const string /*module_name*/);
80 extern bool out_effects(const string /*module_name*/);
81 extern bool print_code_proper_pointer_effects(const string /*module_name*/);
82 extern bool print_code_cumulated_pointer_effects(const string /*module_name*/);
83 extern bool print_code_proper_effects(const string /*module_name*/);
84 extern bool print_code_cumulated_effects(const string /*module_name*/);
85 extern bool print_code_proper_references(const string /*module_name*/);
86 extern bool print_code_cumulated_references(const string /*module_name*/);
87 extern bool print_code_in_effects(const string /*module_name*/);
88 extern bool print_code_out_effects(const string /*module_name*/);
89 extern bool print_source_proper_effects(const string /*module_name*/);
90 extern bool print_source_cumulated_effects(const string /*module_name*/);
91 extern bool print_source_in_effects(const string /*module_name*/);
92 extern bool print_source_out_effects(const string /*module_name*/);
93 extern bool print_code_as_a_graph_proper_effects(const string /*mod_name*/);
94 extern bool print_code_as_a_graph_cumulated_effects(const string /*mod_name*/);
95 extern text get_text_proper_pointer_effects(const string /*module_name*/);
96 extern text get_text_cumulated_pointer_effects(const string /*module_name*/);
97 extern text get_text_proper_effects(const string /*module_name*/);
98 extern text get_text_cumulated_effects(const string /*module_name*/);
99 extern list proper_effects_of_expression(expression /*e*/);
100 extern list expression_to_proper_effects(expression /*e*/);
101 extern list proper_constant_path_effects_of_any_expression(expression /*e*/, bool /*lhs_p*/);
102 extern list proper_constant_path_effects_of_expression(expression /*e*/);
103 extern list proper_constant_path_effects_of_lhs_expression(expression /*e*/);
104 extern list expression_to_proper_constant_path_effects(expression /*e*/);
105 extern list lhs_expression_to_proper_constant_path_effects(expression /*e*/);
106 extern bool expression_with_side_effect_p(expression /*e*/);
107 extern list proper_constant_path_effects_of_expression_with_points_to(expression /*e*/, statement /*stmt*/);
108 extern list expression_to_proper_constant_path_effects_with_points_to(expression /*e*/, statement /*stmt*/);
109 extern list proper_effects_of_range(range /*r*/);
110 extern bool expression_invariant_wrt_effects(expression /*exp*/, list /*el*/);
111 extern void rproper_effects_of_statement(statement /*s*/);
112 extern void rcumulated_effects_of_statement(statement /*s*/);
113 extern list statement_to_effects(statement /*s*/);
114 extern bool full_simple_proper_effects(const char */*module_name*/, statement /*current*/);
115 extern bool simple_cumulated_effects(const char */*module_name*/, statement /*current*/);
116 extern bool live_paths(const string /*module_name*/);
117 extern bool live_in_summary_paths(const string /*module_name*/);
118 extern bool live_out_summary_paths(const string /*module_name*/);
119 extern bool print_code_live_in_paths(const string /*module_name*/);
120 extern bool print_code_live_out_paths(const string /*module_name*/);
121 extern bool update_loops_locals(const char */*module_name*/, statement /*module_stat*/);
122 extern bool is_implied_do_index(entity /*e*/, instruction /*ins*/);
123 extern list get_list_of_variable_to_filter(void);
124 extern bool print_icfg_with_proper_effects(const string /*module_name*/);
125 extern bool print_icfg_with_cumulated_effects(const string /*module_name*/);
126 extern bool print_icfg_with_loops_proper_effects(const string /*module_name*/);
127 extern bool print_icfg_with_loops_cumulated_effects(const string /*module_name*/);
128 extern bool print_icfg_with_control_proper_effects(const string /*module_name*/);
129 extern bool print_icfg_with_control_cumulated_effects(const string /*module_name*/);
130 extern bool print_icfg_with_filtered_proper_effects(const string /*module_name*/);
131 extern bool print_dvicfg_with_filtered_proper_effects(const string /*module_name*/);
132 /* methods.c */
133 extern void set_methods_for_proper_references(void);
134 extern void set_methods_for_cumulated_references(void);
135 extern void set_default_methods_for_proper_simple_effects(void);
136 extern void set_methods_for_proper_simple_effects(void);
137 extern void set_methods_for_proper_simple_pointer_effects(void);
138 extern void set_methods_for_simple_effects(void);
139 extern void set_methods_for_simple_pointer_effects(void);
140 extern void set_methods_for_inout_effects(const char */*module_name*/);
141 extern void set_methods_for_live_paths(const char */*module_name*/);
142 extern void reset_methods_for_inout_effects(void);
143 extern void set_methods_for_rw_effects_prettyprint(const char */*module_name*/);
144 extern void set_methods_for_inout_effects_prettyprint(const char */*module_name*/);
145 extern void set_methods_for_live_in_paths_prettyprint(const char */*module_name*/);
146 extern void set_methods_for_live_out_paths_prettyprint(const char */*module_name*/);
147 extern void reset_methods_for_effects_prettyprint(const char */*module_name*/);
148 /* translation.c */
149 extern bool add_points_to_subscript_lists(list */*posl*/, list /*asl*/, list /*isl*/);
150 extern bool simple_cell_reference_with_address_of_cell_reference_translation_fi(reference /*input_ref*/, descriptor /*input_desc*/, reference /*address_of_ref*/, descriptor /*address_of_desc*/, int /*nb_common_indices*/, reference */*output_ref*/, descriptor */*output_desc*/, bool */*exact_p*/);
151 extern void simple_cell_reference_with_address_of_cell_reference_translation(reference /*input_ref*/, descriptor /*input_desc*/, reference /*address_of_ref*/, descriptor /*address_of_desc*/, int /*nb_common_indices*/, reference */*output_ref*/, descriptor */*output_desc*/, bool */*exact_p*/);
152 extern void simple_cell_reference_with_value_of_cell_reference_translation(reference /*input_ref*/, descriptor /*input_desc*/, reference /*value_of_ref*/, descriptor /*value_of_desc*/, int /*nb_common_indices*/, reference */*output_ref*/, descriptor */*output_desc*/, bool */*exact_p*/);
153 extern void simple_cell_with_address_of_cell_translation(cell /*input_cell*/, descriptor /*input_desc*/, cell /*address_of_cell*/, descriptor /*address_of_desc*/, int /*nb_common_indices*/, cell */*output_cell*/, descriptor */*output_desc*/, bool */*exact_p*/);
154 extern void simple_cell_with_value_of_cell_translation(cell /*input_cell*/, descriptor /*input_desc*/, cell /*value_of_cell*/, descriptor /*value_of_desc*/, int /*nb_common_indices*/, cell */*output_cell*/, descriptor */*output_desc*/, bool */*exact_p*/);
155 /* interprocedural.c */
156 extern void simple_effects_translation_init(entity /*callee*/, list /*real_args*/, bool /*backward_p*/);
157 extern void simple_effects_translation_end(void);
158 extern void simple_effect_descriptor_interprocedural_translation(effect /*eff*/);
159 extern list simple_effects_backward_translation(entity /*func*/, list /*real_args*/, list /*l_eff*/, transformer /*context*/);
160 extern effect translate_effect_to_sdfi_effect(effect /*eff*/);
161 extern list effects_dynamic_elim(list /*l_eff*/);
162 extern list make_unknown_subscript(int /*d*/);
163 extern list summary_effect_to_proper_effect(call /*c*/, effect /*e*/);
164 extern void check_user_call_site(entity /*func*/, list /*args*/);
165 extern list fortran_summary_to_proper_effects(entity /*func*/, list /*args*/, list /*func_sdfi*/);
166 extern list c_simple_effects_on_formal_parameter_backward_translation(list /*l_sum_eff*/, expression /*real_arg*/, transformer /*context*/);
167 extern list c_summary_effect_to_proper_effects(effect /*eff*/, expression /*real_arg*/);
168 extern list c_summary_to_proper_effects(entity /*func*/, list /*args*/, list /*func_sdfi*/);
169 extern list summary_to_proper_effects(entity /*func*/, list /*args*/, list /*func_sdfi*/);
170 extern list simple_effects_forward_translation(entity /*callee*/, list /*real_args*/, list /*l_eff*/, transformer /*context*/);
171 extern list c_simple_effects_on_actual_parameter_forward_translation(entity /*callee*/, expression /*real_exp*/, entity /*formal_ent*/, list /*l_eff*/, transformer /*context*/);
172 /* prettyprint.c */
173 extern text simple_rw_effects_to_text(list /*l*/);
174 extern text simple_inout_effects_to_text(list /*l*/);
175 extern text simple_live_in_paths_to_text(list /*l*/);
176 extern text simple_live_out_paths_to_text(list /*l*/);
177 extern string effect_to_string(effect /*eff*/);
178 extern list words_effect_generic(effect /*obj*/, bool /*approximation_p*/);
179 extern list words_effect(effect /*obj*/);
180 extern list words_effect_without_approximation(effect /*obj*/);
181 extern void print_effect(effect /*e*/);
182 extern void print_effects(list /*pc*/);
183 extern void print_memory_effects(list /*pc*/);
184 extern bool print_call_graph_with_proper_effects(const string /*module_name*/);
185 extern bool print_call_graph_with_cumulated_effects(const string /*module_name*/);
186 /* unary_operators.c */
187 extern effect reference_to_simple_effect(reference /*ref*/, action /*act*/, bool /*use_preference_p*/);
188 extern void simple_effect_add_expression_dimension(effect /*eff*/, expression /*exp*/);
189 extern void simple_effect_change_ith_dimension_expression(effect /*eff*/, expression /*exp*/, int /*i*/);
190 extern effect simple_effect_field_to_rank_conversion(effect /*input_effect*/);
191 extern effect simple_effect_dup(effect /*eff*/);
192 extern effect reference_to_reference_effect(reference /*ref*/, action /*act*/, bool /*use_preference_p*/);
193 extern list simple_effects_union_over_range(list /*l_eff*/, entity /*i*/, range /*r*/, descriptor /*d*/);
194 extern reference simple_reference_to_store_independent_reference(reference /*r*/, bool */*changed_p*/);
195 extern cell simple_cell_to_store_independent_cell(cell /*c*/, bool */*changed_p*/);
196 extern list effect_to_store_independent_sdfi_list(effect /*eff*/, bool /*force_may_p*/);
197 extern list effect_to_may_sdfi_list(effect /*eff*/);
198 extern list effect_to_sdfi_list(effect /*eff*/);
199 extern void simple_effects_descriptor_normalize(list /*l_eff*/);
200 extern list simple_effects_composition_with_effect_transformer(list /*l_eff*/, transformer /*trans*/);
201 extern list old_effects_composition_with_effect_transformer(list /*l_eff*/, transformer /*trans*/);
202 /* filter_proper_effects.c */
203 extern bool filter_proper_effects(const char */*module_name*/);
204 /* eval.c */
205 extern bool simple_cell_reference_preceding_p(reference /*r1*/, descriptor /*d1*/, reference /*r2*/, descriptor /*d2*/, transformer /*current_precondition*/, bool /*strict_p*/, bool */*exact_p*/);
206 extern bool simple_cell_preceding_p(cell /*c1*/, descriptor /*d1*/, cell /*c2*/, descriptor /*d2*/, transformer /*current_precondition*/, bool /*strict_p*/, bool */*exact_p*/);
207 extern bool path_preceding_p(effect /*eff1*/, effect /*eff2*/, transformer /*current_precondition*/, bool /*strict_p*/, bool */*exact_p*/);
208 extern void simple_reference_to_simple_reference_conversion(reference /*ref*/, reference */*output_ref*/, descriptor */*output_desc*/);
209 extern void simple_cell_to_simple_cell_conversion(cell /*input_cell*/, cell */*output_cell*/, descriptor */*output_desc*/);
210 extern list eval_simple_cell_with_points_to(cell /*c*/, descriptor /*d*/, list /*ptl*/, bool */*exact_p*/, transformer /*t*/);
211 extern list simple_effect_to_constant_path_effects_with_pointer_values(effect /*eff*/);
212 extern list effect_to_constant_path_effects_with_points_to(effect /*eff*/, statement /*s*/, transformer /*context*/);
213 extern list simple_effect_to_constant_path_effects_with_points_to(effect /*eff*/);
214 extern list eval_cell_with_points_to(cell /*c*/, list /*ptl*/, bool */*exact_p*/);
215 #endif /* effects_simple_header_included */
print_source_in_effects
bool print_source_in_effects(const string)
effects_may_union
list effects_may_union(effect, effect)
Definition: binary_operators.c:138
reference_to_reference_effect
effect reference_to_reference_effect(reference, action, bool)
print_icfg_with_proper_effects
bool print_icfg_with_proper_effects(const string)
reset_methods_for_inout_effects
void reset_methods_for_inout_effects(void)
simple_inout_effects_to_text
text simple_inout_effects_to_text(list)
path_preceding_p
bool path_preceding_p(effect, effect, transformer, bool, bool *)
Definition: eval.c:132
set_methods_for_proper_simple_effects
void set_methods_for_proper_simple_effects(void)
eval_cell_with_points_to
list eval_cell_with_points_to(cell, list, bool *)
for backward compatibility
Definition: eval.c:352
cumulated_effects
bool cumulated_effects(const string)
proper_pointer_effects
bool proper_pointer_effects(const string)
simple_cells_intersection_p
bool simple_cells_intersection_p(cell, descriptor, cell, descriptor, bool *)
effect_to_store_independent_sdfi_list
list effect_to_store_independent_sdfi_list(effect, bool)
proper_references
bool proper_references(const string)
print_effects
void print_effects(list)
simple_effect_descriptor_interprocedural_translation
void simple_effect_descriptor_interprocedural_translation(effect)
summary_effects
bool summary_effects(const string)
print_code_cumulated_effects
bool print_code_cumulated_effects(const string)
EffectsInfDifference
list EffectsInfDifference(list, list, bool(*)(effect, effect))
list EffectsInfDifference(list l1, l2) input : two lists of effects output : a list of effect,...
Definition: binary_operators.c:462
expression_invariant_wrt_effects
bool expression_invariant_wrt_effects(expression, list)
proper_constant_path_effects_of_lhs_expression
list proper_constant_path_effects_of_lhs_expression(expression)
live_in_summary_paths
bool live_in_summary_paths(const string)
set_methods_for_inout_effects
void set_methods_for_inout_effects(const char *)
simple_rw_effects_to_text
text simple_rw_effects_to_text(list)
prettyprint.c
print_call_graph_with_proper_effects
bool print_call_graph_with_proper_effects(const string)
EffectsMustUnion
list EffectsMustUnion(list, list, bool(*)(effect, effect))
list EffectsMustUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a l...
Definition: binary_operators.c:126
in_effects
bool in_effects(const string)
get_text_proper_effects
text get_text_proper_effects(const string)
live_paths
bool live_paths(const string)
effect_to_constant_path_effects_with_points_to
list effect_to_constant_path_effects_with_points_to(effect, statement, transformer)
Definition: eval.c:284
simple_effect_to_constant_path_effects_with_points_to
list simple_effect_to_constant_path_effects_with_points_to(effect)
Definition: eval.c:343
simple_effects_descriptor_normalize
void simple_effects_descriptor_normalize(list)
set_methods_for_proper_simple_pointer_effects
void set_methods_for_proper_simple_pointer_effects(void)
cumulated_pointer_effects_with_points_to
bool cumulated_pointer_effects_with_points_to(const string)
proper_constant_path_effects_of_expression
list proper_constant_path_effects_of_expression(expression)
simple_cell_reference_with_address_of_cell_reference_translation
void simple_cell_reference_with_address_of_cell_reference_translation(reference, descriptor, reference, descriptor, int, reference *, descriptor *, bool *)
c_simple_effects_on_formal_parameter_backward_translation
list c_simple_effects_on_formal_parameter_backward_translation(list, expression, transformer)
print_code_as_a_graph_cumulated_effects
bool print_code_as_a_graph_cumulated_effects(const string)
simple_effect_change_ith_dimension_expression
void simple_effect_change_ith_dimension_expression(effect, expression, int)
cumulated_pointer_effects_with_pointer_values
bool cumulated_pointer_effects_with_pointer_values(const string)
get_text_proper_pointer_effects
text get_text_proper_pointer_effects(const string)
proper_effects_with_pointer_values
bool proper_effects_with_pointer_values(const string)
simple_effects_actions_interpretations
simple_effects_actions_interpretations
Warning! Do not modify this file that is automatically generated!
Definition: effects-simple.h:34
act_inout
@ act_inout
Definition: effects-simple.h:34
act_live_out
@ act_live_out
Definition: effects-simple.h:34
act_rw
@ act_rw
Definition: effects-simple.h:34
act_live_in
@ act_live_in
Definition: effects-simple.h:34
proper_constant_path_effects_of_any_expression
list proper_constant_path_effects_of_any_expression(expression, bool)
simple_effect_add_expression_dimension
void simple_effect_add_expression_dimension(effect, expression)
print_icfg_with_loops_proper_effects
bool print_icfg_with_loops_proper_effects(const string)
out_effects
bool out_effects(const string)
effect_to_sdfi_list
list effect_to_sdfi_list(effect)
print_code_proper_pointer_effects
bool print_code_proper_pointer_effects(const string)
simple_cell_reference_preceding_p
bool simple_cell_reference_preceding_p(reference, descriptor, reference, descriptor, transformer, bool, bool *)
eval.c
simple_effect_to_constant_path_effects_with_pointer_values
list simple_effect_to_constant_path_effects_with_pointer_values(effect)
Definition: eval.c:206
update_loops_locals
bool update_loops_locals(const char *, statement)
proper_effects_of_expression
list proper_effects_of_expression(expression)
simple_cumulated_effects
bool simple_cumulated_effects(const char *, statement)
print_source_out_effects
bool print_source_out_effects(const string)
add_points_to_subscript_lists
bool add_points_to_subscript_lists(list *, list, list)
translation.c
EffectsMayUnion
list EffectsMayUnion(list, list, bool(*)(effect, effect))
list EffectsMayUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a li...
Definition: binary_operators.c:87
EffectsSupDifference
list EffectsSupDifference(list, list, bool(*)(effect, effect))
list EffectsSupDifference(list l1, l2) input : two lists of effects output : a list of effect,...
Definition: binary_operators.c:438
effects_dynamic_elim
list effects_dynamic_elim(list)
simple_effects_translation_init
void simple_effects_translation_init(entity, list, bool)
interprocedural.c
fortran_summary_to_proper_effects
list fortran_summary_to_proper_effects(entity, list, list)
print_icfg_with_filtered_proper_effects
bool print_icfg_with_filtered_proper_effects(const string)
effect_may_union
effect effect_may_union(effect, effect)
Preserve store independent information as long as you can.
Definition: binary_operators.c:163
get_text_cumulated_effects
text get_text_cumulated_effects(const string)
cumulated_pointer_effects
bool cumulated_pointer_effects(const string)
expression_to_proper_effects
list expression_to_proper_effects(expression)
Definition: gfc2pips-stubs.c:131
print_code_proper_effects
bool print_code_proper_effects(const string)
simple_cells_inclusion_p
bool simple_cells_inclusion_p(cell, descriptor, cell, descriptor, bool *)
proper_effects_with_points_to
bool proper_effects_with_points_to(const string)
print_icfg_with_loops_cumulated_effects
bool print_icfg_with_loops_cumulated_effects(const string)
print_source_proper_effects
bool print_source_proper_effects(const string)
print_code_live_in_paths
bool print_code_live_in_paths(const string)
proper_effects
bool proper_effects(const string)
c_simple_effects_on_actual_parameter_forward_translation
list c_simple_effects_on_actual_parameter_forward_translation(entity, expression, entity, list, transformer)
print_code_out_effects
bool print_code_out_effects(const string)
translate_effect_to_sdfi_effect
effect translate_effect_to_sdfi_effect(effect)
simple_cell_reference_with_address_of_cell_reference_translation_fi
bool simple_cell_reference_with_address_of_cell_reference_translation_fi(reference, descriptor, reference, descriptor, int, reference *, descriptor *, bool *)
print_code_in_effects
bool print_code_in_effects(const string)
live_out_summary_paths
bool live_out_summary_paths(const string)
print_code_cumulated_pointer_effects
bool print_code_cumulated_pointer_effects(const string)
cumulated_effects_with_pointer_values
bool cumulated_effects_with_pointer_values(const string)
expression_to_proper_constant_path_effects
list expression_to_proper_constant_path_effects(expression)
in_summary_effects
bool in_summary_effects(const string)
set_methods_for_proper_references
void set_methods_for_proper_references(void)
methods.c
reference_to_simple_effect
effect reference_to_simple_effect(reference, action, bool)
unary_operators.c
get_text_cumulated_pointer_effects
text get_text_cumulated_pointer_effects(const string)
simple_cell_preceding_p
bool simple_cell_preceding_p(cell, descriptor, cell, descriptor, transformer, bool, bool *)
Definition: eval.c:119
simple_cell_with_value_of_cell_translation
void simple_cell_with_value_of_cell_translation(cell, descriptor, cell, descriptor, int, cell *, descriptor *, bool *)
set_default_methods_for_proper_simple_effects
void set_default_methods_for_proper_simple_effects(void)
simple_reference_to_store_independent_reference
reference simple_reference_to_store_independent_reference(reference, bool *)
simple_cell_to_store_independent_cell
cell simple_cell_to_store_independent_cell(cell, bool *)
effect_to_may_sdfi_list
list effect_to_may_sdfi_list(effect)
print_code_cumulated_references
bool print_code_cumulated_references(const string)
simple_effect_field_to_rank_conversion
effect simple_effect_field_to_rank_conversion(effect)
print_effect
void print_effect(effect)
statement_to_effects
list statement_to_effects(statement)
rproper_effects_of_statement
void rproper_effects_of_statement(statement)
summary_to_proper_effects
list summary_to_proper_effects(entity, list, list)
set_methods_for_live_in_paths_prettyprint
void set_methods_for_live_in_paths_prettyprint(const char *)
simple_cell_to_simple_cell_conversion
void simple_cell_to_simple_cell_conversion(cell, cell *, descriptor *)
Definition: eval.c:154
set_methods_for_simple_pointer_effects
void set_methods_for_simple_pointer_effects(void)
proper_effects_of_range
list proper_effects_of_range(range)
simple_effects_backward_translation
list simple_effects_backward_translation(entity, list, list, transformer)
get_list_of_variable_to_filter
list get_list_of_variable_to_filter(void)
effect_must_union
effect effect_must_union(effect, effect)
computes the must union of two combinable effects
Definition: binary_operators.c:272
simple_live_out_paths_to_text
text simple_live_out_paths_to_text(list)
print_code_proper_references
bool print_code_proper_references(const string)
reset_methods_for_effects_prettyprint
void reset_methods_for_effects_prettyprint(const char *)
summary_effect_to_proper_effect
list summary_effect_to_proper_effect(call, effect)
effect_to_string
string effect_to_string(effect)
print_code_as_a_graph_proper_effects
bool print_code_as_a_graph_proper_effects(const string)
ReferenceUnion
list ReferenceUnion(list, list, bool(*)(effect, effect))
cproto-generated files
simple_effect_dup
effect simple_effect_dup(effect)
check_user_call_site
void check_user_call_site(entity, list)
set_methods_for_cumulated_references
void set_methods_for_cumulated_references(void)
lhs_expression_to_proper_constant_path_effects
list lhs_expression_to_proper_constant_path_effects(expression)
simple_cell_reference_with_value_of_cell_reference_translation
void simple_cell_reference_with_value_of_cell_reference_translation(reference, descriptor, reference, descriptor, int, reference *, descriptor *, bool *)
simple_reference_to_simple_reference_conversion
void simple_reference_to_simple_reference_conversion(reference, reference *, descriptor *)
Definition: eval.c:146
filter_proper_effects
bool filter_proper_effects(const char *)
filter_proper_effects.c
Definition: filter_proper_effects.c:201
print_source_cumulated_effects
bool print_source_cumulated_effects(const string)
set_methods_for_simple_effects
void set_methods_for_simple_effects(void)
words_effect
list words_effect(effect)
simple_live_in_paths_to_text
text simple_live_in_paths_to_text(list)
eval_simple_cell_with_points_to
list eval_simple_cell_with_points_to(cell, descriptor, list, bool *, transformer)
is_implied_do_index
bool is_implied_do_index(entity, instruction)
cumulated_references
bool cumulated_references(const string)
interface.c
summary_pointer_effects
bool summary_pointer_effects(const string)
print_dvicfg_with_filtered_proper_effects
bool print_dvicfg_with_filtered_proper_effects(const string)
set_methods_for_live_paths
void set_methods_for_live_paths(const char *)
print_call_graph_with_cumulated_effects
bool print_call_graph_with_cumulated_effects(const string)
c_summary_effect_to_proper_effects
list c_summary_effect_to_proper_effects(effect, expression)
rcumulated_effects_of_statement
void rcumulated_effects_of_statement(statement)
words_effect_generic
list words_effect_generic(effect, bool)
simple_effects_composition_with_effect_transformer
list simple_effects_composition_with_effect_transformer(list, transformer)
make_unknown_subscript
list make_unknown_subscript(int)
c_summary_to_proper_effects
list c_summary_to_proper_effects(entity, list, list)
simple_effects_union_over_range
list simple_effects_union_over_range(list, entity, range, descriptor)
cumulated_effects_with_points_to
bool cumulated_effects_with_points_to(const string)
set_methods_for_live_out_paths_prettyprint
void set_methods_for_live_out_paths_prettyprint(const char *)
proper_constant_path_effects_of_expression_with_points_to
list proper_constant_path_effects_of_expression_with_points_to(expression, statement)
simple_effects_forward_translation
list simple_effects_forward_translation(entity, list, list, transformer)
print_icfg_with_control_proper_effects
bool print_icfg_with_control_proper_effects(const string)
set_methods_for_rw_effects_prettyprint
void set_methods_for_rw_effects_prettyprint(const char *)
print_icfg_with_control_cumulated_effects
bool print_icfg_with_control_cumulated_effects(const string)
print_code_live_out_paths
bool print_code_live_out_paths(const string)
simple_effects_translation_end
void simple_effects_translation_end(void)
out_summary_effects
bool out_summary_effects(const string)
proper_to_summary_simple_effect
effect proper_to_summary_simple_effect(effect)
FI: the goal is to get rid of array subscripts to handle the arrays atomically.
Definition: binary_operators.c:488
expression_with_side_effect_p
bool expression_with_side_effect_p(expression)
print_icfg_with_cumulated_effects
bool print_icfg_with_cumulated_effects(const string)
old_effects_composition_with_effect_transformer
list old_effects_composition_with_effect_transformer(list, transformer)
full_simple_proper_effects
bool full_simple_proper_effects(const char *, statement)
simple_cell_with_address_of_cell_translation
void simple_cell_with_address_of_cell_translation(cell, descriptor, cell, descriptor, int, cell *, descriptor *, bool *)
words_effect_without_approximation
list words_effect_without_approximation(effect)
effects_must_union
list effects_must_union(effect, effect)
Definition: binary_operators.c:145
print_memory_effects
void print_memory_effects(list)
set_methods_for_inout_effects_prettyprint
void set_methods_for_inout_effects_prettyprint(const char *)
ProperEffectsMustUnion
list ProperEffectsMustUnion(list, list, bool(*)(effect, effect))
list EffectsMustUnion(list l1, list l2, union_combinable_p) input : two lists of effects output : a l...
Definition: binary_operators.c:107
ReferenceTestUnion
list ReferenceTestUnion(list, list, bool(*)(effect, effect))
expression_to_proper_constant_path_effects_with_points_to
list expression_to_proper_constant_path_effects_with_points_to(expression, statement)
_newgen_struct_action_
Definition: effects.h:300
_newgen_struct_call_
Definition: ri.h:701
_newgen_struct_cell_
Definition: effects.h:455
_newgen_struct_descriptor_
Definition: effects.h:584
_newgen_struct_effect_
Definition: effects.h:630
_newgen_struct_entity_
Definition: ri.h:2778
_newgen_struct_expression_
Definition: ri.h:1239
_newgen_struct_instruction_
Definition: ri.h:1493
_newgen_struct_range_
Definition: ri.h:2279
_newgen_struct_reference_
Definition: ri.h:2318
_newgen_struct_statement_
Definition: ri.h:2435
_newgen_struct_text_
Definition: text.h:107
_newgen_struct_transformer_
Definition: ri.h:2863
cons
The structure used to build lists in NewGen.
Definition: newgen_list.h:41