; This test case checks that LLVM -> SPIR-V translation produces valid
; SPIR-V module, where a global variable, defined with non-default
; address space, have correct non-function storage class.
;
; No additional checks are needed in addition to simple translation
; to SPIR-V. In case of an error newly produced SPIR-V module validation
; would fail due to spirv-val that detects problematic SPIR-V code from
; translator and reports it as the following error:
;
; "Variables can not have a function[7] storage class outside of a function".
;
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}

; CHECK: %[[#Ptr:]] = OpTypePointer CrossWorkgroup %[[#]]
; CHECK: %[[#]] = OpVariable %[[#Ptr]] CrossWorkgroup %[[#]]

@G = addrspace(1) global i1 true

define spir_func i1 @f(i1 %0) {
 store i1 %0, ptr addrspace(1) @G, align 1
 ret i1 %0
}