Home
last modified time | relevance | path

Searched defs:ineq (Results 1 – 20 of 20) sorted by relevance

/external/llvm-project/mlir/test/SDBM/
Dsdbm-api-test.cpp131 for (auto ineq : ineqs) in TEST_FUNC() local
161 for (auto ineq : ineqs) in TEST_FUNC() local
/external/llvm-project/mlir/unittests/Analysis/
DAffineStructuresTest.cpp45 for (const auto &ineq : ineqs) in makeFACFromConstraints() local
69 for (const auto &ineq : ineqs) in checkPermutationsSample() local
DPresburgerSetTest.cpp89 for (const SmallVector<int64_t, 4> &ineq : ineqs) in makeFACFromConstraints() local
/external/llvm-project/mlir/lib/Analysis/
DPresburgerSet.cpp137 static SmallVector<int64_t, 8> getComplementIneq(ArrayRef<int64_t> ineq) { in getComplementIneq()
197 auto recurseWithInequality = [&, i](ArrayRef<int64_t> ineq) { in subtractRecursively()
209 auto processInequality = [&](ArrayRef<int64_t> ineq) { in subtractRecursively()
DAffineStructures.cpp1511 auto ineq = getInequality(idx); in getLowerAndUpperBound() local
1529 auto ineq = getInequality(idx); in getLowerAndUpperBound() local
1802 SmallVector<int64_t, 4> ineq(getNumCols(), 0); in addLowerOrUpperBound() local
2618 SmallVector<int64_t, 4> ineq; in FourierMotzkinEliminate() local
2653 SmallVector<int64_t, 4> ineq; in FourierMotzkinEliminate() local
DAffineAnalysis.cpp542 SmallVector<int64_t, 8> ineq(dependenceDomain->getNumCols()); in addMemRefAccessConstraints() local
DUtils.cpp474 SmallVector<int64_t, 4> ineq(rank + 1, 0); in boundCheckLoadOrStoreOp() local
/external/llvm-project/polly/lib/External/isl/
Disl_tab_pip.c907 struct isl_vec *ineq; in get_row_parameter_ineq() local
1014 struct isl_vec *ineq; in ineq_for_div() local
1657 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq) in add_lexmin_ineq()
1917 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq) in check_samples()
2016 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq) in tab_has_valid_sample()
2416 struct isl_vec *ineq = NULL; in best_split() local
2511 static void context_lex_add_ineq(struct isl_context *context, isl_int *ineq, in context_lex_add_ineq()
2533 static isl_stat context_lex_add_ineq_wrap(void *user, isl_int *ineq) in context_lex_add_ineq_wrap()
2543 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq, in tab_ineq_sign()
2581 isl_int *ineq, int strict) in context_lex_ineq_sign()
[all …]
Disl_convex_hull.c1518 int ineq; member
1531 isl_int *con, unsigned len, int n, int ineq) in update_constraint()
1694 isl_int *ineq = set->p[s]->ineq[i]; in common_constraints() local
1720 isl_int *ineq = set->p[s]->ineq[i]; in common_constraints() local
2043 isl_int *ineq, unsigned len) in hash_ineq()
2125 isl_int *ineq, int shift) in is_bound()
2168 int i, isl_int *ineq, uint32_t c_hash, struct ineq_cmp_data *v) in set_max_constant_term()
2221 struct sh_data *data, __isl_keep isl_set *set, int i, isl_int *ineq, in add_bound()
2695 __isl_keep isl_set *set, isl_int *ineq) in add_bound_from_constraint()
2771 __isl_take isl_set *set, int n_ineq, isl_int **ineq) in uset_unshifted_simple_hull_from_constraints()
[all …]
Disl_map_simplify.c739 static int hash_index_ineq(struct isl_constraint_index *ci, isl_int **ineq) in hash_index_ineq()
801 isl_int *ineq) in constraint_index_is_redundant()
1118 __isl_take isl_basic_map *bmap, int div, int ineq) in set_div_from_lower_bound()
1138 int div, int ineq) in ok_to_set_div_from_bound()
1175 int div, int ineq) in better_div_constraint()
2055 static isl_stat mark_shifted_constraints(__isl_keep isl_mat *ineq, in mark_shifted_constraints()
2384 __isl_take isl_basic_set *context, __isl_keep isl_mat *ineq, int *row) in drop_irrelevant_constraints_marked()
2483 __isl_take isl_basic_set *bset, __isl_take isl_mat *ineq, in update_ineq_free()
2530 __isl_take isl_mat *ineq, __isl_take isl_basic_set *context) in uset_gist_full()
2630 isl_mat *ineq; in extract_ineq() local
[all …]
Disl_coalesce.c47 static int status_in(isl_int *ineq, struct isl_tab *tab) in status_in()
106 int *ineq = isl_calloc_array(bmap_i->ctx, int, bmap_i->n_ineq); in ineq_status_in() local
205 int *ineq; member
858 static isl_bool is_affected(__isl_keep isl_basic_map *bmap, int ineq, in is_affected()
894 int ineq, __isl_take isl_vec *v) in try_tightening()
1292 isl_int *ineq, unsigned len, __isl_keep isl_set *set, int negate) in add_wrap()
1974 static enum isl_ineq_type type_of_relaxed(struct isl_tab *tab, isl_int *ineq) in type_of_relaxed()
3054 isl_vec *ineq; in fix_constant_divs() local
Disl_map_private.h68 isl_int **ineq; member
Disl_tab.c1907 isl_stat isl_tab_add_ineq(struct isl_tab *tab, isl_int *ineq) in isl_tab_add_ineq()
2216 struct isl_vec *ineq; in ineq_for_div() local
2253 struct isl_vec *ineq; in add_div_constraints() local
4100 enum isl_ineq_type isl_tab_ineq_type(struct isl_tab *tab, isl_int *ineq) in isl_tab_ineq_type()
Disl_farkas.c414 static int is_ray(__isl_keep isl_basic_set *bset, int ineq) in is_ray()
Disl_aff.c2204 isl_constraint *ineq; in aff_pos_basic_set() local
2241 isl_constraint *ineq; in aff_nonneg_basic_set() local
2296 isl_constraint *ineq; in aff_zero_basic_set() local
4692 __isl_keep isl_basic_map *bmap, int pos, int eq, int div, int ineq, in extract_aff_from_equality()
4768 int eq, div, ineq; in extract_isl_aff_from_basic_map() local
Disl_map.c1785 isl_int *ineq) in isl_basic_map_add_ineq()
1806 isl_int *ineq) in isl_basic_set_add_ineq()
11648 int pos, int *div, int *ineq) in isl_basic_map_output_defining_equality()
12772 __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1, in isl_basic_map_from_constraint_matrices()
12876 __isl_take isl_mat *eq, __isl_take isl_mat *ineq, enum isl_dim_type c1, in isl_basic_set_from_constraint_matrices()
14283 __isl_keep isl_basic_set *bset, int ineq) in is_internal()
Disl_scheduler.c2566 isl_size eq, ineq; in update_count() local
2767 isl_vec *ineq; in node_add_coefficient_constraints() local
Disl_output.c64 struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p) in print_constraint_polylib()
/external/llvm-project/mlir/unittests/Analysis/Presburger/
DSimplexTest.cpp86 for (const auto &ineq : ineqs) in simplexFromConstraints() local
/external/llvm-project/mlir/lib/Dialect/SDBM/
DSDBM.cpp305 for (auto ineq : inequalities) in get() local