42 #define GEN_PASS_DEF_TOSACONVERTINTEGERTYPETOSIGNLESS
43 #include "mlir/Dialect/Tosa/Transforms/Passes.h.inc"
46 class ToSignlessTensorTypeConverter :
public TypeConverter {
47 static Type convertType(Type type) {
48 const auto tensorType = dyn_cast<TensorType>(type);
52 const auto intType = dyn_cast<IntegerType>(tensorType.getElementType());
54 intType.getSignedness() == IntegerType::SignednessSemantics::Signless)
58 intType.getContext(), intType.getWidth(), IntegerType::Signless);
59 return tensorType.cloneWith(std::nullopt, signlessType);
63 explicit ToSignlessTensorTypeConverter() { addConversion(convertType); }
66 class ConvertGenericOpWithIntegerTensorType :
public ConversionPattern {
68 ConvertGenericOpWithIntegerTensorType(TypeConverter &typeConverter,
70 : ConversionPattern(typeConverter, MatchAnyOpTypeTag{}, 0, context) {}
73 matchAndRewrite(Operation *op, ArrayRef<Value> operands,
74 ConversionPatternRewriter &rewriter)
const final {
78 constexpr
unsigned int numResults = 4;
81 SmallVector<Type, numResults> resultTypes;
82 if (
failed(typeConverter->convertTypes(op->getResultTypes(), resultTypes)))
87 op->getLoc(), op->getName(), resultTypes, operands, op->getAttrs(),
88 op->getPropertiesStorage(), op->getSuccessors(), op->getNumRegions());
91 for (
auto regions : llvm::zip(op->getRegions(), newOp->getRegions())) {
92 Region &before = std::get<0>(regions);
93 Region &parent = std::get<1>(regions);
94 rewriter.inlineRegionBefore(before, parent, parent.end());
95 if (
failed(rewriter.convertRegionTypes(&parent, *typeConverter)))
100 rewriter.insert(newOp);
101 rewriter.replaceOp(op, newOp->getResults());
106 class ConvertTosaConstWithIntegerTensorType
107 :
public OpConversionPattern<tosa::ConstOp> {
111 matchAndRewrite(tosa::ConstOp op, OpAdaptor adaptor,
112 ConversionPatternRewriter &rewriter)
const final {
113 const ElementsAttr oldAttr = op.getValues();
114 const auto oldTy = llvm::cast<ShapedType>(oldAttr.getType());
116 llvm::cast<ShapedType>(typeConverter->convertType(oldTy));
120 ElementsAttr newAttr = oldAttr;
121 if (
auto denseAttr = llvm::dyn_cast<DenseElementsAttr>(oldAttr)) {
124 return rewriter.notifyMatchFailure(op,
"unknown elements attribute type");
127 rewriter.replaceOpWithNewOp<tosa::ConstOp>(op, newTy, newAttr);
132 class TosaConvertIntegerTypeToSignless
133 :
public impl::TosaConvertIntegerTypeToSignlessBase<
134 TosaConvertIntegerTypeToSignless> {
136 void runOnOperation()
override {
138 ConversionTarget target(*context);
139 ToSignlessTensorTypeConverter typeConverter;
141 target.addDynamicallyLegalOp<func::FuncOp>([&](func::FuncOp op) {
142 return typeConverter.isSignatureLegal(op.getFunctionType()) &&
143 typeConverter.isLegal(&op.getBody());
145 target.addDynamicallyLegalOp<tosa::ConstOp>([&](tosa::ConstOp op) {
146 return typeConverter.isLegal(op.getType()) &&
147 typeConverter.isLegal(op.getValues().getType());
149 target.markUnknownOpDynamicallyLegal([&](Operation *op) {
150 return typeConverter.isLegal(op->getOperandTypes()) &&
151 typeConverter.isLegal(op->getResultTypes());
154 RewritePatternSet
patterns(context);
155 populateFunctionOpInterfaceTypeConversionPattern<func::FuncOp>(
157 patterns.add<ConvertGenericOpWithIntegerTensorType>(typeConverter, context);
158 patterns.add<ConvertTosaConstWithIntegerTensorType>(typeConverter, context);
static MLIRContext * getContext(OpFoldResult val)
static DenseElementsAttr get(ShapedType type, ArrayRef< Attribute > values)
Constructs a dense elements attribute from an array of element values.
OpConversionPattern(MLIRContext *context, PatternBenefit benefit=1)
static Operation * create(Location location, OperationName name, TypeRange resultTypes, ValueRange operands, NamedAttrList &&attributes, OpaqueProperties properties, BlockRange successors, unsigned numRegions)
Create a new Operation with the specific fields.
Include the generated interface declarations.
LogicalResult applyFullConversion(ArrayRef< Operation * > ops, const ConversionTarget &target, const FrozenRewritePatternSet &patterns, ConversionConfig config=ConversionConfig())
Apply a complete conversion on the given operations, and all nested operations.
const FrozenRewritePatternSet & patterns
auto get(MLIRContext *context, Ts &&...params)
Helper method that injects context only if needed, this helps unify some of the attribute constructio...