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

Branch : - branch - master - tag -

• Show log

  Commit

• Author : jsg
  Date : 2023-11-02 04:31:01
  Hash : 60059fee
  Message : Import Mesa 23.1.9

• lib/mesa/src/compiler/spirv/tests/volatile.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 Volatile : public spirv_test {};
  
  TEST_F(Volatile, opload_volatile)
  {
     /*
                 OpCapability Shader
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical GLSL450
                 OpEntryPoint GLCompute %4 "main"
                 OpExecutionMode %4 LocalSize 1 1 1
                 OpMemberDecorate %_struct_7 0 Offset 0
                 OpDecorate %_struct_7 BufferBlock
                 OpDecorate %9 DescriptorSet 0
                 OpDecorate %9 Binding 0
         %void = OpTypeVoid
            %3 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
    %_struct_7 = OpTypeStruct %uint
  %_ptr_Uniform__struct_7 = OpTypePointer Uniform %_struct_7
            %9 = OpVariable %_ptr_Uniform__struct_7 Uniform
          %int = OpTypeInt 32 1
        %int_0 = OpConstant %int 0
  %_ptr_Uniform_uint = OpTypePointer Uniform %uint
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %13 = OpAccessChain %_ptr_Uniform_uint %9 %int_0
           %14 = OpLoad %uint %13 Volatile
                 OpStore %13 %14
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010300, 0x00070000, 0x0000000f, 0x00000000, 0x00020011,
        0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
        0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0005000f, 0x00000005,
        0x00000002, 0x6e69616d, 0x00000000, 0x00060010, 0x00000002, 0x00000011,
        0x00000001, 0x00000001, 0x00000001, 0x00050048, 0x00000003, 0x00000000,
        0x00000023, 0x00000000, 0x00030047, 0x00000003, 0x00000003, 0x00040047,
        0x00000004, 0x00000022, 0x00000000, 0x00040047, 0x00000004, 0x00000021,
        0x00000000, 0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005,
        0x00040015, 0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000003,
        0x00000007, 0x00040020, 0x00000008, 0x00000002, 0x00000003, 0x0004003b,
        0x00000008, 0x00000004, 0x00000002, 0x00040015, 0x00000009, 0x00000020,
        0x00000001, 0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020,
        0x0000000b, 0x00000002, 0x00000007, 0x00050036, 0x00000005, 0x00000002,
        0x00000000, 0x00000006, 0x000200f8, 0x0000000c, 0x00050041, 0x0000000b,
        0x0000000d, 0x00000004, 0x0000000a, 0x0005003d, 0x00000007, 0x0000000e,
        0x0000000d, 0x00000001, 0x0003003e, 0x0000000d, 0x0000000e, 0x000100fd,
        0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_load_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opstore_volatile)
  {
     /*
                 OpCapability Shader
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical GLSL450
                 OpEntryPoint GLCompute %4 "main"
                 OpExecutionMode %4 LocalSize 1 1 1
                 OpMemberDecorate %_struct_7 0 Offset 0
                 OpDecorate %_struct_7 BufferBlock
                 OpDecorate %9 DescriptorSet 0
                 OpDecorate %9 Binding 0
         %void = OpTypeVoid
            %3 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
    %_struct_7 = OpTypeStruct %uint
  %_ptr_Uniform__struct_7 = OpTypePointer Uniform %_struct_7
            %9 = OpVariable %_ptr_Uniform__struct_7 Uniform
          %int = OpTypeInt 32 1
        %int_0 = OpConstant %int 0
  %_ptr_Uniform_uint = OpTypePointer Uniform %uint
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %13 = OpAccessChain %_ptr_Uniform_uint %9 %int_0
           %14 = OpLoad %uint %13
                 OpStore %13 %14 Volatile
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010300, 0x00070000, 0x0000000f, 0x00000000, 0x00020011,
        0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
        0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0005000f, 0x00000005,
        0x00000002, 0x6e69616d, 0x00000000, 0x00060010, 0x00000002, 0x00000011,
        0x00000001, 0x00000001, 0x00000001, 0x00050048, 0x00000003, 0x00000000,
        0x00000023, 0x00000000, 0x00030047, 0x00000003, 0x00000003, 0x00040047,
        0x00000004, 0x00000022, 0x00000000, 0x00040047, 0x00000004, 0x00000021,
        0x00000000, 0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005,
        0x00040015, 0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000003,
        0x00000007, 0x00040020, 0x00000008, 0x00000002, 0x00000003, 0x0004003b,
        0x00000008, 0x00000004, 0x00000002, 0x00040015, 0x00000009, 0x00000020,
        0x00000001, 0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020,
        0x0000000b, 0x00000002, 0x00000007, 0x00050036, 0x00000005, 0x00000002,
        0x00000000, 0x00000006, 0x000200f8, 0x0000000c, 0x00050041, 0x0000000b,
        0x0000000d, 0x00000004, 0x0000000a, 0x0004003d, 0x00000007, 0x0000000e,
        0x0000000d, 0x0004003e, 0x0000000d, 0x0000000e, 0x00000001, 0x000100fd,
        0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_store_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opcopymemory_volatile_both)
  {
     /*
                 OpCapability Shader
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical GLSL450
                 OpEntryPoint GLCompute %4 "main"
                 OpExecutionMode %4 LocalSize 1 1 1
                 OpMemberDecorate %_struct_7 0 Offset 0
                 OpDecorate %_struct_7 BufferBlock
                 OpDecorate %9 DescriptorSet 0
                 OpDecorate %9 Binding 0
         %void = OpTypeVoid
            %3 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
    %_struct_7 = OpTypeStruct %uint
  %_ptr_Uniform__struct_7 = OpTypePointer Uniform %_struct_7
            %9 = OpVariable %_ptr_Uniform__struct_7 Uniform
          %int = OpTypeInt 32 1
        %int_0 = OpConstant %int 0
  %_ptr_Uniform_uint = OpTypePointer Uniform %uint
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %13 = OpAccessChain %_ptr_Uniform_uint %9 %int_0
                 OpCopyMemory %13 %13 Volatile
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010300, 0x00070000, 0x0000000e, 0x00000000, 0x00020011,
        0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
        0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0005000f, 0x00000005,
        0x00000002, 0x6e69616d, 0x00000000, 0x00060010, 0x00000002, 0x00000011,
        0x00000001, 0x00000001, 0x00000001, 0x00050048, 0x00000003, 0x00000000,
        0x00000023, 0x00000000, 0x00030047, 0x00000003, 0x00000003, 0x00040047,
        0x00000004, 0x00000022, 0x00000000, 0x00040047, 0x00000004, 0x00000021,
        0x00000000, 0x00020013, 0x00000005, 0x00030021, 0x00000006, 0x00000005,
        0x00040015, 0x00000007, 0x00000020, 0x00000000, 0x0003001e, 0x00000003,
        0x00000007, 0x00040020, 0x00000008, 0x00000002, 0x00000003, 0x0004003b,
        0x00000008, 0x00000004, 0x00000002, 0x00040015, 0x00000009, 0x00000020,
        0x00000001, 0x0004002b, 0x00000009, 0x0000000a, 0x00000000, 0x00040020,
        0x0000000b, 0x00000002, 0x00000007, 0x00050036, 0x00000005, 0x00000002,
        0x00000000, 0x00000006, 0x000200f8, 0x0000000c, 0x00050041, 0x0000000b,
        0x0000000d, 0x00000004, 0x0000000a, 0x0004003f, 0x0000000d, 0x0000000d,
        0x00000001, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_load_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  
     intrinsic = find_intrinsic(nir_intrinsic_store_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opcopymemory_volatile_target)
  {
     /*
                 OpCapability Shader
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical GLSL450
                 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
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                 OpCopyMemory %13 %13 Volatile None
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x0000000e, 0x00000000, 0x00020011,
        0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
        0x00000000, 0x0003000e, 0x00000000, 0x00000001, 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, 0x00050036, 0x00000005,
        0x00000002, 0x00000000, 0x00000006, 0x000200f8, 0x0000000c, 0x00050041,
        0x0000000b, 0x0000000d, 0x00000003, 0x0000000a, 0x0005003f, 0x0000000d,
        0x0000000d, 0x00000001, 0x00000000, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_load_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_EQ(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  
     intrinsic = find_intrinsic(nir_intrinsic_store_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opcopymemory_volatile_source)
  {
     /*
                 OpCapability Shader
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical GLSL450
                 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
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %13 = OpAccessChain %_ptr_StorageBuffer_uint %9 %int_0
                 OpCopyMemory %13 %13 None Volatile
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x0000000e, 0x00000000, 0x00020011,
        0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
        0x00000000, 0x0003000e, 0x00000000, 0x00000001, 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, 0x00050036, 0x00000005,
        0x00000002, 0x00000000, 0x00000006, 0x000200f8, 0x0000000c, 0x00050041,
        0x0000000b, 0x0000000d, 0x00000003, 0x0000000a, 0x0005003f, 0x0000000d,
        0x0000000d, 0x00000000, 0x00000001, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_load_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  
     intrinsic = find_intrinsic(nir_intrinsic_store_deref);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_EQ(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opimageread_volatile)
  {
     /*
                 OpCapability Shader
                 OpCapability VulkanMemoryModel
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical Vulkan
                 OpEntryPoint GLCompute %4 "main" %9
                 OpExecutionMode %4 LocalSize 1 1 1
                 OpDecorate %9 DescriptorSet 0
                 OpDecorate %9 Binding 1
         %void = OpTypeVoid
            %3 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
            %7 = OpTypeImage %uint 2D 0 0 0 2 R32ui
  %_ptr_UniformConstant_7 = OpTypePointer UniformConstant %7
            %9 = OpVariable %_ptr_UniformConstant_7 UniformConstant
          %int = OpTypeInt 32 1
        %v2int = OpTypeVector %int 2
        %int_0 = OpConstant %int 0
           %14 = OpConstantComposite %v2int %int_0 %int_0
       %v4uint = OpTypeVector %uint 4
       %v3uint = OpTypeVector %uint 3
       %uint_1 = OpConstant %uint 1
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %10 = OpLoad %7 %9
           %15 = OpLoad %7 %9
           %17 = OpImageRead %v4uint %15 %14 VolatileTexel
                 OpImageWrite %10 %14 %17
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x00000014, 0x00000000, 0x00020011,
        0x00000001, 0x00020011, 0x000014e1, 0x0006000b, 0x00000001, 0x4c534c47,
        0x6474732e, 0x3035342e, 0x00000000, 0x0003000e, 0x00000000, 0x00000003,
        0x0006000f, 0x00000005, 0x00000002, 0x6e69616d, 0x00000000, 0x00000003,
        0x00060010, 0x00000002, 0x00000011, 0x00000001, 0x00000001, 0x00000001,
        0x00040047, 0x00000003, 0x00000022, 0x00000000, 0x00040047, 0x00000003,
        0x00000021, 0x00000001, 0x00020013, 0x00000004, 0x00030021, 0x00000005,
        0x00000004, 0x00040015, 0x00000006, 0x00000020, 0x00000000, 0x00090019,
        0x00000007, 0x00000006, 0x00000001, 0x00000000, 0x00000000, 0x00000000,
        0x00000002, 0x00000021, 0x00040020, 0x00000008, 0x00000000, 0x00000007,
        0x0004003b, 0x00000008, 0x00000003, 0x00000000, 0x00040015, 0x00000009,
        0x00000020, 0x00000001, 0x00040017, 0x0000000a, 0x00000009, 0x00000002,
        0x0004002b, 0x00000009, 0x0000000b, 0x00000000, 0x0005002c, 0x0000000a,
        0x0000000c, 0x0000000b, 0x0000000b, 0x00040017, 0x0000000d, 0x00000006,
        0x00000004, 0x00040017, 0x0000000e, 0x00000006, 0x00000003, 0x0004002b,
        0x00000006, 0x0000000f, 0x00000001, 0x00050036, 0x00000004, 0x00000002,
        0x00000000, 0x00000005, 0x000200f8, 0x00000010, 0x0004003d, 0x00000007,
        0x00000011, 0x00000003, 0x0004003d, 0x00000007, 0x00000012, 0x00000003,
        0x00060062, 0x0000000d, 0x00000013, 0x00000012, 0x0000000c, 0x00000800,
        0x00040063, 0x00000011, 0x0000000c, 0x00000013, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_image_deref_load, 0);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opimagewrite_volatile)
  {
     /*
                 OpCapability Shader
                 OpCapability VulkanMemoryModel
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical Vulkan
                 OpEntryPoint GLCompute %4 "main" %9
                 OpExecutionMode %4 LocalSize 1 1 1
                 OpDecorate %9 DescriptorSet 0
                 OpDecorate %9 Binding 1
         %void = OpTypeVoid
            %3 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
            %7 = OpTypeImage %uint 2D 0 0 0 2 R32ui
  %_ptr_UniformConstant_7 = OpTypePointer UniformConstant %7
            %9 = OpVariable %_ptr_UniformConstant_7 UniformConstant
          %int = OpTypeInt 32 1
        %v2int = OpTypeVector %int 2
        %int_0 = OpConstant %int 0
           %14 = OpConstantComposite %v2int %int_0 %int_0
       %v4uint = OpTypeVector %uint 4
       %v3uint = OpTypeVector %uint 3
       %uint_1 = OpConstant %uint 1
            %4 = OpFunction %void None %3
            %5 = OpLabel
           %10 = OpLoad %7 %9
           %15 = OpLoad %7 %9
           %17 = OpImageRead %v4uint %15 %14
                 OpImageWrite %10 %14 %17 VolatileTexel
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x00000014, 0x00000000, 0x00020011,
        0x00000001, 0x00020011, 0x000014e1, 0x0006000b, 0x00000001, 0x4c534c47,
        0x6474732e, 0x3035342e, 0x00000000, 0x0003000e, 0x00000000, 0x00000003,
        0x0006000f, 0x00000005, 0x00000002, 0x6e69616d, 0x00000000, 0x00000003,
        0x00060010, 0x00000002, 0x00000011, 0x00000001, 0x00000001, 0x00000001,
        0x00040047, 0x00000003, 0x00000022, 0x00000000, 0x00040047, 0x00000003,
        0x00000021, 0x00000001, 0x00020013, 0x00000004, 0x00030021, 0x00000005,
        0x00000004, 0x00040015, 0x00000006, 0x00000020, 0x00000000, 0x00090019,
        0x00000007, 0x00000006, 0x00000001, 0x00000000, 0x00000000, 0x00000000,
        0x00000002, 0x00000021, 0x00040020, 0x00000008, 0x00000000, 0x00000007,
        0x0004003b, 0x00000008, 0x00000003, 0x00000000, 0x00040015, 0x00000009,
        0x00000020, 0x00000001, 0x00040017, 0x0000000a, 0x00000009, 0x00000002,
        0x0004002b, 0x00000009, 0x0000000b, 0x00000000, 0x0005002c, 0x0000000a,
        0x0000000c, 0x0000000b, 0x0000000b, 0x00040017, 0x0000000d, 0x00000006,
        0x00000004, 0x00040017, 0x0000000e, 0x00000006, 0x00000003, 0x0004002b,
        0x00000006, 0x0000000f, 0x00000001, 0x00050036, 0x00000004, 0x00000002,
        0x00000000, 0x00000005, 0x000200f8, 0x00000010, 0x0004003d, 0x00000007,
        0x00000011, 0x00000003, 0x0004003d, 0x00000007, 0x00000012, 0x00000003,
        0x00050062, 0x0000000d, 0x00000013, 0x00000012, 0x0000000c, 0x00050063,
        0x00000011, 0x0000000c, 0x00000013, 0x00000800, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_image_deref_store, 0);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opatomicload_image_volatile)
  {
     /*
                 OpCapability Shader
                 OpCapability VulkanMemoryModel
                 OpCapability VulkanMemoryModelDeviceScope
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical Vulkan
                 OpEntryPoint GLCompute %2 "main" %3
                 OpExecutionMode %2 LocalSize 1 1 1
                 OpDecorate %3 DescriptorSet 0
                 OpDecorate %3 Binding 1
         %void = OpTypeVoid
            %7 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
           %10 = OpTypeImage %uint 2D 0 0 0 2 R32ui
  %_ptr_UniformConstant_10 = OpTypePointer UniformConstant %10
            %3 = OpVariable %_ptr_UniformConstant_10 UniformConstant
          %int = OpTypeInt 32 1
        %v2int = OpTypeVector %int 2
        %int_0 = OpConstant %int 0
           %15 = OpConstantComposite %v2int %int_0 %int_0
        %int_1 = OpConstant %int 1
       %uint_0 = OpConstant %uint 0
  %_ptr_Image_uint = OpTypePointer Image %uint
       %uint_1 = OpConstant %uint 1
    %uint_2048 = OpConstant %uint 2048
   %uint_34816 = OpConstant %uint 34816
       %v3uint = OpTypeVector %uint 3
            %2 = OpFunction %void None %7
           %29 = OpLabel
           %30 = OpImageTexelPointer %_ptr_Image_uint %3 %15 %uint_0
           %31 = OpAtomicLoad %uint %30 %int_1 %uint_34816
                 OpAtomicStore %30 %int_1 %uint_2048 %31
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x00000017, 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, 0x00040047, 0x00000003, 0x00000022, 0x00000000,
        0x00040047, 0x00000003, 0x00000021, 0x00000001, 0x00020013, 0x00000004,
        0x00030021, 0x00000005, 0x00000004, 0x00040015, 0x00000006, 0x00000020,
        0x00000000, 0x00090019, 0x00000007, 0x00000006, 0x00000001, 0x00000000,
        0x00000000, 0x00000000, 0x00000002, 0x00000021, 0x00040020, 0x00000008,
        0x00000000, 0x00000007, 0x0004003b, 0x00000008, 0x00000003, 0x00000000,
        0x00040015, 0x00000009, 0x00000020, 0x00000001, 0x00040017, 0x0000000a,
        0x00000009, 0x00000002, 0x0004002b, 0x00000009, 0x0000000b, 0x00000000,
        0x0005002c, 0x0000000a, 0x0000000c, 0x0000000b, 0x0000000b, 0x0004002b,
        0x00000009, 0x0000000d, 0x00000001, 0x0004002b, 0x00000006, 0x0000000e,
        0x00000000, 0x00040020, 0x0000000f, 0x0000000b, 0x00000006, 0x0004002b,
        0x00000006, 0x00000010, 0x00000001, 0x0004002b, 0x00000006, 0x00000011,
        0x00000800, 0x0004002b, 0x00000006, 0x00000012, 0x00008800, 0x00040017,
        0x00000013, 0x00000006, 0x00000003, 0x00050036, 0x00000004, 0x00000002,
        0x00000000, 0x00000005, 0x000200f8, 0x00000014, 0x0006003c, 0x0000000f,
        0x00000015, 0x00000003, 0x0000000c, 0x0000000e, 0x000600e3, 0x00000006,
        0x00000016, 0x00000015, 0x0000000d, 0x00000012, 0x000500e4, 0x00000015,
        0x0000000d, 0x00000011, 0x00000016, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_image_deref_load, 0);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }
  
  TEST_F(Volatile, opatomicstore_image_volatile)
  {
     /*
                 OpCapability Shader
                 OpCapability VulkanMemoryModel
                 OpCapability VulkanMemoryModelDeviceScope
            %1 = OpExtInstImport "GLSL.std.450"
                 OpMemoryModel Logical Vulkan
                 OpEntryPoint GLCompute %2 "main" %3
                 OpExecutionMode %2 LocalSize 1 1 1
                 OpDecorate %3 DescriptorSet 0
                 OpDecorate %3 Binding 1
         %void = OpTypeVoid
            %7 = OpTypeFunction %void
         %uint = OpTypeInt 32 0
           %10 = OpTypeImage %uint 2D 0 0 0 2 R32ui
  %_ptr_UniformConstant_10 = OpTypePointer UniformConstant %10
            %3 = OpVariable %_ptr_UniformConstant_10 UniformConstant
          %int = OpTypeInt 32 1
        %v2int = OpTypeVector %int 2
        %int_0 = OpConstant %int 0
           %15 = OpConstantComposite %v2int %int_0 %int_0
        %int_1 = OpConstant %int 1
       %uint_0 = OpConstant %uint 0
  %_ptr_Image_uint = OpTypePointer Image %uint
       %uint_1 = OpConstant %uint 1
    %uint_2048 = OpConstant %uint 2048
   %uint_34816 = OpConstant %uint 34816
       %v3uint = OpTypeVector %uint 3
            %2 = OpFunction %void None %7
           %29 = OpLabel
           %30 = OpImageTexelPointer %_ptr_Image_uint %3 %15 %uint_0
           %31 = OpAtomicLoad %uint %30 %int_1 %uint_2048
                 OpAtomicStore %30 %int_1 %uint_34816 %31
                 OpReturn
                 OpFunctionEnd
     */
     static const uint32_t words[] = {
        0x07230203, 0x00010500, 0x00070000, 0x00000017, 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, 0x00040047, 0x00000003, 0x00000022, 0x00000000,
        0x00040047, 0x00000003, 0x00000021, 0x00000001, 0x00020013, 0x00000004,
        0x00030021, 0x00000005, 0x00000004, 0x00040015, 0x00000006, 0x00000020,
        0x00000000, 0x00090019, 0x00000007, 0x00000006, 0x00000001, 0x00000000,
        0x00000000, 0x00000000, 0x00000002, 0x00000021, 0x00040020, 0x00000008,
        0x00000000, 0x00000007, 0x0004003b, 0x00000008, 0x00000003, 0x00000000,
        0x00040015, 0x00000009, 0x00000020, 0x00000001, 0x00040017, 0x0000000a,
        0x00000009, 0x00000002, 0x0004002b, 0x00000009, 0x0000000b, 0x00000000,
        0x0005002c, 0x0000000a, 0x0000000c, 0x0000000b, 0x0000000b, 0x0004002b,
        0x00000009, 0x0000000d, 0x00000001, 0x0004002b, 0x00000006, 0x0000000e,
        0x00000000, 0x00040020, 0x0000000f, 0x0000000b, 0x00000006, 0x0004002b,
        0x00000006, 0x00000010, 0x00000001, 0x0004002b, 0x00000006, 0x00000011,
        0x00000800, 0x0004002b, 0x00000006, 0x00000012, 0x00008800, 0x00040017,
        0x00000013, 0x00000006, 0x00000003, 0x00050036, 0x00000004, 0x00000002,
        0x00000000, 0x00000005, 0x000200f8, 0x00000014, 0x0006003c, 0x0000000f,
        0x00000015, 0x00000003, 0x0000000c, 0x0000000e, 0x000600e3, 0x00000006,
        0x00000016, 0x00000015, 0x0000000d, 0x00000011, 0x000500e4, 0x00000015,
        0x0000000d, 0x00000012, 0x00000016, 0x000100fd, 0x00010038,
     };
  
     get_nir(sizeof(words) / sizeof(words[0]), words);
  
     nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_image_deref_store, 0);
     ASSERT_NE(intrinsic, nullptr);
     EXPECT_NE(nir_intrinsic_access(intrinsic) & ACCESS_VOLATILE, 0);
  }