Home
last modified time | relevance | path

Searched refs:dom (Results 1 – 25 of 251) sorted by relevance

1234567891011

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_map_lexopt_templ.c98 dom = isl_set_make_disjoint(dom); in SF()
99 if (!dom) in SF()
102 if (isl_set_plain_is_empty(dom)) { in SF()
105 *empty = dom; in SF()
107 isl_set_free(dom); in SF()
117 for (i = 1; i < dom->n; ++i) { in SF()
131 isl_set_free(dom); in SF()
137 isl_set_free(dom); in SF()
185 !isl_space_has_named_params(dom->dim)) in SF()
189 dom = isl_map_align_params(dom, isl_map_get_space(map)); in SF()
[all …]
H A Disl_multi_pw_aff_explicit_domain.c20 if (!mpa->u.dom) in isl_multi_pw_aff_init_explicit_domain()
36 isl_set *dom; in isl_multi_pw_aff_intersect_explicit_domain_product() local
45 dom = isl_set_copy(src1->u.dom); in isl_multi_pw_aff_intersect_explicit_domain_product()
49 dom = isl_set_copy(src2->u.dom); in isl_multi_pw_aff_intersect_explicit_domain_product()
52 dom = isl_map_wrap(map); in isl_multi_pw_aff_intersect_explicit_domain_product()
86 mpa->u.dom = isl_set_insert_dims(mpa->u.dom, type, pos, n); in isl_multi_pw_aff_insert_explicit_domain_dims()
87 if (!mpa->u.dom) in isl_multi_pw_aff_insert_explicit_domain_dims()
106 mpa->u.dom = isl_set_drop(mpa->u.dom, type, pos, n); in isl_multi_pw_aff_drop_explicit_domain_dims()
107 if (!mpa->u.dom) in isl_multi_pw_aff_drop_explicit_domain_dims()
129 mpa->u.dom = isl_set_move_dims(mpa->u.dom, dst_type, dst_pos, in isl_multi_pw_aff_move_explicit_domain_dims()
[all …]
H A Disl_multi_explicit_domain.c66 if (!multi || !dom) in MULTI()
69 multi->u.dom = dom; in MULTI()
70 if (!multi->u.dom) in MULTI()
75 FN(DOM,free)(dom); in MULTI()
90 DOM *dom; in MULTI() local
97 dom = FN(DOM,copy)(dom); in MULTI()
115 DOM *dom; in MULTI() local
128 DOM *dom; in MULTI() local
131 dom = FN(DOM,align_params)(dom, space); in MULTI()
143 DOM *dom; in MULTI() local
[all …]
H A Disl_tab_lexopt_templ.c112 n_div = isl_basic_set_dim(dom, isl_dim_div); in SF()
113 dom = isl_basic_set_add_dims(dom, isl_dim_set, 1); in SF()
114 dom = isl_basic_set_extend_constraints(dom, 0, n); in SF()
116 k = isl_basic_set_alloc_inequality(dom); in SF()
120 isl_int_set_si(dom->ineq[k][1 + n_in], -1); in SF()
135 isl_basic_set_free(dom); in SF()
170 isl_basic_set_free(dom); in SF()
211 dom = extract_domain(bmap, flags); in SF()
220 if (isl_basic_set_dim(dom, isl_dim_all) == 0) in SF()
226 isl_basic_set_copy(dom)); in SF()
[all …]
H A Disl_morph.c45 morph->dom = dom; in isl_morph_alloc()
52 isl_basic_set_free(dom); in isl_morph_alloc()
264 morph->dom = isl_basic_set_remove_dims(morph->dom, type, first, n); in isl_morph_remove_dom_dims()
319 morph->dom = isl_basic_set_params(morph->dom); in isl_morph_dom_params()
320 if (morph->dom) in isl_morph_dom_params()
483 isl_basic_set *dom, *ran; in isl_basic_set_variable_compression() local
573 isl_basic_set *dom, *ran; in isl_basic_set_parameter_compression() local
715 isl_basic_set *dom, *ran; in isl_morph_compose() local
724 dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom)); in isl_morph_compose()
748 bset = morph->dom; in isl_morph_inverse()
[all …]
H A Disl_vertices.c148 v->v.dom = isl_basic_set_params(v->v.dom); in add_vertex()
689 c->c.dom = isl_basic_set_set_rational(c->c.dom); in add_chamber()
690 c->c.dom = isl_basic_set_cow(c->c.dom); in add_chamber()
692 c->c.dom = isl_basic_set_simplify(c->c.dom); in add_chamber()
693 c->c.dom = isl_basic_set_finalize(c->c.dom); in add_chamber()
1063 v->dom = isl_basic_set_params(v->dom); in isl_vertex_get_domain()
1064 v->dom = isl_basic_set_set_integral(v->dom); in isl_vertex_get_domain()
1150 cell->dom = dom; in isl_cell_alloc()
1278 dom = isl_basic_set_set_integral(dom); in isl_vertices_foreach_disjoint_cell()
1294 dom = isl_basic_set_set_integral(dom); in isl_vertices_foreach_disjoint_cell()
[all …]
H A Disl_multi_domain_templ.c21 isl_set *dom; in FN() local
27 dom = FN(MULTI(BASE),get_explicit_domain)(multi); in FN()
29 return dom; in FN()
32 dom = isl_set_universe(FN(MULTI(BASE),get_domain_space)(multi)); in FN()
37 dom = isl_set_intersect(dom, dom_i); in FN()
41 return dom; in FN()
H A Disl_multi_read_no_explicit_domain_templ.c42 isl_set *dom = NULL; in MULTI() local
51 dom = isl_set_universe(isl_space_params_alloc(s->ctx, 0)); in MULTI()
53 dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0); in MULTI()
57 if (!isl_set_plain_is_universe(dom)) in MULTI()
63 space = isl_set_get_space(dom); in MULTI()
73 isl_set_free(dom); in MULTI()
77 isl_set_free(dom); in MULTI()
H A Disl_multi_union_pw_aff_explicit_domain.c24 mupa->u.dom = isl_union_set_from_set(isl_set_universe(space)); in isl_multi_union_pw_aff_init_explicit_domain()
25 if (!mupa->u.dom) in isl_multi_union_pw_aff_init_explicit_domain()
47 mupa->u.dom = isl_union_set_project_out(mupa->u.dom, type, pos, n); in isl_multi_union_pw_aff_drop_explicit_domain_dims()
48 if (!mupa->u.dom) in isl_multi_union_pw_aff_drop_explicit_domain_dims()
H A Disl_multi_union_add_templ.c59 is_params1 = FN(DOM,is_params)(multi1->u.dom); in MULTI()
60 is_params2 = FN(DOM,is_params)(multi2->u.dom); in MULTI()
71 multi1->u.dom = FN(DOM,union)(multi1->u.dom, in MULTI()
72 FN(DOM,copy)(multi2->u.dom)); in MULTI()
73 if (!multi1->u.dom) in MULTI()
H A Dbound.c72 isl_set *dom = NULL; in verify_point() local
107 dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf)); in verify_point()
108 bounded = isl_set_is_bounded(dom); in verify_point()
116 isl_set_sample_point(isl_set_copy(dom))); in verify_point()
166 isl_set_free(dom); in verify_point()
185 isl_set *dom; in check_solution() local
189 dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf)); in check_solution()
190 context = isl_set_params(isl_set_copy(dom)); in check_solution()
223 isl_set_free(dom); in check_solution()
H A Disl_input.c3479 dom = read_map_tuple(s, dom, isl_dim_set, v, 0, 0); in read_aff_domain()
3483 return dom; in read_aff_domain()
3534 dom = read_optional_formula(s, dom, v, 0); in read_pw_aff_with_dom()
3558 dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0); in isl_stream_read_pw_aff()
3712 dom = isl_set_free(dom); in read_conditional_multi_aff()
3715 dom = read_optional_formula(s, dom, v, 0); in read_conditional_multi_aff()
3747 dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0); in isl_stream_read_union_pw_multi_aff()
3891 dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0); in isl_stream_read_multi_aff()
3917 dom = isl_set_intersect_params(set, dom); in isl_stream_read_multi_aff()
4018 dom = read_map_tuple(s, dom, isl_dim_param, v, 1, 0); in isl_stream_read_multi_pw_aff()
[all …]
H A Disl_tab_pip.c234 partial->dom = dom; in sol_push_sol()
348 dom = isl_basic_set_free(dom); in sol_push_sol_mat()
510 partial->dom); in combine_initial_if_equal()
2318 if (dom) { in tab_for_lexmin()
2850 if (!dom) in isl_context_lex_alloc()
3617 if (!dom) in isl_context_gbr_alloc()
3652 if (!dom) in isl_context_alloc()
4429 if (dom->n_div) { in basic_map_partial_lexopt_base_sol()
4430 dom = isl_basic_set_sort_divs(dom); in basic_map_partial_lexopt_base_sol()
5708 dom = isl_basic_set_simplify(dom); in sol_pma_add()
[all …]
H A Disl_transitive_closure.c955 dom = isl_set_add_dims(dom, isl_dim_set, 1); in q_closure()
956 app = isl_map_from_domain_and_range(dom, isl_set_copy(dom)); in q_closure()
1055 if (!dom[j]) in composability()
1059 if (!dom[j]) in composability()
1348 if (!dom[i]) in incremental_closure()
1352 if (!dom[i]) in incremental_closure()
1416 free(dom); in incremental_closure()
1428 if (dom) in incremental_closure()
1431 free(dom); in incremental_closure()
1694 isl_set *dom; in setup_groups() local
[all …]
H A Disl_vertices_private.h21 isl_basic_set *dom; member
31 isl_basic_set *dom; member
51 isl_basic_set *dom; member
H A Disl_bernstein.c127 static isl_stat add_fold(__isl_take isl_qpolynomial *b, __isl_keep isl_set *dom, in add_fold() argument
141 data->fold_tight = isl_qpolynomial_fold_fold_on_domain(dom, in add_fold()
144 data->fold = isl_qpolynomial_fold_fold_on_domain(dom, in add_fold()
160 __isl_keep isl_set *dom, struct bernstein_data *data) in extract_coefficients() argument
211 if (add_fold(b, dom, k, n, d, data) < 0) in extract_coefficients()
279 isl_set *dom; in bernstein_coefficients_cell() local
298 space_param = isl_basic_set_get_space(cell->dom); in bernstein_coefficients_cell()
331 dom = isl_set_from_basic_set(isl_basic_set_copy(cell->dom)); in bernstein_coefficients_cell()
335 if (extract_coefficients(poly, dom, data) < 0) { in bernstein_coefficients_cell()
340 pwf = isl_pw_qpolynomial_fold_alloc(data->type, isl_set_copy(dom), in bernstein_coefficients_cell()
[all …]
H A Disl_opt_mpa_templ.c43 isl_set *dom; in FN() local
45 dom = FN(TYPE,domain)(FN(TYPE,copy)(obj)); in FN()
46 mpa = isl_multi_pw_aff_intersect_domain(mpa, dom); in FN()
H A Disl_map_subtract.c598 __isl_take isl_set *dom) in isl_map_subtract_domain() argument
603 isl_map_align_params_set(&map, &dom); in isl_map_subtract_domain()
604 ok = isl_map_compatible_domain(map, dom); in isl_map_subtract_domain()
608 isl_die(isl_set_get_ctx(dom), isl_error_invalid, in isl_map_subtract_domain()
612 ext_dom = isl_map_intersect_domain(ext_dom, dom); in isl_map_subtract_domain()
616 isl_set_free(dom); in isl_map_subtract_domain()
623 __isl_take isl_set *dom) in isl_map_subtract_range() argument
628 isl_map_align_params_set(&map, &dom); in isl_map_subtract_range()
629 ok = isl_map_compatible_range(map, dom); in isl_map_subtract_range()
637 ext_dom = isl_map_intersect_range(ext_dom, dom); in isl_map_subtract_range()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Bufferization/Transforms/
H A DBufferUtils.h88 Block *dom = value.getParentBlock(); in findCommonDominator() local
95 dom = doms.findNearestCommonDominator(dom, user->getBlock()); in findCommonDominator()
98 dom = doms.findNearestCommonDominator(dom, childValue.getParentBlock()); in findCommonDominator()
100 return dom; in findCommonDominator()
/llvm-project-15.0.7/llvm/test/Transforms/LoopVersioning/
H A Dexit-block-dominates-rt-check-block.ll5 ; RUN: opt -loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t
6 ; RUN: opt -loop-simplify -loop-distribute -enable-loop-distribute -verify-dom-info -S -o - %s > %t
9 ; RUN: opt -loop-versioning -verify-dom-info -S -o - %s > %t
10 ; RUN: opt -loop-simplify -loop-versioning -verify-dom-info -S -o - %s > %t
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp248 PresburgerSet dom(funcA.getDomain()); in unionFunction() local
255 dom = dom.subtract(better); in unionFunction()
267 result.addPiece(dom, funcA.getOutputMatrix()); in unionFunction()
271 PresburgerSet dom = getDomain(); in unionFunction() local
273 result.addPiece(funcB.getDomain().subtract(dom), funcB.getOutputMatrix()); in unionFunction()
/llvm-project-15.0.7/mlir/test/lib/IR/
H A DTestDominance.cpp66 Block *dom = in printDominance() local
68 if (dom) in printDominance()
69 llvm::errs() << blockIds[dom]; in printDominance()
/llvm-project-15.0.7/llvm/test/Examples/IRTransforms/SimplifyCFG/
H A Dtut-simplify-cfg4-multiple-duplicate-cfg-updates.ll2 ; RUN: opt -tut-simplifycfg -tut-simplifycfg-version=v1 < %s -enable-new-pm=0 -S -verify-dom-info |…
3 ; RUN: opt -tut-simplifycfg -tut-simplifycfg-version=v2 < %s -enable-new-pm=0 -S -verify-dom-info |…
4 ; RUN: opt -tut-simplifycfg -tut-simplifycfg-version=v3 < %s -enable-new-pm=0 -S -verify-dom-info |…
/llvm-project-15.0.7/llvm/test/Analysis/BranchProbabilityInfo/
H A Dnoreturn.ll57 br i1 %cond1, label %exit, label %dom
59 ; CHECK: edge entry -> dom probability is 0x00000800 / 0x80000000 = 0.00%
61 dom:
64 ; CHECK: edge dom -> idom1 probability is 0x40000000 / 0x80000000 = 50.00%
65 ; CHECK: edge dom -> idom2 probability is 0x40000000 / 0x80000000 = 50.00%
/llvm-project-15.0.7/polly/test/CodeGen/OpenMP/
H A Dsingle_loop_with_param.ll3 ; RUN: -S -verify-dom-info < %s \
8 ; RUN: -S -verify-dom-info < %s \
14 ; RUN: -S -verify-dom-info < %s \

1234567891011