From 84d4bb78e0af85709b4c91643c9abf6518a41d13 Mon Sep 17 00:00:00 2001 From: Adrian Kuegel Date: Tue, 2 Aug 2022 14:56:24 +0200 Subject: [PATCH] [mlir][Linalg] Inline an interface method to its only user. It seems only the default implementation is ever used, so it doesn't seem necessary to include this method in the interface. Differential Revision: https://reviews.llvm.org/D130986 --- .../Dialect/Linalg/IR/LinalgInterfaces.td | 20 ------------------- .../Dialect/Linalg/IR/LinalgInterfaces.cpp | 13 +++++++++++- 2 files changed, 12 insertions(+), 21 deletions(-) diff --git a/mlir/include/mlir/Dialect/Linalg/IR/LinalgInterfaces.td b/mlir/include/mlir/Dialect/Linalg/IR/LinalgInterfaces.td index d6bc06218a91..e01e30b73bff 100644 --- a/mlir/include/mlir/Dialect/Linalg/IR/LinalgInterfaces.td +++ b/mlir/include/mlir/Dialect/Linalg/IR/LinalgInterfaces.td @@ -983,26 +983,6 @@ def LinalgStructuredInterface : OpInterface<"LinalgOp"> { return detail::canOpOperandsBeDroppedImpl($_op, droppedOperands); }] >, - InterfaceMethod< - /*desc=*/[{ - Return the range of position in the result of the affine map - computed by getLoopsToShapesMap() which correspond to the - AffineExprs used to access the outputs of the operation. - }], - /*retTy=*/"std::pair", - /*methodName=*/"getResultsPositionInLoopsToShapeMap", - /*args=*/(ins), - /*methodBody=*/"", - /*defaultImplementation=*/[{ - int64_t inputRankSum = 0; - int64_t outputRankSum = 0; - for(OpOperand *input : getInputOperands()) - inputRankSum += getRank(input); - for(OpOperand *output : getOutputOperands()) - outputRankSum += getRank(output); - return {inputRankSum, inputRankSum + outputRankSum}; - }] - >, InterfaceMethod< /*desc=*/[{ Like `getShape`, but only returns statically-known information, without diff --git a/mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp b/mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp index f389c18efe5e..3b63824b829a 100644 --- a/mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp +++ b/mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp @@ -566,6 +566,17 @@ private: llvm::SmallBitVector positions; }; +static std::pair +getResultsPositionInLoopsToShapeMap(LinalgOp &op) { + int64_t inputRankSum = 0; + int64_t outputRankSum = 0; + for (OpOperand *input : op.getInputOperands()) + inputRankSum += op.getRank(input); + for (OpOperand *output : op.getOutputOperands()) + outputRankSum += op.getRank(output); + return {inputRankSum, inputRankSum + outputRankSum}; +} + LogicalResult LinalgOp::reifyResultShapes(OpBuilder &b, ReifiedRankedShapedTypeDims &reifiedReturnShapes) { @@ -582,7 +593,7 @@ LinalgOp::reifyResultShapes(OpBuilder &b, // Find the position in the above map that represents the shape of the // result:dim being inferred. - auto resultShapesSubMapPos = getResultsPositionInLoopsToShapeMap(); + auto resultShapesSubMapPos = getResultsPositionInLoopsToShapeMap(*this); /// From loopsToShapesMap extract the submap that represents the shape of the /// (resultIdx, dim) needed.