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 71