Change diagnostic message in verifier about incorrect alloca address space

[yaxunl]

Summary

This patch depends on https://reviews.llvm.org/D41832

[arsenm]

LGTM

lib/IR/Verifier.cpp

   }
 }
 
 void Verifier::visitAllocaInst(AllocaInst &AI) {
   SmallPtrSet<Type*, 4> Visited;
   PointerType *PTy = AI.getType();
   // TODO: Relax this restriction?
   Assert(PTy->getAddressSpace() == DL.getAllocaAddrSpace(),
-         "Allocation instruction pointer not in the stack address space!",
+         "Allocation instruction pointer not in the dataLayout alloca address space!",
          &AI);
   Assert(AI.getAllocatedType()->isSized(&Visited),
          "Cannot allocate unsized type", &AI);
   Assert(AI.getArraySize()->getType()->isIntegerTy(),
          "Alloca array size must have integer type", &AI);
   Assert(AI.getAlignment() <= Value::MaximumAlignment,
          "huge alignment values are unsupported", &AI);
 

test/Assembler/datalayout-alloca-addrspace-mismatch-0.ll

 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
 
 target datalayout = "A1"
 
-; CHECK: Allocation instruction pointer not in the stack address space!
+; CHECK: Allocation instruction pointer not in the dataLayout alloca address space!
 ; CHECK-NEXT:  %alloca_scalar_no_align = alloca i32, addrspace(2)
 
 define void @use_alloca() {
   %alloca_scalar_no_align = alloca i32, addrspace(2)
   ret void
 }

test/Assembler/datalayout-alloca-addrspace-mismatch-1.ll

 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
 
 target datalayout = "A1"
 
-; CHECK: Allocation instruction pointer not in the stack address space!
+; CHECK: Allocation instruction pointer not in the dataLayout alloca address space!
 ; CHECK-NEXT:  %alloca_scalar_no_align = alloca i32, align 4, addrspace(2)
 
 define void @use_alloca() {
   %alloca_scalar_no_align = alloca i32, align 4, addrspace(2)
   ret void
 }

test/Assembler/datalayout-alloca-addrspace-mismatch-2.ll

 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
 
 target datalayout = "A1"
 
-; CHECK: Allocation instruction pointer not in the stack address space!
+; CHECK: Allocation instruction pointer not in the dataLayout alloca address space!
 ; CHECK-NEXT:  %alloca_scalar_no_align = alloca i32, align 4, addrspace(2), !foo !0
 
 define void @use_alloca() {
   %alloca_scalar_no_align = alloca i32, align 4, addrspace(2), !foo !0
   ret void
 }
 
 !0 = !{}

test/CodeGen/AMDGPU/invalid-alloca.ll

 ; RUN: not llvm-as -data-layout=A5 < %s 2>&1 | FileCheck -check-prefixes=COMMON,AS %s
 ; RUN: not llc -mtriple amdgcn-amd-amdhsa-amdgiz < %s 2>&1 | FileCheck -check-prefixes=COMMON,LLC %s
 ; RUN: llvm-as < %s | not llc -mtriple amdgcn-amd-amdhsa-amdgiz 2>&1 | FileCheck -check-prefixes=COMMON,LLC %s
 ; RUN: not opt -data-layout=A5 -S < %s 2>&1 | FileCheck -check-prefixes=COMMON,LLC %s
 ; RUN: llvm-as < %s | not opt -data-layout=A5 2>&1 | FileCheck -check-prefixes=COMMON,LLC %s
 
 ; AS: assembly parsed, but does not verify as correct!
-; COMMON: Allocation instruction pointer not in the stack address space!
+; COMMON: Allocation instruction pointer not in the dataLayout alloca address space!
 ; COMMON:  %tmp = alloca i32
 ; LLC: error: input module is broken!
 
 define amdgpu_kernel void @test() {
   %tmp = alloca i32
   ret void
 }