[Mlir-commits] [mlir] [mlir:doc] Clarify requirements on `RewritePatterns`. (PR #218351)

[Mehdi Amini]

Ingo =?utf-8?q?Müller?= <ingomueller at google.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/218351 at github.com>


joker-eph wrote:

For folding I can't see a use case for allowing to produce invalid IR, especially because folding is very attached to the op itself and used in many context, while patterns can be assembled together to operate within the context of a specific pass.

https://github.com/llvm/llvm-project/pull/218351