================ @@ -73,15 +73,23 @@ public: #### Restrictions +* Patterns must transform verifiable IR into verifiable IR, i.e., the IR must ---------------- matthias-springer wrote: For sure, I would document it as a best practice. https://github.com/llvm/llvm-project/pull/218351