safescale.h File Reference

#include <string.h>
#include <stdio.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "properties.h"
#include "ri-util.h"
#include "effects-util.h"
#include "pipsdbm.h"
#include "resources.h"
#include "semantics.h"
#include "effects-generic.h"
#include "effects-convex.h"
#include "effects-simple.h"
#include "transformer.h"
#include "transformations.h"
#include "control.h"
#include "callgraph.h"
#include "misc.h"
#include "prettyprint.h"

Include dependency graph for safescale.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	statement_checking_context
struct	sequence_searching_context

Macros
#define	EXTERNALIZED_CODE_PRAGMA_BEGIN   "BEGIN_KAAPI_%s"
	Warning! Do not modify this file that is automatically generated! More...
#define	EXTERNALIZED_CODE_PRAGMA_END   "END_KAAPI_%s"
#define	EXTERNALIZED_CODE_PRAGMA_ANALYZED_TOP   "ANALYZED_KAAPI_%s (%d statements)"
#define	EXTERNALIZED_CODE_PRAGMA_ANALYZED_BOTTOM   "ANALYZED_KAAPI_%s (%d statements)"
#define	EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_TOP   "--> "
#define	EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_BOTTOM   "<-- "
#define	EXTERNALIZED_FUNCTION_PARAM_NAME   "%s_PARAM_%d"
#define	EXTERNALIZED_FUNCTION_PRIVATE_PARAM_NAME   "%s_PRIV"
#define	EXTERNALIZED_CODE_PRAGMA_CALL   "CALL_KAAPI_%s"

Functions
bool	safescale_module_analysis (const char *)
	cproto-generated files More...
bool	safescale_distributor_init (const char *)
	identification.c More...
bool	safescale_distributor (const char *)
	externalization.c More...

Macro Definition Documentation

EXTERNALIZED_CODE_PRAGMA_ANALYZED_BOTTOM

#define EXTERNALIZED_CODE_PRAGMA_ANALYZED_BOTTOM   "ANALYZED_KAAPI_%s (%d statements)"

Definition at line 35 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_BOTTOM

#define EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_BOTTOM   "<-- "

Definition at line 37 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_TOP

#define EXTERNALIZED_CODE_PRAGMA_ANALYZED_PREFIX_TOP   "--> "

Definition at line 36 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_ANALYZED_TOP

#define EXTERNALIZED_CODE_PRAGMA_ANALYZED_TOP   "ANALYZED_KAAPI_%s (%d statements)"

Definition at line 34 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_BEGIN

#define EXTERNALIZED_CODE_PRAGMA_BEGIN   "BEGIN_KAAPI_%s"

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/safescale/safescale-local.h instead, to add your own modifications. header file built by cproto safescale-local.h

Definition at line 32 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_CALL

#define EXTERNALIZED_CODE_PRAGMA_CALL   "CALL_KAAPI_%s"

Definition at line 42 of file safescale.h.

EXTERNALIZED_CODE_PRAGMA_END

#define EXTERNALIZED_CODE_PRAGMA_END   "END_KAAPI_%s"

Definition at line 33 of file safescale.h.

EXTERNALIZED_FUNCTION_PARAM_NAME

#define EXTERNALIZED_FUNCTION_PARAM_NAME   "%s_PARAM_%d"

Definition at line 39 of file safescale.h.

EXTERNALIZED_FUNCTION_PRIVATE_PARAM_NAME

#define EXTERNALIZED_FUNCTION_PRIVATE_PARAM_NAME   "%s_PRIV"

Definition at line 40 of file safescale.h.

Function Documentation

safescale_distributor()

bool safescale_distributor

(

const char *

module_name

)

externalization.c

Set and get the current properties concerning regions

Get the resources

Set dynamic_area

Get the READ, WRITE, IN and OUT regions of the module

Do the job

Restructuring code to avoid imbricated sequences if some portions are found to allow more than one INIT

Reorder the module because new statements have been added

Update/release resources

Parameters

module_name

odule_name

Definition at line 774 of file externalization.c.

{
  statement module_stat;
  entity module;
 
  /* Set and get the current properties concerning regions */
  set_bool_property("MUST_REGIONS", true);
  set_bool_property("EXACT_REGIONS", true);
  get_regions_properties();
  
  /* Get the resources */
  module_stat = (statement) db_get_memory_resource(DBR_CODE, module_name, true);
  module = module_name_to_entity(module_name);
 
  set_current_module_statement(module_stat);
  set_current_module_entity(module_name_to_entity(module_name));
 
  set_cumulated_rw_effects((statement_effects) db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));
  set_proper_rw_effects((statement_effects) db_get_memory_resource(DBR_PROPER_EFFECTS, module_name, true));
  module_to_value_mappings(module);
  
  /* Set dynamic_area */
  if (entity_undefined_p(dynamic_area)) 
  {     
    dynamic_area = FindOrCreateEntity(module_local_name(module), DYNAMIC_AREA_LOCAL_NAME); 
  }
 
  debug_on("SAFESCALE_DISTRIBUTOR_DEBUG_LEVEL");
 
  /* Get the READ, WRITE, IN and OUT regions of the module */
  set_rw_effects((statement_effects) db_get_memory_resource(DBR_REGIONS, module_name, true));
  set_in_effects((statement_effects) db_get_memory_resource(DBR_IN_REGIONS, module_name, true));
  set_out_effects((statement_effects) db_get_memory_resource(DBR_OUT_REGIONS, module_name, true));
 
  /* Do the job */
  pips_debug(2, "BEGIN of SAFESCALE_DISTRIBUTOR\n");
  /* Restructuring code to avoid imbricated sequences if some portions are found to allow more than one INIT */
  simple_restructure_statement(module_stat);
  distribute(module_stat, module);
  pips_debug(2, "END of SAFESCALE_DISTRIBUTOR\n");
 
  print_statement(module_stat);
 
  pips_assert("Statement structure is consistent after SAFESCALE_DISTRIBUTOR", gen_consistent_p((gen_chunk*) module_stat));
  pips_assert("Statement is consistent after SAFESCALE_DISTRIBUTOR", statement_consistent_p(module_stat));
  
  /* Reorder the module because new statements have been added */  
  module_reorder(module_stat);  
 
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, module_name, module_stat);
  DB_PUT_MEMORY_RESOURCE(DBR_CALLEES, module_name, compute_callees(module_stat));
 
  /* Update/release resources */
  reset_current_module_statement();
  reset_current_module_entity();
  dynamic_area = entity_undefined;
  reset_cumulated_rw_effects();
  reset_proper_rw_effects();
  reset_rw_effects();
  reset_in_effects();
  reset_out_effects();
  free_value_mappings();
  
  debug_off();
  
  return true;
}

References compute_callees(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, distribute(), dynamic_area, DYNAMIC_AREA_LOCAL_NAME, entity_undefined, entity_undefined_p, FindOrCreateEntity(), free_value_mappings(), gen_consistent_p(), get_regions_properties(), module, module_local_name(), module_name(), module_name_to_entity(), module_reorder(), module_to_value_mappings(), pips_assert, pips_debug, print_statement(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_in_effects(), reset_out_effects(), reset_proper_rw_effects(), reset_rw_effects(), set_bool_property(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_in_effects(), set_out_effects(), set_proper_rw_effects(), set_rw_effects(), simple_restructure_statement(), and statement_consistent_p().

Here is the call graph for this function:

safescale_distributor_init()

bool safescale_distributor_init

(

const char *

module_name

)

identification.c

identification.c

Get the resources

Doi the job

Reorder the module because new statements have been added

Update/release resources

Parameters

module_name

odule_name

Definition at line 483 of file identification.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("SAFESCALE_DISTRIBUTOR_DEBUG_LEVEL");
 
  /* Doi the job */
  pips_debug(2, "BEGIN of SAFESCALE_DISTRIBUTOR_INIT\n");
  identify_statements_to_distribute(stat);
  pips_debug(2, "END of SAFESCALE_DISTRIBUTOR_INIT\n");
 
  pips_assert("Statement structure is consistent after SAFESCALE_DISTRIBUTOR_INIT", gen_consistent_p((gen_chunk*) stat));             
  pips_assert("Statement is consistent after SAFESCALE_DISTRIBUTOR_INIT", 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, gen_consistent_p(), identify_statements_to_distribute(), module_name(), module_name_to_entity(), module_reorder(), pips_assert, pips_debug, 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:

safescale_module_analysis()

bool safescale_module_analysis

(

const char *

module_name

)

cproto-generated files

analysis.c

cproto-generated files

Initialize the resources

Get effects of the module

Build hash tables between variables and values and between values and names for the module

Get regions of the module

Do the job

Update/release resources

Parameters

module_name

odule_name

Definition at line 33 of file analysis.c.

{
  statement module_statement;
  entity module;  
 
  /* Initialize the resources */
  module_statement = (statement) db_get_memory_resource(DBR_CODE, module_name, true);
  // module = local_name_to_top_level_entity(module_name);
  module = module_name_to_entity(module_name);  
 
  set_current_module_statement(module_statement);
  set_current_module_entity(module);
  
  /* Get effects of the module */
  set_cumulated_rw_effects((statement_effects) db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));
  set_proper_rw_effects((statement_effects) db_get_memory_resource(DBR_PROPER_EFFECTS, module_name, true));
 
  /* Build hash tables between variables and values and between values and names for the module */
  module_to_value_mappings(module);
  
  //debug_on("PHRASE_DISTRIBUTOR_DEBUG_LEVEL");
 
  /* Get regions of the module */
  set_rw_effects((statement_effects) db_get_memory_resource(DBR_REGIONS, module_name, true));
  set_in_effects((statement_effects) db_get_memory_resource(DBR_IN_REGIONS, module_name, true));
  set_out_effects((statement_effects) db_get_memory_resource(DBR_OUT_REGIONS, module_name, true));
 
  /* Do the job */
  //pips_debug(2, "BEGIN of PHRASE_DISTRIBUTOR\n");
 
  // convertion_to_kaapi(....); ou identification des blocs délimités par des pragmas selon méthode retenue.
 
  //pips_debug(2, "END of PHRASE_DISTRIBUTOR\n");
 
  print_statement(module_statement);
 
  //pips_assert("Statement structure is consistent after PHRASE_DISTRIBUTOR", gen_consistent_p((gen_chunk*) statement));
  //pips_assert("Statement is consistent after PHRASE_DISTRIBUTOR", statement_consistent_p(statement));
  
  /* Update/release resources */
  reset_current_module_statement();
  reset_current_module_entity();
  //dynamic_area = entity_undefined;
  reset_cumulated_rw_effects();
  reset_proper_rw_effects();
  reset_rw_effects();
  reset_in_effects();
  reset_out_effects();
  free_value_mappings();
  
  //debug_off();
  
  return true;
}

References db_get_memory_resource(), free_value_mappings(), module, module_name(), module_name_to_entity(), module_statement, module_to_value_mappings(), print_statement(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_in_effects(), reset_out_effects(), reset_proper_rw_effects(), reset_rw_effects(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_in_effects(), set_out_effects(), set_proper_rw_effects(), and set_rw_effects().

Here is the call graph for this function: