[llvm] [mlir] [AMDGPU][Verifier] Check address space of `alloca` instruction (PR #135820)

[Shilei Tian via llvm-commits]

shiltian wrote:

Anything else is needed for this PR? The wider adoption would need a series of other PRs, which is beyond the scope of this.

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