Compute operation finger prints to detect incorrect API usage in RewritePatterns. Does not work for dialect conversion patterns.
Detect patterns that:
- Returned failure but changed the IR.
- Returned success but did not change the IR.
- Inserted/removed/modified ops, bypassing the rewriter. Not all cases are detected.
These new checks are quite expensive, so they are only enabled with -DMLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS=ON.
Depends On: D151207
Actually NDEBUG is required here, but you could just do
(same for the other asserts)