Yeah, it's a bit complicated. The current pattern uses the tvm::ir::Type* classes, so you can match number of versions of types, but as this question reveals, we may want a finer granularity on some types.
Unfortunately, since we're using a lower level Type object, we won't be able to embed Pattern-specific things into that Type (like wildcard or AnyShape) I think our options are to add rules like above, or extend the pattern language to include things like "ShapePattern" and "DTypePattern" at a more granular level. --- [Visit Topic](https://discuss.tvm.ai/t/pattenlang-how-to-match-op-according-to-element-type-of-input-and-output/6846/10) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/045b1a8a84d05cd65b70a01c065f3e7b9768cbffcb10c9360d226565679f74e7).
