movement_main.c

Go to the documentation of this file.

/*
 
  $Id: movement_main.c 23065 2016-03-02 09:05:50Z coelho $
 
  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 <stdio.h>
#include <string.h>
#include <setjmp.h>
 
#include "genC.h"       /* chunk is defined there, chunk was used by ri.h  */
#include "linear.h"
#include "ri.h"         /* used by ri-util.h */
#include "complexity_ri.h" /* useful, because PPOLYNOME is defined there */
#include "resources.h"  /* useful, because make is called directly by main */
#include "ri-util.h"    /* useful, because polynome_gen_write is called    */
#include "constants.h"  /* useful, because DBR_ is called directly by main */
 
jmp_buf pips_top_level;
 
main(argc, argv)
int argc;
char *argv[];
{
    entity mod;
    char *program_name;
    char *module_name;
    char *entities_filename;
    char *ppf_filename;
    FILE *fd;
    int i;
    bool prettyprint_it = false;
    statement s,stat;
    cons *copy_in = NIL;
    cons  *copy_out=NIL;
text t;
    
 
    /* get NewGen data type description */
    gen_read_spec(ALL_SPECS, (char*) NULL);
    gen_init_external(PVECTEUR, vect_gen_read, vect_gen_write, 
                      vect_gen_free, vect_gen_copy_tree);
    gen_init_external(PSYSTEME, sc_gen_read, sc_gen_write, 
                      sc_gen_free, sc_gen_copy_tree);
    gen_init_external(PPOLYNOME, polynome_gen_read, polynome_gen_write, 
                      polynome_gen_free, polynome_gen_copy_tree);
 
 
    module_name = argv[2];
 
    fprintf(stderr, "----------------------in main-----------------------\n");
 
    db_open_workspace(argv[1]);
    if(setjmp(pips_top_level)) {
        /* case you come back from a user_error */
        db_close_workspace();
        exit(1);
    }
    else {
        db_open_module(module_name);
 
        make(DBR_CODE, module_name);
 
        s = (statement) db_get_memory_resource(DBR_CODE, module_name, false);
 
        mod = local_name_to_top_level_entity(module_name); 
        search_array_from_statement2(module_name,s,&copy_in,&copy_out);
 
        
db_close_module(module_name);
        user_log("I have done this: ...\n");
    }
    db_close_workspace();
    fprintf(stderr, "----------------------out of main-----------------------\n");
}