summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: 2873ce7)
isl_mat_is_scaled_identity: return isl_bool
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 14 Aug 2018 14:16:23 +0000 (14 16:16 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 14:19:04 +0000 (2 16:19 +0200)
This clarifies what the possible return values are.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_mat.c patch | blob | blame | history
isl_mat_private.h patch | blob | blame | history
isl_morph.c patch | blob | blame | history

diff --git a/isl_mat.c b/isl_mat.c
index f28cc24..bc20a16 100644 (file)
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -423,26 +423,26 @@ __isl_give isl_mat *isl_mat_identity(isl_ctx *ctx, unsigned n_row)
 
 /* Is "mat" a (possibly scaled) identity matrix?
  */
-int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat)
+isl_bool isl_mat_is_scaled_identity(__isl_keep isl_mat *mat)
 {
        int i;
 
        if (!mat)
-               return -1;
+               return isl_bool_error;
        if (mat->n_row != mat->n_col)
-               return 0;
+               return isl_bool_false;
 
        for (i = 0; i < mat->n_row; ++i) {
                if (isl_seq_first_non_zero(mat->row[i], i) != -1)
-                       return 0;
+                       return isl_bool_false;
                if (isl_int_ne(mat->row[0][0], mat->row[i][i]))
-                       return 0;
+                       return isl_bool_false;
                if (isl_seq_first_non_zero(mat->row[i] + i + 1,
                                            mat->n_col - (i + 1)) != -1)
-                       return 0;
+                       return isl_bool_false;
        }
 
-       return 1;
+       return isl_bool_true;
 }
 
 __isl_give isl_vec *isl_mat_vec_product(__isl_take isl_mat *mat,
diff --git a/isl_mat_private.h b/isl_mat_private.h
index 1a3f69e..42df96c 100644 (file)
--- a/isl_mat_private.h
+++ b/isl_mat_private.h
@@ -47,7 +47,7 @@ __isl_give isl_vec *isl_mat_get_row(__isl_keep isl_mat *mat, unsigned row);
 
 __isl_give isl_mat *isl_mat_lexnonneg_rows(__isl_take isl_mat *mat);
 
-int isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
+isl_bool isl_mat_is_scaled_identity(__isl_keep isl_mat *mat);
 
 isl_stat isl_mat_row_gcd(__isl_keep isl_mat *mat, int row, isl_int *gcd);
 
diff --git a/isl_morph.c b/isl_morph.c
index 35c614a..c989ba6 100644 (file)
--- a/isl_morph.c
+++ b/isl_morph.c
@@ -105,7 +105,7 @@ __isl_null isl_morph *isl_morph_free(__isl_take isl_morph *morph)
  */
 static int identity_on_parameters(__isl_keep isl_morph *morph)
 {
-       int is_identity;
+       isl_bool is_identity;
        unsigned nparam;
        isl_mat *sub;
 
Integer set library