71 lines · c
1#ifndef ISL_MAT_PRIVATE_H2#define ISL_MAT_PRIVATE_H3 4#include <isl/mat.h>5#include <isl_blk.h>6 7struct 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 26uint32_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);35void 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);37void 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);39isl_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 53isl_bool isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);54 55isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);56 57void isl_mat_col_mul(__isl_keep isl_mat *mat, int dst_col, isl_int f,58 int src_col);59void 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 66int 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#endif71