517 	isl_size total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in fuse()  local
522 	if (total < 0)  in fuse()
531 	fused = add_valid_constraints(fused, &info[i], 1 + total);  in fuse()
532 	fused = add_valid_constraints(fused, &info[j], 1 + total);  in fuse()
544 				1 + 1 + total)) {  in fuse()
546 				1 + 1 + total);  in fuse()
557 		isl_seq_cpy(fused->ineq[l], extra->row[k], 1 + total);  in fuse()
765 	isl_size total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in is_adj_ineq_extension_with_wraps()  local
769 	if (total < 0)  in is_adj_ineq_extension_with_wraps()
786 	isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);  in is_adj_ineq_extension_with_wraps()
789 	isl_seq_neg(info[i].bmap->ineq[k], info[i].bmap->ineq[k], 1 + total);  in is_adj_ineq_extension_with_wraps()
859 	int *affected, int total)  in is_affected()  argument
863 	for (i = 0; i < total; ++i) {  in is_affected()
972 	isl_size total;  in tighten_on_relaxed_facet()  local
982 	total = isl_basic_map_dim(info->bmap, isl_dim_all);  in tighten_on_relaxed_facet()
983 	if (total < 0)  in tighten_on_relaxed_facet()
986 	T = isl_mat_sub_alloc6(ctx, info->bmap->ineq, k, 1, 0, 1 + total);  in tighten_on_relaxed_facet()
996 	affected = isl_alloc_array(ctx, int, total);  in tighten_on_relaxed_facet()
1000 	for (i = 0; i < total; ++i)  in tighten_on_relaxed_facet()
1009 		handle = is_affected(info->bmap, i, affected, total);  in tighten_on_relaxed_facet()
1014 		v = isl_vec_alloc(ctx, 1 + total);  in tighten_on_relaxed_facet()
1017 		isl_seq_cpy(v->el, info->bmap->ineq[i], 1 + total);  in tighten_on_relaxed_facet()
1049 	isl_size total;  in extend()  local
1052 	total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in extend()
1053 	if (total < 0)  in extend()
1057 				info[j].bmap->div[l], 1 + 1 + total)) {  in extend()
1187 	isl_size total = isl_basic_map_dim(info->bmap, isl_dim_all);  in wraps_update_max()  local
1189 	if (total < 0)  in wraps_update_max()
1197 		isl_seq_abs_max(info->bmap->eq[k] + 1, total, &max_k);  in wraps_update_max()
1206 		isl_seq_abs_max(info->bmap->ineq[k] + 1, total, &max_k);  in wraps_update_max()
1349 	isl_size total = isl_basic_map_dim(bmap, isl_dim_all);  in add_selected_wraps()  local
1350 	unsigned len = 1 + total;  in add_selected_wraps()
1352 	if (total < 0)  in add_selected_wraps()
1545 	isl_size total = isl_basic_map_dim(info->bmap, isl_dim_all);  in add_selected_wraps_around_facet()  local
1547 	if (total < 0)  in add_selected_wraps_around_facet()
1569 		isl_seq_neg(bound, info->bmap->ineq[k], 1 + total);  in add_selected_wraps_around_facet()
1632 	isl_size total;  in is_adj_ineq_extension()  local
1647 	total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in is_adj_ineq_extension()
1650 	if (total < 0 || n_eq_i < 0 || n_ineq_i < 0)  in is_adj_ineq_extension()
1655 	bound = isl_vec_alloc(ctx, 1 + total);  in is_adj_ineq_extension()
1656 	mat = isl_mat_alloc(ctx, 2 * n_eq_i + n_ineq_i, 1 + total);  in is_adj_ineq_extension()
1768 	isl_size total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in can_wrap_in_facet()  local
1770 	if (total < 0)  in can_wrap_in_facet()
1777 				    1 + total);  in can_wrap_in_facet()
1780 	bound = isl_vec_alloc(ctx, 1 + total);  in can_wrap_in_facet()
1784 	isl_seq_cpy(bound->el, info[i].bmap->ineq[k], 1 + total);  in can_wrap_in_facet()
1786 	isl_seq_normalize(ctx, bound->el, 1 + total);  in can_wrap_in_facet()
1788 	isl_seq_cpy(wraps.mat->row[0], bound->el, 1 + total);  in can_wrap_in_facet()
1887 	isl_size total;  in try_wrap_in_facets()  local
1890 	total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in try_wrap_in_facets()
1891 	if (total < 0)  in try_wrap_in_facets()
1903 					    info[i].bmap->eq[k], 1 + total);  in try_wrap_in_facets()
1906 					    info[i].bmap->eq[k], 1 + total);  in try_wrap_in_facets()
1920 			    info[i].bmap->ineq[k], 1 + total);  in try_wrap_in_facets()
1950 	isl_size total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in wrap_in_facets()  local
1953 	if (total < 0)  in wrap_in_facets()
1963 	mat = isl_mat_alloc(ctx, max_wrap, 1 + total);  in wrap_in_facets()
2059 	isl_size total;  in can_wrap_in_set()  local
2069 	total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in can_wrap_in_set()
2070 	if (total < 0)  in can_wrap_in_set()
2081 					    info[i].bmap->eq[k], 1 + total);  in can_wrap_in_set()
2086 					    info[i].bmap->eq[k], 1 + total);  in can_wrap_in_set()
2308 	isl_size total = isl_basic_map_dim(info[i].bmap, isl_dim_all);  in check_eq_adj_eq()  local
2310 	if (total < 0)  in check_eq_adj_eq()
2322 				    1 + total);  in check_eq_adj_eq()
2325 	bound = isl_vec_alloc(ctx, 1 + total);  in check_eq_adj_eq()
2330 		isl_seq_neg(bound->el, info[i].bmap->eq[k / 2], 1 + total);  in check_eq_adj_eq()
2332 		isl_seq_cpy(bound->el, info[i].bmap->eq[k / 2], 1 + total);  in check_eq_adj_eq()
2335 	isl_seq_cpy(wraps.mat->row[0], bound->el, 1 + total);  in check_eq_adj_eq()
2344 	isl_seq_neg(bound->el, bound->el, 1 + total);  in check_eq_adj_eq()
2346 	isl_seq_cpy(wraps.mat->row[wraps.mat->n_row], bound->el, 1 + total);  in check_eq_adj_eq()
2654 	isl_size total, n_div;  in shift_div()  local
2660 	total = isl_basic_map_dim(info->bmap, isl_dim_all);  in shift_div()
2662 	if (total < 0 || n_div < 0)  in shift_div()
2664 	total -= n_div;  in shift_div()
2665 	if (isl_tab_shift_var(info->tab, total + div, shift) < 0)  in shift_div()
2865 	isl_size total;  in harmonize_divs_with_hulls()  local
2868 	total = isl_basic_map_dim(info1->bmap, isl_dim_all);  in harmonize_divs_with_hulls()
2869 	if (total < 0)  in harmonize_divs_with_hulls()
2883 				info2->bmap->div[i] + 1, 1 + total))  in harmonize_divs_with_hulls()
2974 	isl_size total;  in same_divs()  local
2991 	total = isl_basic_map_dim(bmap1, isl_dim_all);  in same_divs()
2992 	if (total < 0)  in same_divs()
2995 		if (!isl_seq_eq(bmap1->div[i], bmap2->div[i], 2 + total))  in same_divs()
3221 	isl_size total, n_div;  in expand_tab()  local
3225 	total = isl_basic_map_dim(bmap, isl_dim_all);  in expand_tab()
3227 	if (total < 0 || n_div < 0)  in expand_tab()
3229 	pos = total - n_div;  in expand_tab()
3230 	extra_var = total - info->tab->n_var;  in expand_tab()
3592 	isl_size total;  in has_nested_div()  local
3595 	total = isl_basic_map_dim(bmap, isl_dim_all);  in has_nested_div()
3597 	if (total < 0 || n_div < 0)  in has_nested_div()
3599 	total -= n_div;  in has_nested_div()
3602 		if (isl_seq_first_non_zero(bmap->div[i] + 2 + total,  in has_nested_div()
3626 	isl_size n_div_i, n_div_j, total;  in set_up_substitutions()  local
3636 	total = isl_basic_map_dim(bmap_i, isl_dim_all);  in set_up_substitutions()
3637 	if (!hull || n_div_i < 0 || n_div_j < 0 || total < 0)  in set_up_substitutions()
3641 	total -= n_div_i;  in set_up_substitutions()
3657 						    0, 2 + total)) {  in set_up_substitutions()