isl_options_private.h

   1 #ifndef ISL_OPTIONS_PRIVATE_H
   2 #define ISL_OPTIONS_PRIVATE_H
   3
   4 #include <isl/options.h>
   5
   6 struct isl_options {
   7         #define                 ISL_LP_TAB      0
   8         #define                 ISL_LP_PIP      1
   9         unsigned                lp_solver;
  10
  11         #define                 ISL_ILP_GBR     0
  12         #define                 ISL_ILP_PIP     1
  13         unsigned                ilp_solver;
  14
  15         #define                 ISL_PIP_TAB     0
  16         #define                 ISL_PIP_PIP     1
  17         unsigned                pip;
  18
  19         #define                 ISL_CONTEXT_GBR         0
  20         #define                 ISL_CONTEXT_LEXMIN      1
  21         unsigned                context;
  22
  23         #define                 ISL_GBR_NEVER   0
  24         #define                 ISL_GBR_ONCE    1
  25         #define                 ISL_GBR_ALWAYS  2
  26         unsigned                gbr;
  27         unsigned                gbr_only_first;
  28
  29         #define                 ISL_CLOSURE_ISL         0
  30         #define                 ISL_CLOSURE_BOX         1
  31         unsigned                closure;
  32
  33         int                     bound;
  34
  35         #define                 ISL_BERNSTEIN_FACTORS   1
  36         #define                 ISL_BERNSTEIN_INTERVALS 2
  37         int                     bernstein_recurse;
  38
  39         int                     bernstein_triangulate;
  40
  41         int                     pip_symmetry;
  42
  43         #define                 ISL_CONVEX_HULL_WRAP    0
  44         #define                 ISL_CONVEX_HULL_FM      1
  45         int                     convex;
  46
  47         int                     schedule_parametric;
  48         int                     schedule_outer_zero_distance;
  49         int                     schedule_maximize_band_depth;
  50         int                     schedule_split_parallel;
  51 };
  52
  53 #endif