Add some test shaders for special merge methods.

reference/opt/shaders/asm/frag/loop-merge-to-continue.asm.frag

@@ -0,0 +1,22 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+layout(location = 0) in vec4 v0;
+
+int _51;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    int _53;
+    int _52;
+    for (int _50 = 0; _50 < 4; _50++, _52 = _53)
+    {
+        _53 = 0;
+        for (; _53 < 4; _53++)
+        {
+            FragColor += vec4(v0[(_50 + _53) & 3]);
+        }
+    }
+}
+

reference/opt/shaders/asm/frag/selection-merge-to-continue.asm.frag

@@ -0,0 +1,23 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+layout(location = 0) in vec4 v0;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    for (int _54 = 0; _54 < 4; _54++)
+    {
+        if (v0.x == 20.0)
+        {
+            FragColor += vec4(v0[_54 & 3]);
+            continue;
+        }
+        else
+        {
+            FragColor += vec4(v0[_54 & 1]);
+            continue;
+        }
+    }
+}
+

reference/opt/shaders/asm/frag/switch-merge-to-continue.asm.frag

@@ -0,0 +1,30 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    for (int _52 = 0; _52 < 4; _52++)
+    {
+        switch (_52)
+        {
+            case 0:
+            {
+                FragColor.x += 1.0;
+                break;
+            }
+            case 1:
+            {
+                FragColor.y += 3.0;
+                break;
+            }
+            default:
+            {
+                FragColor.z += 3.0;
+                break;
+            }
+        }
+    }
+}
+

reference/shaders/asm/frag/loop-merge-to-continue.asm.frag

@@ -0,0 +1,17 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+layout(location = 0) in vec4 v0;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    for (int i = 0; i < 4; i++)
+    {
+        for (int j = 0; j < 4; j++)
+        {
+            FragColor += vec4(v0[(i + j) & 3]);
+        }
+    }
+}
+

reference/shaders/asm/frag/selection-merge-to-continue.asm.frag

@@ -0,0 +1,23 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+layout(location = 0) in vec4 v0;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    for (int i = 0; i < 4; i++)
+    {
+        if (v0.x == 20.0)
+        {
+            FragColor += vec4(v0[i & 3]);
+            continue;
+        }
+        else
+        {
+            FragColor += vec4(v0[i & 1]);
+            continue;
+        }
+    }
+}
+

reference/shaders/asm/frag/switch-merge-to-continue.asm.frag

@@ -0,0 +1,30 @@
+#version 450
+
+layout(location = 0) out vec4 FragColor;
+
+void main()
+{
+    FragColor = vec4(1.0);
+    for (int i = 0; i < 4; i++)
+    {
+        switch (i)
+        {
+            case 0:
+            {
+                FragColor.x += 1.0;
+                break;
+            }
+            case 1:
+            {
+                FragColor.y += 3.0;
+                break;
+            }
+            default:
+            {
+                FragColor.z += 3.0;
+                break;
+            }
+        }
+    }
+}
+

shaders/asm/frag/loop-merge-to-continue.asm.frag

@@ -0,0 +1,85 @@
+; SPIR-V
+; Version: 1.0
+; Generator: Khronos Glslang Reference Front End; 3
+; Bound: 51
+; Schema: 0
+               OpCapability Shader
+          %1 = OpExtInstImport "GLSL.std.450"
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Fragment %main "main" %FragColor %v0
+               OpExecutionMode %main OriginUpperLeft
+               OpSource GLSL 450
+               OpName %main "main"
+               OpName %FragColor "FragColor"
+               OpName %i "i"
+               OpName %j "j"
+               OpName %v0 "v0"
+               OpDecorate %FragColor Location 0
+               OpDecorate %v0 Location 0
+       %void = OpTypeVoid
+          %3 = OpTypeFunction %void
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+  %FragColor = OpVariable %_ptr_Output_v4float Output
+    %float_1 = OpConstant %float 1
+         %11 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+        %int = OpTypeInt 32 1
+%_ptr_Function_int = OpTypePointer Function %int
+      %int_0 = OpConstant %int 0
+      %int_4 = OpConstant %int 4
+       %bool = OpTypeBool
+%_ptr_Input_v4float = OpTypePointer Input %v4float
+         %v0 = OpVariable %_ptr_Input_v4float Input
+      %int_3 = OpConstant %int 3
+%_ptr_Input_float = OpTypePointer Input %float
+      %int_1 = OpConstant %int 1
+       %main = OpFunction %void None %3
+          %5 = OpLabel
+          %i = OpVariable %_ptr_Function_int Function
+          %j = OpVariable %_ptr_Function_int Function
+               OpStore %FragColor %11
+               OpStore %i %int_0
+               OpBranch %16
+         %16 = OpLabel
+               OpLoopMerge %18 %19 None
+               OpBranch %20
+         %20 = OpLabel
+         %21 = OpLoad %int %i
+         %24 = OpSLessThan %bool %21 %int_4
+               OpBranchConditional %24 %17 %18
+         %17 = OpLabel
+               OpStore %j %int_0
+               OpBranch %26
+         %26 = OpLabel
+               OpLoopMerge %19 %29 None
+               OpBranch %30
+         %30 = OpLabel
+         %31 = OpLoad %int %j
+         %32 = OpSLessThan %bool %31 %int_4
+               OpBranchConditional %32 %27 %19
+         %27 = OpLabel
+         %35 = OpLoad %int %i
+         %36 = OpLoad %int %j
+         %37 = OpIAdd %int %35 %36
+         %39 = OpBitwiseAnd %int %37 %int_3
+         %41 = OpAccessChain %_ptr_Input_float %v0 %39
+         %42 = OpLoad %float %41
+         %43 = OpLoad %v4float %FragColor
+         %44 = OpCompositeConstruct %v4float %42 %42 %42 %42
+         %45 = OpFAdd %v4float %43 %44
+               OpStore %FragColor %45
+               OpBranch %29
+         %29 = OpLabel
+         %46 = OpLoad %int %j
+         %48 = OpIAdd %int %46 %int_1
+               OpStore %j %48
+               OpBranch %26
+         %19 = OpLabel
+         %49 = OpLoad %int %i
+         %50 = OpIAdd %int %49 %int_1
+               OpStore %i %50
+               OpBranch %16
+         %18 = OpLabel
+               OpReturn
+               OpFunctionEnd

shaders/asm/frag/selection-merge-to-continue.asm.frag

@@ -0,0 +1,85 @@
+; SPIR-V
+; Version: 1.0
+; Generator: Khronos Glslang Reference Front End; 3
+; Bound: 55
+; Schema: 0
+               OpCapability Shader
+          %1 = OpExtInstImport "GLSL.std.450"
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Fragment %main "main" %FragColor %v0
+               OpExecutionMode %main OriginUpperLeft
+               OpSource GLSL 450
+               OpName %main "main"
+               OpName %FragColor "FragColor"
+               OpName %i "i"
+               OpName %v0 "v0"
+               OpDecorate %FragColor Location 0
+               OpDecorate %v0 Location 0
+       %void = OpTypeVoid
+          %3 = OpTypeFunction %void
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+  %FragColor = OpVariable %_ptr_Output_v4float Output
+    %float_1 = OpConstant %float 1
+         %11 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+        %int = OpTypeInt 32 1
+%_ptr_Function_int = OpTypePointer Function %int
+      %int_0 = OpConstant %int 0
+      %int_4 = OpConstant %int 4
+       %bool = OpTypeBool
+%_ptr_Input_v4float = OpTypePointer Input %v4float
+         %v0 = OpVariable %_ptr_Input_v4float Input
+       %uint = OpTypeInt 32 0
+     %uint_0 = OpConstant %uint 0
+%_ptr_Input_float = OpTypePointer Input %float
+   %float_20 = OpConstant %float 20
+      %int_3 = OpConstant %int 3
+      %int_1 = OpConstant %int 1
+       %main = OpFunction %void None %3
+          %5 = OpLabel
+          %i = OpVariable %_ptr_Function_int Function
+               OpStore %FragColor %11
+               OpStore %i %int_0
+               OpBranch %16
+         %16 = OpLabel
+               OpLoopMerge %18 %19 None
+               OpBranch %20
+         %20 = OpLabel
+         %21 = OpLoad %int %i
+         %24 = OpSLessThan %bool %21 %int_4
+               OpBranchConditional %24 %17 %18
+         %17 = OpLabel
+         %30 = OpAccessChain %_ptr_Input_float %v0 %uint_0
+         %31 = OpLoad %float %30
+         %33 = OpFOrdEqual %bool %31 %float_20
+               OpSelectionMerge %19 None
+               OpBranchConditional %33 %34 %44
+         %34 = OpLabel
+         %36 = OpLoad %int %i
+         %38 = OpBitwiseAnd %int %36 %int_3
+         %39 = OpAccessChain %_ptr_Input_float %v0 %38
+         %40 = OpLoad %float %39
+         %41 = OpLoad %v4float %FragColor
+         %42 = OpCompositeConstruct %v4float %40 %40 %40 %40
+         %43 = OpFAdd %v4float %41 %42
+               OpStore %FragColor %43
+               OpBranch %19
+         %44 = OpLabel
+         %45 = OpLoad %int %i
+         %47 = OpBitwiseAnd %int %45 %int_1
+         %48 = OpAccessChain %_ptr_Input_float %v0 %47
+         %49 = OpLoad %float %48
+         %50 = OpLoad %v4float %FragColor
+         %51 = OpCompositeConstruct %v4float %49 %49 %49 %49
+         %52 = OpFAdd %v4float %50 %51
+               OpStore %FragColor %52
+               OpBranch %19
+         %19 = OpLabel
+         %53 = OpLoad %int %i
+         %54 = OpIAdd %int %53 %int_1
+               OpStore %i %54
+               OpBranch %16
+         %18 = OpLabel
+               OpReturn
+               OpFunctionEnd

shaders/asm/frag/switch-merge-to-continue.asm.frag

@@ -0,0 +1,85 @@
+; SPIR-V
+; Version: 1.0
+; Generator: Khronos Glslang Reference Front End; 3
+; Bound: 57
+; Schema: 0
+               OpCapability Shader
+          %1 = OpExtInstImport "GLSL.std.450"
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Fragment %main "main" %FragColor %v0
+               OpExecutionMode %main OriginUpperLeft
+               OpSource GLSL 450
+               OpName %main "main"
+               OpName %FragColor "FragColor"
+               OpName %i "i"
+               OpName %v0 "v0"
+               OpDecorate %FragColor Location 0
+               OpDecorate %v0 Location 0
+       %void = OpTypeVoid
+          %3 = OpTypeFunction %void
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+  %FragColor = OpVariable %_ptr_Output_v4float Output
+    %float_1 = OpConstant %float 1
+         %11 = OpConstantComposite %v4float %float_1 %float_1 %float_1 %float_1
+        %int = OpTypeInt 32 1
+%_ptr_Function_int = OpTypePointer Function %int
+      %int_0 = OpConstant %int 0
+      %int_4 = OpConstant %int 4
+       %bool = OpTypeBool
+       %uint = OpTypeInt 32 0
+     %uint_0 = OpConstant %uint 0
+%_ptr_Output_float = OpTypePointer Output %float
+    %float_3 = OpConstant %float 3
+     %uint_1 = OpConstant %uint 1
+     %uint_2 = OpConstant %uint 2
+      %int_1 = OpConstant %int 1
+%_ptr_Input_v4float = OpTypePointer Input %v4float
+         %v0 = OpVariable %_ptr_Input_v4float Input
+       %main = OpFunction %void None %3
+          %5 = OpLabel
+          %i = OpVariable %_ptr_Function_int Function
+               OpStore %FragColor %11
+               OpStore %i %int_0
+               OpBranch %16
+         %16 = OpLabel
+               OpLoopMerge %18 %19 None
+               OpBranch %20
+         %20 = OpLabel
+         %21 = OpLoad %int %i
+         %24 = OpSLessThan %bool %21 %int_4
+               OpBranchConditional %24 %17 %18
+         %17 = OpLabel
+         %25 = OpLoad %int %i
+               OpSelectionMerge %19 None
+               OpSwitch %25 %28 0 %26 1 %27
+         %28 = OpLabel
+         %46 = OpAccessChain %_ptr_Output_float %FragColor %uint_2
+         %47 = OpLoad %float %46
+         %48 = OpFAdd %float %47 %float_3
+         %49 = OpAccessChain %_ptr_Output_float %FragColor %uint_2
+               OpStore %49 %48
+               OpBranch %19
+         %26 = OpLabel
+         %33 = OpAccessChain %_ptr_Output_float %FragColor %uint_0
+         %34 = OpLoad %float %33
+         %35 = OpFAdd %float %34 %float_1
+         %36 = OpAccessChain %_ptr_Output_float %FragColor %uint_0
+               OpStore %36 %35
+               OpBranch %19
+         %27 = OpLabel
+         %40 = OpAccessChain %_ptr_Output_float %FragColor %uint_1
+         %41 = OpLoad %float %40
+         %42 = OpFAdd %float %41 %float_3
+         %43 = OpAccessChain %_ptr_Output_float %FragColor %uint_1
+               OpStore %43 %42
+               OpBranch %19
+         %19 = OpLabel
+         %52 = OpLoad %int %i
+         %54 = OpIAdd %int %52 %int_1
+               OpStore %i %54
+               OpBranch %16
+         %18 = OpLabel
+               OpReturn
+               OpFunctionEnd