summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 527c37a)
rawpatchinlineside by side (parent: 527c37a)
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 18 Feb 2019 22:03:49 +0000 (18 23:03 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 18 Feb 2019 22:17:33 +0000 (18 23:17 +0100) |
These changes were missing from the previous commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| bound.c | patchblobblamehistory | |
| closure.c | patchblobblamehistory | |
| isl_bernstein.c | patchblobblamehistory | |
| isl_transitive_closure.c | patchblobblamehistory |
--- a/bound.c
+++ b/bound.c
isl_stream *s;
struct isl_obj obj;
struct bound_options *options;
- int exact;
+ isl_bool exact;
int r = 0;
options = bound_options_new_with_defaults();
diff --git a/closure.c b/closure.c
--- a/closure.c
+++ b/closure.c
struct isl_map *map;
struct isl_options *options;
isl_printer *p;
- int exact;
+ isl_bool exact;
options = isl_options_new_with_defaults();
assert(options);
diff --git a/isl_bernstein.c b/isl_bernstein.c
--- a/isl_bernstein.c
+++ b/isl_bernstein.c
*/
static __isl_give isl_pw_qpolynomial_fold *bernstein_coefficients_base(
__isl_take isl_basic_set *bset,
- __isl_take isl_qpolynomial *poly, struct bernstein_data *data, int *tight)
+ __isl_take isl_qpolynomial *poly, struct bernstein_data *data,
+ isl_bool *tight)
{
isl_size nvar;
isl_space *space;
fold = isl_qpolynomial_fold_alloc(data->type, poly);
dom = isl_set_from_basic_set(bset);
if (tight)
- *tight = 1;
+ *tight = isl_bool_true;
pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, fold);
return isl_pw_qpolynomial_fold_project_domain_on_params(pwf);
}
dom = isl_set_from_basic_set(bset);
pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, fold);
if (tight)
- *tight = 1;
+ *tight = isl_bool_true;
return isl_pw_qpolynomial_fold_project_domain_on_params(pwf);
}
static __isl_give isl_pw_qpolynomial_fold *bernstein_coefficients_full_recursive(
__isl_take isl_basic_set *bset,
- __isl_take isl_qpolynomial *poly, struct bernstein_data *data, int *tight)
+ __isl_take isl_qpolynomial *poly, struct bernstein_data *data,
+ isl_bool *tight)
{
int i;
int *len;
isl_pw_qpolynomial_fold *pwf;
isl_size nvar;
isl_bool tight = isl_bool_false;
- int *tp = bound->check_tight ? &tight : NULL;
+ isl_bool *tp = bound->check_tight ? &tight : NULL;
nvar = isl_basic_set_dim(bset, isl_dim_set);
if (nvar < 0 || !poly)
--- a/isl_transitive_closure.c
+++ b/isl_transitive_closure.c
for (i = 0; i < map->n; ++i) {
isl_map *qc;
- int exact_i;
+ isl_bool exact_i;
isl_bool spurious;
int j;
dom[i] = isl_set_from_basic_set(isl_basic_map_domain(