analysis.c

Go to the documentation of this file.

/*
 
  $Id: analysis.c 23412 2017-08-09 15:07:09Z irigoin $
 
  Copyright 1989-2016 MINES ParisTech
 
  This file is part of PIPS.
 
  PIPS is free software: you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  any later version.
 
  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.
 
  See the GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License
  along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
 
*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
#include "safescale.h"
 
 
/**
   Analyze a given module
 */
bool safescale_module_analysis(const char* module_name)
{
  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;
}