[Mlir-commits] [mlir] [mlir][side effect] refactor(*): Include more precise side effects (PR #94213)

[Matthias Springer]

matthias-springer wrote:

I think you also need additional variants of these functions to query the side effects:
```c++
/// Returns true if `op` has an effect of type `EffectTy` on `value`. If no
/// `value` is provided, simply check if effects of the given type(s) are
/// present.
template <typename... EffectTys>
bool hasEffect(Operation *op, Value value = nullptr);
```


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