306 	isl_size v_div;  in eliminate_var_using_equality()  local
311 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in eliminate_var_using_equality()
312 	if (total < 0 || v_div < 0)  in eliminate_var_using_equality()
314 	last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div);  in eliminate_var_using_equality()
369 	isl_size v_div;  in eliminate_div()  local
372 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in eliminate_div()
373 	if (v_div < 0)  in eliminate_div()
375 	pos = v_div + div;  in eliminate_div()
391 	isl_size v_div;  in ok_to_eliminate_div()  local
394 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in ok_to_eliminate_div()
395 	if (v_div < 0)  in ok_to_eliminate_div()
397 	pos = v_div + div;  in ok_to_eliminate_div()
399 	last_div = isl_seq_last_non_zero(eq + 1 + v_div, bmap->n_div);  in ok_to_eliminate_div()
825 	isl_size v_div;  in remove_duplicate_divs()  local
833 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in remove_duplicate_divs()
834 	if (v_div < 0)  in remove_duplicate_divs()
836 	total = v_div + bmap->n_div;  in remove_duplicate_divs()
881 		isl_int_set_si(eq.data[1 + v_div + k], -1);  in remove_duplicate_divs()
882 		isl_int_set_si(eq.data[1 + v_div + l], 1);  in remove_duplicate_divs()
886 		isl_int_set_si(eq.data[1 + v_div + k], 0);  in remove_duplicate_divs()
887 		isl_int_set_si(eq.data[1 + v_div + l], 0);  in remove_duplicate_divs()
900 	isl_size v_div;  in n_pure_div_eq()  local
902 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in n_pure_div_eq()
903 	if (v_div < 0)  in n_pure_div_eq()
906 		while (j >= 0 && isl_int_is_zero(bmap->eq[i][1 + v_div + j]))  in n_pure_div_eq()
910 		if (isl_seq_first_non_zero(bmap->eq[i] + 1 + v_div, j) != -1)  in n_pure_div_eq()
968 	isl_size v_div;  in normalize_divs()  local
991 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in normalize_divs()
993 	if (v_div < 0 || div_eq < 0)  in normalize_divs()
1000 					bmap->n_eq - div_eq, 0, 1 + v_div);  in normalize_divs()
1016 		while (j >= 0 && isl_int_is_zero(bmap->eq[i][1 + v_div + j]))  in normalize_divs()
1018 		isl_int_set(d->block.data[i], bmap->eq[i][1 + v_div + j]);  in normalize_divs()
1020 	B = isl_mat_sub_alloc6(bmap->ctx, bmap->eq, 0, div_eq, 0, 1 + v_div);  in normalize_divs()
1051 			if (!isl_int_is_zero(bmap->eq[i][1 + v_div + j]))  in normalize_divs()
1077 		pos[i] = 1 + v_div + k;  in normalize_divs()
1078 		isl_seq_clr(bmap->div[k] + 1, 1 + v_div + bmap->n_div);  in normalize_divs()
1081 			isl_seq_cpy(bmap->div[k] + 1, C2->row[i], 1 + v_div);  in normalize_divs()
1089 						C2->row[pos[j]], 1 + v_div);  in normalize_divs()
1095 		isl_seq_neg(bmap->eq[j], bmap->div[k]+1, 1+v_div+bmap->n_div);  in normalize_divs()
1364 	isl_size v_div, dim;  in eliminate_unit_div()  local
1367 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in eliminate_unit_div()
1369 	if (v_div < 0 || dim < 0)  in eliminate_unit_div()
1377 		if (!isl_int_is_one(bmap->ineq[j][1 + v_div + div]) &&  in eliminate_unit_div()
1378 		    !isl_int_is_negone(bmap->ineq[j][1 + v_div + div]))  in eliminate_unit_div()
1384 		s = isl_int_sgn(bmap->ineq[j][1 + v_div + div]);  in eliminate_unit_div()
1385 		isl_int_set_si(bmap->ineq[j][1 + v_div + div], 0);  in eliminate_unit_div()
1479 	isl_size v_div, n_ineq;  in is_pure_unit_div()  local
1481 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in is_pure_unit_div()
1483 	if (v_div < 0 || n_ineq < 0)  in is_pure_unit_div()
1489 		if (isl_int_is_zero(bmap->ineq[i][1 + v_div + div]))  in is_pure_unit_div()
1497 		if (!isl_int_is_one(bmap->ineq[i][1 + v_div + div]) &&  in is_pure_unit_div()
1498 		    !isl_int_is_negone(bmap->ineq[i][1 + v_div + div]))  in is_pure_unit_div()
1602 	isl_size v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in div_is_redundant()  local
1603 	unsigned pos = 1 + v_div + div;  in div_is_redundant()
1605 	if (v_div < 0)  in div_is_redundant()
1642 	isl_size v_div;  in remove_redundant_divs()  local
1644 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in remove_redundant_divs()
1645 	if (v_div < 0)  in remove_redundant_divs()
1657 								v_div + i, 1);  in remove_redundant_divs()
4155 	isl_size v_div;  in div_find_coalesce()  local
4162 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in div_find_coalesce()
4163 	if (v_div < 0)  in div_find_coalesce()
4165 	if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + v_div, div) != -1)  in div_find_coalesce()
4167 	if (isl_seq_first_non_zero(bmap->ineq[l] + 1 + v_div + div + 1,  in div_find_coalesce()
4177 		if (!isl_int_is_zero(bmap->div[i][1 + 1 + v_div + div]))  in div_find_coalesce()
4200 			if (!isl_int_is_zero(bmap->div[j][1 + 1 + v_div + i]))  in div_find_coalesce()
4209 			if (isl_int_is_zero(bmap->ineq[j][1 + v_div + div])) {  in div_find_coalesce()
4210 				if (is_zero_or_one(bmap->ineq[j][1 + v_div + i]))  in div_find_coalesce()
4214 			if (isl_int_is_zero(bmap->ineq[j][1 + v_div + i]))  in div_find_coalesce()
4216 			isl_int_mul(bmap->ineq[j][1 + v_div + div],  in div_find_coalesce()
4217 				    bmap->ineq[j][1 + v_div + div],  in div_find_coalesce()
4219 			valid = isl_int_eq(bmap->ineq[j][1 + v_div + div],  in div_find_coalesce()
4220 					   bmap->ineq[j][1 + v_div + i]);  in div_find_coalesce()
4221 			isl_int_divexact(bmap->ineq[j][1 + v_div + div],  in div_find_coalesce()
4222 					 bmap->ineq[j][1 + v_div + div],  in div_find_coalesce()
4532 	isl_size v_div;  in coalesce_divs()  local
4538 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in coalesce_divs()
4539 	if (v_div < 0)  in coalesce_divs()
4541 	total = 1 + v_div + bmap->n_div;  in coalesce_divs()
4550 		if (isl_int_is_zero(bmap->ineq[i][1 + v_div + div2]))  in coalesce_divs()
4552 		if (isl_int_is_zero(bmap->ineq[i][1 + v_div + div1])) {  in coalesce_divs()
4553 			if (isl_int_is_pos(bmap->ineq[i][1 + v_div + div2]))  in coalesce_divs()
4560 		isl_int_set(bmap->ineq[i][1 + v_div + div2],  in coalesce_divs()
4561 			    bmap->ineq[i][1 + v_div + div1]);  in coalesce_divs()
4562 		isl_int_set_si(bmap->ineq[i][1 + v_div + div1], 0);  in coalesce_divs()
4590 	isl_size v_div;  in coalesce_or_drop_more_redundant_divs()  local
4593 	v_div = isl_basic_map_var_offset(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()
4602 			if (!isl_int_is_one(bmap->ineq[l][1 + v_div + i]))  in coalesce_or_drop_more_redundant_divs()
4607 				if (!isl_int_is_negone(bmap->ineq[u][1+v_div+i]))  in coalesce_or_drop_more_redundant_divs()
4941 	isl_size v_div, n_div;  in any_div_involves_div()  local
4943 	v_div = isl_basic_map_var_offset(bmap, isl_dim_div);  in any_div_involves_div()
4945 	if (v_div < 0 || n_div < 0)  in any_div_involves_div()
4956 		if (!isl_int_is_zero(bmap->div[i][1 + 1 + v_div + div]))  in any_div_involves_div()