PoCC Version 1.0
driver-pluto.h
Go to the documentation of this file.
00001 /*
00002  * driver-pluto.h: this file is part of the PoCC project.
00003  *
00004  * PoCC, the Polyhedral Compiler Collection package
00005  *
00006  * Copyright (C) 2009 Louis-Noel Pouchet
00007  *
00008  * This library is free software; you can redistribute it and/or
00009  * modify it under the terms of the GNU Lesser General Public License
00010  * as published by the Free Software Foundation; either version 2.1
00011  * of the License, or (at your option) any later version.
00012  *
00013  * This library is distributed in the hope that it will be useful,
00014  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00015  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00016  * Lesser General Public License for more details.
00017  *
00018  * The complete GNU General Public Licence Notice can be found as the
00019  * `COPYING.LESSER' file in the root directory.
00020  *
00021  * Author:
00022  * Louis-Noel Pouchet <Louis-Noel.Pouchet@inria.fr>
00023  *
00024  */
00025 #ifndef POCC_DRIVER_PLUTO_H
00026 # define POCC_DRIVER_PLUTO_H
00027 
00028 # include <stdio.h>
00029 
00030 # if HAVE_CONFIG_H
00031 #  include <pocc-utils/config.h>
00032 # endif
00033 
00034 # include <pocc/common.h>
00035 # include <pocc-utils/options.h>
00036 # include <pocc/options.h>
00037 
00038 # ifndef SCOPLIB_INT_T_IS_LONGLONG
00039 #  define SCOPLIB_INT_T_IS_LONGLONG
00040 # endif
00041 # include <scoplib/scop.h>
00042 
00043 # include <pluto/pluto.h>
00044 
00045 
00046 BEGIN_C_DECLS
00047 
00048 extern
00049 int
00050 pocc_driver_pluto (scoplib_scop_p program,
00051                    s_pocc_options_t* poptions,
00052                    s_pocc_utils_options_t* puoptions);
00053 
00054 
00055 END_C_DECLS
00056 
00057 
00058 #endif // POCC_DRIVER_PLUTO_H