303 	unsigned pos, isl_int *eq, int keep_divs, int *progress)  in eliminate_var_using_equality()  argument
320 		if (progress)  in eliminate_var_using_equality()
321 			*progress = 1;  in eliminate_var_using_equality()
329 		if (progress)  in eliminate_var_using_equality()
330 			*progress = 1;  in eliminate_var_using_equality()
342 		if (progress)  in eliminate_var_using_equality()
343 			*progress = 1;  in eliminate_var_using_equality()
416 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_eq()  argument
443 			*progress = 1;  in eliminate_divs_eq()
451 		return eliminate_divs_eq(bmap, progress);  in eliminate_divs_eq()
458 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_ineq()  argument
482 		*progress = 1;  in eliminate_divs_ineq()
546 	int div, int eq, int *progress)  in set_div_from_eq()  argument
571 	if (progress)  in set_div_from_eq()
572 		*progress = 1;  in set_div_from_eq()
597 	int *progress,  in isl_basic_map_gauss5()  argument
637 						bmap->eq[done], 1, progress);  in isl_basic_map_gauss5()
641 						done, progress);  in isl_basic_map_gauss5()
662 	int *progress)  in isl_basic_map_gauss()  argument
664 	return isl_basic_map_gauss5(bmap, progress, NULL, NULL, NULL);  in isl_basic_map_gauss()
668 	__isl_take isl_basic_set *bset, int *progress)  in isl_basic_set_gauss()  argument
671 							progress));  in isl_basic_set_gauss()
817 	__isl_take isl_basic_map *bmap, int *progress)  in remove_duplicate_divs()  argument
871 			*progress = 1;  in remove_duplicate_divs()
965 	int *progress)  in normalize_divs()  argument
1102 	if (progress)  in normalize_divs()
1103 		*progress = 1;  in normalize_divs()
1209 	int *progress)  in check_for_div_constraints()  argument
1232 		if (progress)  in check_for_div_constraints()
1233 			*progress = 1;  in check_for_div_constraints()
1240 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs)  in isl_basic_map_remove_duplicate_constraints()  argument
1261 		if (progress)  in isl_basic_map_remove_duplicate_constraints()
1262 			*progress = 1;  in isl_basic_map_remove_duplicate_constraints()
1281 								 sum, progress);  in isl_basic_map_remove_duplicate_constraints()
1290 			if (progress)  in isl_basic_map_remove_duplicate_constraints()
1291 				*progress = 1;  in isl_basic_map_remove_duplicate_constraints()
1310 	__isl_take isl_basic_map *bmap, int *progress)  in isl_basic_map_detect_inequality_pairs()  argument
1318 		if (progress && duplicate)  in isl_basic_map_detect_inequality_pairs()
1319 			*progress = 1;  in isl_basic_map_detect_inequality_pairs()
1361 	__isl_take isl_basic_map *bmap, int div, int *progress)  in eliminate_unit_div()  argument
1381 		if (progress)  in eliminate_unit_div()
1382 			*progress = 1;  in eliminate_unit_div()
1425 	int *progress)  in eliminate_selected_unit_divs()  argument
1444 		bmap = eliminate_unit_div(bmap, i, progress);  in eliminate_selected_unit_divs()
1466 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_unit_divs()  argument
1468 	return eliminate_selected_unit_divs(bmap, &is_any_div, progress);  in eliminate_unit_divs()
1518 	int progress = 1;  in isl_basic_map_simplify()  local
1521 	while (progress) {  in isl_basic_map_simplify()
1524 		progress = 0;  in isl_basic_map_simplify()
1533 		bmap = remove_duplicate_divs(bmap, &progress);  in isl_basic_map_simplify()
1534 		bmap = eliminate_unit_divs(bmap, &progress);  in isl_basic_map_simplify()
1535 		bmap = eliminate_divs_eq(bmap, &progress);  in isl_basic_map_simplify()
1536 		bmap = eliminate_divs_ineq(bmap, &progress);  in isl_basic_map_simplify()
1537 		bmap = isl_basic_map_gauss(bmap, &progress);  in isl_basic_map_simplify()
1539 		bmap = normalize_divs(bmap, &progress);  in isl_basic_map_simplify()
1541 								&progress, 1);  in isl_basic_map_simplify()
1542 		if (bmap && progress)  in isl_basic_map_simplify()
5475 		int progress = 0;  in isl_basic_map_reduce_coefficients()  local
5478 		bmap = isl_basic_map_detect_inequality_pairs(bmap, &progress);  in isl_basic_map_reduce_coefficients()
5479 		if (progress) {  in isl_basic_map_reduce_coefficients()
5480 			bmap = eliminate_divs_eq(bmap, &progress);  in isl_basic_map_reduce_coefficients()