; RUN: llc -O0 -mtriple=spirv64v1.4-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64v1.4-unknown-unknown %s -o - -filetype=obj | spirv-val %}
; CHECK-DAG: OpName %[[#GV:]] "v"
; CHECK-DAG: OpName %[[#FunBar:]] "bar"
; CHECK-DAG: OpDecorate %[[#GV]] LinkageAttributes "v" Export
; CHECK-DAG: OpDecorate %[[#GV]] Constant
; CHECK-DAG: OpDecorate %[[#Idx:]] UserSemantic "SemanticValue"
; CHECK: %[[#FunBar]] = OpFunction
; CHECK: %[[#Idx]] = OpInBoundsPtrAccessChain
@v = addrspace(1) global i32 0, !spirv.Decorations !0
define spir_kernel void @foo() {
entry:
%pv = load ptr addrspace(1), ptr addrspace(1) @v
store i32 3, ptr addrspace(1) %pv
ret void
}
define spir_kernel void @bar(ptr addrspace(1) %arg) {
entry:
%idx = getelementptr inbounds i32, ptr addrspace(1) %arg, i64 1, !spirv.Decorations !3
ret void
}
!0 = !{!1, !2}
!1 = !{i32 22} ; 22 is Constant decoration
!2 = !{i32 41, !"v", i32 0} ; 41 is LinkageAttributes decoration with 2 extra operands
!3 = !{!4}
!4 = !{i32 5635, !"SemanticValue"} ; 5635 is UserSemantic decoration