6 #ifndef static_controlize_header_included
7 #define static_controlize_header_included
32 #define STATIC_CONTROLIZE_MODULE_NAME "STATCON"
33 #define NLC_PREFIX "NLC"
34 #define NSP_PREFIX "NSP"
35 #define NUB_PREFIX "NUB"
37 #define give_entity(n) gen_find_tabulated(make_entity_fullname( \
38 TOP_LEVEL_MODULE_NAME, n), entity_domain)
39 #define ENTITY_GE give_entity(GREATER_OR_EQUAL_OPERATOR_NAME)
40 #define ENTITY_GT give_entity(GREATER_THAN_OPERATOR_NAME)
41 #define ENTITY_LE give_entity(LESS_OR_EQUAL_OPERATOR_NAME)
42 #define ENTITY_LT give_entity(LESS_THAN_OPERATOR_NAME)
43 #define ENTITY_NOT give_entity(NOT_OPERATOR_NAME)
44 #define ENTITY_EQ give_entity(EQUAL_OPERATOR_NAME)
45 #define ENTITY_NE give_entity(NOT_EQUAL_OPERATOR_NAME)
46 #define ENTITY_OR give_entity(OR_OPERATOR_NAME)
47 #define ENTITY_AND give_entity(AND_OPERATOR_NAME)
49 #define ENTITY_NLC_P(e) (strncmp(entity_local_name(e), NLC_PREFIX, 3) == 0)
50 #define ENTITY_NSP_P(e) (strncmp(entity_local_name(e), NSP_PREFIX, 3) == 0)
51 #define ENTITY_NUB_P(e) (strcmp(entity_local_name(e), NUB_PREFIX, 3) == 0)
52 #define ENTITY_SP_P(ent) \
53 (gen_find_eq(ent, Gstructure_parameters) != chunk_undefined)
54 #define ENTITY_STRICT_LOGICAL_OPERATOR_P(e) \
55 ( ENTITY_AND_P(e) || \
57 ENTITY_EQUIV_P(e) || \
58 ENTITY_NON_EQUIV_P(e) || \
void forward_substitute_in_exp(expression *, hash_table)
cons * words_loop_list(list)
================================================================
int Gcount_nsp
================================================================
list make_undefined_list(void)
================================================================
entity sp_feautrier_scalar_assign_call(call)
================================================================
bool get_sp_of_call_p(call, hash_table, list *)
================================================================
list sc_list_of_exp_dup(list)
================================================================
static_control static_controlize_unstructured(unstructured)
=================================================================
int in_forward_defined(entity, list *)
================================================================
static_control static_controlize_loop(loop)
=================================================================
bool normalizable_loop_p_retrieved(loop)
Code retrieved from revision 14476, transformations/loop_normalize.c.
list stco_same_loops(statement_mapping, statement, statement)
utils.c
bool is_expression_in_list(expression, list)
State if an expression OR part of that expression corresponds to one of the entity of the list l.
loop sc_loop_dup(loop)
================================================================
bool get_reference_assignments(statement, list *)
Allows the static_controlize phase to keep and update a list containing all the variables of the prog...
text store_sc_text_line(static_control)
================================================================
bool normalizable_loop_p(loop)
bool normalizable_loop_p(loop l) Returns true if "l" has a constant step.
expression normalize_test_leaves(expression, list *)
================================================================
list assigned_var
=================================================================
bool in_forward_defined_p(entity, list *)
================================================================
list loop_normalize_of_loop(loop, hash_table, list *, list *, list *, int *)
=================================================================
list ndf_normalized_test(expression, list *)
================================================================
expression sc_conditional(expression, list *)
================================================================
bool sp_feautrier_expression_p(expression)
================================================================
list sc_list_of_loop_dup(list)
================================================================
string print_structurals(list)
================================================================
static_control static_controlize_whileloop(whileloop)
=================================================================
static_control static_controlize_call(call)
================================================================
bool static_controlize(string)
=================================================================
void loop_normalize_of_unstructured(unstructured, hash_table, list *, list *, list *, int *)
=================================================================
list sc_list_of_entity_dup(list)
================================================================
statement_mapping Gstatic_control_map
bool sp_linear_expression_p(expression)
================================================================
bool splc_linear_expression_p(expression, list *)
================================================================
static_control static_controlize_statement(statement)
bool splc_positive_relation_p(expression, list *)
================================================================
list words_entity_list(list)
================================================================
void forward_substitute_in_call(call *, hash_table)
void verify_structural_parameters(list, list *)
================================================================
bool splc_linear_access_to_arrays_p(list, list *)
================================================================
expression sc_opposite_exp_of_conjunction(expression, list *)
================================================================
void forward_substitute_in_anyloop(void *, hash_table)
text text_static_control(entity, int, statement)
list loop_normalize_of_statement(statement, hash_table, list *, list *, list *, int *)
=================================================================
bool splc_feautrier_expression_p(expression, list *)
================================================================
int stco_renumber_code(statement, int)
================================================================
bool print_code_static_control(const string)
cproto-generated files
list Gstructure_parameters
static_controlize.c
list loops_to_indices(list)
================================================================
bool splc_linear_expression_list_p(list, list *)
================================================================
list sc_entity_to_formal_integer_parameters(entity)
================================================================
static_control static_controlize_forloop(forloop)
=================================================================
cons * words_test_list(list)
================================================================
The structure used to build lists in NewGen.