Home
last modified time | relevance | path

Searched refs:parametric (Results 1 – 24 of 24) sorted by relevance

/llvm-project-15.0.7/mlir/test/IR/
H A Dtest-side-effects.mlir27 // No _memory_ effects, but a parametric test effect.
29 // expected-remark@+1 {{found a parametric effect with affine_map<(d0, d1) -> (d1, d0)>}}
35 // expected-remark@+1 {{found a parametric effect with affine_map<(d0, d1) -> (d1, d0)>}}
/llvm-project-15.0.7/polly/lib/External/isl/
H A DChangeLog51 - minor improvement to parametric integer programming
63 - improve parametric integer programming
217 - fix simple symmetry detection in parametric integer programming
229 - add simple symmetry detection in parametric integer programming
249 - support parametric vertex enumeration for barvinok
H A Disl_tab.h194 int parametric);
H A Disl_scheduler.c2970 int parametric; in setup_lp() local
2974 parametric = ctx->opt->schedule_parametric; in setup_lp()
2997 n_eq += 2 + parametric; in setup_lp()
3003 if (parametric && add_param_sum_constraint(graph, 2) < 0) in setup_lp()
H A Disl_tab.c2433 int parametric) in isl_tab_from_recession_cone() argument
2442 if (parametric) in isl_tab_from_recession_cone()
/llvm-project-15.0.7/mlir/test/Transforms/
H A Dparametric-tiling.mlir17 // Ceildiv to get the parametric tile size.
31 // Ceildiv to get the parametric tile size for the second original scf.
81 // Ceildiv to get the parametric tile size.
100 // Ceildiv to get the parametric tile size for the second original scf.
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Dimplementation.tex168 An alternative method for parametric integer programming
173 non-parametric integer programming problems.
273 applying a (parametric) Gomory cut.
1026 \item non-parametric constraints
1028 \label{eq:transitive:non-parametric}
1031 \item purely parametric constraints
1033 \label{eq:transitive:parametric}
1085 the constraints in \eqref{eq:transitive:parametric}.
1089 \eqref{eq:transitive:non-parametric}, i.e.,
1186 The pure-parametric constraints valid for $\Delta$,
[all …]
H A Disl.bib144 distribution. Our method is based on parametric polyhedral
151 TITLE = {{E}xperiences with enumeration of integer projections of parametric polytopes},
H A Duser.pod3594 library for representing the number of elements in a parametric set or map.
4074 An C<isl_union_pw_aff> that is equal to a (parametric) affine
4269 If the set is parametric, then the coefficients of the parameters
6395 the offset is a parametric constant value.
7595 a parametric (basic) set. For the other functions, a parametric set
7597 a parametric set as well.
9652 over all elements in that domain and the result has a purely parametric
9659 The parametric vertex enumeration described in this section
9668 actual computation of the parametric vertices and the chamber
12829 of constraints on a parametric polyhedron.
[all …]
/llvm-project-15.0.7/mlir/test/Dialect/Affine/
H A Dloop-coalescing.mlir125 // Check with parametric loop bounds and steps, capture the bounds here.
126 // CHECK-LABEL: @parametric
133 func.func @parametric(%lb1 : index, %ub1 : index, %step1 : index,
H A Dloop-tiling-parametric.mlir1 // RUN: mlir-opt %s -split-input-file -test-affine-parametric-tile | FileCheck %s
/llvm-project-15.0.7/polly/test/DeLICM/
H A Dreduction_looprotate_loopguard_gvnpre.ll3 ; Reduction over parametric number of elements and a loopguard if the
H A Dreduction_looprotate_loopguard_licm2.ll3 ; Reduction over parametric number of elements and a loopguard if the
H A Dreduction_looprotate_loopguard_licm3.ll3 ; Reduction over parametric number of elements and a loopguard if the
H A Dreduction_looprotate_loopguard_licm1.ll3 ; Reduction over parametric number of elements and a loopguard if the
/llvm-project-15.0.7/llvm/test/CodeGen/VE/VELIntrinsics/
H A Dlvlgen.ll9 ; Check that the backend can handle constant VL as well as parametric VL
/llvm-project-15.0.7/mlir/docs/
H A DTraits.md145 a mechanism in which to specify arguments to a parametric trait class with an
H A DAttributesAndTypes.md941 /// The parametric data held by the storage class.
/llvm-project-15.0.7/mlir/docs/Tutorials/Toy/
H A DCh-7.md72 When defining a new `Type` that contains parametric data (e.g. the `struct`
/llvm-project-15.0.7/mlir/docs/Dialects/
H A DAffine.md253 The set is viewed as being parametric on its symbolic identifiers. In the
H A DLLVM.md234 The following non-parametric types derived from the LLVM IR are available in the
/llvm-project-15.0.7/mlir/docs/Rationale/
H A DRationaleLinalgDialect.md289 with parametric transformations and tuning knobs, can already provide
395 called parametric tiling), the address expressions and conditions quickly
/llvm-project-15.0.7/polly/test/ScheduleOptimizer/
H A Dpattern-matching-based-opts_5.ll27 ; details). This test check that in case of parametric bounds it helps to
/llvm-project-15.0.7/llvm/lib/Target/ARM/
H A DARMInstrMVE.td6030 // store. I can't make these a fourth independent parametric tuple