Home
last modified time | relevance | path

Searched refs:isl_int_is_zero (Results 1 – 25 of 30) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/
H A Disl_seq.c112 if (isl_int_is_zero(m2)) in isl_seq_combine()
141 if (isl_int_is_zero(dst[pos])) in isl_seq_elim()
188 if (isl_int_is_zero(p1[i])) in isl_seq_is_neg()
201 if (!isl_int_is_zero(p[i])) in isl_seq_first_non_zero()
211 if (!isl_int_is_zero(p[i])) in isl_seq_last_non_zero()
233 if (isl_int_is_zero(p[i])) in isl_seq_abs_min_non_zero()
253 if (isl_int_is_zero(p[i])) in isl_seq_gcd()
264 if (!isl_int_is_zero(ctx->normalize_gcd) && in isl_seq_normalize()
299 if (isl_int_is_zero(p[i])) in isl_seq_hash()
H A Disl_map_simplify.c60 if (isl_int_is_zero(gcd)) { in isl_basic_map_normalize_constraints()
61 if (!isl_int_is_zero(bmap->eq[i][0])) { in isl_basic_map_normalize_constraints()
82 if (isl_int_is_zero(gcd)) { in isl_basic_map_normalize_constraints()
165 if (isl_int_is_zero(bmap->div[div][1 + pos])) in needs_reduction()
223 if (isl_int_is_zero(bmap->div[i][0])) in reduce_div_coefficients()
254 if (isl_int_is_zero(bmap->div[div][0])) in normalize_div_expression()
318 if (isl_int_is_zero(bmap->eq[k][1+pos])) in eliminate_var_using_equality()
327 if (isl_int_is_zero(bmap->ineq[k][1+pos])) in eliminate_var_using_equality()
338 if (isl_int_is_zero(bmap->div[k][0])) in eliminate_var_using_equality()
340 if (isl_int_is_zero(bmap->div[k][1+1+pos])) in eliminate_var_using_equality()
[all …]
H A Disl_power_templ.c41 if (isl_int_is_zero(exp)) in FN()
55 if (!isl_int_is_zero(r)) { in FN()
65 if (isl_int_is_zero(exp)) in FN()
H A Disl_val.c1072 if (isl_int_is_zero(a_copy)) in isl_int_gcdext()
1076 if (isl_int_is_zero(b_copy)) in isl_int_gcdext()
1156 return isl_bool_ok(!isl_int_is_zero(v->d)); in isl_val_is_rat()
1166 return isl_bool_ok(isl_int_is_zero(v->n) && isl_int_is_zero(v->d)); in isl_val_is_nan()
1176 return isl_bool_ok(isl_int_is_pos(v->n) && isl_int_is_zero(v->d)); in isl_val_is_infty()
1186 return isl_bool_ok(isl_int_is_neg(v->n) && isl_int_is_zero(v->d)); in isl_val_is_neginfty()
1196 return isl_bool_ok(isl_int_is_zero(v->n) && !isl_int_is_zero(v->d)); in isl_val_is_zero()
1484 if (isl_int_is_zero(v->d)) { in isl_printer_print_val()
1492 if (!isl_int_is_zero(v->d) && !isl_int_is_one(v->d)) { in isl_printer_print_val()
H A Disl_mat.c689 if (!isl_int_is_zero(M->row[row][first])) in isl_mat_left_hermite()
695 if (isl_int_is_zero(M->row[row][i])) in isl_mat_left_hermite()
701 if (isl_int_is_zero(c)) in isl_mat_left_hermite()
741 if (isl_int_is_zero(mat->row[k][col])) in eliminate()
776 if (!isl_int_is_zero(mat->row[k][last])) in isl_mat_reverse_gauss()
843 if (!isl_int_is_zero(H->row[row][col])) in hermite_first_zero_col()
957 if (!isl_int_is_zero(row[i][col])) in row_first_non_zero()
968 if (isl_int_is_zero(row[i][col])) in row_abs_min_non_zero()
1053 if (!isl_int_is_zero(left->row[first][row])) { in isl_mat_inverse_product()
1061 if (isl_int_is_zero(left->row[i][row])) in isl_mat_inverse_product()
[all …]
H A Disl_factorization.c165 if (!isl_int_is_zero(H->row[j][i])) in init_groups()
206 !isl_int_is_zero(H->row[j][k])) { in update_group_i_with_row_j()
236 if (isl_int_is_zero(H->row[j][i])) in update_groups()
H A Disl_int.h31 #define isl_int_is_zero(i) (isl_int_sgn(i) == 0) macro
H A Disl_constraint.c778 if (isl_int_is_zero(bmap->eq[i][offset + pos]) || in isl_basic_map_has_defining_equality()
822 if (isl_int_is_zero(bset->ineq[i][offset + pos])) in isl_basic_set_has_defining_inequalities()
975 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos])) in foreach_upper_bound()
1017 if (isl_int_is_zero(bset->ineq[i][1 + abs_pos])) in foreach_lower_bound()
1158 if (isl_int_is_zero(bset->eq[i][1 + abs_pos])) in isl_basic_set_foreach_bound_pair()
1185 if (!isl_int_is_zero(context->ineq[i][1 + abs_pos])) in isl_basic_set_foreach_bound_pair()
1221 if (isl_int_is_zero(constraint->v->el[pos])) in isl_constraint_get_bound()
H A Disl_pw_scale_templ.c20 if (pw && DEFAULT_IS_ZERO && isl_int_is_zero(v)) { in FN()
H A Disl_tab.c719 if (isl_int_is_zero(tr[j])) in find_pivot()
752 if (tab->strict_redundant && isl_int_is_zero(tab->mat->row[row][1])) in isl_tab_row_is_redundant()
758 if (isl_int_is_zero(tab->mat->row[row][off + i])) in isl_tab_row_is_redundant()
1155 if (isl_int_is_zero(mat->row[i][off + col])) in isl_tab_pivot()
1184 if (isl_int_is_zero(mat->row[i][off + col])) in isl_tab_pivot()
1215 if (!isl_int_is_zero(tab->mat->row[r][off+var->index])) in to_row()
1313 if (!isl_int_is_zero(tab->mat->row[row][2])) in row_sgn()
1652 if (isl_int_is_zero(mat->row[var->index][off + j])) in close_row()
1973 if (!isl_int_is_zero(tab->mat->row[var->index][off + i])) in to_col()
2024 return tab->M && !isl_int_is_zero(tab->mat->row[row][2]); in row_is_big()
[all …]
H A Disl_scan.c34 if (isl_int_is_zero(cnt->max) || isl_int_lt(cnt->count, cnt->max)) in increment_counter()
47 if (isl_int_is_zero(cnt->max) || isl_int_lt(cnt->count, cnt->max)) in increment_range()
H A Disl_local_space.c720 unknown_i = isl_int_is_zero(row_i[0]); in cmp_row()
721 unknown_j = isl_int_is_zero(row_j[0]); in cmp_row()
1155 if (isl_int_is_zero(ls->div->row[k][1 + j])) in isl_local_space_substitute_equalities()
1220 if (isl_int_is_zero(ls->div->row[i][1 + pos])) in isl_local_space_substitute_seq()
1478 active[i] = !isl_int_is_zero(l[i]); in isl_local_space_get_active()
1485 active[j] |= !isl_int_is_zero(ls->div->row[i][2 + j]); in isl_local_space_get_active()
1597 if (isl_int_is_zero(ls->div->row[i][0])) { in isl_local_space_preimage_multi_aff()
H A Disl_local.c116 return isl_bool_ok(isl_int_is_zero(mat->row[pos][0])); in isl_local_div_is_marked_unknown()
149 if (isl_int_is_zero(mat->row[pos][off + i])) in isl_local_div_is_known()
H A Disl_tab_pip.c1127 if (isl_int_is_zero(tab->mat->row[row][off + col])) in is_obviously_neg()
1138 if (isl_int_is_zero(tab->mat->row[row][off + col])) in is_obviously_neg()
1176 if (isl_int_is_zero(tab->mat->row[row][off + col])) in is_obviously_nonneg()
1187 if (isl_int_is_zero(tab->mat->row[row][off + col])) in is_obviously_nonneg()
1385 if (isl_int_is_zero(tab->mat->row[row][off + col])) in check_lexpos()
1504 if (!isl_int_is_zero(tab->mat->row[row][off + col])) in last_var_col_or_int_par_col()
1584 if (isl_int_is_zero(tab->mat->row[row][off + col])) in is_parametric_constant()
1623 if (!isl_int_is_zero(tab->mat->row[row][1]) || in add_lexmin_eq()
1624 (tab->M && !isl_int_is_zero(tab->mat->row[row][2]))) { in add_lexmin_eq()
3332 if (!isl_int_is_zero(p[col])) in last_non_zero_var_col()
[all …]
H A Disl_polynomial.c188 return isl_bool_ok(isl_int_is_zero(cst->n) && isl_int_is_pos(cst->d)); in isl_poly_is_zero()
220 return isl_bool_ok(isl_int_is_zero(cst->n) && isl_int_is_zero(cst->d)); in isl_poly_is_nan()
236 return isl_bool_ok(isl_int_is_pos(cst->n) && isl_int_is_zero(cst->d)); in isl_poly_is_infty()
252 return isl_bool_ok(isl_int_is_neg(cst->n) && isl_int_is_zero(cst->d)); in isl_poly_is_neginfty()
846 if (!isl_int_is_zero(gcd) && !isl_int_is_one(gcd)) { in isl_poly_cst_reduce()
1900 if (isl_int_is_zero(v)) in isl_qpolynomial_add_isl_int()
1926 if (qp && isl_int_is_zero(v)) { in isl_qpolynomial_mul_isl_int()
2236 if (isl_int_is_zero(cst->n)) in update_coeff()
2495 if (isl_int_is_zero(f[1 + i])) in isl_poly_from_affine()
2596 if (isl_int_is_zero(qp->div->row[j][2 + div_pos + i])) in substitute_non_divs()
[all …]
H A Disl_affine_hull.c133 if (isl_int_is_zero(bset2->eq[r][col])) in construct_column()
219 isl_int_is_zero(bset1->eq[row][col]); in affine_hull()
221 isl_int_is_zero(bset2->eq[row][col]); in affine_hull()
1111 if (isl_int_is_zero(bmap->div[n_known][0])) in isl_basic_map_make_strides_explicit()
H A Disl_equalities.c336 if (isl_int_is_zero(D)) { in isl_mat_parameter_compression()
766 if (isl_int_is_zero(*modulo)) in isl_basic_set_dim_residue_class()
851 if (!isl_int_is_zero(*modulo)) in isl_set_dim_residue_class()
H A Disl_map.c551 if (isl_int_is_zero(bmap->div[i][0])) in add_known_div_constraints()
1087 if (!isl_int_is_zero(bset->eq[i][0])) in isl_basic_set_eq_is_stride()
2648 if (isl_int_is_zero(bmap->div[div][0])) in div_involves_vars()
2656 if (isl_int_is_zero(bmap->div[div][1 + div_offset + i])) in div_involves_vars()
2824 if (isl_int_is_zero(bmap->div[div][0])) in insert_bounds_on_div()
2847 if (!isl_int_is_zero(bmap->ineq[i][1 + v_div + div])) in insert_bounds_on_div()
2956 if (isl_int_is_zero(bmap->div[i][0])) in isl_basic_map_involves_dims()
3253 if (isl_int_is_zero(bmap->div[div][1 + div_offset + i])) in isl_basic_map_div_is_known()
3682 if (!isl_int_is_zero(s)) { in isl_basic_map_contains()
7739 if (!isl_int_is_zero(bset->eq[i][1 + nparam + j])) in first_parameter_equality()
[all …]
H A Disl_bernstein.c81 isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error); in vertex_coordinate()
H A Disl_output.c329 if (isl_int_is_zero(c[i])) in print_affine_of_len()
1751 if (isl_int_is_zero(cst->d)) { in poly_print_cst()
1759 if (!isl_int_is_zero(cst->d) && !isl_int_is_one(cst->d)) { in poly_print_cst()
2559 if (isl_int_is_zero(aff->v->el[1 + o_div + i])) in last_modulo()
2818 if (isl_int_is_zero(c[i])) in print_ls_partial_affine_c()
H A Disl_farkas.c416 return isl_int_is_zero(bset->ineq[ineq][1]); in is_ray()
H A Disl_coalesce.c846 if (!isl_int_is_zero(T->row[j][1 + i])) in not_unique_unit_row()
866 if (!isl_int_is_zero(bmap->ineq[ineq][1 + i])) in is_affected()
904 if (isl_int_is_zero(ctx->normalize_gcd) || in try_tightening()
914 if (isl_int_is_zero(v->el[0])) in try_tightening()
H A Disl_transitive_closure.c363 if (isl_int_is_zero(c[1 + nparam + d + i])) in purity()
412 if (isl_int_is_zero(bset->div[i][0])) { in get_div_purity()
421 if (isl_int_is_zero(bset->div[i][2 + nparam + d + j])) in get_div_purity()
H A Disl_aff.c750 if (isl_int_is_zero(aff->v->el[0])) in isl_aff_plain_is_zero()
974 if (isl_int_is_zero(v)) in isl_aff_add_constant()
1103 if (isl_int_is_zero(v)) in isl_aff_add_constant_num()
1629 if (isl_int_is_zero(aff->v->el[1 + off + b])) in merge_divs()
2100 if (isl_int_is_zero(f)) in isl_aff_scale_down()
4919 if (isl_int_is_zero(c[i])) in subtract_initial()
5228 if (!isl_int_is_zero(v->el[1 + 1 + v_div + i])) in isl_aff_alloc_vec_prune()
5634 if (isl_int_is_zero(gcd)) in pw_multi_aff_from_map_check_strides()
6024 if (isl_int_is_zero(src[offset])) in isl_seq_preimage()
H A Disl_stream.c480 if (minus && isl_int_is_zero(tok->u.v)) { in next_token()

12