Searched refs:abs_pos (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_constraint.c | 871 unsigned abs_pos, int strict) in add_larger_bound_constraint() argument
885 isl_int_neg(t, b[1 + abs_pos]); in add_larger_bound_constraint()
887 isl_seq_combine(bset->ineq[k], t, a, a[1 + abs_pos], b, 1 + abs_pos); in add_larger_bound_constraint()
888 isl_seq_combine(bset->ineq[k] + 1 + abs_pos, in add_larger_bound_constraint()
889 t, a + 1 + abs_pos + 1, a[1 + abs_pos], b + 1 + abs_pos + 1, in add_larger_bound_constraint()
890 total - abs_pos); in add_larger_bound_constraint()
909 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_upper, int u) in set_smallest_upper_bound() argument
921 if (!isl_int_is_neg(bset->ineq[j][1 + abs_pos])) in set_smallest_upper_bound()
924 bset->ineq[j], bset->ineq[u], abs_pos, j > u); in set_smallest_upper_bound()
939 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_lower, int l) in set_largest_lower_bound() argument
[all …]
|