spv.bufferReference.memoryModel.shadercall.rgen
// Module Version 10400
// Generated by (magic number): 8000b
// Id's are bound by 24

                              Capability RayTracingKHR
                              Capability VulkanMemoryModelKHR
                              Capability PhysicalStorageBufferAddressesEXT
                              Extension  "SPV_KHR_physical_storage_buffer"
                              Extension  "SPV_KHR_ray_tracing"
                              Extension  "SPV_KHR_vulkan_memory_model"
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel PhysicalStorageBuffer64EXT VulkanKHR
                              EntryPoint RayGenerationKHR 4  "main" 13
                              Source GLSL 460
                              SourceExtension  "GL_EXT_buffer_reference"
                              SourceExtension  "GL_EXT_ray_tracing"
                              Name 4  "main"
                              Name 8  "Ref"
                              MemberName 8(Ref) 0  "value"
                              Name 10  "ref"
                              Name 11  "Push"
                              MemberName 11(Push) 0  "ref"
                              Name 13  "pc"
                              Decorate 8(Ref) Block
                              MemberDecorate 8(Ref) 0 Offset 0
                              Decorate 10(ref) DecorationAliasedPointerEXT
                              Decorate 11(Push) Block
                              MemberDecorate 11(Push) 0 Offset 0
               2:             TypeVoid
               3:             TypeFunction 2
                              TypeForwardPointer 6 PhysicalStorageBufferEXT
               7:             TypeInt 32 0
          8(Ref):             TypeStruct 7(int)
               6:             TypePointer PhysicalStorageBufferEXT 8(Ref)
               9:             TypePointer Function 6(ptr)
        11(Push):             TypeStruct 6(ptr)
              12:             TypePointer PushConstant 11(Push)
          13(pc):     12(ptr) Variable PushConstant
              14:             TypeInt 32 1
              15:     14(int) Constant 0
              16:             TypePointer PushConstant 6(ptr)
              20:      7(int) Constant 5
              21:             TypePointer PhysicalStorageBufferEXT 7(int)
              23:      7(int) Constant 6
         4(main):           2 Function None 3
               5:             Label
         10(ref):      9(ptr) Variable Function
              17:     16(ptr) AccessChain 13(pc) 15
              18:      6(ptr) Load 17
                              Store 10(ref) 18
              19:      6(ptr) Load 10(ref)
              22:     21(ptr) AccessChain 19 15
                              Store 22 20 Aligned MakePointerAvailableKHR NonPrivatePointerKHR 16 23
                              Return
                              FunctionEnd