Lines Matching refs:bset
123 __isl_take isl_basic_set *bset, isl_int **line) in isl_basic_set_constraint() argument
125 return isl_basic_map_constraint(bset_to_bmap(bset), line); in isl_basic_set_constraint()
201 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset) in isl_basic_set_n_constraint() argument
203 return isl_basic_map_n_constraint(bset); in isl_basic_set_n_constraint()
239 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, in isl_basic_set_foreach_constraint() argument
242 return isl_basic_map_foreach_constraint(bset_to_bmap(bset), fn, user); in isl_basic_set_foreach_constraint()
300 __isl_keep isl_basic_set *bset) in isl_basic_set_get_constraint_list() argument
302 return isl_basic_map_get_constraint_list(bset); in isl_basic_set_get_constraint_list()
346 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint) in isl_basic_set_add_constraint() argument
348 return bset_from_bmap(isl_basic_map_add_constraint(bset_to_bmap(bset), in isl_basic_set_add_constraint()
814 __isl_keep isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_equality() argument
817 return isl_basic_map_has_defining_equality(bset_to_bmap(bset), in isl_basic_set_has_defining_equality()
822 struct isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_inequalities() argument
832 if (isl_basic_set_check_range(bset, type, pos, 1) < 0) in isl_basic_set_has_defining_inequalities()
834 offset = isl_basic_set_offset(bset, type); in isl_basic_set_has_defining_inequalities()
835 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_has_defining_inequalities()
839 for (i = 0; i < bset->n_ineq; ++i) { in isl_basic_set_has_defining_inequalities()
840 if (isl_int_is_zero(bset->ineq[i][offset + pos])) in isl_basic_set_has_defining_inequalities()
842 if (isl_int_is_one(bset->ineq[i][offset + pos])) in isl_basic_set_has_defining_inequalities()
844 if (isl_int_is_negone(bset->ineq[i][offset + pos])) in isl_basic_set_has_defining_inequalities()
846 if (isl_seq_first_non_zero(bset->ineq[i]+offset+pos+1, in isl_basic_set_has_defining_inequalities()
849 for (j = i + 1; j < bset->n_ineq; ++j) { in isl_basic_set_has_defining_inequalities()
850 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1, in isl_basic_set_has_defining_inequalities()
853 isl_int_add(m, bset->ineq[i][0], bset->ineq[j][0]); in isl_basic_set_has_defining_inequalities()
854 if (isl_int_abs_ge(m, bset->ineq[i][offset+pos])) in isl_basic_set_has_defining_inequalities()
857 if (isl_int_is_pos(bset->ineq[i][offset+pos])) { in isl_basic_set_has_defining_inequalities()
858 lower_line = &bset->ineq[i]; in isl_basic_set_has_defining_inequalities()
859 upper_line = &bset->ineq[j]; in isl_basic_set_has_defining_inequalities()
861 lower_line = &bset->ineq[j]; in isl_basic_set_has_defining_inequalities()
862 upper_line = &bset->ineq[i]; in isl_basic_set_has_defining_inequalities()
865 isl_basic_set_copy(bset), lower_line); in isl_basic_set_has_defining_inequalities()
867 isl_basic_set_copy(bset), upper_line); in isl_basic_set_has_defining_inequalities()
888 __isl_take isl_basic_set *bset, isl_int *a, isl_int *b, in add_larger_bound_constraint() argument
895 total = isl_basic_set_dim(bset, isl_dim_all); in add_larger_bound_constraint()
897 return isl_basic_set_free(bset); in add_larger_bound_constraint()
898 k = isl_basic_set_alloc_inequality(bset); in add_larger_bound_constraint()
905 isl_seq_combine(bset->ineq[k], t, a, a[1 + abs_pos], b, 1 + abs_pos); in add_larger_bound_constraint()
906 isl_seq_combine(bset->ineq[k] + 1 + abs_pos, in add_larger_bound_constraint()
911 isl_int_sub_ui(bset->ineq[k][0], bset->ineq[k][0], 1); in add_larger_bound_constraint()
915 return bset; in add_larger_bound_constraint()
917 isl_basic_set_free(bset); in add_larger_bound_constraint()
927 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_upper, int u) in set_smallest_upper_bound() argument
936 for (j = 0; j < bset->n_ineq; ++j) { in set_smallest_upper_bound()
939 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos])) in set_smallest_upper_bound()
942 bset->ineq[j], bset->ineq[u], abs_pos, j > u); in set_smallest_upper_bound()
957 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_lower, int l) in set_largest_lower_bound() argument
966 for (j = 0; j < bset->n_ineq; ++j) { in set_largest_lower_bound()
969 if (!isl_int_is_pos(bset->ineq[j][1 + abs_pos])) in set_largest_lower_bound()
972 bset->ineq[l], bset->ineq[j], abs_pos, j > l); in set_largest_lower_bound()
981 static isl_stat foreach_upper_bound(__isl_keep isl_basic_set *bset, in foreach_upper_bound() argument
986 __isl_take isl_basic_set *bset, void *user), void *user) in foreach_upper_bound() argument
992 for (i = 0; i < bset->n_ineq; ++i) { in foreach_upper_bound()
993 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos])) in foreach_upper_bound()
996 context_i = set_smallest_upper_bound(context, bset, in foreach_upper_bound()
1002 upper = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_upper_bound()
1003 &bset->ineq[i]); in foreach_upper_bound()
1012 if (i < bset->n_ineq) in foreach_upper_bound()
1023 static isl_stat foreach_lower_bound(__isl_keep isl_basic_set *bset, in foreach_lower_bound() argument
1028 __isl_take isl_basic_set *bset, void *user), void *user) in foreach_lower_bound() argument
1034 for (i = 0; i < bset->n_ineq; ++i) { in foreach_lower_bound()
1035 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos])) in foreach_lower_bound()
1038 context_i = set_largest_lower_bound(context, bset, in foreach_lower_bound()
1044 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_lower_bound()
1045 &bset->ineq[i]); in foreach_lower_bound()
1054 if (i < bset->n_ineq) in foreach_lower_bound()
1065 static isl_stat foreach_bound_pair(__isl_keep isl_basic_set *bset, in foreach_bound_pair() argument
1070 __isl_take isl_basic_set *bset, void *user), void *user) in foreach_bound_pair() argument
1077 for (i = 0; i < bset->n_ineq; ++i) { in foreach_bound_pair()
1078 if (!isl_int_is_pos(bset->ineq[i][1 + abs_pos])) in foreach_bound_pair()
1081 context_i = set_largest_lower_bound(context, bset, in foreach_bound_pair()
1088 for (j = 0; j < bset->n_ineq; ++j) { in foreach_bound_pair()
1089 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos])) in foreach_bound_pair()
1092 context_j = set_smallest_upper_bound(context_i, bset, in foreach_bound_pair()
1097 bset->ineq[i], bset->ineq[j], abs_pos, 0); in foreach_bound_pair()
1104 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_bound_pair()
1105 &bset->ineq[i]); in foreach_bound_pair()
1106 upper = isl_basic_set_constraint(isl_basic_set_copy(bset), in foreach_bound_pair()
1107 &bset->ineq[j]); in foreach_bound_pair()
1116 if (j < bset->n_ineq) in foreach_bound_pair()
1122 if (i < bset->n_ineq) in foreach_bound_pair()
1151 isl_stat isl_basic_set_foreach_bound_pair(__isl_keep isl_basic_set *bset, in isl_basic_set_foreach_bound_pair() argument
1155 __isl_take isl_basic_set *bset, void *user), void *user) in isl_basic_set_foreach_bound_pair() argument
1165 if (isl_basic_set_check_range(bset, type, pos, 1) < 0) in isl_basic_set_foreach_bound_pair()
1167 isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set, in isl_basic_set_foreach_bound_pair()
1170 off = isl_basic_set_var_offset(bset, type); in isl_basic_set_foreach_bound_pair()
1175 for (i = 0; i < bset->n_eq; ++i) { in isl_basic_set_foreach_bound_pair()
1176 if (isl_int_is_zero(bset->eq[i][1 + abs_pos])) in isl_basic_set_foreach_bound_pair()
1179 lower = isl_basic_set_constraint(isl_basic_set_copy(bset), in isl_basic_set_foreach_bound_pair()
1180 &bset->eq[i]); in isl_basic_set_foreach_bound_pair()
1182 context = isl_basic_set_remove_dims(isl_basic_set_copy(bset), in isl_basic_set_foreach_bound_pair()
1191 for (i = 0; i < bset->n_ineq; ++i) { in isl_basic_set_foreach_bound_pair()
1192 if (isl_int_is_pos(bset->ineq[i][1 + abs_pos])) in isl_basic_set_foreach_bound_pair()
1194 else if (isl_int_is_neg(bset->ineq[i][1 + abs_pos])) in isl_basic_set_foreach_bound_pair()
1198 context = isl_basic_set_copy(bset); in isl_basic_set_foreach_bound_pair()
1210 return foreach_upper_bound(bset, type, abs_pos, context, n_upper, in isl_basic_set_foreach_bound_pair()
1213 return foreach_lower_bound(bset, type, abs_pos, context, n_lower, in isl_basic_set_foreach_bound_pair()
1215 return foreach_bound_pair(bset, type, abs_pos, context, n_lower, n_upper, in isl_basic_set_foreach_bound_pair()