PIPS
|
#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "database.h"
#include "resources.h"
#include "pipsdbm.h"
#include "properties.h"
#include "effects-generic.h"
#include "effects-simple.h"
Go to the source code of this file.
Functions | |
static list | get_variables_to_filter () |
of entity More... | |
static bool | there_is_a_conflict (entity var) |
static void | reference_rwt (reference r) |
it should be a check on call arguments, whether they are W + ref for user define functions, use summary effects for intrinsics? =, implied-do, read... More... | |
static void | check_if_direct_reference (void *x) |
static bool | direct_written_reference (statement s, entity var) |
static bool | stmt_flt (statement s) |
bool | filter_proper_effects (const char *module_name) |
filter_proper_effects.c More... | |
Variables | |
static list | variables_to_filter = NIL |
of entity More... | |
static bool | direct_reference_found = false |
static entity | a_variable = NULL |
|
static |
Definition at line 126 of file filter_proper_effects.c.
References gen_recurse, gen_true(), reference_domain, reference_rwt(), and x.
Referenced by direct_written_reference().
should not happen on a statement with proper effects
Definition at line 131 of file filter_proper_effects.c.
References a_variable, check_if_direct_reference(), direct_reference_found, entities_may_conflict_p(), instruction_loop, instruction_tag, instruction_test, instruction_whileloop, is_instruction_call, is_instruction_loop, is_instruction_test, is_instruction_whileloop, loop_index, loop_range, pips_internal_error, statement_instruction, test_condition, and whileloop_condition.
Referenced by stmt_flt().
bool filter_proper_effects | ( | const char * | module_name | ) |
gets what is needed from PIPS DBM
returns the result to the DBM...
module_name | odule_name |
Definition at line 201 of file filter_proper_effects.c.
References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, gen_free_list(), gen_null(), gen_recurse, get_current_module_statement(), get_variables_to_filter(), local_name_to_top_level_entity(), module_name(), NIL, pips_debug, reset_current_module_entity(), reset_current_module_statement(), reset_proper_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_proper_rw_effects(), statement_domain, stmt_flt(), and variables_to_filter.
|
static |
of entity
Definition at line 46 of file filter_proper_effects.c.
References CONS, ENTITY, entity_domain, entity_undefined_p, free(), gen_find_tabulated(), get_string_property(), NIL, pips_assert, pips_user_warning, same_string_p, and strdup().
Referenced by filter_proper_effects().
|
static |
it should be a check on call arguments, whether they are W + ref for user define functions, use summary effects for intrinsics? =, implied-do, read...
Definition at line 117 of file filter_proper_effects.c.
References a_variable, direct_reference_found, entities_may_conflict_p(), gen_recurse_stop(), and reference_variable.
Referenced by check_if_direct_reference().
of effect
Definition at line 167 of file filter_proper_effects.c.
References direct_written_reference(), EFFECT, effect_variable, effect_write_p, entity_name, load_proper_rw_effects_list(), MAP, ORDERING_NUMBER, ORDERING_STATEMENT, statement_number, statement_ordering, STATEMENT_ORDERING_UNDEFINED, there_is_a_conflict(), and user_log().
Referenced by filter_proper_effects().
Definition at line 97 of file filter_proper_effects.c.
References entities_may_conflict_p(), ENTITY, MAP, and variables_to_filter.
Referenced by stmt_flt().
|
static |
Definition at line 111 of file filter_proper_effects.c.
Referenced by clone_variable_with_new_name(), create_parameter_variable_for_new_module(), create_private_variable_for_new_module(), direct_written_reference(), flint_check_uninitialized_variables_in_statement(), flint_initialize_statement_def_use_variables(), flint_variable_uninitialize_elsewhere(), make_assignement_statement(), reference_rwt(), statement_has_a_module_formal_argument_write_effect_p(), and variable_is_a_module_formal_parameter_p().
Definition at line 110 of file filter_proper_effects.c.
Referenced by direct_written_reference(), and reference_rwt().
of entity
Definition at line 95 of file filter_proper_effects.c.
Referenced by filter_proper_effects(), and there_is_a_conflict().