Skip to content

Commit 198c5da

Browse files
authored
[mlir][transform] Clean up prints. NFC. (#136401)
Use `llvm::interleaved` from #135517 to simplify printing.
1 parent 584aefb commit 198c5da

File tree

6 files changed

+37
-44
lines changed

6 files changed

+37
-44
lines changed

mlir/lib/Dialect/GPU/TransformOps/Utils.cpp

+20-28
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,7 @@
3434
#include "llvm/ADT/SmallVector.h"
3535
#include "llvm/ADT/TypeSwitch.h"
3636
#include "llvm/Support/Debug.h"
37+
#include "llvm/Support/InterleavedRange.h"
3738

3839
using namespace mlir;
3940
using namespace mlir::gpu;
@@ -50,10 +51,8 @@ using namespace mlir::transform::gpu;
5051
template <typename ThreadOrBlockIdOp>
5152
static Value buildLinearId(RewriterBase &rewriter, Location loc,
5253
ArrayRef<OpFoldResult> originalBasisOfr) {
53-
LLVM_DEBUG(llvm::interleaveComma(
54-
originalBasisOfr,
55-
DBGS() << "----buildLinearId with originalBasisOfr: ");
56-
llvm::dbgs() << "\n");
54+
LLVM_DEBUG(DBGS() << "----buildLinearId with originalBasisOfr: "
55+
<< llvm::interleaved(originalBasisOfr) << "\n");
5756
assert(originalBasisOfr.size() == 3 && "expected 3 sizes");
5857
IndexType indexType = rewriter.getIndexType();
5958
AffineExpr tx, ty, tz, bdx, bdy;
@@ -99,32 +98,25 @@ static GpuIdBuilderFnType commonLinearIdBuilderFn(int64_t multiplicity = 1) {
9998
affine::makeComposedAffineApply(rewriter, loc, e, {scaledLinearId}));
10099
}
101100

102-
// clang-format off
103-
LLVM_DEBUG(llvm::interleaveComma(reverseBasisSizes,
104-
DBGS() << "--delinearization basis: ");
105-
llvm::dbgs() << "\n";
106-
llvm::interleaveComma(strides,
107-
DBGS() << "--delinearization strides: ");
108-
llvm::dbgs() << "\n";
109-
llvm::interleaveComma(delinearizingExprs,
110-
DBGS() << "--delinearization exprs: ");
111-
llvm::dbgs() << "\n";
112-
llvm::interleaveComma(ids, DBGS() << "--ids: ");
113-
llvm::dbgs() << "\n";);
114-
// clang-format on
101+
LLVM_DEBUG(DBGS() << "--delinearization basis: "
102+
<< llvm::interleaved(reverseBasisSizes) << "\n";
103+
DBGS() << "--delinearization strides: "
104+
<< llvm::interleaved(strides) << "\n";
105+
DBGS() << "--delinearization exprs: "
106+
<< llvm::interleaved(delinearizingExprs) << "\n";
107+
DBGS() << "--ids: " << llvm::interleaved(ids) << "\n");
115108

116109
// Return n-D ids for indexing and 1-D size + id for predicate generation.
117-
return IdBuilderResult{
118-
/*mappingIdOps=*/ids,
119-
/*availableMappingSizes=*/
120-
SmallVector<int64_t>{computeProduct(originalBasis)},
121-
// `forallMappingSizes` iterate in the scaled basis, they need to be
122-
// scaled back into the original basis to provide tight
123-
// activeMappingSizes quantities for predication.
124-
/*activeMappingSizes=*/
125-
SmallVector<int64_t>{computeProduct(forallMappingSizes) *
126-
multiplicity},
127-
/*activeIdOps=*/SmallVector<Value>{cast<Value>(linearId)}};
110+
return IdBuilderResult{
111+
/*mappingIdOps=*/ids,
112+
/*availableMappingSizes=*/
113+
SmallVector<int64_t>{computeProduct(originalBasis)},
114+
// `forallMappingSizes` iterate in the scaled basis, they need to be
115+
// scaled back into the original basis to provide tight
116+
// activeMappingSizes quantities for predication.
117+
/*activeMappingSizes=*/
118+
SmallVector<int64_t>{computeProduct(forallMappingSizes) * multiplicity},
119+
/*activeIdOps=*/SmallVector<Value>{cast<Value>(linearId)}};
128120
};
129121

130122
return res;

mlir/lib/Dialect/Transform/DebugExtension/DebugExtensionOps.cpp

+2-1
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
#include "mlir/Dialect/Transform/IR/TransformDialect.h"
1212
#include "mlir/Dialect/Transform/IR/TransformTypes.h"
1313
#include "mlir/IR/OpImplementation.h"
14+
#include "llvm/Support/InterleavedRange.h"
1415

1516
using namespace mlir;
1617

@@ -58,7 +59,7 @@ DiagnosedSilenceableFailure transform::DebugEmitParamAsRemarkOp::apply(
5859
llvm::raw_string_ostream os(str);
5960
if (getMessage())
6061
os << *getMessage() << " ";
61-
llvm::interleaveComma(state.getParams(getParam()), os);
62+
os << llvm::interleaved(state.getParams(getParam()));
6263
if (!getAnchor()) {
6364
emitRemark() << str;
6465
return DiagnosedSilenceableFailure::success();

mlir/lib/Dialect/Transform/IR/TransformOps.cpp

+3-5
Original file line numberDiff line numberDiff line change
@@ -41,6 +41,7 @@
4141
#include "llvm/ADT/TypeSwitch.h"
4242
#include "llvm/Support/Debug.h"
4343
#include "llvm/Support/ErrorHandling.h"
44+
#include "llvm/Support/InterleavedRange.h"
4445
#include <optional>
4546

4647
#define DEBUG_TYPE "transform-dialect"
@@ -2630,11 +2631,8 @@ static void printSequenceOpOperands(OpAsmPrinter &printer, Operation *op,
26302631
printer << "(";
26312632

26322633
printer << rootType;
2633-
if (hasExtras) {
2634-
printer << ", ";
2635-
llvm::interleaveComma(extraBindingTypes, printer.getStream());
2636-
printer << ")";
2637-
}
2634+
if (hasExtras)
2635+
printer << ", " << llvm::interleaved(extraBindingTypes) << ')';
26382636
}
26392637

26402638
/// Returns `true` if the given op operand may be consuming the handle value in

mlir/lib/Dialect/Transform/Interfaces/MatchInterfaces.cpp

+3-2
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88

99
#include "mlir/Dialect/Transform/Interfaces/MatchInterfaces.h"
1010

11+
#include "llvm/Support/InterleavedRange.h"
12+
1113
using namespace mlir;
1214

1315
//===----------------------------------------------------------------------===//
@@ -68,8 +70,7 @@ void transform::printTransformMatchDims(OpAsmPrinter &printer, Operation *op,
6870
if (isInverted) {
6971
printer << kDimExceptKeyword << "(";
7072
}
71-
llvm::interleaveComma(rawDimList.asArrayRef(), printer.getStream(),
72-
[&](int64_t value) { printer << value; });
73+
printer << llvm::interleaved(rawDimList.asArrayRef());
7374
if (isInverted) {
7475
printer << ")";
7576
}

mlir/lib/Dialect/Transform/Interfaces/TransformInterfaces.cpp

+7-5
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,10 @@
1515
#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
1616
#include "llvm/ADT/STLExtras.h"
1717
#include "llvm/ADT/ScopeExit.h"
18+
#include "llvm/ADT/iterator.h"
1819
#include "llvm/Support/Debug.h"
1920
#include "llvm/Support/ErrorHandling.h"
21+
#include "llvm/Support/InterleavedRange.h"
2022

2123
#define DEBUG_TYPE "transform-dialect"
2224
#define DEBUG_TYPE_FULL "transform-dialect-full"
@@ -486,11 +488,11 @@ void transform::TransformState::recordOpHandleInvalidationOne(
486488
return;
487489

488490
FULL_LDBG("--recordOpHandleInvalidationOne\n");
489-
DEBUG_WITH_TYPE(
490-
DEBUG_TYPE_FULL,
491-
llvm::interleaveComma(potentialAncestors, DBGS() << "--ancestors: ",
492-
[](Operation *op) { llvm::dbgs() << *op; });
493-
llvm::dbgs() << "\n");
491+
DEBUG_WITH_TYPE(DEBUG_TYPE_FULL, {
492+
(DBGS() << "--ancestors: "
493+
<< llvm::interleaved(llvm::make_pointee_range(potentialAncestors))
494+
<< "\n");
495+
});
494496

495497
Operation *owner = consumingHandle.getOwner();
496498
unsigned operandNo = consumingHandle.getOperandNumber();

mlir/lib/Dialect/XeGPU/Transforms/XeGPUSubgroupDistribute.cpp

+2-3
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818
#include "mlir/IR/Builders.h"
1919
#include "mlir/Interfaces/FunctionInterfaces.h"
2020
#include "llvm/ADT/TypeSwitch.h"
21+
#include "llvm/Support/InterleavedRange.h"
2122
#include "llvm/Support/raw_ostream.h"
2223

2324
namespace mlir {
@@ -58,9 +59,7 @@ struct Layout {
5859
};
5960

6061
void Layout::print(llvm::raw_ostream &os) const {
61-
os << "[";
62-
llvm::interleaveComma(layout, os);
63-
os << "]";
62+
os << llvm::interleaved_array(layout);
6463
}
6564

6665
int64_t Layout::operator[](size_t idx) const {

0 commit comments

Comments
 (0)