================ @@ -73,15 +73,23 @@ public: #### Restrictions +* Patterns must transform verifiable IR into verifiable IR, i.e., the IR must ---------------- ingomueller-net wrote: SG. Done. Please check if you like the newest formulation. https://github.com/llvm/llvm-project/pull/218351