PIPS
|
#include <stdio.h>
#include <ctype.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "resources.h"
#include "misc.h"
#include "ri-util.h"
#include "effects-util.h"
#include "pipsdbm.h"
#include "text-util.h"
#include "dg.h"
#include "graph.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "polyedre.h"
#include "control.h"
#include "callgraph.h"
#include "fsm_generation.h"
Go to the source code of this file.
Typedefs | |
typedef dg_arc_label | arc_label |
typedef dg_vertex_label | vertex_label |
Functions | |
bool | full_fsm_generation (const char *module_name) |
full_fsm_generation.c More... | |
typedef dg_arc_label arc_label |
Definition at line 46 of file full_fsm_generation.c.
typedef dg_vertex_label vertex_label |
Definition at line 47 of file full_fsm_generation.c.
bool full_fsm_generation | ( | const char * | module_name | ) |
get the resources
Now do the job
In fact, there is nothing to do because this phase is the succession of the two phases FULL_SPAGHETTIFY and FSM_GENERATION
Reorder the module, because new statements have been added
update/release resources
module_name | odule_name |
Definition at line 64 of file full_fsm_generation.c.
References compute_callees(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, module_name(), module_name_to_entity(), module_reorder(), pips_assert, reset_current_module_entity(), reset_current_module_statement(), set_current_module_entity(), set_current_module_statement(), and statement_consistent_p().