isl_mat_private.h

   1 #ifndef ISL_MAT_PRIVATE_H
   2 #define ISL_MAT_PRIVATE_H
   3
   4 #include <isl/mat.h>
   5 #include <isl_blk.h>
   6
   7 struct isl_mat {
   8         int ref;
   9
  10         struct isl_ctx *ctx;
  11
  12 #define ISL_MAT_BORROWED                (1 << 0)
  13         unsigned flags;
  14
  15         unsigned n_row;
  16         unsigned n_col;
  17
  18         isl_int **row;
  19
  20         /* actual size of the rows in memory; n_col <= max_col */
  21         unsigned max_col;
  22
  23         struct isl_blk block;
  24 };
  25
  26 uint32_t isl_mat_get_hash(__isl_keep isl_mat *mat);
  27
  28 __isl_give isl_mat *isl_mat_zero(isl_ctx *ctx, unsigned n_row, unsigned n_col);
  29 __isl_give isl_mat *isl_mat_dup(__isl_keep isl_mat *mat);
  30 __isl_give isl_mat *isl_mat_cow(__isl_take isl_mat *mat);
  31 __isl_give isl_mat *isl_mat_sub_alloc(__isl_keep isl_mat *mat,
  32         unsigned first_row, unsigned n_row, unsigned first_col, unsigned n_col);
  33 __isl_give isl_mat *isl_mat_sub_alloc6(isl_ctx *ctx, isl_int **row,
  34         unsigned first_row, unsigned n_row, unsigned first_col, unsigned n_col);
  35 void isl_mat_sub_copy(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  36         unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
  37 void isl_mat_sub_neg(struct isl_ctx *ctx, isl_int **dst, isl_int **src,
  38         unsigned n_row, unsigned dst_col, unsigned src_col, unsigned n_col);
  39 isl_stat isl_mat_sub_transform(isl_int **row, unsigned n_row,
  40         unsigned first_col, __isl_take isl_mat *mat);
  41 __isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d);
  42
  43 __isl_give isl_mat *isl_mat_reverse_gauss(__isl_take isl_mat *mat);
  44
  45 __isl_give isl_mat *isl_mat_scale(__isl_take isl_mat *mat, isl_int m);
  46 __isl_give isl_mat *isl_mat_scale_down_row(__isl_take isl_mat *mat, int row,
  47         isl_int m);
  48
  49 __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row);
  50
  51 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat);
  52
  53 isl_bool isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
  54
  55 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
  56
  57 void isl_mat_col_mul(__isl_keep isl_mat *mat, int dst_col, isl_int f,
  58         int src_col);
  59 void isl_mat_col_submul(__isl_keep isl_mat *mat,
  60                         int dst_col, isl_int f, int src_col);
  61 __isl_give isl_mat *isl_mat_col_addmul(__isl_take isl_mat *mat, int dst_col,
  62         isl_int f, int src_col);
  63 __isl_give isl_mat *isl_mat_col_neg(__isl_take isl_mat *mat, int col);
  64 __isl_give isl_mat *isl_mat_row_neg(__isl_take isl_mat *mat, int row);
  65
  66 int isl_mat_get_element(__isl_keep isl_mat *mat, int row, int col, isl_int *v);
  67 __isl_give isl_mat *isl_mat_set_element(__isl_take isl_mat *mat,
  68         int row, int col, isl_int v);
  69
  70 #endif