Lines Matching defs:FlatLinearValueConstraints
1 //===- FlatLinearValueConstraints.cpp - Linear Constraint -----------------===//
9 #include "mlir/Analysis//FlatLinearValueConstraints.h"
885 // FlatLinearValueConstraints
889 FlatLinearValueConstraints::FlatLinearValueConstraints(IntegerSet set,
925 unsigned FlatLinearValueConstraints::appendDimVar(ValueRange vals) {
930 unsigned FlatLinearValueConstraints::appendSymbolVar(ValueRange vals) {
935 unsigned FlatLinearValueConstraints::insertDimVar(unsigned pos,
940 unsigned FlatLinearValueConstraints::insertSymbolVar(unsigned pos,
945 unsigned FlatLinearValueConstraints::insertVar(VarKind kind, unsigned pos,
952 unsigned FlatLinearValueConstraints::insertVar(VarKind kind, unsigned pos,
970 static bool areVarsAligned(const FlatLinearValueConstraints &a,
971 const FlatLinearValueConstraints &b) {
984 bool FlatLinearValueConstraints::areVarsAlignedWithOther(
992 const FlatLinearValueConstraints &cst, unsigned start, unsigned end) {
1015 areVarsUnique(const FlatLinearValueConstraints &cst) {
1022 areVarsUnique(const FlatLinearValueConstraints &cst, VarKind kind) {
1044 static void mergeAndAlignVars(unsigned offset, FlatLinearValueConstraints *a,
1045 FlatLinearValueConstraints *b) {
1094 void FlatLinearValueConstraints::mergeAndAlignVarsWithOther(
1095 unsigned offset, FlatLinearValueConstraints *other) {
1103 void FlatLinearValueConstraints::mergeSymbolVars(
1104 FlatLinearValueConstraints &other) {
1134 void FlatLinearValueConstraints::removeVarRange(VarKind kind, unsigned varStart,
1140 FlatLinearValueConstraints::computeAlignedMap(AffineMap map,
1172 bool FlatLinearValueConstraints::findVar(Value val, unsigned *pos,
1183 bool FlatLinearValueConstraints::containsVar(Value val) const {
1188 void FlatLinearValueConstraints::addBound(BoundType type, Value val,
1209 void FlatLinearValueConstraints::printSpace(raw_ostream &os) const {
1225 void FlatLinearValueConstraints::projectOut(Value val) {
1233 LogicalResult FlatLinearValueConstraints::unionBoundingBox(
1234 const FlatLinearValueConstraints &otherCst) {
1248 FlatLinearValueConstraints otherCopy(otherCst);