1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
2
3; CHECK-SPIRV:     OpName %[[#PTR_ID:]] "ptr"
4; CHECK-SPIRV:     OpName %[[#PTR2_ID:]] "ptr2"
5; CHECK-SPIRV-DAG: OpDecorate %[[#PTR_ID]] MaxByteOffset 12
6; CHECK-SPIRV-DAG: OpDecorate %[[#PTR2_ID]] MaxByteOffset 123
7; CHECK-SPIRV:     %[[#CHAR_T:]] = OpTypeInt 8 0
8; CHECK-SPIRV:     %[[#CHAR_PTR_T:]] = OpTypePointer Workgroup %[[#CHAR_T]]
9; CHECK-SPIRV:     %[[#PTR_ID]] = OpFunctionParameter %[[#CHAR_PTR_T]]
10; CHECK-SPIRV:     %[[#PTR2_ID]] = OpFunctionParameter %[[#CHAR_PTR_T]]
11
12; Function Attrs: nounwind
13define spir_kernel void @worker(i8 addrspace(3)* dereferenceable(12) %ptr) {
14entry:
15  %ptr.addr = alloca i8 addrspace(3)*, align 4
16  store i8 addrspace(3)* %ptr, i8 addrspace(3)** %ptr.addr, align 4
17  ret void
18}
19
20; Function Attrs: nounwind
21define spir_func void @not_a_kernel(i8 addrspace(3)* dereferenceable(123) %ptr2) {
22entry:
23  ret void
24}
25