Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp119 unsigned posB) { in swapVar() argument
128 atId(kindB, posB) = 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
370 assert(posB < getNumVars() && "invalid position B"); 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
1142 assert(posB < getNumLocalVars() && "Invalid local var position"); in eliminateRedundantLocalVar()
1146 posB += localOffset; in eliminateRedundantLocalVar()
1147 inequalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
1148 equalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/ADT/
H A DIntervalMap.h2076 typename MapB::const_iterator posB; variable
2087 posA.advanceTo(posB.start()); in advance()
2092 posB.advanceTo(posA.start()); in advance()
2093 if (!posB.valid() || !Traits::stopLess(posA.stop(), posB.start())) in advance()
2101 posA.advanceTo(posB.start()); in advance()
2105 posB.advanceTo(posA.start()); in advance()
2106 if (!posB.valid() || !Traits::stopLess(posA.stop(), posB.start())) in advance()
2119 return posA.valid() && posB.valid(); in valid()
2150 ++posB; in skipB()
2172 if (Traits::stopLess(posB.stop(), x)) in advanceTo()
[all …]
/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.cpp375 APInt posB = zero.ssub_ov(b, overflowOrDiv0); in fold() local
376 return signedCeilNonnegInputs(posA, posB, overflowOrDiv0); in fold()
385 APInt posB = zero.ssub_ov(b, overflowOrDiv0); in fold() local
386 APInt div = a.sdiv_ov(posB, overflowOrDiv0); in fold()
424 APInt posB = zero.ssub_ov(b, overflowOrDiv0); in fold() local
425 return posA.sdiv_ov(posB, overflowOrDiv0); in fold()
434 APInt posB = zero.ssub_ov(b, overflowOrDiv0); in fold() local
435 APInt ceil = signedCeilNonnegInputs(a, posB, 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()
1351 getVarKindAt(posB) == VarKind::Local) in swapVar()
1356 values[posB] = None; in swapVar()
1357 else if (getVarKindAt(posB) == VarKind::Local) 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;