52 	isl_size total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_normalize_constraints()  local
54 	if (total < 0)  in isl_basic_map_normalize_constraints()
59 		isl_seq_gcd(bmap->eq[i]+1, total, &gcd);  in isl_basic_map_normalize_constraints()
77 		isl_seq_scale_down(bmap->eq[i], bmap->eq[i], gcd, 1+total);  in isl_basic_map_normalize_constraints()
81 		isl_seq_gcd(bmap->ineq[i]+1, total, &gcd);  in isl_basic_map_normalize_constraints()
96 		isl_seq_scale_down(bmap->ineq[i]+1, bmap->ineq[i]+1, gcd, total);  in isl_basic_map_normalize_constraints()
186 	isl_size total;  in reduce_div_coefficients_of_div()  local
188 	total = isl_basic_map_dim(bmap, isl_dim_all);  in reduce_div_coefficients_of_div()
189 	if (total < 0)  in reduce_div_coefficients_of_div()
191 	for (i = 0; i < 1 + total; ++i) {  in reduce_div_coefficients_of_div()
249 	isl_size total = isl_basic_map_dim(bmap, isl_dim_all);  in normalize_div_expression()  local
252 	if (total < 0)  in normalize_div_expression()
256 	isl_seq_gcd(bmap->div[div] + 2, total, &ctx->normalize_gcd);  in normalize_div_expression()
265 			ctx->normalize_gcd, total);  in normalize_div_expression()
305 	isl_size total;  in eliminate_var_using_equality()  local
310 	total = isl_basic_map_dim(bmap, isl_dim_all);  in eliminate_var_using_equality()
312 	if (total < 0 || v_div < 0)  in eliminate_var_using_equality()
322 		isl_seq_elim(bmap->eq[k], eq, 1+pos, 1+total, NULL);  in eliminate_var_using_equality()
323 		isl_seq_normalize(bmap->ctx, bmap->eq[k], 1 + total);  in eliminate_var_using_equality()
331 		isl_seq_elim(bmap->ineq[k], eq, 1+pos, 1+total, NULL);  in eliminate_var_using_equality()
332 		isl_seq_normalize(bmap->ctx, bmap->ineq[k], 1 + total);  in eliminate_var_using_equality()
353 					1+pos, 1+total, &bmap->div[k][0]);  in eliminate_var_using_equality()
358 			isl_seq_clr(bmap->div[k], 1 + total);  in eliminate_var_using_equality()
548 	isl_size total;  in set_div_from_eq()  local
564 	total = isl_basic_map_dim(bmap, isl_dim_all);  in set_div_from_eq()
565 	if (total < 0)  in set_div_from_eq()
568 	isl_seq_neg(bmap->div[div] + 1, bmap->eq[eq], 1 + total);  in set_div_from_eq()
605 	isl_size total;  in isl_basic_map_gauss5()  local
611 	total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_gauss5()
612 	if (total < 0)  in isl_basic_map_gauss5()
615 	total_var = total - bmap->n_div;  in isl_basic_map_gauss5()
617 	last_var = total - 1;  in isl_basic_map_gauss5()
634 			isl_seq_neg(bmap->eq[done], bmap->eq[done], 1+total);  in isl_basic_map_gauss5()
698 	isl_size total;  member
711 	ci->total = isl_basic_map_dim(bmap, isl_dim_all);  in create_constraint_index()
712 	if (ci->total < 0)  in create_constraint_index()
742 	uint32_t hash = isl_seq_get_hash_bits((*ineq) + 1, ci->total, ci->bits);  in hash_index_ineq()
745 		    isl_seq_eq((*ineq) + 1, ci->index[h][0]+1, ci->total))  in hash_index_ineq()
826 	unsigned total;  in remove_duplicate_divs()  local
836 	total = v_div + bmap->n_div;  in remove_duplicate_divs()
853 	eq = isl_blk_alloc(ctx, 1+total);  in remove_duplicate_divs()
857 	isl_seq_clr(eq.data, 1+total);  in remove_duplicate_divs()
858 	index[isl_seq_get_hash_bits(bmap->div[k], 2+total, bits)] = k + 1;  in remove_duplicate_divs()
865 		hash = isl_seq_get_hash_bits(bmap->div[k], 2+total, bits);  in remove_duplicate_divs()
868 				       bmap->div[index[h]-1], 2+total))  in remove_duplicate_divs()
1120 	unsigned total = isl_basic_map_offset(bmap, isl_dim_div);  in set_div_from_lower_bound()  local
1122 	isl_seq_neg(bmap->div[div] + 1, bmap->ineq[ineq], total + bmap->n_div);  in set_div_from_lower_bound()
1123 	isl_int_set(bmap->div[div][0], bmap->ineq[ineq][total + div]);  in set_div_from_lower_bound()
1126 	isl_int_set_si(bmap->div[div][1 + total + div], 0);  in set_div_from_lower_bound()
1141 	unsigned total = isl_basic_map_offset(bmap, isl_dim_div);  in ok_to_set_div_from_bound()  local
1147 		if (isl_int_is_zero(bmap->ineq[ineq][total + j]))  in ok_to_set_div_from_bound()
1159 		if (!isl_int_is_zero(bmap->div[j][1 + total + div]))  in ok_to_set_div_from_bound()
1177 	unsigned total = isl_basic_map_offset(bmap, isl_dim_div);  in better_div_constraint()  local
1184 	if (isl_seq_last_non_zero(bmap->ineq[ineq] + total + div + 1,  in better_div_constraint()
1188 	last_ineq = isl_seq_last_non_zero(bmap->ineq[ineq], total + div);  in better_div_constraint()
1190 					 total + bmap->n_div);  in better_div_constraint()
1212 	unsigned total = isl_basic_map_offset(bmap, isl_dim_div);  in check_for_div_constraints()  local
1217 		if (isl_int_is_zero(bmap->ineq[k][total + i]))  in check_for_div_constraints()
1219 		if (isl_int_abs_ge(sum, bmap->ineq[k][total + i]))  in check_for_div_constraints()
1228 		if (isl_int_is_pos(bmap->ineq[k][total + i]))  in check_for_div_constraints()
1244 	isl_size total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_remove_duplicate_constraints()  local
1247 	if (total < 0 || bmap->n_ineq <= 1)  in isl_basic_map_remove_duplicate_constraints()
1253 	h = isl_seq_get_hash_bits(bmap->ineq[0] + 1, total, ci.bits);  in isl_basic_map_remove_duplicate_constraints()
1271 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);  in isl_basic_map_remove_duplicate_constraints()
1273 		isl_seq_neg(bmap->ineq[k]+1, bmap->ineq[k]+1, total);  in isl_basic_map_remove_duplicate_constraints()
1723 	isl_size total;  in isl_basic_map_eliminate_vars()  local
1728 	total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_eliminate_vars()
1729 	if (total < 0)  in isl_basic_map_eliminate_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()
1785 						1+total);  in isl_basic_map_eliminate_vars()
1787 						1+d, 1+total, NULL);  in isl_basic_map_eliminate_vars()
1982 	__isl_keep isl_basic_map *bmap, int *elim, unsigned total)  in reduced_using_equalities()  argument
1987 	for (d = total - 1; d >= 0; --d) {  in reduced_using_equalities()
1993 			isl_seq_cpy(dst, src, 1 + total);  in reduced_using_equalities()
1996 		isl_seq_elim(dst, bmap->eq[elim[d]], 1 + d, 1 + total, NULL);  in reduced_using_equalities()
2002 	__isl_keep isl_basic_set *bset, int *elim, unsigned total)  in set_reduced_using_equalities()  argument
2005 					bset_to_bmap(bset), elim, total);  in set_reduced_using_equalities()
2060 	unsigned total;  in mark_shifted_constraints()  local
2074 	total = cols - 1;  in mark_shifted_constraints()
2079 		l = isl_seq_first_non_zero(ineq->row[k] + 1, total);  in mark_shifted_constraints()
2629 	isl_size total;  in extract_ineq()  local
2633 	total = isl_basic_set_dim(bset, isl_dim_all);  in extract_ineq()
2634 	if (total < 0)  in extract_ineq()
2639 				    0, 1 + total);  in extract_ineq()
2814 	isl_size total;  in uset_gist()  local
2816 	total = isl_basic_set_dim(bset, isl_dim_all);  in uset_gist()
2817 	if (total < 0 || !context)  in uset_gist()
2841 	eq = isl_mat_sub_alloc6(bset->ctx, aff->eq, 0, aff->n_eq, 0, 1 + total);  in uset_gist()
2876 	isl_size total, n_div;  in n_div_eq()  local
2884 	total = isl_basic_map_dim(bmap, isl_dim_all);  in n_div_eq()
2886 	if (total < 0 || n_div < 0)  in n_div_eq()
2888 	total -= n_div;  in n_div_eq()
2891 		if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total,  in n_div_eq()
2905 	isl_size total;  in basic_map_from_equalities()  local
2908 	total = isl_space_dim(space, isl_dim_all);  in basic_map_from_equalities()
2909 	if (total < 0 || !eq)  in basic_map_from_equalities()
2912 	if (1 + total != eq->n_col)  in basic_map_from_equalities()
2957 	__isl_keep isl_basic_map *bmap2, int n2, int total)  in combined_variable_compression()  argument
2966 					n2, bmap2->n_eq - n2, 0, 1 + total);  in combined_variable_compression()
2971 					n1, bmap1->n_eq - n1, 0, 1 + total);  in combined_variable_compression()
2975 				n1, bmap1->n_eq - n1, 0, 1 + total);  in combined_variable_compression()
2977 				n2, bmap2->n_eq - n2, 0, 1 + total);  in combined_variable_compression()
2983 	E1 = isl_mat_sub_alloc6(ctx, bmap->eq, 0, bmap->n_eq, 0, 1 + total);  in combined_variable_compression()
3026 	isl_size total, n_div;  in extract_compressed_stride_constraints()  local
3030 	total = isl_basic_map_dim(context, isl_dim_all);  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()
3039 						context, context_n_eq, total);  in extract_compressed_stride_constraints()
3041 	A = isl_mat_sub_alloc6(ctx, context->eq, 0, context_n_eq, 0, 1 + total);  in extract_compressed_stride_constraints()
3043 				0, context_n_eq, 1 + total, 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
3161 	total = isl_basic_map_dim(bmap, isl_dim_all);  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()
3176 		if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total + div + 1,  in reduce_stride_constraints()
3183 		remove_incomplete_powers(&gcd, bmap->eq[i][1 + total + div]);  in reduce_stride_constraints()
3186 		isl_int_divexact(bmap->eq[i][1 + total + div],  in reduce_stride_constraints()
3187 				bmap->eq[i][1 + total + div], gcd);  in reduce_stride_constraints()
3265 	isl_size total, n_div, n_div_bmap;  in isl_basic_map_gist()  local
3292 	total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_gist()
3294 	if (n_div < 0 || total < 0 || n_div_bmap < 0)  in isl_basic_map_gist()
3302 	bset = isl_basic_set_project_out(bset, isl_dim_set, total, extra);  in isl_basic_map_gist()
3394 	isl_size total, bmap_total;  in drop_inequalities()  local
3397 	total = isl_basic_map_dim(context, isl_dim_all);  in drop_inequalities()
3399 	if (total < 0 || bmap_total < 0)  in drop_inequalities()
3402 	extra = bmap_total - total;  in drop_inequalities()
3409 		if (isl_seq_first_non_zero(bmap->ineq[i1] + 1 + total,  in drop_inequalities()
3451 	isl_size total, bmap_total;  in drop_equalities()  local
3454 	total = isl_basic_map_dim(context, isl_dim_all);  in drop_equalities()
3456 	if (total < 0 || bmap_total < 0)  in drop_equalities()
3459 	extra = bmap_total - total;  in drop_equalities()
3467 		if (isl_seq_first_non_zero(bmap->eq[i1] + 1 + total,  in drop_equalities()
3470 		last1 = isl_seq_last_non_zero(bmap->eq[i1] + 1, total);  in drop_equalities()
3471 		last2 = isl_seq_last_non_zero(context->eq[i2] + 1, total);  in drop_equalities()
3480 		if (isl_seq_eq(bmap->eq[i1], context->eq[i2], 1 + total)) {  in drop_equalities()
3815 	isl_size total;  in isl_basic_map_plain_is_disjoint()  local
3825 	total = isl_space_dim(bmap1->dim, isl_dim_all);  in isl_basic_map_plain_is_disjoint()
3826 	if (total < 0)  in isl_basic_map_plain_is_disjoint()
3828 	if (total == 0)  in isl_basic_map_plain_is_disjoint()
3830 	v = isl_vec_alloc(bmap1->ctx, 1 + total);  in isl_basic_map_plain_is_disjoint()
3833 	elim = isl_alloc_array(bmap1->ctx, int, total);  in isl_basic_map_plain_is_disjoint()
3836 	compute_elimination_index(bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3840 							bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3842 		    isl_seq_first_non_zero(v->block.data + 1, total) == -1)  in isl_basic_map_plain_is_disjoint()
3848 					bmap2->ineq[i], bmap1, elim, total);  in isl_basic_map_plain_is_disjoint()
3850 		    isl_seq_first_non_zero(v->block.data + 1, total) == -1)  in isl_basic_map_plain_is_disjoint()
3853 	compute_elimination_index(bmap2, elim, total);  in isl_basic_map_plain_is_disjoint()
3857 					bmap1->ineq[i], bmap2, elim, total);  in isl_basic_map_plain_is_disjoint()
3859 		    isl_seq_first_non_zero(v->block.data + 1, total) == -1)  in isl_basic_map_plain_is_disjoint()
4111 	isl_size total;  in is_opposite()  local
4113 	total = isl_basic_map_dim(bmap, isl_dim_all);  in is_opposite()
4114 	if (total < 0)  in is_opposite()
4116 	return is_opposite_part(bmap, i, j, 1, total);  in is_opposite()
4533 	unsigned total;  in coalesce_divs()  local
4541 	total = 1 + v_div + bmap->n_div;  in coalesce_divs()
4555 						ctx->one, bmap->ineq[l], total);  in coalesce_divs()
4558 						ctx->one, bmap->ineq[u], total);  in coalesce_divs()
4648 	isl_size total;  in is_parallel_except()  local
4650 	total = isl_basic_map_dim(bmap, isl_dim_all);  in is_parallel_except()
4651 	if (total < 0)  in is_parallel_except()
4654 		is_parallel_part(bmap, i, j, pos + 1, total - pos);  in is_parallel_except()
4663 	isl_size total;  in is_opposite_except()  local
4665 	total = isl_basic_map_dim(bmap, isl_dim_all);  in is_opposite_except()
4666 	if (total < 0)  in is_opposite_except()
4669 		is_opposite_part(bmap, i, j, pos + 1, total - pos);  in is_opposite_except()
5316 	isl_size total;  in has_multiple_var_equality()  local
5318 	total = isl_basic_map_dim(bmap, isl_dim_all);  in has_multiple_var_equality()
5319 	if (total < 0)  in has_multiple_var_equality()
5325 		j = isl_seq_first_non_zero(bmap->eq[i] + 1, total);  in has_multiple_var_equality()
5333 		k = isl_seq_first_non_zero(bmap->eq[i] + 1 + j, total - j);  in has_multiple_var_equality()
5342 		k = isl_seq_first_non_zero(bmap->eq[i] + 1 + j, total - j);  in has_multiple_var_equality()
5412 	isl_size total;  in isl_basic_map_reduce_coefficients()  local
5434 	total = isl_basic_map_dim(bmap, isl_dim_all);  in isl_basic_map_reduce_coefficients()
5435 	if (total < 0)  in isl_basic_map_reduce_coefficients()
5438 	v = isl_vec_alloc(ctx, 1 + total);  in isl_basic_map_reduce_coefficients()
5442 	eq = isl_mat_sub_alloc6(ctx, bmap->eq, 0, bmap->n_eq, 0, 1 + total);  in isl_basic_map_reduce_coefficients()
5459 		isl_seq_cpy(v->el, bmap->ineq[i], 1 + total);  in isl_basic_map_reduce_coefficients()
5465 		isl_seq_cpy(bmap->ineq[i], v->el, 1 + total);  in isl_basic_map_reduce_coefficients()
5510 	isl_size total, n_div;  in isl_basic_map_shift_div()  local
5514 	total = isl_basic_map_dim(bmap, isl_dim_all);  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()
5523 		if (isl_int_is_zero(bmap->eq[i][1 + total + div]))  in isl_basic_map_shift_div()
5526 				shift, bmap->eq[i][1 + total + div]);  in isl_basic_map_shift_div()
5529 		if (isl_int_is_zero(bmap->ineq[i][1 + total + div]))  in isl_basic_map_shift_div()
5532 				shift, bmap->ineq[i][1 + total + div]);  in isl_basic_map_shift_div()
5537 		if (isl_int_is_zero(bmap->div[i][1 + 1 + total + div]))  in isl_basic_map_shift_div()
5540 				shift, bmap->div[i][1 + 1 + total + div]);  in isl_basic_map_shift_div()