isl/dist/isl_aff.c

2230 /* Exploit the equalities in "eq" to simplify the affine expression
2233  * as regular dimensions in "eq".
2236 	__isl_take isl_aff *aff, __isl_take isl_basic_set *eq)
2242 	if (!eq)
2244 	if (eq->n_eq == 0) {
2245 		isl_basic_set_free(eq);
2254 							isl_basic_set_copy(eq));
2259 	o_div = isl_basic_set_offset(eq, isl_dim_div);
2260 	n_div = eq->n_div;
2261 	for (i = 0; i < eq->n_eq; ++i) {
2262 		j = isl_seq_last_non_zero(eq->eq[i], o_div + n_div);
2266 		isl_seq_elim(aff->v->el + 1, eq->eq[i], j, o_div,
2270 	isl_basic_set_free(eq);
2274 	isl_basic_set_free(eq);
2279 /* Exploit the equalities in "eq" to simplify the affine expression
2283 	__isl_take isl_basic_set *eq)
2291 		eq = isl_basic_set_add_dims(eq, isl_dim_set, n_div);
2292 	return isl_aff_substitute_equalities_lifted(aff, eq);
2294 	isl_basic_set_free(eq);
4478 /* Exploit the equalities in "eq" to simplify the affine expressions.
4481 	__isl_take isl_multi_aff *maff, __isl_take isl_basic_set *eq)
4487 	if (n < 0 || !eq)
4495 						    isl_basic_set_copy(eq));
4499 	isl_basic_set_free(eq);
4502 	isl_basic_set_free(eq);
4636 		isl_set *gt, *eq;
4641 		eq = isl_multi_aff_order_at(ma1, ma2, i, &isl_aff_eq_set);
4642 		equal_set = isl_set_intersect(equal_set, eq);
4936  * equality "eq".
5002 	__isl_keep isl_basic_map *bmap, int pos, int eq, int div, int ineq,
5023 	if (isl_int_is_neg(bmap->eq[eq][o_out + pos])) {
5024 		isl_seq_cpy(aff->v->el + 1, bmap->eq[eq], o_out);
5026 			    bmap->eq[eq] + o_out + n_out, n_div);
5028 		isl_seq_neg(aff->v->el + 1, bmap->eq[eq], o_out);
5030 			    bmap->eq[eq] + o_out + n_out, n_div);
5034 	isl_int_abs(aff->v->el[0], bmap->eq[eq][o_out + pos]);
5035 	aff = subtract_initial(aff, ma, pos, bmap->eq[eq] + o_out,
5036 			    bmap->eq[eq][o_out + pos]);
5049 					    bmap->eq[eq][o_out + n_out + div]);
5078 	int eq, div, ineq;
5083 	eq = isl_basic_map_output_defining_equality(bmap, pos, &div, &ineq);
5084 	if (eq >= bmap->n_eq)
5087 	aff = extract_aff_from_equality(bmap, pos, eq, div, ineq, ma);
5544 		if (isl_int_is_one(hull->eq[i][o_out + d]))
5545 			isl_seq_neg(aff->v->el + 1, hull->eq[i],
5548 			isl_seq_cpy(aff->v->el + 1, hull->eq[i],
5622 			isl_int *eq = hull->eq[j];
5625 			if (!isl_int_is_one(eq[o_out + i]) &&
5626 			    !isl_int_is_negone(eq[o_out + i]))
5628 			if (isl_seq_first_non_zero(eq + o_out, i) != -1)
5630 			if (isl_seq_first_non_zero(eq + o_out + i + 1,
5633 			isl_seq_gcd(eq + o_div, n_div, &gcd);