Home
last modified time | relevance | path

Searched refs:isl_seq_first_non_zero (Results 1 – 21 of 21) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_map_simplify.c910 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + v_div, j) != -1) in n_pure_div_eq()
1576 if (isl_seq_first_non_zero(constraint+pos+1, in isl_basic_map_is_div_constraint()
1582 if (isl_seq_first_non_zero(constraint+pos+1, in isl_basic_map_is_div_constraint()
2079 l = isl_seq_first_non_zero(ineq->row[k] + 1, total); in mark_shifted_constraints()
2891 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + total, in n_div_eq()
3409 if (isl_seq_first_non_zero(bmap->ineq[i1] + 1 + total, in drop_inequalities()
3467 if (isl_seq_first_non_zero(bmap->eq[i1] + 1 + total, in drop_equalities()
5149 if (isl_seq_first_non_zero(c, n) == -1) in preimage()
5280 l = isl_seq_first_non_zero(bmap->eq[i] + o_div + first, in isl_basic_map_drop_redundant_divs()
5285 if (isl_seq_first_non_zero(bmap->eq[i] + o_div + l + 1, in isl_basic_map_drop_redundant_divs()
[all …]
H A Disl_seq.h46 int isl_seq_first_non_zero(isl_int *p, unsigned len);
H A Disl_seq.c196 int isl_seq_first_non_zero(isl_int *p, unsigned len) in isl_seq_first_non_zero() function
229 int i, min = isl_seq_first_non_zero(p, len); in isl_seq_abs_min_non_zero()
H A Disl_morph.c503 if (isl_seq_first_non_zero(bset->eq[f_eq] + orest, nrest) == -1) in isl_basic_set_variable_compression()
506 if (isl_seq_first_non_zero(bset->eq[f_eq + n_eq] + otype, ntype) == -1) in isl_basic_set_variable_compression()
590 if (isl_seq_first_non_zero(bset->eq[bset->n_eq - 1] + 1 + nparam, in isl_basic_set_parameter_compression()
H A Disl_mat.c438 if (isl_seq_first_non_zero(mat->row[i], i) != -1) in isl_mat_is_scaled_identity()
442 if (isl_seq_first_non_zero(mat->row[i] + i + 1, in isl_mat_is_scaled_identity()
549 isl_seq_first_non_zero(left->row[0]+1, left->n_col-1) == -1, in isl_mat_aff_direct_sum()
552 isl_seq_first_non_zero(right->row[0]+1, right->n_col-1) == -1, in isl_mat_aff_direct_sum()
684 while ((off = isl_seq_first_non_zero(M->row[row]+first, in isl_mat_left_hermite()
814 pos = isl_seq_first_non_zero(mat->row[i], nc); in isl_mat_lexnonneg_rows()
1155 while ((off = isl_seq_first_non_zero(mat->row[row]+first, in isl_mat_right_inverse()
1728 if (isl_seq_first_non_zero(mat->row[row], mat->n_col) == -1) in isl_mat_row_neg()
H A Disl_map_subtract.c768 isl_seq_first_non_zero(bmap->eq[j] + 1, i) == -1, in singleton_extract_point()
775 isl_seq_first_non_zero(bmap->eq[j]+1+i+1, dim-i-1) == -1, in singleton_extract_point()
H A Disl_vertices.c241 if (isl_seq_first_non_zero(f, facets->n_col) < 0) in is_independent()
1510 return isl_seq_first_non_zero(v->el, v->size) == -1; in vertex_on_facet()
1552 if (isl_seq_first_non_zero(bset->ineq[i] + 1 + nparam, d) == -1) in triangulate()
H A Disl_map.c1091 if (isl_seq_first_non_zero(bset->eq[i] + 1, nparam) != -1) in isl_basic_set_eq_is_stride()
1093 pos1 = isl_seq_first_non_zero(bset->eq[i] + 1 + nparam, d); in isl_basic_set_eq_is_stride()
1216 j = isl_seq_first_non_zero(bmap->eq[i] + 1, total); in isl_basic_map_has_rational()
1222 j = isl_seq_first_non_zero(bmap->eq[i] + 1 + j + 1, in isl_basic_map_has_rational()
2954 if (isl_seq_first_non_zero(bmap->eq[i] + first, n) >= 0) in isl_basic_map_involves_dims()
2957 if (isl_seq_first_non_zero(bmap->ineq[i] + first, n) >= 0) in isl_basic_map_involves_dims()
9497 pos = isl_seq_first_non_zero(bmap->div[i]+1+1+off+i, in isl_basic_map_order_divs()
10043 if (isl_seq_first_non_zero(bmap->eq[i]+1, d) != -1) in isl_basic_map_plain_has_fixed_var()
11830 if (isl_seq_first_non_zero(bmap->eq[j] + o_out + pos + 1, in isl_basic_map_output_defining_equality()
12045 if (isl_seq_first_non_zero(p, pos) != -1) in unique()
[all …]
H A Disl_tab.c1586 if (isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in row_is_manifestly_non_integral()
2003 i = isl_seq_first_non_zero(tab->mat->row[r] + 2 + tab->M + tab->n_dead, in add_eq()
2035 return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in row_is_manifestly_zero()
3334 isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in isl_tab_is_equality()
3459 pos = isl_seq_first_non_zero(mat->row[row] + off + tab->n_dead, n); in is_constant()
4062 pos = isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in separation_type()
4075 pos = isl_seq_first_non_zero( in separation_type()
H A Disl_transitive_closure.c371 if (!p && isl_seq_first_non_zero(c + 1, nparam) == -1) in purity()
373 if (!v && isl_seq_first_non_zero(c + 1 + nparam, d) == -1) in purity()
416 if (isl_seq_first_non_zero(bset->div[i] + 2, nparam) != -1) in get_div_purity()
418 if (isl_seq_first_non_zero(bset->div[i] + 2 + nparam, d) != -1) in get_div_purity()
H A Disl_constraint.c779 isl_seq_first_non_zero(bmap->eq[i]+offset+pos+1, in isl_basic_map_has_defining_equality()
828 if (isl_seq_first_non_zero(bset->ineq[i]+offset+pos+1, in isl_basic_set_has_defining_inequalities()
H A Disl_tab_pip.c262 if (isl_seq_first_non_zero(M->row[i] + first, n) != -1) in check_final_columns_are_zero()
1543 return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, in is_constant()
4331 if (isl_seq_first_non_zero(dom->div[div] + 2 + d_v_div, in find_context_div()
4338 if (isl_seq_first_non_zero(bmap->div[i] + 2 + d_v_div, in find_context_div()
4620 if (isl_seq_first_non_zero(info.val, n_out) < 0) in parallel_constraints()
4622 if (isl_seq_first_non_zero(info.val + n_out, n_div) >= 0) in parallel_constraints()
4772 if (isl_seq_first_non_zero(bmap->ineq[i] + 1 + pos + 1, in need_split_basic_map()
H A Disl_vec.c337 return isl_bool_ok(isl_seq_first_non_zero(vec->el, vec->size) < 0); in isl_vec_is_zero()
H A Disl_convex_hull.c3104 if (isl_seq_first_non_zero(hull->eq[j]+1+nparam+i+1, in isl_set_bounded_simple_hull()
3114 if (isl_seq_first_non_zero(hull->ineq[j]+1+nparam+i+1, in isl_set_bounded_simple_hull()
3116 isl_seq_first_non_zero(hull->ineq[j]+1+nparam, in isl_set_bounded_simple_hull()
H A Disl_aff.c702 pos = isl_seq_first_non_zero(aff->v->el + 1, aff->v->size - 1); in isl_aff_plain_is_zero()
713 return isl_bool_ok(isl_seq_first_non_zero(aff->v->el, 2) < 0); in isl_aff_is_nan()
3404 pos = isl_seq_first_non_zero(aff->v->el + 2, aff->v->size - 2); in isl_aff_is_cst()
4746 first = isl_seq_first_non_zero(c, n); in subtract_initial()
5152 if (isl_seq_first_non_zero(c + offset, d) != -1) in is_potential_div_constraint()
5154 if (isl_seq_first_non_zero(c + offset + d + 1, in is_potential_div_constraint()
5472 if (isl_seq_first_non_zero(eq + o_out, i) != -1) in pw_multi_aff_from_map_check_strides()
5474 if (isl_seq_first_non_zero(eq + o_out + i + 1, in pw_multi_aff_from_map_check_strides()
H A Disl_coalesce.c832 i = isl_seq_first_non_zero(T->row[row] + 1, len); in not_unique_unit_row()
839 j = isl_seq_first_non_zero(T->row[row] + 1 + i + 1, len - (i + 1)); in not_unique_unit_row()
3600 if (isl_seq_first_non_zero(bmap->div[i] + 2 + total, in has_nested_div()
H A Disl_affine_hull.c1117 if (isl_seq_first_non_zero(bmap->eq[n] + 1 + v_div + n_known, in isl_basic_map_make_strides_explicit()
H A Disl_local_space.c1306 if (isl_seq_first_non_zero(constraint + pos + 1, in is_linear_div_constraint()
H A Disl_output.c1317 if (isl_seq_first_non_zero(bmap->eq[i] + 1 + v_div, in drop_aff()
H A Disl_polynomial.c4665 if (isl_seq_first_non_zero(qp->div->row[i] + 2 + div_pos, in split_periods()
H A Disl_scheduler.c4579 trivial = isl_seq_first_non_zero(node_sol->el, in is_trivial()