PoCC Version 1.0
driver-cloog.h
Go to the documentation of this file.
00001 /*
00002  * driver-cloog.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_CLOOG_H
00026 # define POCC_DRIVER_CLOOG_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 # include <pocc/exec.h>
00038 
00039 # ifndef SCOPLIB_INT_T_IS_LONGLONG
00040 #  define SCOPLIB_INT_T_IS_LONGLONG
00041 # endif
00042 # define LINEAR_VALUE_IS_LONGLONG
00043 # include <scoplib/scop.h>
00044 # ifndef CLOOG_INT_GMP
00045 #  define CLOOG_INT_GMP
00046 # endif
00047 # include <cloog/cloog.h>
00048 
00049 
00050 BEGIN_C_DECLS
00051 
00052 extern
00053 void pocc_cloogify_scop (scoplib_scop_p program);
00054 
00055 
00056 extern
00057 struct clast_stmt*
00058 pocc_driver_cloog (scoplib_scop_p program,
00059                    CloogOptions* coptions,
00060                    s_pocc_options_t* poptions,
00061                    s_pocc_utils_options_t* puoptions);
00062 
00063 
00064 END_C_DECLS
00065 
00066 
00067 #endif // POCC_DRIVER_CLOOG_H