diff --git a/mlir/include/mlir/Analysis/AffineStructures.h b/mlir/include/mlir/Analysis/AffineStructures.h --- a/mlir/include/mlir/Analysis/AffineStructures.h +++ b/mlir/include/mlir/Analysis/AffineStructures.h @@ -99,7 +99,8 @@ /// Return a system with no constraints, i.e., one which is satisfied by all /// points. - static FlatAffineConstraints universe(unsigned numDims = 0, unsigned numSymbols = 0) { + static FlatAffineConstraints universe(unsigned numDims = 0, + unsigned numSymbols = 0) { return FlatAffineConstraints(numDims, numSymbols); } diff --git a/mlir/lib/Analysis/Presburger/Set.cpp b/mlir/lib/Analysis/Presburger/Set.cpp --- a/mlir/lib/Analysis/Presburger/Set.cpp +++ b/mlir/lib/Analysis/Presburger/Set.cpp @@ -66,7 +66,7 @@ /// Return the union of this set and the given set. /// /// This is accomplished by simply adding all the FACs of the given set to the -/// current set. +/// current set. PresburgerSet PresburgerSet::unionSet(const PresburgerSet &set) const { assertDimensionsCompatible(set, *this); // This copy is not strictly necessary; the result could be constructed @@ -262,7 +262,7 @@ /// Return the complement of this set. PresburgerSet PresburgerSet::complement() const { return getSetDifference( - FlatAffineConstraints::universe(getNumDims(), getNumSyms()), *this); + FlatAffineConstraints::universe(getNumDims(), getNumSyms()), *this); } /// Return the result of subtract the given set from this set, i.e., diff --git a/mlir/unittests/Analysis/Presburger/SetTest.cpp b/mlir/unittests/Analysis/Presburger/SetTest.cpp --- a/mlir/unittests/Analysis/Presburger/SetTest.cpp +++ b/mlir/unittests/Analysis/Presburger/SetTest.cpp @@ -159,7 +159,8 @@ {{1}, {2}, {0}, {-1}}); // empty set union empty set. - testUnionAtPoints(PresburgerSet::emptySet(1), PresburgerSet::emptySet(1), {{1}, {2}, {0}, {-1}}); + testUnionAtPoints(PresburgerSet::emptySet(1), PresburgerSet::emptySet(1), + {{1}, {2}, {0}, {-1}}); } TEST(SetTest, Intersect) { @@ -188,8 +189,8 @@ {{1}, {2}, {0}, {-1}}); // Universe intersection Universe. - testIntersectAtPoints(PresburgerSet::universe(1), - PresburgerSet::universe(1), {{1}, {2}, {0}, {-1}}); + testIntersectAtPoints(PresburgerSet::universe(1), PresburgerSet::universe(1), + {{1}, {2}, {0}, {-1}}); } TEST(SetTest, Subtract) {