25 #include "pips_config.h"
49 #include "constants.h"
61 #include "resources.h"
386 print_code_any_regions(
392 string summary_resource_name,
422 return print_code_any_regions(
module_name, is_rw,
false,
false,
428 return print_code_any_regions(
module_name, is_rw,
false,
false,
429 DBR_POINTER_REGIONS, DBR_SUMMARY_POINTER_REGIONS,
".reg");
434 return print_code_any_regions(
module_name, is_rw,
false,
false,
435 DBR_INV_POINTER_REGIONS, DBR_SUMMARY_POINTER_REGIONS,
".reg");
440 return print_code_any_regions(
module_name, is_rw,
false,
false,
446 return print_code_any_regions(
module_name, is_rw,
true,
false,
452 return print_code_any_regions(
module_name, is_rw,
false,
false,
453 DBR_REGIONS, DBR_SUMMARY_REGIONS,
".reg");
458 return print_code_any_regions(
module_name, is_rw,
true,
false,
459 DBR_REGIONS, DBR_SUMMARY_REGIONS,
".ureg");
464 return print_code_any_regions(
module_name, is_rw,
false,
false,
465 DBR_INV_REGIONS, DBR_SUMMARY_REGIONS,
".reg");
470 return print_code_any_regions(
module_name, is_rw,
true,
false,
471 DBR_INV_REGIONS, DBR_SUMMARY_REGIONS,
".ureg");
476 return print_code_any_regions(
module_name, is_inout,
false,
false,
477 DBR_IN_REGIONS, DBR_IN_SUMMARY_REGIONS,
".inreg");
482 return print_code_any_regions(
module_name, is_inout,
true,
false,
483 DBR_IN_REGIONS, DBR_IN_SUMMARY_REGIONS,
".uinreg");
488 return print_code_any_regions(
module_name, is_inout,
false,
false,
489 DBR_OUT_REGIONS, DBR_OUT_SUMMARY_REGIONS,
".outreg");
494 return print_code_any_regions(
module_name, is_inout,
true,
false,
495 DBR_OUT_REGIONS, DBR_OUT_SUMMARY_REGIONS,
".uoutreg");
501 return print_code_any_regions(
module_name, is_inout,
false,
false,
518 user_warning(
"print_code_as_a_graph_regions",
"To be done...");
530 user_warning(
"print_code_as_a_graph_regions",
"To be done...");
542 user_warning(
"print_code_as_a_graph_regions",
"To be done...");
576 bool context_stack_defined_p =
579 if (!context_stack_defined_p)
590 if (!context_stack_defined_p)
644 #include "pips-libs.h"
645 #ifdef HAVE_PIPS_icfg_LIBRARY
bool print_decorated_call_graph(const string, text(*)(const string))
static bool is_user_view
useful
bool print_source_inv_regions(const string)
bool print_source_out_regions(const string)
bool must_regions(const string)
bool print_source_regions(const string)
bool print_icfg_with_control_regions(const string)
bool print_code_inv_regions(const string)
text get_text_regions(const string)
bool print_code_proper_pointer_regions(const string)
bool in_regions(const string)
bool print_call_graph_with_regions(const string)
bool print_icfg_with_control_out_regions(const string)
bool print_icfg_with_loops_regions(const string)
bool print_code_as_a_graph_in_regions(const string)
bool print_call_graph_with_out_regions(const string)
bool print_icfg_with_loops_out_regions(const string)
bool out_summary_regions(const string)
bool print_call_graph_with_in_regions(const string)
list regions_of_expression(expression, transformer)
bool print_code_as_a_graph_regions(const string)
void set_methods_for_convex_rw_pointer_effects(void)
void set_methods_for_convex_effects(void)
methods.c
list proper_regions_of_expression(expression, transformer)
bool must_pointer_regions_with_points_to(const string)
bool print_icfg_with_regions(const string)
bool may_pointer_regions(const string)
bool must_regions_with_pointer_values(const string)
bool must_pointer_regions(const string)
bool print_icfg_with_in_regions(const string)
bool print_code_out_regions(const string)
list proper_regions_of_expressions(list, transformer)
void init_convex_rw_prettyprint(const char *)
bool summary_regions(const string)
bool print_code_pointer_regions(const string)
bool summary_pointer_regions(const string)
cproto-generated files
bool print_source_proper_regions(const string)
bool print_icfg_with_loops_in_regions(const string)
bool print_code_live_out_regions(const char *)
bool live_out_regions(const char *)
void set_methods_for_convex_in_out_effects(void)
void init_convex_inout_prettyprint(const char *)
bool print_code_inv_pointer_regions(const string)
bool print_code_regions(const string)
bool print_code_proper_regions(const string)
bool print_code_as_a_graph_out_regions(const string)
bool print_icfg_with_control_in_regions(const string)
bool must_regions_with_points_to(const string)
bool print_source_in_regions(const string)
void set_methods_for_convex_rw_effects(void)
bool out_regions(const string)
bool print_code_in_regions(const string)
bool may_regions(const string)
bool in_summary_regions(const string)
bool print_icfg_with_out_regions(const string)
text get_text_in_regions(const string)
text get_text_out_regions(const string)
void free_effects_private_current_context_stack(void)
void set_is_user_view_p(bool)
bool live_out_region_engine(const char *, effects_representation_val)
void make_effects_private_current_context_stack(void)
bool in_effects_engine(const char *, effects_representation_val)
list proper_effects_contract(list)
bool out_effects_engine(const char *, effects_representation_val)
bool summary_in_effects_engine(const char *)
in_effects_engine.c
bool effects_private_current_context_stack_initialized_p(void)
bool summary_out_effects_engine(const char *)
bool summary_rw_effects_engine(const char *)
bool rw_effects_engine(const char *)
void set_prettyprint_with_attachments(bool)
list generic_proper_effects_of_expression(expression)
transformer effects_private_current_context_pop(void)
void generic_effects_reset_all_methods(void)
void set_pointer_info_kind(pointer_info_val)
methods.c
void effects_private_current_context_push(transformer)
bool proper_effects_engine(const char *)
bool print_source_or_code_with_any_effects_engine(const char *, string, string, string, bool)
void set_constant_paths_p(bool)
const char * module_name(const char *s)
Return the module part of an entity name.
bool get_bool_property(const string)
FC 2015-07-20: yuk, moved out to prevent an include cycle dependency include "properties....
#define NIL
The empty list (nil in Lisp)
list gen_nconc(list cp1, list cp2)
physically concatenates CP1 and CP2 but do not duplicates the elements
#define MAP(_map_CASTER, _map_item, _map_code, _map_list)
Apply/map an instruction block on all the elements of a list (old fashioned)
bool generic_print_icfg(const string, bool, bool, bool, text(*)(const string))
#define pips_internal_error
#define user_warning(fn,...)
bool print_code(const string)
void set_bool_property(const char *, bool)
bool c_module_p(entity m)
Test if a module "m" is written in C.
entity module_name_to_entity(const char *mn)
This is an alias for local_name_to_top_level_entity.
#define EXPRESSION(x)
EXPRESSION.
The structure used to build lists in NewGen.
#define exp
Avoid some warnings from "gcc -Wshadow".