test/vk-gl-cts/graphicsfuzz/cov-copy-prop-arrays-param-uniform/0-opt.spvasm

               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint Fragment %main "main" %_GLF_color
               OpExecutionMode %main OriginUpperLeft
               OpSource ESSL 310
               OpName %main "main"
               OpName %Array "Array"
               OpMemberName %Array 0 "values"
               OpName %func_struct_Array_i1_2_1_ "func(struct-Array-i1[2]1;"
               OpName %a "a"
               OpName %buf0 "buf0"
               OpMemberName %buf0 0 "zero"
               OpName %_ ""
               OpName %param "param"
               OpName %_GLF_color "_GLF_color"
               OpMemberDecorate %Array 0 RelaxedPrecision
               OpDecorate %func_struct_Array_i1_2_1_ RelaxedPrecision
               OpMemberDecorate %buf0 0 RelaxedPrecision
               OpMemberDecorate %buf0 0 Offset 0
               OpDecorate %buf0 Block
               OpDecorate %_ DescriptorSet 0
               OpDecorate %_ Binding 0
               OpDecorate %10 RelaxedPrecision
               OpDecorate %11 RelaxedPrecision
               OpDecorate %12 RelaxedPrecision
               OpDecorate %_GLF_color Location 0
               OpDecorate %13 RelaxedPrecision
               OpDecorate %14 RelaxedPrecision
               OpDecorate %15 RelaxedPrecision
               OpDecorate %16 RelaxedPrecision
               OpDecorate %17 RelaxedPrecision
               OpDecorate %18 RelaxedPrecision
               OpDecorate %19 RelaxedPrecision
               OpDecorate %20 RelaxedPrecision
               OpDecorate %21 RelaxedPrecision
               OpDecorate %22 RelaxedPrecision
               OpDecorate %23 RelaxedPrecision
       %void = OpTypeVoid
         %25 = OpTypeFunction %void
        %int = OpTypeInt 32 1
       %uint = OpTypeInt 32 0
     %uint_2 = OpConstant %uint 2
%_arr_int_uint_2 = OpTypeArray %int %uint_2
      %Array = OpTypeStruct %_arr_int_uint_2
%_ptr_Function_Array = OpTypePointer Function %Array
         %31 = OpTypeFunction %int %_ptr_Function_Array
       %bool = OpTypeBool
       %true = OpConstantTrue %bool
      %int_0 = OpConstant %int 0
       %buf0 = OpTypeStruct %int
%_ptr_Uniform_buf0 = OpTypePointer Uniform %buf0
          %_ = OpVariable %_ptr_Uniform_buf0 Uniform
%_ptr_Uniform_int = OpTypePointer Uniform %int
%_ptr_Function_int = OpTypePointer Function %int
     %int_42 = OpConstant %int 42
      %float = OpTypeFloat 32
    %v4float = OpTypeVector %float 4
%_ptr_Output_v4float = OpTypePointer Output %v4float
 %_GLF_color = OpVariable %_ptr_Output_v4float Output
    %float_1 = OpConstant %float 1
    %float_0 = OpConstant %float 0
         %44 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
         %45 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
      %false = OpConstantFalse %bool
%_ptr_Function_bool = OpTypePointer Function %bool
         %48 = OpUndef %int
         %49 = OpUndef %bool
%_ptr_Function__arr_int_uint_2 = OpTypePointer Function %_arr_int_uint_2
       %main = OpFunction %void None %25
         %51 = OpLabel
         %52 = OpVariable %_ptr_Function_bool Function %false
         %17 = OpVariable %_ptr_Function_int Function
         %18 = OpVariable %_ptr_Function_int Function
         %16 = OpVariable %_ptr_Function__arr_int_uint_2 Function
      %param = OpVariable %_ptr_Function_Array Function
         %53 = OpAccessChain %_ptr_Uniform_int %_ %int_0
         %12 = OpLoad %int %53
         %22 = OpLoad %_arr_int_uint_2 %16
         %23 = OpCompositeInsert %_arr_int_uint_2 %12 %22 0
               OpStore %16 %23
         %54 = OpLoad %_arr_int_uint_2 %16
         %55 = OpCompositeConstruct %Array %54
               OpStore %param %55
               OpStore %52 %false
               OpBranch %56
         %56 = OpLabel
               OpLoopMerge %57 %58 None
               OpBranch %59
         %59 = OpLabel
               OpLoopMerge %60 %61 None
               OpBranch %62
         %62 = OpLabel
         %63 = OpAccessChain %_ptr_Function_int %param %int_0 %12
         %19 = OpLoad %int %63
         %64 = OpIEqual %bool %19 %int_0
               OpSelectionMerge %65 None
               OpBranchConditional %64 %66 %65
         %66 = OpLabel
               OpStore %52 %true
               OpStore %17 %int_42
               OpBranch %60
         %65 = OpLabel
               OpBranch %60
         %61 = OpLabel
               OpBranch %59
         %60 = OpLabel
         %20 = OpPhi %int %int_42 %66 %48 %65
         %67 = OpPhi %bool %true %66 %false %65
               OpSelectionMerge %68 None
               OpBranchConditional %67 %57 %68
         %68 = OpLabel
               OpStore %52 %true
               OpStore %17 %int_42
               OpBranch %57
         %58 = OpLabel
               OpBranch %56
         %57 = OpLabel
         %21 = OpPhi %int %20 %60 %int_42 %68
               OpStore %18 %21
         %69 = OpIEqual %bool %21 %int_42
               OpSelectionMerge %70 None
               OpBranchConditional %69 %71 %72
         %72 = OpLabel
               OpStore %_GLF_color %45
               OpBranch %70
         %71 = OpLabel
               OpStore %_GLF_color %44
               OpBranch %70
         %70 = OpLabel
               OpReturn
               OpFunctionEnd
%func_struct_Array_i1_2_1_ = OpFunction %int None %31
          %a = OpFunctionParameter %_ptr_Function_Array
         %73 = OpLabel
         %74 = OpVariable %_ptr_Function_bool Function %false
         %13 = OpVariable %_ptr_Function_int Function
               OpBranch %75
         %75 = OpLabel
         %76 = OpPhi %bool %false %73 %49 %77
               OpLoopMerge %78 %77 None
               OpBranch %79
         %79 = OpLabel
               OpBranch %80
         %80 = OpLabel
         %81 = OpPhi %bool %76 %79 %49 %82
               OpLoopMerge %83 %82 None
               OpBranch %84
         %84 = OpLabel
               OpBranch %85
         %85 = OpLabel
         %86 = OpAccessChain %_ptr_Uniform_int %_ %int_0
         %10 = OpLoad %int %86
         %87 = OpAccessChain %_ptr_Function_int %a %int_0 %10
         %11 = OpLoad %int %87
         %88 = OpIEqual %bool %11 %int_0
               OpSelectionMerge %89 None
               OpBranchConditional %88 %90 %89
         %90 = OpLabel
               OpStore %74 %true
               OpStore %13 %int_42
               OpBranch %83
         %89 = OpLabel
               OpBranch %83
         %82 = OpLabel
               OpBranch %80
         %83 = OpLabel
         %14 = OpPhi %int %int_42 %90 %48 %89
         %91 = OpPhi %bool %true %90 %81 %89
               OpSelectionMerge %92 None
               OpBranchConditional %91 %78 %92
         %92 = OpLabel
               OpStore %74 %true
               OpStore %13 %int_42
               OpBranch %78
         %77 = OpLabel
               OpBranch %75
         %78 = OpLabel
         %15 = OpPhi %int %14 %83 %int_42 %92
               OpReturnValue %15
               OpFunctionEnd