Home
last modified time | relevance | path

Searched refs:ReprKind (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DUtils.h90 enum class ReprKind { Inequality, Equality, None }; enum
98 ReprKind kind = ReprKind::None;
99 explicit operator bool() const { return kind != ReprKind::None; }
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DUtils.cpp237 repr.kind = ReprKind::Inequality; in computeSingleVarRepr()
250 repr.kind = ReprKind::Equality; in computeSingleVarRepr()
H A DPresburgerRelation.cpp271 if (repr[i].kind == ReprKind::Inequality) { in getSetDifference()
283 assert(repr[i].kind == ReprKind::Equality && in getSetDifference()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp872 if (ulPair.kind == ReprKind::None || ulPair.kind == ReprKind::Equality) in detectAsFloorDiv()