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

[Shilei Tian via llvm-commits]

================
@@ -4392,6 +4392,12 @@ void Verifier::visitAllocaInst(AllocaInst &AI) {
     verifySwiftErrorValue(&AI);
   }
 
+  if (TT.isAMDGPU()) {
----------------
shiltian wrote:

It is because of this folded comment https://github.com/llvm/llvm-project/pull/135820#discussion_r2045137767. There are some test cases that basically have `alloca` in all ASs. Also, based on the discussion in https://github.com/llvm/llvm-project/pull/136865, specifically https://github.com/llvm/llvm-project/pull/136865#issuecomment-2824626809 and https://github.com/llvm/llvm-project/pull/136865#issuecomment-2824517958, we can't rely on DL for this purpose.

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