PoCC Version 1.0
|
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