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_LETSEE_H
00026 # define POCC_DRIVER_LETSEE_H
00027
00028 # include <stdio.h>
00029
00030 # if HAVE_CONFIG_H
00031 # include <pocc-utils/config.h>
00032 # endif
00033 # ifndef SCOPLIB_INT_T_IS_LONGLONG
00034 # define SCOPLIB_INT_T_IS_LONGLONG
00035 # endif
00036 # define LINEAR_VALUE_IS_LONGLONG
00037 # include <scoplib/scop.h>
00038 # include <scoplib/macros.h>
00039 # include <pocc/common.h>
00040 # include <pocc/driver-codegen.h>
00041 # include <pocc-utils/options.h>
00042 # include <pocc/options.h>
00043
00044
00045 BEGIN_C_DECLS
00046
00047 extern
00048 void
00049 pocc_driver_letsee (scoplib_scop_p program,
00050 s_pocc_options_t* poptions,
00051 s_pocc_utils_options_t* puoptions);
00052
00053 END_C_DECLS
00054
00055
00056 #endif // POCC_DRIVER_LETSEE_H