Home
last modified time | relevance | path

Searched refs:isl_seq_is_neg (Results 1 – 9 of 9) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_seq.h51 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len);
H A Disl_seq.c181 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len) in isl_seq_is_neg() function
H A Disl_convex_hull.c426 !isl_seq_is_neg(bounds->row[0], in initial_facet_constraint()
2039 isl_seq_is_neg(row + 1, v->p + 1, v->len)); in has_ineq()
2187 neg = isl_seq_is_neg(ineq_j + 1, ineq + 1, v->len); in set_max_constant_term()
2725 neg = isl_seq_is_neg(ineq_i + 1, ineq + 1, v.len); in add_bound_from_constraint()
H A Disl_local_space.c1372 if (!isl_seq_is_neg(constraint + 1, in is_linear_div_constraint()
1415 neg = isl_seq_is_neg(constraint, ls->div->row[div] + 1, 1); in isl_local_space_is_div_constraint()
H A Disl_constraint.c832 if (!isl_seq_is_neg(bset->ineq[i]+1, bset->ineq[j]+1, in isl_basic_set_has_defining_inequalities()
H A Disl_coalesce.c1362 if (isl_seq_is_neg(bound, bmap->ineq[l], len)) in add_selected_wraps()
1378 if (isl_seq_is_neg(bound, bmap->eq[l], len)) in add_selected_wraps()
H A Disl_map_simplify.c1570 neg = isl_seq_is_neg(constraint, bmap->div[div]+1, pos); in isl_basic_map_is_div_constraint()
4103 return isl_seq_is_neg(bmap->ineq[i] + first, bmap->ineq[j] + first, n); in is_opposite_part()
H A Disl_output.c1322 !isl_seq_is_neg(bmap->eq[i], aff->eq[j], 1 + v_div)) in drop_aff()
H A Disl_map.c11867 if (!isl_seq_is_neg(bmap->ineq[i] + 1, in find_modulo_constraint_pair()
14453 if (!isl_seq_is_neg(bmap->ineq[i] + 1, in isl_basic_map_find_output_upper_div_constraint()