[Mlir-commits] [mlir] [mlir][ptr] Add `ptr.ptr_diff` operation (PR #157354)

[Christian Ulmann]

https://github.com/Dinistro commented:

What is the behavior for an address space mismatch? 

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