25 #include "pips_config.h"
69 #include "resources.h"
105 entity state_variable = NULL;
118 debug_on(
"FSM_GENERATION_DEBUG_LEVEL");
131 pips_assert(
"Statement is consistent after 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 get_bool_property(const string)
FC 2015-07-20: yuk, moved out to prevent an include cycle dependency include "properties....
bool fsm_generation(const char *module_name)
fsm_generation.c
dg_vertex_label vertex_label
dg_arc_label arc_label
This phase is used for PHRASE project.
statement fsmize_statement(statement stat, entity state_variable, const char *module_name)
This function is recursively called during FSMization.
entity create_state_variable(const char *module_name, int name_identifier)
This function creates (and add declaration) state variable.
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.