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_SRC_OPTIONS_H
00026 # define POCC_SRC_OPTIONS_H
00027
00028 # include <stdio.h>
00029
00030 # if HAVE_CONFIG_H
00031 # include <pocc-utils/config.h>
00032 # endif
00033
00034 # include <pocc/options.h>
00035 # include "getopts.h"
00036
00037
00038 # define POCC_NB_OPTS 56
00039
00040
00041 # define POCC_OPT_HELP 0
00042 # define POCC_OPT_VERSION 1
00043 # define POCC_OPT_OUTFILE 2
00044 # define POCC_OPT_OUTFILE_SCOP 3
00045 # define POCC_OPT_CLOOGIFY_SCHED 4
00046 # define POCC_OPT_BOUNDED_CTXT 5
00047 # define POCC_OPT_DEFAULT_CTXT 6
00048 # define POCC_OPT_INSCOP_FAKEARRAY 7
00049 # define POCC_OPT_READ_SCOP_FILE 8
00050
00051 # define POCC_OPT_NO_CANDL 9
00052 # define POCC_OPT_CANDL_DEP_ISL_SIMP 10
00053
00054 # define POCC_OPT_TRASH 11
00055 # define POCC_OPT_VERBOSE 12
00056 # define POCC_OPT_QUIET 13
00057
00058 # define POCC_OPT_LETSEE 14
00059 # define POCC_OPT_LETSEE_SEARCHSPACE 15
00060 # define POCC_OPT_LETSEE_TRAVERSAL 16
00061 # define POCC_OPT_LETSEE_DRY_RUN 17
00062 # define POCC_OPT_LETSEE_NORMSPACE 18
00063 # define POCC_OPT_LETSEE_BOUNDS 19
00064 # define POCC_OPT_LETSEE_SCHEME_M1 20
00065 # define POCC_OPT_LETSEE_RTRIES 21
00066 # define POCC_OPT_LETSEE_PRUNE_PRECUT 22
00067 # define POCC_OPT_LETSEE_BACKTRACK_MULTI 23
00068
00069 # define POCC_OPT_PLUTO 24
00070 # define POCC_OPT_PLUTO_PARALLEL 25
00071 # define POCC_OPT_PLUTO_TILE 26
00072 # define POCC_OPT_PLUTO_L2TILE 27
00073 # define POCC_OPT_PLUTO_FUSE 28
00074 # define POCC_OPT_PLUTO_UNROLL 29
00075 # define POCC_OPT_PLUTO_UFACTOR 30
00076 # define POCC_OPT_PLUTO_POLYUNROLL 31
00077 # define POCC_OPT_PLUTO_PREVECTOR 32
00078 # define POCC_OPT_PLUTO_MULTIPIPE 33
00079 # define POCC_OPT_PLUTO_RAR 34
00080 # define POCC_OPT_PLUTO_RAR_CF 35
00081 # define POCC_OPT_PLUTO_LASTWRITER 36
00082 # define POCC_OPT_PLUTO_SCALPRIV 37
00083 # define POCC_OPT_PLUTO_BEE 38
00084 # define POCC_OPT_PLUTO_QUIET 39
00085 # define POCC_OPT_PLUTO_FT 40
00086 # define POCC_OPT_PLUTO_LT 41
00087 # define POCC_OPT_PLUTO_EXTERNAL_CANDL 42
00088 # define POCC_OPT_PLUTO_TILING_IN_SCATT 43
00089 # define POCC_OPT_PLUTO_BOUND_COEF 44
00090
00091 # define POCC_OPT_NOCODEGEN 45
00092 # define POCC_OPT_CLOOG_F 46
00093 # define POCC_OPT_CLOOG_L 47
00094 # define POCC_OPT_PRAGMATIZER 48
00095
00096 # define POCC_OPT_CODEGEN_TIMERCODE 49
00097 # define POCC_OPT_CODEGEN_TIMER_ASM 50
00098 # define POCC_OPT_CODEGEN_TIMER_PAPI 51
00099 # define POCC_OPT_COMPILE 52
00100 # define POCC_OPT_COMPILE_CMD 53
00101 # define POCC_OPT_RUN_CMD_ARGS 54
00102 # define POCC_OPT_PROGRAM_TIMEOUT 55
00103
00104
00105 BEGIN_C_DECLS
00106
00107 extern
00108 int
00109 pocc_getopts(s_pocc_options_t* options, int argc, char** argv);
00110
00111 END_C_DECLS
00112
00113 #endif // POCC_SRC_OPTIONS_H