spv.extPostDepthCoverage.frag
// Module Version 10000
// Generated by (magic number): 8000b
// Id's are bound by 6

                              Capability Shader
                              Capability SampleMaskPostDepthCoverage
                              Extension  "SPV_KHR_post_depth_coverage"
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel Logical GLSL450
                              EntryPoint Fragment 4  "main"
                              ExecutionMode 4 OriginUpperLeft
                              ExecutionMode 4 EarlyFragmentTests
                              ExecutionMode 4 PostDepthCoverage
                              Source ESSL 310
                              SourceExtension  "GL_EXT_post_depth_coverage"
                              Name 4  "main"
               2:             TypeVoid
               3:             TypeFunction 2
         4(main):           2 Function None 3
               5:             Label
                              Return
                              FunctionEnd
