219 	if (bmap->n_div == 0)  in reduce_div_coefficients()
222 	for (i = 0; i < bmap->n_div; ++i) {  in reduce_div_coefficients()
290 	if (bmap->n_div == 0)  in normalize_div_expressions()
293 	for (i = 0; i < bmap->n_div; ++i)  in normalize_div_expressions()
314 	last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div);  in eliminate_var_using_equality()
337 	for (k = 0; k < bmap->n_div; ++k) {  in eliminate_var_using_equality()
399 	last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div);  in ok_to_eliminate_div()
430 	for (d = bmap->n_div - 1; d >= 0 ; --d) {  in eliminate_divs_eq()
471 	for (d = bmap->n_div - 1; d >= 0 ; --d) {  in eliminate_divs_ineq()
615 	total_var = total - bmap->n_div;  in isl_basic_map_gauss5()
830 	if (!bmap || bmap->n_div <= 1)  in remove_duplicate_divs()
836 	total = v_div + bmap->n_div;  in remove_duplicate_divs()
839 	for (k = bmap->n_div - 1; k >= 0; --k)  in remove_duplicate_divs()
845 	size = round_up(4 * bmap->n_div / 3 - 1);  in remove_duplicate_divs()
848 	elim_for = isl_calloc_array(ctx, int, bmap->n_div);  in remove_duplicate_divs()
877 	for (l = bmap->n_div - 1; l >= 0; --l) {  in remove_duplicate_divs()
905 	for (i = 0, j = bmap->n_div-1; i < bmap->n_eq; ++i) {  in n_pure_div_eq()
982 	if (bmap->n_div == 0)  in normalize_divs()
1015 	for (i = 0, j = bmap->n_div-1; i < div_eq; ++i) {  in normalize_divs()
1049 	for (j = bmap->n_div - 1; j >= 0; --j) {  in normalize_divs()
1078 		isl_seq_clr(bmap->div[k] + 1, 1 + v_div + bmap->n_div);  in normalize_divs()
1095 		isl_seq_neg(bmap->eq[j], bmap->div[k]+1, 1+v_div+bmap->n_div);  in normalize_divs()
1122 	isl_seq_neg(bmap->div[div] + 1, bmap->ineq[ineq], total + bmap->n_div);  in set_div_from_lower_bound()
1144 	for (j = 0; j < bmap->n_div; ++j) {  in ok_to_set_div_from_bound()
1154 	for (j = 0; j < bmap->n_div; ++j) {  in ok_to_set_div_from_bound()
1185 				  bmap->n_div - (div + 1)) >= 0)  in better_div_constraint()
1190 					 total + bmap->n_div);  in better_div_constraint()
1214 	for (i = 0; i < bmap->n_div; ++i) {  in check_for_div_constraints()
1432 	for (i = 0; i < bmap->n_div; ++i) {  in eliminate_selected_unit_divs()
1577 					    bmap->n_div-div-1) != -1)  in isl_basic_map_is_div_constraint()
1583 					    bmap->n_div-div-1) != -1)  in isl_basic_map_is_div_constraint()
1622 	for (i = 0; i < bmap->n_div; ++i) {  in div_is_redundant()
1648 	for (i = bmap->n_div-1; i >= 0; --i) {  in remove_redundant_divs()
1703 	for (i = 0; i < bmap->n_div; ++i) {  in remove_dependent_vars()
1739 	     d >= 0 && d >= total - bmap->n_div && d >= pos; --d)  in isl_basic_map_eliminate_vars()
1740 		isl_seq_clr(bmap->div[d-(total-bmap->n_div)], 2+total);  in isl_basic_map_eliminate_vars()
1874 	isl_size n_div;  in isl_basic_map_drop_constraints_involving_unknown_divs()  local
1883 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in isl_basic_map_drop_constraints_involving_unknown_divs()
1884 	if (n_div < 0)  in isl_basic_map_drop_constraints_involving_unknown_divs()
1888 	for (i = 0; i < n_div; ++i) {  in isl_basic_map_drop_constraints_involving_unknown_divs()
1897 		n_div = isl_basic_map_dim(bmap, isl_dim_div);  in isl_basic_map_drop_constraints_involving_unknown_divs()
1898 		if (n_div < 0)  in isl_basic_map_drop_constraints_involving_unknown_divs()
2876 	isl_size total, n_div;  in n_div_eq()  local
2885 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in n_div_eq()
2886 	if (total < 0 || n_div < 0)  in n_div_eq()
2888 	total -= n_div;  in n_div_eq()
2892 					    n_div) == -1)  in n_div_eq()
3026 	isl_size total, n_div;  in extract_compressed_stride_constraints()  local
3031 	n_div = isl_basic_map_dim(context, isl_dim_div);  in extract_compressed_stride_constraints()
3032 	if (total < 0 || n_div < 0)  in extract_compressed_stride_constraints()
3034 	total -= n_div;  in extract_compressed_stride_constraints()
3043 				0, context_n_eq, 1 + total, n_div);  in extract_compressed_stride_constraints()
3048 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in extract_compressed_stride_constraints()
3049 	if (n_div < 0)  in extract_compressed_stride_constraints()
3052 		T = isl_mat_diagonal(T, isl_mat_identity(ctx, n_div));  in extract_compressed_stride_constraints()
3055 				0, bmap_n_eq, 0, 1 + total + n_div);  in extract_compressed_stride_constraints()
3157 	isl_size total, n_div;  in reduce_stride_constraints()  local
3162 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in reduce_stride_constraints()
3163 	if (total < 0 || n_div < 0 || !A)  in reduce_stride_constraints()
3165 	total -= n_div;  in reduce_stride_constraints()
3171 		div = isl_seq_first_non_zero(bmap->eq[i] + 1 + total, n_div);  in reduce_stride_constraints()
3177 						n_div - div - 1) != -1)  in reduce_stride_constraints()
3265 	isl_size total, n_div, n_div_bmap;  in isl_basic_map_gist()  local
3291 	n_div = isl_basic_map_dim(context, isl_dim_div);  in isl_basic_map_gist()
3294 	if (n_div < 0 || total < 0 || n_div_bmap < 0)  in isl_basic_map_gist()
3296 	extra = n_div - n_div_bmap;  in isl_basic_map_gist()
3304 	if (!bset || bset->n_eq == 0 || n_div == 0 ||  in isl_basic_map_gist()
3820 	if (bmap1->n_div || bmap2->n_div)  in isl_basic_map_plain_is_disjoint()
4154 	unsigned n_div;  in div_find_coalesce()  local
4159 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in div_find_coalesce()
4160 	if (n_div <= 1)  in div_find_coalesce()
4161 		return n_div;  in div_find_coalesce()
4166 		return n_div;  in div_find_coalesce()
4168 				   n_div - div - 1) != -1)  in div_find_coalesce()
4169 		return n_div;  in div_find_coalesce()
4172 		return opp < 0 ? -1 : n_div;  in div_find_coalesce()
4174 	for (i = 0; i < n_div; ++i) {  in div_find_coalesce()
4178 			return n_div;  in div_find_coalesce()
4188 		return n_div;  in div_find_coalesce()
4191 	coalesce = n_div;  in div_find_coalesce()
4192 	for (i = 0; i < n_div; ++i) {  in div_find_coalesce()
4197 		for (j = 0; j < n_div; ++j) {  in div_find_coalesce()
4203 		if (j < n_div)  in div_find_coalesce()
4341 	isl_size n_div;  in int_between_bounds()  local
4344 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in int_between_bounds()
4345 	if (n_div < 0)  in int_between_bounds()
4354 			data->fu, bmap->ineq[l], offset + n_div);  in int_between_bounds()
4362 	isl_seq_gcd(data->v->el + 1, offset - 1 + n_div, &data->g);  in int_between_bounds()
4375 			    offset - 1 + n_div);  in int_between_bounds()
4397 	isl_size n_div;  in drop_more_redundant_divs()  local
4404 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in drop_more_redundant_divs()
4405 	if (n_div < 0)  in drop_more_redundant_divs()
4410 	data.v = isl_vec_alloc(ctx, off + n_div);  in drop_more_redundant_divs()
4419 		for (i = 0; i < n_div; ++i) {  in drop_more_redundant_divs()
4541 	total = 1 + v_div + bmap->n_div;  in coalesce_divs()
4591 	isl_size n_div;  in coalesce_or_drop_more_redundant_divs()  local
4594 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in coalesce_or_drop_more_redundant_divs()
4595 	if (v_div < 0 || n_div < 0)  in coalesce_or_drop_more_redundant_divs()
4598 	for (i = 0; i < n_div; ++i) {  in coalesce_or_drop_more_redundant_divs()
4612 				if (c >= n_div)  in coalesce_or_drop_more_redundant_divs()
4694 	isl_size n_div;  in single_unknown()  local
4701 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in single_unknown()
4702 	if (n_div < 0)  in single_unknown()
4704 	if (n_div == 1)  in single_unknown()
4707 	for (i = 0; i < n_div; ++i) {  in single_unknown()
4941 	isl_size v_div, n_div;  in any_div_involves_div()  local
4944 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in any_div_involves_div()
4945 	if (v_div < 0 || n_div < 0)  in any_div_involves_div()
4948 	for (i = div + 1; i < n_div; ++i) {  in any_div_involves_div()
5016 	if (bmap->n_div == 0)  in isl_basic_map_drop_redundant_divs_ineq()
5022 	pairs = isl_calloc_array(bmap->ctx, int, bmap->n_div);  in isl_basic_map_drop_redundant_divs_ineq()
5029 	for (i = 0; i < bmap->n_div; ++i) {  in isl_basic_map_drop_redundant_divs_ineq()
5193 	for (i = 0; i < bmap->n_div; ++i) {  in isl_basic_map_preimage_vars()
5255 	isl_size n_div;  in isl_basic_map_drop_redundant_divs()  local
5275 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in isl_basic_map_drop_redundant_divs()
5276 	if (n_div < 0)  in isl_basic_map_drop_redundant_divs()
5281 					    n_div - (first));  in isl_basic_map_drop_redundant_divs()
5286 					    n_div - (l + 1)) == -1)  in isl_basic_map_drop_redundant_divs()
5294 	T = isl_mat_alloc(ctx, n_div - l, n_div - l);  in isl_basic_map_drop_redundant_divs()
5297 	isl_seq_cpy(T->row[0], bmap->eq[i] + o_div + l, n_div - l);  in isl_basic_map_drop_redundant_divs()
5302 	for (i = l; i < n_div; ++i)  in isl_basic_map_drop_redundant_divs()
5510 	isl_size total, n_div;  in isl_basic_map_shift_div()  local
5515 	n_div = isl_basic_map_dim(bmap, isl_dim_div);  in isl_basic_map_shift_div()
5516 	total -= n_div;  in isl_basic_map_shift_div()
5517 	if (total < 0 || n_div < 0)  in isl_basic_map_shift_div()
5534 	for (i = 0; i < bmap->n_div; ++i) {  in isl_basic_map_shift_div()