banach-space wrote: > We should think about it. Do we want to have the verifier for them too? :D Yes, all ops should behave consistently unless there is a good reason not to. I suggest a separate PR. https://github.com/llvm/llvm-project/pull/204611