| ; 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 |