X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_mat.c;h=97249003ee327b1320ddb954a3cf582b22ccdcdb;hb=dbb61f82cfb84f18d8df5d2aa114fd114d559d39;hp=7a007345124aff0f5b80d27df022152cb4e4eb6d;hpb=983f2ad50374267f43d80bcc07226e34652a14a2;p=platform%2Fupstream%2Fisl.git diff --git a/isl_mat.c b/isl_mat.c index 7a00734..9724900 100644 --- a/isl_mat.c +++ b/isl_mat.c @@ -8,11 +8,16 @@ */ #include -#include +#include #include #include #include "isl_map_private.h" -#include +#include + +isl_ctx *isl_mat_get_ctx(__isl_keep isl_mat *mat) +{ + return mat ? mat->ctx : NULL; +} struct isl_mat *isl_mat_alloc(struct isl_ctx *ctx, unsigned n_row, unsigned n_col) @@ -276,7 +281,7 @@ error: return NULL; } -struct isl_mat *isl_mat_identity(struct isl_ctx *ctx, unsigned n_row) +__isl_give isl_mat *isl_mat_diag(isl_ctx *ctx, unsigned n_row, isl_int d) { int i; struct isl_mat *mat; @@ -286,13 +291,20 @@ struct isl_mat *isl_mat_identity(struct isl_ctx *ctx, unsigned n_row) return NULL; for (i = 0; i < n_row; ++i) { isl_seq_clr(mat->row[i], i); - isl_int_set_si(mat->row[i][i], 1); + isl_int_set(mat->row[i][i], d); isl_seq_clr(mat->row[i]+i+1, n_row-(i+1)); } return mat; } +__isl_give isl_mat *isl_mat_identity(isl_ctx *ctx, unsigned n_row) +{ + if (!ctx) + return NULL; + return isl_mat_diag(ctx, n_row, ctx->one); +} + struct isl_vec *isl_mat_vec_product(struct isl_mat *mat, struct isl_vec *vec) { int i; @@ -1059,7 +1071,7 @@ struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, if (!bset) goto error; } else if (mat->n_col < mat->n_row) { - bset->dim = isl_dim_cow(bset->dim); + bset->dim = isl_space_cow(bset->dim); if (!bset->dim) goto error; bset->dim->n_out -= mat->n_row - mat->n_col; @@ -1110,7 +1122,7 @@ struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat) goto error; } if (mat->n_col != mat->n_row) { - set->dim = isl_dim_cow(set->dim); + set->dim = isl_space_cow(set->dim); if (!set->dim) goto error; set->dim->n_out += mat->n_col; @@ -1192,7 +1204,7 @@ error: return NULL; } -void isl_mat_dump(struct isl_mat *mat, FILE *out, int indent) +void isl_mat_print_internal(__isl_keep isl_mat *mat, FILE *out, int indent) { int i, j; @@ -1221,6 +1233,11 @@ void isl_mat_dump(struct isl_mat *mat, FILE *out, int indent) } } +void isl_mat_dump(__isl_keep isl_mat *mat) +{ + isl_mat_print_internal(mat, stderr, 0); +} + struct isl_mat *isl_mat_drop_cols(struct isl_mat *mat, unsigned col, unsigned n) { int r; @@ -1336,6 +1353,29 @@ __isl_give isl_mat *isl_mat_add_rows(__isl_take isl_mat *mat, unsigned n) return isl_mat_insert_rows(mat, mat->n_row, n); } +__isl_give isl_mat *isl_mat_insert_zero_rows(__isl_take isl_mat *mat, + unsigned row, unsigned n) +{ + int i; + + mat = isl_mat_insert_rows(mat, row, n); + if (!mat) + return NULL; + + for (i = 0; i < n; ++i) + isl_seq_clr(mat->row[row + i], mat->n_col); + + return mat; +} + +__isl_give isl_mat *isl_mat_add_zero_rows(__isl_take isl_mat *mat, unsigned n) +{ + if (!mat) + return NULL; + + return isl_mat_insert_zero_rows(mat, mat->n_row, n); +} + void isl_mat_col_submul(struct isl_mat *mat, int dst_col, isl_int f, int src_col) { @@ -1536,6 +1576,10 @@ __isl_give isl_mat *isl_mat_scale_down(__isl_take isl_mat *mat, isl_int m) { int i; + if (isl_int_is_one(m)) + return mat; + + mat = isl_mat_cow(mat); if (!mat) return NULL; @@ -1560,6 +1604,17 @@ __isl_give isl_mat *isl_mat_normalize(__isl_take isl_mat *mat) return mat; } +__isl_give isl_mat *isl_mat_normalize_row(__isl_take isl_mat *mat, int row) +{ + mat = isl_mat_cow(mat); + if (!mat) + return NULL; + + isl_seq_normalize(mat->ctx, mat->row[row], mat->n_col); + + return mat; +} + /* Number of initial non-zero columns. */ int isl_mat_initial_non_zero_cols(__isl_keep isl_mat *mat)