25 #include "pips_config.h"
35 #include "resources.h"
74 debug_on(
"FSM_GENERATION_DEBUG_LEVEL");
82 pips_assert(
"Statement is consistent after FULL_FSM_GENERATION",
bool statement_consistent_p(statement p)
callees compute_callees(const statement stat)
Recompute the callees of a module statement.
struct _newgen_struct_statement_ * statement
const char * module_name(const char *s)
Return the module part of an entity name.
bool full_fsm_generation(const char *module_name)
full_fsm_generation.c
dg_vertex_label vertex_label
void reset_current_module_entity(void)
Reset the current module entity.
void reset_current_module_statement(void)
Reset the current module statement.
statement set_current_module_statement(statement)
Set the current module statement.
entity set_current_module_entity(entity)
static.c
string db_get_memory_resource(const char *rname, const char *oname, bool pure)
Return the pointer to the resource, whatever it is.
#define DB_PUT_MEMORY_RESOURCE(res_name, own_name, res_val)
conform to old interface.
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
bool module_reorder(statement body)
Reorder a module and recompute order to statement if any.
entity module_name_to_entity(const char *mn)
This is an alias for local_name_to_top_level_entity.