isl_mat_private.h

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