isl_aff_private.h

   1 #ifndef ISL_AFF_PRIVATE_H
   2 #define ISL_AFF_PRIVATE_H
   3
   4 #include <isl/aff.h>
   5 #include <isl/vec.h>
   6 #include <isl/mat.h>
   7 #include <isl/local_space.h>
   8 #include <isl_reordering.h>
   9
  10 /* ls represents the domain space.
  11  */
  12 struct isl_aff {
  13         int ref;
  14
  15         isl_local_space *ls;
  16         isl_vec         *v;
  17 };
  18
  19 #undef EL
  20 #define EL isl_aff
  21
  22 #include <isl_list_templ.h>
  23
  24 struct isl_pw_aff_piece {
  25         struct isl_set *set;
  26         struct isl_aff *aff;
  27 };
  28
  29 struct isl_pw_aff {
  30         int ref;
  31
  32         isl_space *dim;
  33
  34         int n;
  35
  36         size_t size;
  37         struct isl_pw_aff_piece p[1];
  38 };
  39
  40 #undef EL
  41 #define EL isl_pw_aff
  42
  43 #include <isl_list_templ.h>
  44
  45 struct isl_pw_multi_aff_piece {
  46         isl_set *set;
  47         isl_multi_aff *maff;
  48 };
  49
  50 struct isl_pw_multi_aff {
  51         int ref;
  52
  53         isl_space *dim;
  54
  55         int n;
  56
  57         size_t size;
  58         struct isl_pw_multi_aff_piece p[1];
  59 };
  60
  61 __isl_give isl_aff *isl_aff_alloc(__isl_take isl_local_space *ls);
  62
  63 __isl_give isl_aff *isl_aff_reset_space_and_domain(__isl_take isl_aff *aff,
  64         __isl_take isl_space *space, __isl_take isl_space *domain);
  65 __isl_give isl_aff *isl_aff_reset_domain_space(__isl_take isl_aff *aff,
  66         __isl_take isl_space *dim);
  67 __isl_give isl_aff *isl_aff_realign_domain(__isl_take isl_aff *aff,
  68         __isl_take isl_reordering *r);
  69
  70 int isl_aff_get_constant(__isl_keep isl_aff *aff, isl_int *v);
  71 __isl_give isl_aff *isl_aff_set_constant(__isl_take isl_aff *aff, isl_int v);
  72 __isl_give isl_aff *isl_aff_set_coefficient(__isl_take isl_aff *aff,
  73         enum isl_dim_type type, int pos, isl_int v);
  74 __isl_give isl_aff *isl_aff_add_constant(__isl_take isl_aff *aff, isl_int v);
  75
  76 __isl_give isl_aff *isl_aff_normalize(__isl_take isl_aff *aff);
  77
  78 __isl_give isl_aff *isl_aff_expand_divs( __isl_take isl_aff *aff,
  79         __isl_take isl_mat *div, int *exp);
  80
  81 __isl_give isl_pw_aff *isl_pw_aff_alloc_size(__isl_take isl_space *space,
  82         int n);
  83 __isl_give isl_pw_aff *isl_pw_aff_reset_space(__isl_take isl_pw_aff *pwaff,
  84         __isl_take isl_space *dim);
  85 __isl_give isl_pw_aff *isl_pw_aff_reset_domain_space(
  86         __isl_take isl_pw_aff *pwaff, __isl_take isl_space *space);
  87 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
  88         __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
  89
  90 __isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
  91         __isl_take isl_pw_aff *pwaff2, int max);
  92
  93 __isl_give isl_pw_aff *isl_pw_aff_set_rational(__isl_take isl_pw_aff *pwaff);
  94 __isl_give isl_pw_aff_list *isl_pw_aff_list_set_rational(
  95         __isl_take isl_pw_aff_list *list);
  96
  97 __isl_give isl_pw_aff *isl_pw_aff_scale(__isl_take isl_pw_aff *pwaff,
  98         isl_int f);
  99 __isl_give isl_pw_aff *isl_pw_aff_scale_down(__isl_take isl_pw_aff *pwaff,
 100         isl_int f);
 101
 102 int isl_aff_matching_params(__isl_keep isl_aff *aff,
 103         __isl_keep isl_space *space);
 104 int isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
 105         __isl_keep isl_space *space);
 106
 107 #undef BASE
 108 #define BASE aff
 109
 110 #include <isl_multi_templ.h>
 111
 112 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
 113
 114 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
 115         __isl_take isl_multi_aff *maff);
 116
 117 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space(
 118         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 119 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space(
 120         __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space);
 121 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_add_disjoint(
 122         __isl_take isl_pw_multi_aff *pma1, __isl_take isl_pw_multi_aff *pma2);
 123
 124 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_project_out(
 125         __isl_take isl_pw_multi_aff *pma,
 126         enum isl_dim_type type, unsigned first, unsigned n);
 127
 128 void isl_seq_substitute(isl_int *p, int pos, isl_int *subs,
 129         int p_len, int subs_len, isl_int v);
 130 void isl_seq_preimage(isl_int *dst, isl_int *src,
 131         __isl_keep isl_multi_aff *ma, int n_before, int n_after,
 132         int n_div_ma, int n_div_bmap,
 133         isl_int f, isl_int c1, isl_int c2, isl_int g, int has_denom);
 134
 135 __isl_give isl_pw_multi_aff *isl_pw_multi_aff_substitute(
 136         __isl_take isl_pw_multi_aff *pma, enum isl_dim_type type, unsigned pos,
 137         __isl_keep isl_pw_aff *subs);
 138
 139 int isl_pw_aff_matching_params(__isl_keep isl_pw_aff *pa,
 140         __isl_keep isl_space *space);
 141 int isl_pw_aff_check_match_domain_space(__isl_keep isl_pw_aff *pa,
 142         __isl_keep isl_space *space);
 143
 144 #undef BASE
 145 #define BASE pw_aff
 146
 147 #include <isl_multi_templ.h>
 148
 149 #endif