full_fsm_generation.c File Reference

#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"

Include dependency graph for full_fsm_generation.c:

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 Documentation

arc_label

typedef dg_arc_label arc_label

Definition at line 46 of file full_fsm_generation.c.

vertex_label

typedef dg_vertex_label vertex_label

Definition at line 47 of file full_fsm_generation.c.

Function Documentation

full_fsm_generation()

bool full_fsm_generation

(

const char *

module_name

)

full_fsm_generation.c

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

Parameters

module_name

odule_name

Definition at line 64 of file full_fsm_generation.c.

{
   /* get the resources */
  statement stat = (statement) db_get_memory_resource(DBR_CODE, 
                                                      module_name, 
                                                      true);
 
  set_current_module_statement(stat);
  set_current_module_entity(module_name_to_entity(module_name));
  
  debug_on("FSM_GENERATION_DEBUG_LEVEL");
 
  /* 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
   */
 
  pips_assert("Statement is consistent after FULL_FSM_GENERATION", 
               statement_consistent_p(stat));
  
  /* Reorder the module, because new statements have been added */  
  module_reorder(stat);
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name, stat);
  DB_PUT_MEMORY_RESOURCE(DBR_CALLEES, module_name, 
                         compute_callees(stat));
  
  /* update/release resources */
  reset_current_module_statement();
  reset_current_module_entity();
  
  debug_off();
  
  return true;
}

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().

Here is the call graph for this function: