/*

  $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/>.

*/

// do not compile unless required
#include "phases.h"
#ifdef BUILDER_INTERNALIZE_PARALLEL_CODE

#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
/*
  For historical reasons, a parallelized program in PIPS is no longer a
  classical PIPS program we can work on later because sequential code and
  parallelized code do not have the same resource type. Unfortunately,
  improving the parallelized code with some other transformations
  (dead-code elimination, etc) is also useful. Thus we add a new
  pseudo-transformation that coerce a parallel code into a classical
  (sequential) one to consider parallelization as an internal
  transformation in PIPS.

  Note this transformation may no be usable with some special
  parallelization in PIPS such as WP65 or HPFC that generate other resource
  types.

  Ronan.Keryell@enstb.org
 */

#include "genC.h"
#include "linear.h"

#include "misc.h"
#include "pipsdbm.h"

#include "ri.h"
#include "ri-util.h"

/* I love writing so simple passes... :-)
   Basically do only a
   DBR_CODE(mod_name) = (DBR_CODE) DBR_PARALLELIZED_CODE(mod_name)
*/
bool internalize_parallel_code(const string mod_name)
{
  debug_on("INTERNALIZE_PARALLEL_CODE_DEBUG_LEVEL");

  // Get the parallelized code and tell PIPS_DBM we do not want to modify it
  statement mod_stmt = (statement)
    db_get_memory_resource(DBR_PARALLELIZED_CODE,	mod_name, false);
  clean_up_sequences(mod_stmt);
  module_reorder(mod_stmt);
  DB_PUT_MEMORY_RESOURCE(DBR_CODE, mod_name, mod_stmt);
  pips_debug(2, "done for %s\n", mod_name);
  debug_off();
  return true;
}

#endif // BUILDER_INTERNALIZE_PARALLEL_CODE