[Mlir-commits] [mlir] [mlir][ptr] Add constantop convertion (PR #204846)

[Fabian Mora]

fabianmcg wrote:

> Thank you for your guidance! I have a question: is `ptr.constant #ptr.address<0>` equivalent to `ptr.constant #ptr.null?`🤨 If they are equivalent, I think we can implement a canonicalization pattern for `ptr.constant`.

They are not, there are no guarantees that nullptr represents the 0 addr, some addr spaces encode nullptr as the max value or a different sentinel value.

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