Home
last modified time | relevance | path

Searched refs:posA (Results 1 – 8 of 8) sorted by relevance

/llvm-project-15.0.7/llvm/include/llvm/ADT/
H A DIntervalMap.h2075 typename MapA::const_iterator posA; variable
2087 posA.advanceTo(posB.start()); in advance()
2088 if (!posA.valid() || !Traits::stopLess(posB.stop(), posA.start())) in advance()
2092 posB.advanceTo(posA.start()); in advance()
2101 posA.advanceTo(posB.start()); in advance()
2102 if (!posA.valid() || !Traits::stopLess(posB.stop(), posA.start())) in advance()
2105 posB.advanceTo(posA.start()); in advance()
2115 posB(posA.valid() ? b.find(posA.start()) : b.end()) { advance(); } in IntervalMapOverlaps()
2119 return posA.valid() && posB.valid(); in valid()
2144 ++posA; in skipA()
[all …]
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp118 void PresburgerSpace::swapVar(VarKind kindA, VarKind kindB, unsigned posA, in swapVar() argument
133 atId(kindA, posA) = nullptr; in swapVar()
137 std::swap(atId(kindA, posA), atId(kindB, posB)); in swapVar()
H A DIntegerRelation.cpp368 void IntegerRelation::swapVar(unsigned posA, unsigned posB) { in swapVar() argument
369 assert(posA < getNumVars() && "invalid position A"); in swapVar()
372 if (posA == posB) in swapVar()
375 inequalities.swapColumns(posA, posB); in swapVar()
376 equalities.swapColumns(posA, posB); in swapVar()
1140 void IntegerRelation::eliminateRedundantLocalVar(unsigned posA, unsigned posB) { in eliminateRedundantLocalVar() argument
1141 assert(posA < getNumLocalVars() && "Invalid local var position"); in eliminateRedundantLocalVar()
1145 posA += localOffset; in eliminateRedundantLocalVar()
1147 inequalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
1148 equalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h255 virtual void eliminateRedundantLocalVar(unsigned posA, unsigned posB);
288 virtual void swapVar(unsigned posA, unsigned posB);
H A DPresburgerSpace.h138 void swapVar(VarKind kindA, VarKind kindB, unsigned posA, unsigned posB);
/llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/IR/
H A DArithmeticOps.cpp374 APInt posA = zero.ssub_ov(a, overflowOrDiv0); in fold() local
376 return signedCeilNonnegInputs(posA, posB, overflowOrDiv0); in fold()
380 APInt posA = zero.ssub_ov(a, overflowOrDiv0); in fold() local
381 APInt div = posA.sdiv_ov(b, overflowOrDiv0); in fold()
423 APInt posA = zero.ssub_ov(a, overflowOrDiv0); in fold() local
425 return posA.sdiv_ov(posB, overflowOrDiv0); in fold()
429 APInt posA = zero.ssub_ov(a, overflowOrDiv0); in fold() local
430 APInt ceil = signedCeilNonnegInputs(posA, b, overflowOrDiv0); in fold()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp1347 void FlatAffineValueConstraints::swapVar(unsigned posA, unsigned posB) { in swapVar() argument
1348 IntegerPolyhedron::swapVar(posA, posB); in swapVar()
1350 if (getVarKindAt(posA) == VarKind::Local && in swapVar()
1355 if (getVarKindAt(posA) == VarKind::Local) in swapVar()
1358 values[posA] = None; in swapVar()
1360 std::swap(values[posA], values[posB]); in swapVar()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h273 void swapVar(unsigned posA, unsigned posB) override;