[Mlir-commits] [mlir] [mlir][EmitC] Expand the MemRefToEmitC pass - Lowering `CopyOp` (PR #151206)
Gil Rapaport
llvmlistbot at llvm.org
Thu Jul 31 07:37:14 PDT 2025
================
@@ -159,6 +182,55 @@ struct ConvertAlloc final : public OpConversionPattern<memref::AllocOp> {
}
};
+struct ConvertCopy final : public OpConversionPattern<memref::CopyOp> {
+ using OpConversionPattern::OpConversionPattern;
+
+ LogicalResult
+ matchAndRewrite(memref::CopyOp copyOp, OpAdaptor operands,
+ ConversionPatternRewriter &rewriter) const override {
+ Location loc = copyOp.getLoc();
+ MemRefType srcMemrefType =
+ dyn_cast<MemRefType>(copyOp.getSource().getType());
+ MemRefType targetMemrefType =
+ dyn_cast<MemRefType>(copyOp.getTarget().getType());
+
+ if (!isMemRefTypeLegalForEmitC(srcMemrefType) ||
+ !isMemRefTypeLegalForEmitC(targetMemrefType)) {
+ return rewriter.notifyMatchFailure(
+ loc, "incompatible memref type for EmitC conversion");
+ }
+
+ emitc::ConstantOp zeroIndex = rewriter.create<emitc::ConstantOp>(
+ loc, rewriter.getIndexType(), rewriter.getIndexAttr(0));
+ auto srcArrayValue =
+ dyn_cast<TypedValue<emitc::ArrayType>>(operands.getSource());
+
+ emitc::SubscriptOp srcSubPtr = rewriter.create<emitc::SubscriptOp>(
+ loc, srcArrayValue, ValueRange{zeroIndex, zeroIndex});
+ emitc::ApplyOp srcPtr = rewriter.create<emitc::ApplyOp>(
+ loc, emitc::PointerType::get(srcMemrefType.getElementType()),
+ rewriter.getStringAttr("&"), srcSubPtr);
+
+ auto arrayValue =
+ dyn_cast<TypedValue<emitc::ArrayType>>(operands.getTarget());
+ emitc::SubscriptOp targetSubPtr = rewriter.create<emitc::SubscriptOp>(
+ loc, arrayValue, ValueRange{zeroIndex, zeroIndex});
+ emitc::ApplyOp targetPtr = rewriter.create<emitc::ApplyOp>(
+ loc, emitc::PointerType::get(targetMemrefType.getElementType()),
+ rewriter.getStringAttr("&"), targetSubPtr);
----------------
aniragil wrote:
Duplicates the work for `srcArrayValue`, can be folded into a lambda.
https://github.com/llvm/llvm-project/pull/151206
More information about the Mlir-commits
mailing list