00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
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