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