; RUN: llc -O0 -verify-machineinstrs -mtriple=spirv-vulkan-unknown %s -o - | FileCheck %s

; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-vulkan-unknown %s -o - -filetype=obj | spirv-val %}

; CHECK-DAG:        OpDecorate %[[#WorkgroupId:]] BuiltIn WorkgroupId
; CHECK-DAG:        OpDecorateId %[[#UniformVar:]] UniformId %[[#Scope:]]

; CHECK-DAG:             %[[#uint:]] = OpTypeInt 32 0
; CHECK-DAG:           %[[#uint_0:]] = OpConstant %[[#uint]] 0
; CHECK-DAG:           %[[#v3uint:]] = OpTypeVector %[[#uint]] 3
; CHECK-DAG:   %[[#ptr_Input_uint:]] = OpTypePointer Input %[[#uint]]
; CHECK-DAG: %[[#ptr_Input_v3uint:]] = OpTypePointer Input %[[#v3uint]]
; CHECK-DAG:      %[[#WorkgroupId:]] = OpVariable %[[#ptr_Input_v3uint]] Input
; CHECK-DAG:            %[[#Scope]] = OpConstant %[[#uint]] 2
@var = external local_unnamed_addr addrspace(7) externally_initialized constant <3 x i32>, align 16, !spirv.Decorations !0
@uvar = external local_unnamed_addr addrspace(7) externally_initialized constant i32, !spirv.Decorations !2

define i32 @foo() {
entry:
; CHECK: %[[#ptr:]] = OpAccessChain %[[#ptr_Input_uint]] %[[#WorkgroupId]] %[[#uint_0]]
; CHECK: %[[#res:]] = OpLoad %[[#uint]] %[[#ptr]]
; CHECK:              OpReturnValue %[[#res]]
  %0 = load i32, ptr addrspace(7) @var, align 16
  ret i32 %0
}

define i32 @bar() {
entry:
  %0 = load i32, ptr addrspace(7) @uvar
  ret i32 %0
}

!0 = !{!1}
!1 = !{i32 11, i32 26}
!2 = !{!3}
!3 = !{i32 27, i32 2} ; 27 is UniformId decoration, 2 is Workgroup scope