1242 	bmap->ineq = isl_alloc_array(ctx, isl_int *, n_ineq + n_eq);  in basic_map_init()
1243 	if ((n_ineq + n_eq) && !bmap->ineq)  in basic_map_init()
1260 		bmap->ineq[i] = bmap->block.data + i * row_size;  in basic_map_init()
1268 	bmap->eq = bmap->ineq + n_ineq;  in basic_map_init()
1363 		isl_seq_cpy(dst->ineq[j], src->ineq[i], 1+total);  in dup_constraints()
1456 	free(bmap->ineq);  in isl_basic_map_free()
1583 	isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,  in isl_basic_map_alloc_equality()
1589 	if ((bmap->eq - bmap->ineq) + bmap->n_eq == bmap->c_size) {  in isl_basic_map_alloc_equality()
1594 		t = bmap->ineq[j];  in isl_basic_map_alloc_equality()
1595 		bmap->ineq[j] = bmap->ineq[bmap->n_ineq - 1];  in isl_basic_map_alloc_equality()
1596 		bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];  in isl_basic_map_alloc_equality()
1666 	t = bmap->ineq[pos];  in isl_basic_map_inequality_to_equality()
1667 	bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];  in isl_basic_map_inequality_to_equality()
1668 	bmap->ineq[bmap->n_ineq - 1] = bmap->eq[-1];  in isl_basic_map_inequality_to_equality()
1681 	return bmap->n_ineq + n <= bmap->eq - bmap->ineq;  in room_for_ineq()
1698 	isl_seq_clr(bmap->ineq[bmap->n_ineq] + 1 + total,  in isl_basic_map_alloc_inequality()
1736 		t = bmap->ineq[pos];  in isl_basic_map_drop_inequality()
1737 		bmap->ineq[pos] = bmap->ineq[bmap->n_ineq - 1];  in isl_basic_map_drop_inequality()
1738 		bmap->ineq[bmap->n_ineq - 1] = t;  in isl_basic_map_drop_inequality()
1785 	isl_int *ineq)  in isl_basic_map_add_ineq()  argument
1798 	isl_seq_cpy(bmap->ineq[k], ineq, 1 + total);  in isl_basic_map_add_ineq()
1806 	isl_int *ineq)  in isl_basic_set_add_ineq()  argument
1808 	return bset_from_bmap(isl_basic_map_add_ineq(bset_to_bmap(bset), ineq));  in isl_basic_set_add_ineq()
2084 			  bmap->ineq[i] + pos, n1, n2);  in isl_basic_map_swap_vars()
2248 		isl_int_swap(bmap->ineq[i][1+off+a], bmap->ineq[i][1+off+b]);  in isl_basic_map_swap_div()
2348 		constraint_drop_vars(bmap->ineq[i]+offset, n, left);  in isl_basic_map_drop_core()
2662 			isl_int_sub(v, bmap->ineq[i][1 + j],  in insert_bounds_on_div_from_ineq()
2667 			isl_int_add(v, bmap->ineq[i][1 + j],  in insert_bounds_on_div_from_ineq()
2682 			isl_int_sub(bmap->ineq[k][j], bmap->ineq[i][j],  in insert_bounds_on_div_from_ineq()
2684 			isl_int_cdiv_q(bmap->ineq[k][j],  in insert_bounds_on_div_from_ineq()
2685 					bmap->ineq[k][j], bmap->div[div][0]);  in insert_bounds_on_div_from_ineq()
2687 		isl_int_set_si(bmap->ineq[k][1 + total + div], 1);  in insert_bounds_on_div_from_ineq()
2694 			isl_int_add(bmap->ineq[k][j], bmap->ineq[i][j],  in insert_bounds_on_div_from_ineq()
2696 			isl_int_fdiv_q(bmap->ineq[k][j],  in insert_bounds_on_div_from_ineq()
2697 					bmap->ineq[k][j], bmap->div[div][0]);  in insert_bounds_on_div_from_ineq()
2699 		isl_int_set_si(bmap->ineq[k][1 + total + div], -1);  in insert_bounds_on_div_from_ineq()
2774 		int s = isl_int_sgn(bmap->ineq[i][1 + v_div + div]);  in insert_bounds_on_div()
2787 		if (!isl_int_is_zero(bmap->ineq[i][1 + v_div + div]))  in insert_bounds_on_div()
2889 		if (isl_seq_first_non_zero(bmap->ineq[i] + first, n) >= 0)  in isl_basic_map_involves_dims()
2989 		if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + first, n) == -1)  in isl_basic_map_drop_constraints_involving()
3039 		if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + first, n) != -1)  in isl_basic_map_drop_constraints_not_involving_dims()
3367 	isl_seq_neg(bmap->ineq[pos], bmap->ineq[pos], 1 + total);  in isl_inequality_negate()
3368 	isl_int_sub_ui(bmap->ineq[pos][0], bmap->ineq[pos][0], 1);  in isl_inequality_negate()
3617 		isl_seq_inner_product(vec->el, bmap->ineq[i], 1 + total, &s);  in isl_basic_map_contains()
3741 							map2->p[0]->ineq[0]);  in map_intersect_add_constraint()
4882 			isl_int_neg(bmap->ineq[i][off+j], bmap->ineq[i][off+j]);  in isl_basic_map_neg()
4957 		isl_seq_clr(result->ineq[j], 1+total);  in isl_basic_map_floordiv()
4958 		isl_int_neg(result->ineq[j][1+nparam+n_in+i], d);  in isl_basic_map_floordiv()
4959 		isl_int_set_si(result->ineq[j][1+pos+i], 1);  in isl_basic_map_floordiv()
4963 		isl_seq_clr(result->ineq[j], 1+total);  in isl_basic_map_floordiv()
4964 		isl_int_set(result->ineq[j][1+nparam+n_in+i], d);  in isl_basic_map_floordiv()
4965 		isl_int_set_si(result->ineq[j][1+pos+i], -1);  in isl_basic_map_floordiv()
4966 		isl_int_sub_ui(result->ineq[j][0], d, 1);  in isl_basic_map_floordiv()
5064 	isl_seq_clr(bmap->ineq[i], 1 + total);  in var_less()
5065 	isl_int_set_si(bmap->ineq[i][0], -1);  in var_less()
5066 	isl_int_set_si(bmap->ineq[i][1+nparam+pos], -1);  in var_less()
5067 	isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], 1);  in var_less()
5092 	isl_seq_clr(bmap->ineq[i], 1 + total);  in var_less_or_equal()
5093 	isl_int_set_si(bmap->ineq[i][1+nparam+pos], -1);  in var_less_or_equal()
5094 	isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], 1);  in var_less_or_equal()
5119 	isl_seq_clr(bmap->ineq[i], 1 + total);  in var_more()
5120 	isl_int_set_si(bmap->ineq[i][0], -1);  in var_more()
5121 	isl_int_set_si(bmap->ineq[i][1+nparam+pos], 1);  in var_more()
5122 	isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], -1);  in var_more()
5147 	isl_seq_clr(bmap->ineq[i], 1 + total);  in var_more_or_equal()
5148 	isl_int_set_si(bmap->ineq[i][1+nparam+pos], 1);  in var_more_or_equal()
5149 	isl_int_set_si(bmap->ineq[i][1+nparam+n_in+pos], -1);  in var_more_or_equal()
5444 	isl_seq_cpy(bmap->ineq[i], bmap->div[div] + 1, 1 + v_div + n_div);  in add_upper_div_constraint()
5445 	isl_int_neg(bmap->ineq[i][1 + pos], bmap->div[div][0]);  in add_upper_div_constraint()
5469 	isl_seq_neg(bmap->ineq[i], bmap->div[div] + 1, 1 + v_div + n_div);  in add_lower_div_constraint()
5470 	isl_int_set(bmap->ineq[i][1 + pos], bmap->div[div][0]);  in add_lower_div_constraint()
5471 	isl_int_add(bmap->ineq[i][0], bmap->ineq[i][0], bmap->ineq[i][1 + pos]);  in add_lower_div_constraint()
5472 	isl_int_sub_ui(bmap->ineq[i][0], bmap->ineq[i][0], 1);  in add_lower_div_constraint()
6235 		isl_seq_clr(bmap->ineq[k], 1 + total);  in isl_basic_map_nat_universe()
6236 		isl_int_set_si(bmap->ineq[k][1 + i], 1);  in isl_basic_map_nat_universe()
6645 	isl_seq_clr(bmap->ineq[j], 1 + total);  in basic_map_bound_si()
6647 		isl_int_set_si(bmap->ineq[j][pos], -1);  in basic_map_bound_si()
6648 		isl_int_set_si(bmap->ineq[j][0], value);  in basic_map_bound_si()
6650 		isl_int_set_si(bmap->ineq[j][pos], 1);  in basic_map_bound_si()
6651 		isl_int_set_si(bmap->ineq[j][0], -value);  in basic_map_bound_si()
6743 	isl_seq_clr(bmap->ineq[j], 1 + total);  in basic_map_bound()
6745 		isl_int_set_si(bmap->ineq[j][pos], -1);  in basic_map_bound()
6746 		isl_int_set(bmap->ineq[j][0], value);  in basic_map_bound()
6748 		isl_int_set_si(bmap->ineq[j][pos], 1);  in basic_map_bound()
6749 		isl_int_neg(bmap->ineq[j][0], value);  in basic_map_bound()
8765 		isl_seq_clr(bset->ineq[k], 1 + total);  in isl_basic_set_positive_orthant()
8766 		isl_int_set_si(bset->ineq[k][1 + nparam + i], 1);  in isl_basic_set_positive_orthant()
8790 	isl_seq_clr(nonneg->ineq[k], 1 + total);  in nonneg_halfspace()
8791 	isl_int_set_si(nonneg->ineq[k][pos], 1);  in nonneg_halfspace()
8815 	isl_seq_clr(neg->ineq[k], 1 + total);  in neg_halfspace()
8816 	isl_int_set_si(neg->ineq[k][0], -1);  in neg_halfspace()
8817 	isl_int_set_si(neg->ineq[k][pos], -1);  in neg_halfspace()
10135 	if (isl_sort(bmap->ineq, bmap->n_ineq, sizeof(isl_int *),  in isl_basic_map_sort_constraints()
10198 		cmp = isl_seq_cmp(bmap1->ineq[i], bmap2->ineq[i], 1+total);  in isl_basic_map_plain_cmp()
11019 		c_hash = isl_seq_get_hash(bmap->ineq[i], 1 + total);  in isl_basic_map_get_hash()
11272 		int sgn = isl_int_sgn(bmap->ineq[i][pos]);  in basic_map_dim_is_bounded()
11589 		if (!isl_int_abs_eq(bmap->ineq[i][o_out + pos], ctx->one))  in find_modulo_constraint_pair()
11591 		if (isl_seq_first_non_zero(bmap->ineq[i] + o_out + pos + 1,  in find_modulo_constraint_pair()
11594 		if (first_div_may_involve_output(bmap, bmap->ineq[i] + o_div,  in find_modulo_constraint_pair()
11598 			if (!isl_int_abs_eq(bmap->ineq[j][o_out + pos],  in find_modulo_constraint_pair()
11601 			if (!isl_seq_is_neg(bmap->ineq[i] + 1,  in find_modulo_constraint_pair()
11602 					    bmap->ineq[j] + 1, total))  in find_modulo_constraint_pair()
11608 		isl_int_add(bmap->ineq[i][0],  in find_modulo_constraint_pair()
11609 			    bmap->ineq[i][0], bmap->ineq[j][0]);  in find_modulo_constraint_pair()
11610 		less = isl_int_abs_lt(bmap->ineq[i][0], m);  in find_modulo_constraint_pair()
11611 		isl_int_sub(bmap->ineq[i][0],  in find_modulo_constraint_pair()
11612 			    bmap->ineq[i][0], bmap->ineq[j][0]);  in find_modulo_constraint_pair()
11615 		if (isl_int_is_one(bmap->ineq[i][o_out + pos]))  in find_modulo_constraint_pair()
11648 	int pos, int *div, int *ineq)  in isl_basic_map_output_defining_equality()  argument
11662 	if (ineq)  in isl_basic_map_output_defining_equality()
11663 		*ineq = bmap->n_ineq;  in isl_basic_map_output_defining_equality()
11690 		if (ineq)  in isl_basic_map_output_defining_equality()
11691 			*ineq = l;  in isl_basic_map_output_defining_equality()
11919 			if (isl_int_is_zero(bset->ineq[i][1 + ovar + j]))  in isl_basic_set_is_box()
11921 			if (!unique(bset->ineq[i] + 1 + ovar, j, nvar))  in isl_basic_set_is_box()
11923 			if (isl_int_is_pos(bset->ineq[i][1 + ovar + j]))  in isl_basic_set_is_box()
12762 					    bmap->ineq[i][off + k]);  in isl_basic_map_inequalities_matrix()
12772 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,  in isl_basic_map_from_constraint_matrices()  argument
12785 	if (dim < 0 || !eq || !ineq)  in isl_basic_map_from_constraint_matrices()
12788 	if (eq->n_col != ineq->n_col)  in isl_basic_map_from_constraint_matrices()
12802 				       eq->n_row, ineq->n_row);  in isl_basic_map_from_constraint_matrices()
12827 	for (i = 0; i < ineq->n_row; ++i) {  in isl_basic_map_from_constraint_matrices()
12837 				isl_int_set(bmap->ineq[l][off + k],   in isl_basic_map_from_constraint_matrices()
12838 					    ineq->row[i][pos]);  in isl_basic_map_from_constraint_matrices()
12846 	isl_mat_free(ineq);  in isl_basic_map_from_constraint_matrices()
12853 	isl_mat_free(ineq);  in isl_basic_map_from_constraint_matrices()
12876 	__isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1,  in isl_basic_set_from_constraint_matrices()  argument
12880 	bmap = isl_basic_map_from_constraint_matrices(space, eq, ineq,  in isl_basic_set_from_constraint_matrices()
13287 	isl_seq_clr(bmap->ineq[i], 1 + total);  in greator()
13290 	isl_int_set_si(bmap->ineq[i][pos1], 1);  in greator()
13291 	isl_int_set_si(bmap->ineq[i][pos2], -1);  in greator()
13292 	isl_int_set_si(bmap->ineq[i][0], -1);  in greator()
13437 		if (isl_int_is_zero(bset->ineq[i][pos]))  in isl_basic_set_substitute()
13439 		isl_int_set(v, bset->ineq[i][pos]);  in isl_basic_set_substitute()
13440 		isl_int_set_si(bset->ineq[i][pos], 0);  in isl_basic_set_substitute()
13441 		isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i],  in isl_basic_set_substitute()
13791 		if (isl_seq_preimage(res->ineq[k], bmap->ineq[i], ma, n_before,  in isl_basic_map_preimage_multi_aff()
14283 	__isl_keep isl_basic_set *bset, int ineq)  in is_internal()  argument
14293 	isl_seq_inner_product(inner->el, bset->ineq[ineq], inner->size,  in is_internal()
14301 	pos = isl_seq_first_non_zero(bset->ineq[ineq] + 1, total);  in is_internal()
14302 	return isl_int_is_pos(bset->ineq[ineq][1 + pos]);  in is_internal()
14338 		isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1);  in isl_basic_set_tighten_outward()
14371 	if (isl_mat_sub_transform(bmap->ineq, bmap->n_ineq, pos,  in isl_basic_map_transform_dims()