               OpCapability Shader
          %5 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %_entrypoint_v "_entrypoint" %sk_FragColor
               OpExecutionMode %_entrypoint_v OriginUpperLeft

               ; Debug Information
               OpName %sk_FragColor "sk_FragColor"  ; id %11
               OpName %_UniformBuffer "_UniformBuffer"  ; id %16
               OpMemberName %_UniformBuffer 0 "colorRed"
               OpMemberName %_UniformBuffer 1 "colorGreen"
               OpName %_entrypoint_v "_entrypoint_v"    ; id %18
               OpName %S "S"                            ; id %28
               OpMemberName %S 0 "x"
               OpMemberName %S 1 "y"
               OpName %returns_a_struct_S "returns_a_struct_S"  ; id %6
               OpName %s "s"                                    ; id %31
               OpName %constructs_a_struct_S "constructs_a_struct_S"    ; id %7
               OpName %accepts_a_struct_fS "accepts_a_struct_fS"        ; id %8
               OpName %modifies_a_struct_vS "modifies_a_struct_vS"      ; id %9
               OpName %main "main"                                      ; id %10
               OpName %s_0 "s"                                          ; id %67
               OpName %x "x"                                            ; id %69
               OpName %expected "expected"                              ; id %75
               OpName %Nested "Nested"                                  ; id %78
               OpMemberName %Nested 0 "a"
               OpMemberName %Nested 1 "b"
               OpName %n1 "n1"                      ; id %77
               OpName %n2 "n2"                      ; id %80
               OpName %n3 "n3"                      ; id %81
               OpName %Compound "Compound"          ; id %95
               OpMemberName %Compound 0 "f4"
               OpMemberName %Compound 1 "i3"
               OpName %c1 "c1"                      ; id %93
               OpName %c2 "c2"                      ; id %105
               OpName %c3 "c3"                      ; id %112
               OpName %valid "valid"                ; id %118

               ; Annotations
               OpDecorate %main RelaxedPrecision
               OpDecorate %sk_FragColor RelaxedPrecision
               OpDecorate %sk_FragColor Location 0
               OpDecorate %sk_FragColor Index 0
               OpMemberDecorate %_UniformBuffer 0 Offset 0
               OpMemberDecorate %_UniformBuffer 0 RelaxedPrecision
               OpMemberDecorate %_UniformBuffer 1 Offset 16
               OpMemberDecorate %_UniformBuffer 1 RelaxedPrecision
               OpDecorate %_UniformBuffer Block
               OpDecorate %15 Binding 0
               OpDecorate %15 DescriptorSet 0
               OpMemberDecorate %S 0 Offset 0
               OpMemberDecorate %S 1 Offset 4
               OpDecorate %41 RelaxedPrecision
               OpMemberDecorate %Nested 0 Offset 0
               OpMemberDecorate %Nested 0 RelaxedPrecision
               OpMemberDecorate %Nested 1 Offset 16
               OpMemberDecorate %Nested 1 RelaxedPrecision
               OpDecorate %85 RelaxedPrecision
               OpDecorate %87 RelaxedPrecision
               OpDecorate %89 RelaxedPrecision
               OpMemberDecorate %Compound 0 Offset 0
               OpMemberDecorate %Compound 1 Offset 16
               OpDecorate %108 RelaxedPrecision
               OpDecorate %109 RelaxedPrecision
               OpDecorate %114 RelaxedPrecision
               OpDecorate %115 RelaxedPrecision
               OpDecorate %138 RelaxedPrecision
               OpDecorate %139 RelaxedPrecision
               OpDecorate %150 RelaxedPrecision
               OpDecorate %160 RelaxedPrecision
               OpDecorate %172 RelaxedPrecision
               OpDecorate %173 RelaxedPrecision
               OpDecorate %196 RelaxedPrecision
               OpDecorate %197 RelaxedPrecision
               OpDecorate %220 RelaxedPrecision
               OpDecorate %258 RelaxedPrecision
               OpDecorate %260 RelaxedPrecision
               OpDecorate %261 RelaxedPrecision

               ; Types, variables and constants
        %int = OpTypeInt 32 1
%_ptr_Input_int = OpTypePointer Input %int
      %float = OpTypeFloat 32
    %v4float = OpTypeVector %float 4
%_ptr_Output_v4float = OpTypePointer Output %v4float
%sk_FragColor = OpVariable %_ptr_Output_v4float Output  ; RelaxedPrecision, Location 0, Index 0
%_UniformBuffer = OpTypeStruct %v4float %v4float        ; Block
%_ptr_Uniform__UniformBuffer = OpTypePointer Uniform %_UniformBuffer
         %15 = OpVariable %_ptr_Uniform__UniformBuffer Uniform  ; Binding 0, DescriptorSet 0
       %void = OpTypeVoid
         %20 = OpTypeFunction %void
    %float_0 = OpConstant %float 0
    %v2float = OpTypeVector %float 2
         %24 = OpConstantComposite %v2float %float_0 %float_0
%_ptr_Function_v2float = OpTypePointer Function %v2float
          %S = OpTypeStruct %float %int
         %29 = OpTypeFunction %S
%_ptr_Function_S = OpTypePointer Function %S
    %float_1 = OpConstant %float 1
      %int_0 = OpConstant %int 0
%_ptr_Function_float = OpTypePointer Function %float
      %int_2 = OpConstant %int 2
      %int_1 = OpConstant %int 1
%_ptr_Function_int = OpTypePointer Function %int
    %float_2 = OpConstant %float 2
      %int_3 = OpConstant %int 3
         %46 = OpTypeFunction %float %_ptr_Function_S
         %55 = OpTypeFunction %void %_ptr_Function_S
         %64 = OpTypeFunction %v4float %_ptr_Function_v2float
     %Nested = OpTypeStruct %S %S
%_ptr_Function_Nested = OpTypePointer Function %Nested
      %v3int = OpTypeVector %int 3
   %Compound = OpTypeStruct %v4float %v3int
%_ptr_Function_Compound = OpTypePointer Function %Compound
    %float_3 = OpConstant %float 3
    %float_4 = OpConstant %float 4
         %99 = OpConstantComposite %v4float %float_1 %float_2 %float_3 %float_4
      %int_5 = OpConstant %int 5
      %int_6 = OpConstant %int 6
      %int_7 = OpConstant %int 7
        %103 = OpConstantComposite %v3int %int_5 %int_6 %int_7
%_ptr_Uniform_v4float = OpTypePointer Uniform %v4float
       %bool = OpTypeBool
%_ptr_Function_bool = OpTypePointer Function %bool
      %false = OpConstantFalse %bool
     %v4bool = OpTypeVector %bool 4
       %true = OpConstantTrue %bool
%_ptr_Function_v4float = OpTypePointer Function %v4float


               ; Function _entrypoint_v
%_entrypoint_v = OpFunction %void None %20

         %21 = OpLabel
         %25 =   OpVariable %_ptr_Function_v2float Function
                 OpStore %25 %24
         %27 =   OpFunctionCall %v4float %main %25
                 OpStore %sk_FragColor %27
                 OpReturn
               OpFunctionEnd


               ; Function returns_a_struct_S
%returns_a_struct_S = OpFunction %S None %29

         %30 = OpLabel
          %s =   OpVariable %_ptr_Function_S Function
         %35 =   OpAccessChain %_ptr_Function_float %s %int_0
                 OpStore %35 %float_1
         %39 =   OpAccessChain %_ptr_Function_int %s %int_1
                 OpStore %39 %int_2
         %41 =   OpLoad %S %s                       ; RelaxedPrecision
                 OpReturnValue %41
               OpFunctionEnd


               ; Function constructs_a_struct_S
%constructs_a_struct_S = OpFunction %S None %29

         %42 = OpLabel
         %45 =   OpCompositeConstruct %S %float_2 %int_3
                 OpReturnValue %45
               OpFunctionEnd


               ; Function accepts_a_struct_fS
%accepts_a_struct_fS = OpFunction %float None %46
         %47 = OpFunctionParameter %_ptr_Function_S

         %48 = OpLabel
         %49 =   OpAccessChain %_ptr_Function_float %47 %int_0
         %50 =   OpLoad %float %49
         %51 =   OpAccessChain %_ptr_Function_int %47 %int_1
         %52 =   OpLoad %int %51
         %53 =   OpConvertSToF %float %52
         %54 =   OpFAdd %float %50 %53
                 OpReturnValue %54
               OpFunctionEnd


               ; Function modifies_a_struct_vS
%modifies_a_struct_vS = OpFunction %void None %55
         %56 = OpFunctionParameter %_ptr_Function_S

         %57 = OpLabel
         %58 =   OpAccessChain %_ptr_Function_float %56 %int_0
         %59 =   OpLoad %float %58
         %60 =   OpFAdd %float %59 %float_1
                 OpStore %58 %60
         %61 =   OpAccessChain %_ptr_Function_int %56 %int_1
         %62 =   OpLoad %int %61
         %63 =   OpIAdd %int %62 %int_1
                 OpStore %61 %63
                 OpReturn
               OpFunctionEnd


               ; Function main
       %main = OpFunction %v4float None %64         ; RelaxedPrecision
         %65 = OpFunctionParameter %_ptr_Function_v2float

         %66 = OpLabel
        %s_0 =   OpVariable %_ptr_Function_S Function
          %x =   OpVariable %_ptr_Function_float Function
         %70 =   OpVariable %_ptr_Function_S Function
         %72 =   OpVariable %_ptr_Function_S Function
   %expected =   OpVariable %_ptr_Function_S Function
         %n1 =   OpVariable %_ptr_Function_Nested Function
         %n2 =   OpVariable %_ptr_Function_Nested Function
         %n3 =   OpVariable %_ptr_Function_Nested Function
         %90 =   OpVariable %_ptr_Function_S Function
         %c1 =   OpVariable %_ptr_Function_Compound Function
         %c2 =   OpVariable %_ptr_Function_Compound Function
         %c3 =   OpVariable %_ptr_Function_Compound Function
      %valid =   OpVariable %_ptr_Function_bool Function
        %252 =   OpVariable %_ptr_Function_v4float Function
         %68 =   OpFunctionCall %S %returns_a_struct_S
                 OpStore %s_0 %68
                 OpStore %70 %68
         %71 =   OpFunctionCall %float %accepts_a_struct_fS %70
                 OpStore %x %71
                 OpStore %72 %68
         %73 =   OpFunctionCall %void %modifies_a_struct_vS %72
         %74 =   OpLoad %S %72
                 OpStore %s_0 %74
         %76 =   OpFunctionCall %S %constructs_a_struct_S
                 OpStore %expected %76
         %82 =   OpFunctionCall %S %returns_a_struct_S
         %83 =   OpAccessChain %_ptr_Function_S %n1 %int_0
                 OpStore %83 %82
         %84 =   OpAccessChain %_ptr_Function_S %n1 %int_0
         %85 =   OpLoad %S %84                      ; RelaxedPrecision
         %86 =   OpAccessChain %_ptr_Function_S %n1 %int_1
                 OpStore %86 %85
         %87 =   OpLoad %Nested %n1                 ; RelaxedPrecision
                 OpStore %n2 %87
                 OpStore %n3 %87
         %88 =   OpAccessChain %_ptr_Function_S %n3 %int_1
         %89 =   OpLoad %S %88                      ; RelaxedPrecision
                 OpStore %90 %89
         %91 =   OpFunctionCall %void %modifies_a_struct_vS %90
         %92 =   OpLoad %S %90
                 OpStore %88 %92
        %104 =   OpCompositeConstruct %Compound %99 %103
                 OpStore %c1 %104
        %106 =   OpAccessChain %_ptr_Uniform_v4float %15 %int_1
        %108 =   OpLoad %v4float %106               ; RelaxedPrecision
        %109 =   OpCompositeExtract %float %108 1   ; RelaxedPrecision
        %110 =   OpCompositeConstruct %v4float %109 %float_2 %float_3 %float_4
        %111 =   OpCompositeConstruct %Compound %110 %103
                 OpStore %c2 %111
        %113 =   OpAccessChain %_ptr_Uniform_v4float %15 %int_1
        %114 =   OpLoad %v4float %113               ; RelaxedPrecision
        %115 =   OpCompositeExtract %float %114 0   ; RelaxedPrecision
        %116 =   OpCompositeConstruct %v4float %115 %float_2 %float_3 %float_4
        %117 =   OpCompositeConstruct %Compound %116 %103
                 OpStore %c3 %117
        %122 =   OpLoad %float %x
        %123 =   OpFOrdEqual %bool %122 %float_3
                 OpSelectionMerge %125 None
                 OpBranchConditional %123 %124 %125

        %124 =     OpLabel
        %126 =       OpAccessChain %_ptr_Function_float %s_0 %int_0
        %127 =       OpLoad %float %126
        %128 =       OpFOrdEqual %bool %127 %float_2
                     OpBranch %125

        %125 = OpLabel
        %129 =   OpPhi %bool %false %66 %128 %124
                 OpSelectionMerge %131 None
                 OpBranchConditional %129 %130 %131

        %130 =     OpLabel
        %132 =       OpAccessChain %_ptr_Function_int %s_0 %int_1
        %133 =       OpLoad %int %132
        %134 =       OpIEqual %bool %133 %int_3
                     OpBranch %131

        %131 = OpLabel
        %135 =   OpPhi %bool %false %125 %134 %130
                 OpSelectionMerge %137 None
                 OpBranchConditional %135 %136 %137

        %136 =     OpLabel
        %138 =       OpLoad %S %s_0                 ; RelaxedPrecision
        %139 =       OpLoad %S %expected            ; RelaxedPrecision
        %140 =       OpCompositeExtract %float %138 0
        %141 =       OpCompositeExtract %float %139 0
        %142 =       OpFOrdEqual %bool %140 %141
        %143 =       OpCompositeExtract %int %138 1
        %144 =       OpCompositeExtract %int %139 1
        %145 =       OpIEqual %bool %143 %144
        %146 =       OpLogicalAnd %bool %145 %142
                     OpBranch %137

        %137 = OpLabel
        %147 =   OpPhi %bool %false %131 %146 %136
                 OpSelectionMerge %149 None
                 OpBranchConditional %147 %148 %149

        %148 =     OpLabel
        %150 =       OpLoad %S %s_0                 ; RelaxedPrecision
        %151 =       OpCompositeConstruct %S %float_2 %int_3
        %152 =       OpCompositeExtract %float %150 0
        %153 =       OpFOrdEqual %bool %152 %float_2
        %154 =       OpCompositeExtract %int %150 1
        %155 =       OpIEqual %bool %154 %int_3
        %156 =       OpLogicalAnd %bool %155 %153
                     OpBranch %149

        %149 = OpLabel
        %157 =   OpPhi %bool %false %137 %156 %148
                 OpSelectionMerge %159 None
                 OpBranchConditional %157 %158 %159

        %158 =     OpLabel
        %160 =       OpLoad %S %s_0                 ; RelaxedPrecision
        %161 =       OpFunctionCall %S %returns_a_struct_S
        %162 =       OpCompositeExtract %float %160 0
        %163 =       OpCompositeExtract %float %161 0
        %164 =       OpFUnordNotEqual %bool %162 %163
        %165 =       OpCompositeExtract %int %160 1
        %166 =       OpCompositeExtract %int %161 1
        %167 =       OpINotEqual %bool %165 %166
        %168 =       OpLogicalOr %bool %167 %164
                     OpBranch %159

        %159 = OpLabel
        %169 =   OpPhi %bool %false %149 %168 %158
                 OpSelectionMerge %171 None
                 OpBranchConditional %169 %170 %171

        %170 =     OpLabel
        %172 =       OpLoad %Nested %n1             ; RelaxedPrecision
        %173 =       OpLoad %Nested %n2             ; RelaxedPrecision
        %174 =       OpCompositeExtract %S %172 0
        %175 =       OpCompositeExtract %S %173 0
        %176 =       OpCompositeExtract %float %174 0
        %177 =       OpCompositeExtract %float %175 0
        %178 =       OpFOrdEqual %bool %176 %177
        %179 =       OpCompositeExtract %int %174 1
        %180 =       OpCompositeExtract %int %175 1
        %181 =       OpIEqual %bool %179 %180
        %182 =       OpLogicalAnd %bool %181 %178
        %183 =       OpCompositeExtract %S %172 1
        %184 =       OpCompositeExtract %S %173 1
        %185 =       OpCompositeExtract %float %183 0
        %186 =       OpCompositeExtract %float %184 0
        %187 =       OpFOrdEqual %bool %185 %186
        %188 =       OpCompositeExtract %int %183 1
        %189 =       OpCompositeExtract %int %184 1
        %190 =       OpIEqual %bool %188 %189
        %191 =       OpLogicalAnd %bool %190 %187
        %192 =       OpLogicalAnd %bool %191 %182
                     OpBranch %171

        %171 = OpLabel
        %193 =   OpPhi %bool %false %159 %192 %170
                 OpSelectionMerge %195 None
                 OpBranchConditional %193 %194 %195

        %194 =     OpLabel
        %196 =       OpLoad %Nested %n1             ; RelaxedPrecision
        %197 =       OpLoad %Nested %n3             ; RelaxedPrecision
        %198 =       OpCompositeExtract %S %196 0
        %199 =       OpCompositeExtract %S %197 0
        %200 =       OpCompositeExtract %float %198 0
        %201 =       OpCompositeExtract %float %199 0
        %202 =       OpFUnordNotEqual %bool %200 %201
        %203 =       OpCompositeExtract %int %198 1
        %204 =       OpCompositeExtract %int %199 1
        %205 =       OpINotEqual %bool %203 %204
        %206 =       OpLogicalOr %bool %205 %202
        %207 =       OpCompositeExtract %S %196 1
        %208 =       OpCompositeExtract %S %197 1
        %209 =       OpCompositeExtract %float %207 0
        %210 =       OpCompositeExtract %float %208 0
        %211 =       OpFUnordNotEqual %bool %209 %210
        %212 =       OpCompositeExtract %int %207 1
        %213 =       OpCompositeExtract %int %208 1
        %214 =       OpINotEqual %bool %212 %213
        %215 =       OpLogicalOr %bool %214 %211
        %216 =       OpLogicalOr %bool %215 %206
                     OpBranch %195

        %195 = OpLabel
        %217 =   OpPhi %bool %false %171 %216 %194
                 OpSelectionMerge %219 None
                 OpBranchConditional %217 %218 %219

        %218 =     OpLabel
        %220 =       OpLoad %Nested %n3             ; RelaxedPrecision
        %221 =       OpCompositeConstruct %S %float_1 %int_2
        %222 =       OpCompositeConstruct %S %float_2 %int_3
        %223 =       OpCompositeConstruct %Nested %221 %222
        %224 =       OpCompositeExtract %S %220 0
        %225 =       OpCompositeExtract %float %224 0
        %226 =       OpFOrdEqual %bool %225 %float_1
        %227 =       OpCompositeExtract %int %224 1
        %228 =       OpIEqual %bool %227 %int_2
        %229 =       OpLogicalAnd %bool %228 %226
        %230 =       OpCompositeExtract %S %220 1
        %231 =       OpCompositeExtract %float %230 0
        %232 =       OpFOrdEqual %bool %231 %float_2
        %233 =       OpCompositeExtract %int %230 1
        %234 =       OpIEqual %bool %233 %int_3
        %235 =       OpLogicalAnd %bool %234 %232
        %236 =       OpLogicalAnd %bool %235 %229
                     OpBranch %219

        %219 = OpLabel
        %237 =   OpPhi %bool %false %195 %236 %218
                 OpSelectionMerge %239 None
                 OpBranchConditional %237 %238 %239

        %238 =     OpLabel
        %240 =       OpFOrdEqual %v4bool %99 %110
        %242 =       OpAll %bool %240
        %244 =       OpLogicalAnd %bool %true %242
                     OpBranch %239

        %239 = OpLabel
        %245 =   OpPhi %bool %false %219 %244 %238
                 OpSelectionMerge %247 None
                 OpBranchConditional %245 %246 %247

        %246 =     OpLabel
        %248 =       OpFUnordNotEqual %v4bool %110 %116
        %249 =       OpAny %bool %248
        %250 =       OpLogicalOr %bool %false %249
                     OpBranch %247

        %247 = OpLabel
        %251 =   OpPhi %bool %false %239 %250 %246
                 OpStore %valid %251
                 OpSelectionMerge %256 None
                 OpBranchConditional %251 %254 %255

        %254 =     OpLabel
        %257 =       OpAccessChain %_ptr_Uniform_v4float %15 %int_1
        %258 =       OpLoad %v4float %257           ; RelaxedPrecision
                     OpStore %252 %258
                     OpBranch %256

        %255 =     OpLabel
        %259 =       OpAccessChain %_ptr_Uniform_v4float %15 %int_0
        %260 =       OpLoad %v4float %259           ; RelaxedPrecision
                     OpStore %252 %260
                     OpBranch %256

        %256 = OpLabel
        %261 =   OpLoad %v4float %252               ; RelaxedPrecision
                 OpReturnValue %261
               OpFunctionEnd