Home
last modified time | relevance | path

Searched refs:addBound (Results 1 – 25 of 70) sorted by relevance

123

/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/lib/Dialect/SCF/Transforms/
H A DLoopSpecialization.cpp172 return constraints.addBound(type, pos, alignedMap); in alignAndAddBound()
245 if (failed(constraints.addBound(FlatAffineConstraints::EQ, dimOpBound, in canonicalizeMinMaxOp()
331 constraints.addBound(FlatAffineConstraints::EQ, 1, *constUb); in rewritePeeledMinMaxOp()
333 constraints.addBound(FlatAffineConstraints::EQ, 2, *constStep); in rewritePeeledMinMaxOp()
440 constraints.addBound(FlatAffineConstraints::EQ, dimLb, *lbInt); in canonicalizeMinMaxOpInLoop()
442 constraints.addBound(FlatAffineConstraints::EQ, dimUb, *ubInt); in canonicalizeMinMaxOpInLoop()
461 if (failed(constraints.addBound(FlatAffineConstraints::UB, dimIv, map))) in canonicalizeMinMaxOpInLoop()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/include/mlir/Analysis/
H A DAffineStructures.h214 LogicalResult addBound(BoundType type, unsigned pos, AffineMap boundMap);
217 void addBound(BoundType type, unsigned pos, int64_t value);
220 void addBound(BoundType type, ArrayRef<int64_t> expr, int64_t value);
672 LogicalResult addBound(BoundType type, unsigned pos, AffineMap boundMap,
676 void addBound(BoundType type, Value val, int64_t value);
678 using FlatAffineConstraints::addBound;
/dports/graphics/jogamp-jogl/jogl/src/jogl/classes/jogamp/graph/geom/plane/
H A DCrossing.java231 …int addBound(final float bound[], int bc, final float res[], final int rc, final float minX, final… in addBound() method in Crossing.QuadCurve
342 …int addBound(final float bound[], int bc, final float res[], final int rc, final float minX, final… in addBound() method in Crossing.CubicCurve
718 bc = c.addBound(bound, bc, res1, rc1, minX, maxX, false, 0);
719 bc = c.addBound(bound, bc, res2, rc2, minX, maxX, false, 1);
722 bc = c.addBound(bound, bc, res2, rc2, minX, maxX, true, 2);
790 bc = c.addBound(bound, bc, res1, rc1, minX, maxX, false, 0);
791 bc = c.addBound(bound, bc, res2, rc2, minX, maxX, false, 1);
794 bc = c.addBound(bound, bc, res2, rc2, minX, maxX, true, 2);
796 bc = c.addBound(bound, bc, res2, rc2, minX, maxX, true, 4);
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Tools/
H A DRange.hs117 getExtVal (AddExtCV a b) = getExtVal a `addBound` getExtVal b
129 addBound, mulBound :: Boundary a -> Boundary a -> Boundary a
130 addBound = opBound (+) function
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/unittests/Analysis/
H A DAffineStructuresTest.cpp556 fac.addBound(FlatAffineConstraints::UB, 0, 1); in TEST()
561 fac.addBound(FlatAffineConstraints::UB, {1, 2, 3}, 1); in TEST()
569 fac.addBound(FlatAffineConstraints::LB, 0, 1); in TEST()
574 fac.addBound(FlatAffineConstraints::LB, {1, 2, 3}, 1); in TEST()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.core.manipulation/core extension/org/eclipse/jdt/internal/corext/template/java/
H A DCompilationUnitCompletion.java482 addBound(bound); in computeTypeParameterBinding()
492 addBound(match); in computeTypeParameterBinding()
504 addBound(SignatureUtil.qualifySignature(boundSignature, subType)); in computeTypeParameterBinding()
515 addBound(match); in computeTypeParameterBinding()
621 private void addBound(String boundSignature) { in addBound() method in CompilationUnitCompletion.TypeParameterResolver
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java859 … addBound(InferenceBound.LOWER, uv2, inferenceContext.asInstType(l), infer); in PROP_UPPER()
863 … addBound(InferenceBound.UPPER, uv, inferenceContext.asInstType(u), infer); in PROP_UPPER()
889 … addBound(InferenceBound.LOWER, uv, inferenceContext.asInstType(l), infer); in PROP_LOWER()
913 addBound(ib, uv2, inferenceContext.asInstType(b2), infer); in PROP_EQ()
921 addBound(ib, uv, inferenceContext.asInstType(b2), infer); in PROP_EQ()
944 void addBound(InferenceBound ib, UndetVar uv, Type b, Infer infer) { in addBound() method in Infer.IncorporationStep
1001 uv.addBound(InferenceBound.UPPER, op2, types); in ADD_UPPER_BOUND()
1009 uv.addBound(InferenceBound.LOWER, op2, types); in ADD_LOWER_BOUND()
1017 uv.addBound(InferenceBound.EQ, op2, types); in ADD_EQ_BOUND()
1276 void addBound(InferenceBound ib, UndetVar uv, Type b, Infer infer) { in addBound() method in Infer.LeafSolver
[all …]
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java859 … addBound(InferenceBound.LOWER, uv2, inferenceContext.asInstType(l), infer); in PROP_UPPER()
863 … addBound(InferenceBound.UPPER, uv, inferenceContext.asInstType(u), infer); in PROP_UPPER()
889 … addBound(InferenceBound.LOWER, uv, inferenceContext.asInstType(l), infer); in PROP_LOWER()
913 addBound(ib, uv2, inferenceContext.asInstType(b2), infer); in PROP_EQ()
921 addBound(ib, uv, inferenceContext.asInstType(b2), infer); in PROP_EQ()
944 void addBound(InferenceBound ib, UndetVar uv, Type b, Infer infer) { in addBound() method in Infer.IncorporationStep
1001 uv.addBound(InferenceBound.UPPER, op2, types); in ADD_UPPER_BOUND()
1009 uv.addBound(InferenceBound.LOWER, op2, types); in ADD_LOWER_BOUND()
1017 uv.addBound(InferenceBound.EQ, op2, types); in ADD_EQ_BOUND()
1276 void addBound(InferenceBound ib, UndetVar uv, Type b, Infer infer) { in addBound() method in Infer.LeafSolver
[all …]
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Darith_static_learner.h49 void addBound(TNode n);
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/lib/Analysis/
H A DUtils.cpp102 cst->addBound(FlatAffineConstraints::EQ, value, cOp.getValue()); in getAsConstraints()
360 cstWithShapeBounds.addBound(FlatAffineConstraints::LB, r, 0); in getConstantBoundingSizeAndShape()
364 cstWithShapeBounds.addBound(FlatAffineConstraints::UB, r, dimSize - 1); in getConstantBoundingSizeAndShape()
521 cst.addBound(FlatAffineConstraints::EQ, symbol, constOp.getValue()); in compute()
586 cst.addBound(FlatAffineConstraints::LB, /*pos=*/r, /*value=*/0); in compute()
589 cst.addBound(FlatAffineConstraints::UB, /*pos=*/r, in compute()
692 ucst.addBound(FlatAffineConstraints::LB, r, dimSize); in boundCheckLoadOrStoreOp()
703 lcst.addBound(FlatAffineConstraints::UB, r, -1); in boundCheckLoadOrStoreOp()
H A DAffineStructures.cpp223 if (failed(res.addBound(BoundType::LB, ivIdx, lb))) in getHyperrectangular()
228 if (failed(res.addBound(BoundType::UB, ivIdx, ub))) in getHyperrectangular()
658 addBound(BoundType::EQ, val, constOp.getValue()); in addInductionVarOrTerminalSymbol()
696 addBound(BoundType::LB, pos, forOp.getConstantLowerBound()); in addAffineForOpDomain()
709 return addBound(BoundType::UB, pos, forOp.getUpperBoundMap(), in addAffineForOpDomain()
2267 return addBound(type, pos, computeAlignedMap(map, operands)); in addBound()
2299 if (failed(addBound(BoundType::EQ, pos, lbMap, operands))) in addSliceBounds()
2309 if (failed(addBound(BoundType::LB, pos, lbMap, operands))) in addSliceBounds()
2311 if (failed(addBound(BoundType::UB, pos, ubMap, operands))) in addSliceBounds()
2336 void FlatAffineConstraints::addBound(BoundType type, unsigned pos, in addBound() function in FlatAffineConstraints
[all …]
/dports/java/eclipse-ecj/eclipse-ecj-4.4.2_1/org/eclipse/jdt/internal/compiler/lookup/
H A DBoundSet.java49 public void addBound(TypeBound bound) { in addBound() method in BoundSet.ThreeSets
322 addBound(new TypeBound(variable, context.object, ReductionResult.SUBTYPE), context.environment); in addBoundsFromTypeParameters()
357 public void addBound(TypeBound bound, LookupEnvironment environment) { in addBound() method in BoundSet
361 three.addBound(bound); in addBound()
383 addBound(newBounds[i], environment); in addBounds()
593 addBound(new TypeBound(alpha, ai, ReductionResult.SAME), context.environment); in incorporate()
768 addBound((TypeBound)result, context.environment); in reduceOneConstraint()
/dports/finance/qtbitcointrader/QtBitcoinTrader-1.40.55/src/charts/
H A Dchartsmodel.h74 void addBound(double, bool);
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/lookup/
H A DBoundSet.java74 public boolean addBound(TypeBound bound) { in addBound() method in BoundSet.ThreeSets
360 addBound(new TypeBound(variable, context.object, ReductionResult.SUBTYPE), context.environment); in addBoundsFromTypeParameters()
402 public void addBound(TypeBound bound, LookupEnvironment environment) { in addBound() method in BoundSet
434 if (three.addBound(bound)) { in addBound()
461 addBound(newBounds[i], environment); in addBounds()
728 addBound(new TypeBound(alpha, ai, ReductionResult.SAME), context.environment); in incorporate()
1004 addBound((TypeBound)result, context.environment); in reduceOneConstraint()
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1960 addBound(InferenceBound.UPPER, t, types, true);
1964 addBound(InferenceBound.LOWER, origin.lower, types, true);
2021 uv2.addBound(ib, t, types, true);
2085 public final void addBound(InferenceBound ib, Type bound, Types types) {
2101 addBound(ib, bound, types, false);
2105 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2113 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2162 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1986 addBound(InferenceBound.UPPER, t, types, true);
1990 addBound(InferenceBound.LOWER, origin.lower, types, true);
2047 uv2.addBound(ib, t, types, true);
2111 public final void addBound(InferenceBound ib, Type bound, Types types) {
2127 addBound(ib, bound, types, false);
2131 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2139 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2188 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1960 addBound(InferenceBound.UPPER, t, types, true);
1964 addBound(InferenceBound.LOWER, origin.lower, types, true);
2021 uv2.addBound(ib, t, types, true);
2085 public final void addBound(InferenceBound ib, Type bound, Types types) {
2101 addBound(ib, bound, types, false);
2105 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2113 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2162 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1986 addBound(InferenceBound.UPPER, t, types, true);
1990 addBound(InferenceBound.LOWER, origin.lower, types, true);
2047 uv2.addBound(ib, t, types, true);
2111 public final void addBound(InferenceBound ib, Type bound, Types types) {
2127 addBound(ib, bound, types, false);
2131 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2139 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2188 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1982 addBound(InferenceBound.UPPER, t, types, true);
1986 addBound(InferenceBound.LOWER, origin.lower, types, true);
2043 uv2.addBound(ib, t, types, true);
2107 public final void addBound(InferenceBound ib, Type bound, Types types) {
2123 addBound(ib, bound, types, false);
2127 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2135 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2184 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1953 addBound(InferenceBound.UPPER, t, types, true);
1957 addBound(InferenceBound.LOWER, origin.lower, types, true);
2014 uv2.addBound(ib, t, types, true);
2078 public final void addBound(InferenceBound ib, Type bound, Types types) {
2094 addBound(ib, bound, types, false);
2098 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2106 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2155 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1986 addBound(InferenceBound.UPPER, t, types, true);
1990 addBound(InferenceBound.LOWER, origin.lower, types, true);
2047 uv2.addBound(ib, t, types, true);
2111 public final void addBound(InferenceBound ib, Type bound, Types types) {
2127 addBound(ib, bound, types, false);
2131 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2139 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2188 addBound(ib, types.subst(dep, from, to), types, true);
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/code/
H A DType.java1986 addBound(InferenceBound.UPPER, t, types, true);
1990 addBound(InferenceBound.LOWER, origin.lower, types, true);
2047 uv2.addBound(ib, t, types, true);
2111 public final void addBound(InferenceBound ib, Type bound, Types types) {
2127 addBound(ib, bound, types, false);
2131 private void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
2139 ((UndetVar)bound).addBound(ib.complement(), this, types, false);
2188 addBound(ib, types.subst(dep, from, to), types, true);
/dports/math/clingo/clingo-5.5.1/libgringo/src/output/
H A Dstatements.cc493 Translator::BoundMap::Iterator Translator::addBound(Symbol x) { in addBound() function in Gringo::Output::Translator
505 auto &y = *addBound(x); in addLowerBound()
510 auto &y = *addBound(x); in addUpperBound()
520 auto &z = *addBound(x.first); in addBounds()
525 for (auto &x : vars) { addBound(x.second); } in addLinearConstraint()
532 for (auto z : y.value()) { addBound(z.second); } in addDisjointConstraint()
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/
H A DType.java1577 public final void addBound(InferenceBound ib, Type bound, Types types) {
1578 addBound(ib, bound, types, false);
1581 protected void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
1636 addBound(ib, types.subst(dep, from, to), types, true);
1674 public void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
1677 super.addBound(ib, bound, types, update);
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/code/
H A DType.java1577 public final void addBound(InferenceBound ib, Type bound, Types types) {
1578 addBound(ib, bound, types, false);
1581 protected void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
1636 addBound(ib, types.subst(dep, from, to), types, true);
1674 public void addBound(InferenceBound ib, Type bound, Types types, boolean update) {
1677 super.addBound(ib, bound, types, update);

123