25 #include "pips_config.h"
257 (*effects_descriptor_normalize_func)(l_eff);
314 (*effects_descriptor_normalize_func)(l_eff);
bool effects_consistent_p(effects p)
effects make_effects(list a)
bool live_out_regions(const char *)
void update_invariant_rw_pointer_effects(statement, effects)
void update_proper_rw_pointer_effects_list(statement, list)
void store_live_out_regions(statement, effects)
void update_rw_pointer_effects(statement, effects)
void store_proper_rw_effects(statement, effects)
effects load_out_effects(statement)
list load_statement_proper_regions(statement)
void update_statement_inv_in_regions(statement, list)
list load_invariant_rw_effects_list(statement)
void store_in_effects(statement, effects)
void store_invariant_rw_effects(statement, effects)
void update_statement_local_regions(statement, list)
void store_rw_pointer_effects(statement, effects)
void update_live_out_regions_list(statement, list)
void update_invariant_rw_effects(statement, effects)
void update_in_effects(statement, effects)
void store_invariant_rw_pointer_effects_list(statement, list)
list load_out_effects_list(statement)
void store_live_out_paths(statement, effects)
list load_live_out_paths_list(statement)
effects load_proper_rw_effects(statement)
list load_live_in_paths_list(statement)
void store_in_effects_list(statement, list)
void store_statement_cumulated_in_regions(statement, list)
void update_live_out_paths_list(statement, list)
list load_invariant_in_effects_list(statement)
effects load_invariant_in_effects(statement)
void store_proper_rw_effects_list(statement, list)
effects load_in_effects(statement)
effects load_live_out_regions(statement)
void store_cumulated_in_effects(statement, effects)
void update_invariant_rw_pointer_effects_list(statement, list)
effects load_invariant_rw_pointer_effects(statement)
void update_proper_rw_effects_list(statement, list)
void store_proper_rw_pointer_effects(statement, effects)
void store_rw_effects_list(statement, list)
void update_invariant_in_effects(statement, effects)
list load_statement_inv_regions(statement)
effects load_rw_pointer_effects(statement)
void update_cumulated_rw_effects_list(statement, list)
void store_statement_inv_regions(statement, list)
list load_proper_rw_effects_list(statement)
void store_rw_effects(statement, effects)
list load_rw_pointer_effects_list(statement)
effects load_cumulated_in_effects(statement)
void update_live_out_paths(statement, effects)
list load_invariant_rw_pointer_effects_list(statement)
void update_in_effects_list(statement, list)
void update_cumulated_rw_effects(statement, effects)
void store_invariant_in_effects_list(statement, list)
void update_rw_pointer_effects_list(statement, list)
void update_cummulated_in_effects_list(statement, list)
void store_live_out_regions_list(statement, list)
void update_proper_rw_effects(statement, effects)
void update_cumulated_in_effects(statement, effects)
void update_live_in_paths_list(statement, list)
list load_in_effects_list(statement)
void store_proper_rw_pointer_effects_list(statement, list)
void store_out_effects(statement, effects)
void store_statement_inv_in_regions(statement, list)
void update_rw_effects_list(statement, list)
void store_invariant_rw_pointer_effects(statement, effects)
list load_cumulated_in_effects_list(statement)
void store_cumulated_rw_effects_list(statement, list)
void update_invariant_rw_effects_list(statement, list)
void store_statement_local_regions(statement, list)
void update_statement_inv_regions(statement, list)
list load_rw_effects_list(statement)
list load_cumulated_rw_effects_list(statement)
effects load_cumulated_rw_effects(statement)
void update_rw_effects(statement, effects)
void store_statement_proper_regions(statement, list)
void store_cumulated_in_effects_list(statement, list)
effects load_rw_effects(statement)
void store_live_in_paths_list(statement, list)
void store_cumulated_rw_effects(statement, effects)
void update_out_effects(statement, effects)
void store_out_effects_list(statement, list)
void store_live_out_paths_list(statement, list)
effects load_live_out_paths(statement)
void store_live_in_paths(statement, effects)
effects load_proper_rw_pointer_effects(statement)
void update_live_out_regions(statement, effects)
void update_out_effects_list(statement, list)
void store_invariant_rw_effects_list(statement, list)
list load_statement_out_regions(statement)
list load_statement_cumulated_in_regions(statement)
void store_rw_pointer_effects_list(statement, list)
list load_statement_in_regions(statement)
void store_statement_out_regions(statement, list)
effects load_live_in_paths(statement)
list load_proper_rw_pointer_effects_list(statement)
effects load_invariant_rw_effects(statement)
void store_invariant_in_effects(statement, effects)
list load_statement_local_regions(statement)
list load_statement_inv_in_regions(statement)
void update_invariant_in_effects_list(statement, list)
list load_live_out_regions_list(statement)
void update_proper_rw_pointer_effects(statement, effects)
void store_statement_in_regions(statement, list)
bool proper_references(const string)
bool in_effects(const string)
bool out_effects(const string)
bool cumulated_references(const string)
interface.c
#define effects_effects(x)
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
#define GENERIC_GLOBAL_FUNCTION(name, type)
The structure used to build lists in NewGen.