Edit

IABSD.fr/xenocara/lib/mesa/src/compiler/spirv/tests/avail_vis.cpp

Branch :

  • Show log

    Commit

  • Author : jsg
    Date : 2024-04-02 09:25:31
    Hash : 874d2ba3
    Message : Import Mesa 23.3.6

  • lib/mesa/src/compiler/spirv/tests/avail_vis.cpp
  • /*
     * Copyright © 2020 Valve Corporation
     *
     * Permission is hereby granted, free of charge, to any person obtaining a
     * copy of this software and associated documentation files (the "Software"),
     * to deal in the Software without restriction, including without limitation
     * the rights to use, copy, modify, merge, publish, distribute, sublicense,
     * and/or sell copies of the Software, and to permit persons to whom the
     * Software is furnished to do so, subject to the following conditions:
     *
     * The above copyright notice and this permission notice (including the next
     * paragraph) shall be included in all copies or substantial portions of the
     * Software.
     *
     * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
     * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
     * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
     * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
     * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
     * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
     * IN THE SOFTWARE.
     */
    #include "helpers.h"
    
    class AvailabilityVisibility : public spirv_test {};
    
    TEST_F(AvailabilityVisibility, opload_vis)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
         %device = OpConstant %int 1
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
             %14 = OpLoad %uint %13 NonPrivatePointer|MakePointerVisible %device
                   OpStore %13 %14
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x00000010, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000001,
          0x00050036, 0x00000005, 0x00000002, 0x00000000, 0x00000006, 0x000200f8,
          0x0000000d, 0x00050041, 0x0000000b, 0x0000000e, 0x00000003, 0x0000000a,
          0x0006003d, 0x00000007, 0x0000000f, 0x0000000e, 0x00000030, 0x0000000c,
          0x0003003e, 0x0000000e, 0x0000000f, 0x000100fd, 0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_barrier, 0);
       ASSERT_NE(intrinsic, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(intrinsic), NIR_MEMORY_MAKE_VISIBLE | NIR_MEMORY_ACQUIRE);
       EXPECT_NE(nir_intrinsic_memory_modes(intrinsic) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(intrinsic), SCOPE_DEVICE);
       EXPECT_EQ(nir_intrinsic_execution_scope(intrinsic), SCOPE_NONE);
    }
    
    TEST_F(AvailabilityVisibility, opstore_avail)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
         %device = OpConstant %int 1
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
             %14 = OpLoad %uint %13
                   OpStore %13 %14 NonPrivatePointer|MakePointerAvailable %device
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x00000010, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000001,
          0x00050036, 0x00000005, 0x00000002, 0x00000000, 0x00000006, 0x000200f8,
          0x0000000d, 0x00050041, 0x0000000b, 0x0000000e, 0x00000003, 0x0000000a,
          0x0004003d, 0x00000007, 0x0000000f, 0x0000000e, 0x0005003e, 0x0000000e,
          0x0000000f, 0x00000028, 0x0000000c, 0x000100fd, 0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_barrier, 0);
       ASSERT_NE(intrinsic, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(intrinsic), NIR_MEMORY_MAKE_AVAILABLE | NIR_MEMORY_RELEASE);
       EXPECT_NE(nir_intrinsic_memory_modes(intrinsic) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(intrinsic), SCOPE_DEVICE);
       EXPECT_EQ(nir_intrinsic_execution_scope(intrinsic), SCOPE_NONE);
    }
    
    TEST_F(AvailabilityVisibility, opcopymemory_visavail_both_combined)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
         %device = OpConstant %int 1
      %workgroup = OpConstant %int 2
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                   OpCopyMemory %13 %13 NonPrivatePointer|MakePointerAvailable|MakePointerVisible %device %workgroup
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x00000010, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000d, 0x00000002, 0x00050036, 0x00000005,
          0x00000002, 0x00000000, 0x00000006, 0x000200f8, 0x0000000e, 0x00050041,
          0x0000000b, 0x0000000f, 0x00000003, 0x0000000a, 0x0006003f, 0x0000000f,
          0x0000000f, 0x00000038, 0x0000000c, 0x0000000d, 0x000100fd, 0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *first = find_intrinsic(nir_intrinsic_barrier, 0);
       nir_intrinsic_instr *second = find_intrinsic(nir_intrinsic_barrier, 1);
       ASSERT_NE(first, nullptr);
       ASSERT_NE(second, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(first), NIR_MEMORY_MAKE_VISIBLE | NIR_MEMORY_ACQUIRE);
       EXPECT_NE(nir_intrinsic_memory_modes(first) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(first), SCOPE_WORKGROUP);
       EXPECT_EQ(nir_intrinsic_execution_scope(first), SCOPE_NONE);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(second), NIR_MEMORY_MAKE_AVAILABLE | NIR_MEMORY_RELEASE);
       EXPECT_NE(nir_intrinsic_memory_modes(second) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(second), SCOPE_DEVICE);
       EXPECT_EQ(nir_intrinsic_execution_scope(first), SCOPE_NONE);
    }
    
    TEST_F(AvailabilityVisibility, opcopymemory_visavail_both_separate)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
         %device = OpConstant %int 1
      %workgroup = OpConstant %int 2
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                   OpCopyMemory %13 %13 NonPrivatePointer|MakePointerAvailable %device NonPrivatePointer|MakePointerVisible %workgroup
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x00000010, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000d, 0x00000002, 0x00050036, 0x00000005,
          0x00000002, 0x00000000, 0x00000006, 0x000200f8, 0x0000000e, 0x00050041,
          0x0000000b, 0x0000000f, 0x00000003, 0x0000000a, 0x0007003f, 0x0000000f,
          0x0000000f, 0x00000028, 0x0000000c, 0x00000030, 0x0000000d, 0x000100fd,
          0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *first = find_intrinsic(nir_intrinsic_barrier, 0);
       nir_intrinsic_instr *second = find_intrinsic(nir_intrinsic_barrier, 1);
       ASSERT_NE(first, nullptr);
       ASSERT_NE(second, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(first), NIR_MEMORY_MAKE_VISIBLE | NIR_MEMORY_ACQUIRE);
       EXPECT_NE(nir_intrinsic_memory_modes(first) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(first), SCOPE_WORKGROUP);
       EXPECT_EQ(nir_intrinsic_execution_scope(first), SCOPE_NONE);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(second), NIR_MEMORY_MAKE_AVAILABLE | NIR_MEMORY_RELEASE);
       EXPECT_NE(nir_intrinsic_memory_modes(second) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(second), SCOPE_DEVICE);
       EXPECT_EQ(nir_intrinsic_execution_scope(second), SCOPE_NONE);
    }
    
    TEST_F(AvailabilityVisibility, opcopymemory_avail)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
         %device = OpConstant %int 1
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                   OpCopyMemory %13 %13 NonPrivatePointer|MakePointerAvailable %device
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x0000000f, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000001,
          0x00050036, 0x00000005, 0x00000002, 0x00000000, 0x00000006, 0x000200f8,
          0x0000000d, 0x00050041, 0x0000000b, 0x0000000e, 0x00000003, 0x0000000a,
          0x0005003f, 0x0000000e, 0x0000000e, 0x00000028, 0x0000000c, 0x000100fd,
          0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_barrier, 0);
       ASSERT_NE(intrinsic, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(intrinsic), NIR_MEMORY_MAKE_AVAILABLE | NIR_MEMORY_RELEASE);
       EXPECT_NE(nir_intrinsic_memory_modes(intrinsic) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(intrinsic), SCOPE_DEVICE);
       EXPECT_EQ(nir_intrinsic_execution_scope(intrinsic), SCOPE_NONE);
    }
    
    TEST_F(AvailabilityVisibility, opcopymemory_vis)
    {
       /*
                   OpCapability Shader
                   OpCapability VulkanMemoryModel
                   OpCapability VulkanMemoryModelDeviceScope
              %1 = OpExtInstImport "GLSL.std.450"
                   OpMemoryModel Logical Vulkan
                   OpEntryPoint GLCompute %4 "main" %9
                   OpExecutionMode %4 LocalSize 1 1 1
                   OpMemberDecorate %_struct_7 0 Offset 0
                   OpDecorate %_struct_7 Block
                   OpDecorate %9 DescriptorSet 0
                   OpDecorate %9 Binding 0
           %void = OpTypeVoid
              %3 = OpTypeFunction %void
           %uint = OpTypeInt 32 0
      %_struct_7 = OpTypeStruct %uint
    %_ptr_StorageBuffer__struct_7 = OpTypePointer StorageBuffer %_struct_7
              %9 = OpVariable %_ptr_StorageBuffer__struct_7 StorageBuffer
            %int = OpTypeInt 32 1
          %int_0 = OpConstant %int 0
    %_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
      %workgroup = OpConstant %int 2
              %4 = OpFunction %void None %3
              %5 = OpLabel
             %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                   OpCopyMemory %13 %13 NonPrivatePointer|MakePointerVisible %workgroup
                   OpReturn
                   OpFunctionEnd
       */
       static const uint32_t words[] = {
          0x07230203, 0x00010500, 0x00070000, 0x0000000f, 0x00000000, 0x00020011,
          0x00000001, 0x00020011, 0x000014e1, 0x00020011, 0x000014e2, 0x0006000b,
          0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e,
          0x00000000, 0x00000003, 0x0006000f, 0x00000005, 0x00000002, 0x6e69616d,
          0x00000000, 0x00000003, 0x00060010, 0x00000002, 0x00000011, 0x00000001,
          0x00000001, 0x00000001, 0x00050048, 0x00000004, 0x00000000, 0x00000023,
          0x00000000, 0x00030047, 0x00000004, 0x00000002, 0x00040047, 0x00000003,
          0x00000022, 0x00000000, 0x00040047, 0x00000003, 0x00000021, 0x00000000,
          0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005, 0x00040015,
          0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000004, 0x00000007,
          0x00040020, 0x00000008, 0x0000000c, 0x00000004, 0x0004003b, 0x00000008,
          0x00000003, 0x0000000c, 0x00040015, 0x00000009, 0x00000020, 0x00000001,
          0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020, 0x0000000b,
          0x0000000c, 0x00000007, 0x0004002b, 0x00000009, 0x0000000c, 0x00000002,
          0x00050036, 0x00000005, 0x00000002, 0x00000000, 0x00000006, 0x000200f8,
          0x0000000d, 0x00050041, 0x0000000b, 0x0000000e, 0x00000003, 0x0000000a,
          0x0005003f, 0x0000000e, 0x0000000e, 0x00000030, 0x0000000c, 0x000100fd,
          0x00010038,
       };
    
       get_nir(sizeof(words) / sizeof(words[0]), words);
    
       nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_barrier, 0);
       ASSERT_NE(intrinsic, nullptr);
    
       EXPECT_EQ(nir_intrinsic_memory_semantics(intrinsic), NIR_MEMORY_MAKE_VISIBLE | NIR_MEMORY_ACQUIRE);
       EXPECT_NE(nir_intrinsic_memory_modes(intrinsic) & nir_var_mem_ssbo, 0);
       EXPECT_EQ(nir_intrinsic_memory_scope(intrinsic), SCOPE_WORKGROUP);
       EXPECT_EQ(nir_intrinsic_execution_scope(intrinsic), SCOPE_NONE);
    }