Home
last modified time | relevance | path

Searched refs:isl_int_eq (Results 1 – 16 of 16) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_test_int.c35 assert(isl_int_eq(demoted, promoted)); in int_test_hash()
195 assert(isl_int_eq(result, expected)); in int_test_neg()
198 assert(isl_int_eq(result, arg)); in int_test_neg()
209 assert(isl_int_eq(result, expected)); in int_test_abs()
245 assert(isl_int_eq(expected, result)); in int_test_divexact()
248 assert(isl_int_eq(expected, result)); in int_test_divexact()
251 assert(isl_int_eq(expected, result)); in int_test_divexact()
254 assert(isl_int_eq(expected, result)); in int_test_divexact()
260 assert(isl_int_eq(expected, result)); in int_test_divexact()
263 assert(isl_int_eq(expected, result)); in int_test_divexact()
[all …]
Disl_val.c665 if (isl_int_eq(v1->d, v2->d)) in isl_val_add()
743 if (isl_int_eq(v1->d, v2->d)) in isl_val_sub()
1208 return isl_bool_ok(isl_int_eq(v->n, v->d)); in isl_val_is_one()
1427 return isl_bool_ok(isl_int_eq(v1->n, v2->n) && in isl_val_eq()
1428 isl_int_eq(v1->d, v2->d)); in isl_val_eq()
1452 isl_int_eq(v1->d, v2->d)); in isl_val_abs_eq()
Disl_point.c407 if (isl_int_eq(pnt->vec->el[1 + pos], v->n) && in isl_point_set_coordinate_val()
408 isl_int_eq(pnt->vec->el[0], v->d)) { in isl_point_set_coordinate_val()
420 if (isl_int_eq(pnt->vec->el[0], v->d)) { in isl_point_set_coordinate_val()
Disl_int_gmp.h57 #define isl_int_eq(i,j) (mpz_cmp(i,j) == 0) macro
Disl_int_imath.h55 #define isl_int_eq(i,j) (impz_cmp(i,j) == 0) macro
Dbasis_reduction_templ.c186 if (isl_int_eq(mu[0], mu[1])) in isl_tab_compute_reduced_basis()
Disl_seq.c187 if (isl_int_eq(p1[i], p2[i])) in isl_seq_is_neg()
Disl_map_simplify.c170 !isl_int_eq(bmap->div[div][1 + pos], bmap->div[div][0]); in needs_reduction()
1565 if (isl_int_eq(constraint[pos], bmap->div[div][0])) { in isl_basic_map_is_div_constraint()
3422 if (isl_int_eq(bmap->ineq[i1][0], context->ineq[i2][0])) { in drop_inequalities()
4216 valid = isl_int_eq(bmap->ineq[j][1 + v_div + div], in div_find_coalesce()
4368 if (isl_int_eq(data->fl, data->v->el[0])) in int_between_bounds()
4885 equal = isl_int_eq(l, u); in lower_bound_is_cst()
Disl_local_space.c1301 if (isl_int_eq(constraint[pos], ls->div->row[div][0])) { in is_linear_div_constraint()
1353 if (!isl_int_eq(constraint[0], ls->div->row[div][1])) in isl_local_space_is_div_constraint()
Disl_convex_hull.c1552 if (isl_int_eq(c->c->row[0][0], con[0])) { in update_constraint()
1584 return isl_bool_ok(isl_int_eq(c->c->row[0][0], con[0])); in has_constraint()
2797 (last_added || isl_int_eq(ineq[i - 1][0], ineq[i][0]))) in uset_unshifted_simple_hull_from_constraints()
Disl_aff.c843 if (isl_int_eq(aff->v->el[1], v->n) && in isl_aff_set_constant_val()
844 isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_set_constant_val()
856 if (isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_set_constant_val()
933 } else if (isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_add_constant_val()
1143 if (isl_int_eq(aff->v->el[1 + pos], v->n) && in isl_aff_set_coefficient_val()
1144 isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_set_coefficient_val()
1156 if (isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_set_coefficient_val()
1260 } else if (isl_int_eq(aff->v->el[0], v->d)) { in isl_aff_add_coefficient_val()
Disl_affine_hull.c80 if (isl_int_eq(bset1->eq[row][col], bset2->eq[row][col])) in set_common_multiple()
Disl_int_sioimath.h1236 #define isl_int_eq(i, j) (isl_sioimath_cmp(*(i), *(j)) == 0) macro
Disl_polynomial.c148 r = isl_int_eq(cst1->n, cst2->n) && in isl_poly_is_equal()
149 isl_int_eq(cst1->d, cst2->d); in isl_poly_is_equal()
264 r = isl_int_eq(cst->n, cst->d) && isl_int_is_pos(cst->d); in isl_poly_is_one()
756 if (isl_int_eq(cst1->d, cst2->d)) in isl_poly_sum_cst()
Disl_tab.c1583 if (tab->M && !isl_int_eq(tab->mat->row[row][2], in row_is_manifestly_non_integral()
4081 if (!isl_int_eq(tab->mat->row[row][1], in separation_type()
Disl_output.c528 !isl_int_eq(bmap->ineq[i][last], bmap->ineq[i + 1][last]); in next_is_opposite()