// DEAD CODE

/*

  $Id$

  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
/******************************************************************
 *
 *		     BOTTOM UP ARRAY RESIZING
 *
 *
*******************************************************************/

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "effects-util.h"
#include "database.h"
#include "pipsdbm.h"
#include "resources.h"
#include "misc.h"
#include "control.h"
#include "properties.h"
#include "semantics.h"
#include "transformer.h"
#include "pipsmake.h"
#include "abc_private.h"
#include "effects-generic.h"
#include "effects-convex.h"
#include "effects-simple.h"
#include "conversion.h"
#include "text-util.h" /* for words_to_string*/
#include "transformations.h"

static int number_of_right_array_declarations = 0;
static string current_mod ="";

#define PREFIX_DEC  "$DEC"


/* This phase do array resizing for unnormalized and formal arguments only. 
   So we only need SUMMARY_REGIONS */
bool formal_array_resizing_bottom_up(char* mod_name)
{
  entity mod_ent = module_name_to_entity(mod_name);
  list l_decl = code_declarations(entity_code(mod_ent)), l_regions = NIL; 
  statement mod_stmt = (statement) db_get_memory_resource(DBR_CODE, mod_name, true);
  transformer mod_pre;
  Psysteme pre;
  current_mod = mod_name;  
  set_precondition_map((statement_mapping)
		       db_get_memory_resource(DBR_PRECONDITIONS,mod_name,true));
  set_rw_effects((statement_effects) 
		 db_get_memory_resource(DBR_SUMMARY_REGIONS, mod_name, true));
  regions_init(); 
  debug_on("FORMAL_ARRAY_RESIZING_BOTTOM_UP_DEBUG_LEVEL");
  debug(1," Begin bottom up formal array resizing for %s\n", mod_name);
  l_regions = load_rw_effects_list(mod_stmt);  
  mod_pre = load_statement_precondition(mod_stmt);
  pre = predicate_system(transformer_relation(mod_pre));
  user_log("\n-------------------------------------------------------------------------------------\n");
  user_log("Prefix \tFile \tModule \tArray \tNdim \tNew declaration\tOld declaration\n");
  user_log("---------------------------------------------------------------------------------------\n");
 
  while (!ENDP(l_decl))
    {
      entity e = ENTITY(CAR(l_decl));
      if (unnormalized_array_p(e))
	{
	  storage s = entity_storage(e);
	  if (storage_formal_p(s))
	    { 
	      region reg = find_union_regions(l_regions,e);
	      new_array_declaration_from_region(reg,e,pre);
	    }
	}
      l_decl = CDR(l_decl);
    }
  user_log(" \n The total number of right array declarations : %d \n"
	   ,number_of_right_array_declarations );
  
  debug(1,"End bottom up formal array resizing for %s\n", mod_name);
  debug_off();  
  regions_end();
  reset_precondition_map();
  reset_rw_effects();
  current_mod = "";
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, mod_name, mod_stmt);
  return true;
}