[41/63] arb_gl_spirv: add test for atomic images

Submitted by apinheiro on Feb. 23, 2019, 11:45 p.m.

Details

Message ID 20190223234551.21111-42-apinheiro@igalia.com
State New
Headers show
Series "ARB_gl_spirv full series" ( rev: 1 ) in Piglit

Not browsing as part of any series.

Commit Message

apinheiro Feb. 23, 2019, 11:45 p.m.
From: Antia Puentes <apuentes@igalia.com>

---
 .../execution/atomic-image.shader_test        | 425 ++++++++++++++++++
 1 file changed, 425 insertions(+)
 create mode 100644 tests/spec/arb_gl_spirv/execution/atomic-image.shader_test

Patch hide | download patch | download mbox

diff --git a/tests/spec/arb_gl_spirv/execution/atomic-image.shader_test b/tests/spec/arb_gl_spirv/execution/atomic-image.shader_test
new file mode 100644
index 000000000..060a8baad
--- /dev/null
+++ b/tests/spec/arb_gl_spirv/execution/atomic-image.shader_test
@@ -0,0 +1,425 @@ 
+[require]
+SPIRV YES
+GL >= 4.5
+GLSL >= 4.5
+GL_ARB_gl_spirv
+
+[vertex shader spirv]
+; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT
+; SPIR-V
+; Version: 1.0
+; Generator: Khronos Glslang Reference Front End; 6
+; Bound: 24
+; Schema: 0
+               OpCapability Shader
+          %1 = OpExtInstImport "GLSL.std.450"
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Vertex %main "main" %_ %piglit_vertex %gl_VertexID %gl_InstanceID
+               OpSource GLSL 450
+               OpName %main "main"
+               OpName %gl_PerVertex "gl_PerVertex"
+               OpMemberName %gl_PerVertex 0 "gl_Position"
+               OpMemberName %gl_PerVertex 1 "gl_PointSize"
+               OpMemberName %gl_PerVertex 2 "gl_ClipDistance"
+               OpMemberName %gl_PerVertex 3 "gl_CullDistance"
+               OpName %_ ""
+               OpName %piglit_vertex "piglit_vertex"
+               OpName %gl_VertexID "gl_VertexID"
+               OpName %gl_InstanceID "gl_InstanceID"
+               OpMemberDecorate %gl_PerVertex 0 BuiltIn Position
+               OpMemberDecorate %gl_PerVertex 1 BuiltIn PointSize
+               OpMemberDecorate %gl_PerVertex 2 BuiltIn ClipDistance
+               OpMemberDecorate %gl_PerVertex 3 BuiltIn CullDistance
+               OpDecorate %gl_PerVertex Block
+               OpDecorate %piglit_vertex Location 0
+               OpDecorate %gl_VertexID BuiltIn VertexId
+               OpDecorate %gl_InstanceID BuiltIn InstanceId
+       %void = OpTypeVoid
+          %3 = OpTypeFunction %void
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+       %uint = OpTypeInt 32 0
+     %uint_1 = OpConstant %uint 1
+%_arr_float_uint_1 = OpTypeArray %float %uint_1
+%gl_PerVertex = OpTypeStruct %v4float %float %_arr_float_uint_1 %_arr_float_uint_1
+%_ptr_Output_gl_PerVertex = OpTypePointer Output %gl_PerVertex
+          %_ = OpVariable %_ptr_Output_gl_PerVertex Output
+        %int = OpTypeInt 32 1
+      %int_0 = OpConstant %int 0
+%_ptr_Input_v4float = OpTypePointer Input %v4float
+%piglit_vertex = OpVariable %_ptr_Input_v4float Input
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%_ptr_Input_int = OpTypePointer Input %int
+%gl_VertexID = OpVariable %_ptr_Input_int Input
+%gl_InstanceID = OpVariable %_ptr_Input_int Input
+       %main = OpFunction %void None %3
+          %5 = OpLabel
+         %18 = OpLoad %v4float %piglit_vertex
+         %20 = OpAccessChain %_ptr_Output_v4float %_ %int_0
+               OpStore %20 %18
+               OpReturn
+               OpFunctionEnd
+
+[vertex shader]
+#version 450
+in vec4 piglit_vertex;
+
+void main()
+{
+	gl_Position = piglit_vertex;
+}
+
+[fragment shader spirv]
+; Automatically generated from the GLSL by shader_test_spirv.py. DO NOT EDIT
+; SPIR-V
+; Version: 1.0
+; Generator: Khronos Glslang Reference Front End; 6
+; Bound: 131
+; Schema: 0
+               OpCapability Shader
+               OpCapability AtomicStorage
+          %1 = OpExtInstImport "GLSL.std.450"
+               OpMemoryModel Logical GLSL450
+               OpEntryPoint Fragment %main "main" %color %gl_FragCoord
+               OpExecutionMode %main OriginLowerLeft
+               OpSource GLSL 450
+               OpName %main "main"
+               OpName %color "color"
+               OpName %coord "coord"
+               OpName %gl_FragCoord "gl_FragCoord"
+               OpName %img "img"
+               OpName %a0 "a0"
+               OpName %a1 "a1"
+               OpName %a2 "a2"
+               OpName %a3 "a3"
+               OpName %a4 "a4"
+               OpName %a5 "a5"
+               OpName %a6 "a6"
+               OpName %a7 "a7"
+               OpDecorate %color Location 0
+               OpDecorate %gl_FragCoord BuiltIn FragCoord
+               OpDecorate %img Location 0
+               OpDecorate %img DescriptorSet 0
+               OpDecorate %img Binding 0
+               OpDecorate %img Coherent
+               OpDecorate %a0 Offset 0
+               OpDecorate %a0 DescriptorSet 0
+               OpDecorate %a0 Binding 0
+               OpDecorate %a1 Offset 4
+               OpDecorate %a1 DescriptorSet 0
+               OpDecorate %a1 Binding 0
+               OpDecorate %a2 Offset 8
+               OpDecorate %a2 DescriptorSet 0
+               OpDecorate %a2 Binding 0
+               OpDecorate %a3 Offset 12
+               OpDecorate %a3 DescriptorSet 0
+               OpDecorate %a3 Binding 0
+               OpDecorate %a4 Offset 16
+               OpDecorate %a4 DescriptorSet 0
+               OpDecorate %a4 Binding 0
+               OpDecorate %a5 Offset 20
+               OpDecorate %a5 DescriptorSet 0
+               OpDecorate %a5 Binding 0
+               OpDecorate %a6 Offset 24
+               OpDecorate %a6 DescriptorSet 0
+               OpDecorate %a6 Binding 0
+               OpDecorate %a7 Offset 28
+               OpDecorate %a7 DescriptorSet 0
+               OpDecorate %a7 Binding 0
+       %void = OpTypeVoid
+          %3 = OpTypeFunction %void
+      %float = OpTypeFloat 32
+    %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+      %color = OpVariable %_ptr_Output_v4float Output
+    %float_0 = OpConstant %float 0
+    %float_1 = OpConstant %float 1
+         %12 = OpConstantComposite %v4float %float_0 %float_1 %float_0 %float_1
+        %int = OpTypeInt 32 1
+      %v2int = OpTypeVector %int 2
+%_ptr_Function_v2int = OpTypePointer Function %v2int
+%_ptr_Input_v4float = OpTypePointer Input %v4float
+%gl_FragCoord = OpVariable %_ptr_Input_v4float Input
+    %v2float = OpTypeVector %float 2
+         %23 = OpTypeImage %int 2D 0 0 0 2 R32i
+%_ptr_UniformConstant_23 = OpTypePointer UniformConstant %23
+        %img = OpVariable %_ptr_UniformConstant_23 UniformConstant
+     %int_10 = OpConstant %int 10
+       %uint = OpTypeInt 32 0
+     %uint_0 = OpConstant %uint 0
+%_ptr_Image_int = OpTypePointer Image %int
+     %uint_1 = OpConstant %uint 1
+      %int_2 = OpConstant %int 2
+       %bool = OpTypeBool
+         %42 = OpConstantComposite %v4float %float_1 %float_0 %float_0 %float_1
+%_ptr_AtomicCounter_uint = OpTypePointer AtomicCounter %uint
+         %a0 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+     %int_15 = OpConstant %int 15
+     %int_12 = OpConstant %int 12
+         %a1 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+      %int_3 = OpConstant %int 3
+      %int_1 = OpConstant %int 1
+         %a2 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+      %int_6 = OpConstant %int 6
+     %int_11 = OpConstant %int 11
+         %a3 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+      %int_4 = OpConstant %int 4
+         %a4 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+      %int_5 = OpConstant %int 5
+         %a5 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+         %a6 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+         %a7 = OpVariable %_ptr_AtomicCounter_uint AtomicCounter
+       %main = OpFunction %void None %3
+          %5 = OpLabel
+      %coord = OpVariable %_ptr_Function_v2int Function
+               OpStore %color %12
+         %20 = OpLoad %v4float %gl_FragCoord
+         %21 = OpVectorShuffle %v2float %20 %20 0 1
+         %22 = OpConvertFToS %v2int %21
+               OpStore %coord %22
+         %26 = OpLoad %v2int %coord
+         %31 = OpImageTexelPointer %_ptr_Image_int %img %26 %uint_0
+         %33 = OpAtomicExchange %int %31 %uint_1 %uint_0 %int_10
+         %34 = OpLoad %v2int %coord
+         %36 = OpImageTexelPointer %_ptr_Image_int %img %34 %uint_0
+         %37 = OpAtomicIAdd %int %36 %uint_1 %uint_0 %int_2
+         %39 = OpINotEqual %bool %37 %int_10
+               OpSelectionMerge %41 None
+               OpBranchConditional %39 %40 %41
+         %40 = OpLabel
+               OpStore %color %42
+         %45 = OpAtomicIIncrement %uint %a0 %uint_1 %uint_0
+               OpBranch %41
+         %41 = OpLabel
+         %46 = OpLoad %v2int %coord
+         %48 = OpImageTexelPointer %_ptr_Image_int %img %46 %uint_0
+         %49 = OpAtomicSMin %int %48 %uint_1 %uint_0 %int_15
+         %51 = OpINotEqual %bool %49 %int_12
+               OpSelectionMerge %53 None
+               OpBranchConditional %51 %52 %53
+         %52 = OpLabel
+               OpStore %color %42
+         %55 = OpAtomicIIncrement %uint %a1 %uint_1 %uint_0
+               OpBranch %53
+         %53 = OpLabel
+         %56 = OpLoad %v2int %coord
+         %58 = OpImageTexelPointer %_ptr_Image_int %img %56 %uint_0
+         %59 = OpAtomicSMin %int %58 %uint_1 %uint_0 %int_3
+         %60 = OpINotEqual %bool %59 %int_12
+               OpSelectionMerge %62 None
+               OpBranchConditional %60 %61 %62
+         %61 = OpLabel
+               OpStore %color %42
+         %63 = OpAtomicIIncrement %uint %a1 %uint_1 %uint_0
+               OpBranch %62
+         %62 = OpLabel
+         %64 = OpLoad %v2int %coord
+         %66 = OpImageTexelPointer %_ptr_Image_int %img %64 %uint_0
+         %67 = OpAtomicSMax %int %66 %uint_1 %uint_0 %int_1
+         %68 = OpINotEqual %bool %67 %int_3
+               OpSelectionMerge %70 None
+               OpBranchConditional %68 %69 %70
+         %69 = OpLabel
+               OpStore %color %42
+         %72 = OpAtomicIIncrement %uint %a2 %uint_1 %uint_0
+               OpBranch %70
+         %70 = OpLabel
+         %73 = OpLoad %v2int %coord
+         %75 = OpImageTexelPointer %_ptr_Image_int %img %73 %uint_0
+         %76 = OpAtomicSMax %int %75 %uint_1 %uint_0 %int_6
+         %77 = OpINotEqual %bool %76 %int_3
+               OpSelectionMerge %79 None
+               OpBranchConditional %77 %78 %79
+         %78 = OpLabel
+               OpStore %color %42
+         %80 = OpAtomicIIncrement %uint %a2 %uint_1 %uint_0
+               OpBranch %79
+         %79 = OpLabel
+         %81 = OpLoad %v2int %coord
+         %83 = OpImageTexelPointer %_ptr_Image_int %img %81 %uint_0
+         %84 = OpAtomicAnd %int %83 %uint_1 %uint_0 %int_11
+         %85 = OpINotEqual %bool %84 %int_6
+               OpSelectionMerge %87 None
+               OpBranchConditional %85 %86 %87
+         %86 = OpLabel
+               OpStore %color %42
+         %89 = OpAtomicIIncrement %uint %a3 %uint_1 %uint_0
+               OpBranch %87
+         %87 = OpLabel
+         %90 = OpLoad %v2int %coord
+         %92 = OpImageTexelPointer %_ptr_Image_int %img %90 %uint_0
+         %93 = OpAtomicOr %int %92 %uint_1 %uint_0 %int_4
+         %94 = OpINotEqual %bool %93 %int_2
+               OpSelectionMerge %96 None
+               OpBranchConditional %94 %95 %96
+         %95 = OpLabel
+               OpStore %color %42
+         %98 = OpAtomicIIncrement %uint %a4 %uint_1 %uint_0
+               OpBranch %96
+         %96 = OpLabel
+         %99 = OpLoad %v2int %coord
+        %101 = OpImageTexelPointer %_ptr_Image_int %img %99 %uint_0
+        %102 = OpAtomicXor %int %101 %uint_1 %uint_0 %int_5
+        %103 = OpINotEqual %bool %102 %int_6
+               OpSelectionMerge %105 None
+               OpBranchConditional %103 %104 %105
+        %104 = OpLabel
+               OpStore %color %42
+        %107 = OpAtomicIIncrement %uint %a5 %uint_1 %uint_0
+               OpBranch %105
+        %105 = OpLabel
+        %108 = OpLoad %v2int %coord
+        %109 = OpImageTexelPointer %_ptr_Image_int %img %108 %uint_0
+        %110 = OpAtomicCompareExchange %int %109 %uint_1 %uint_0 %uint_0 %int_4 %int_3
+        %111 = OpINotEqual %bool %110 %int_3
+               OpSelectionMerge %113 None
+               OpBranchConditional %111 %112 %113
+        %112 = OpLabel
+               OpStore %color %42
+        %115 = OpAtomicIIncrement %uint %a6 %uint_1 %uint_0
+               OpBranch %113
+        %113 = OpLabel
+        %116 = OpLoad %v2int %coord
+        %117 = OpImageTexelPointer %_ptr_Image_int %img %116 %uint_0
+        %118 = OpAtomicCompareExchange %int %117 %uint_1 %uint_0 %uint_0 %int_5 %int_3
+        %119 = OpINotEqual %bool %118 %int_4
+               OpSelectionMerge %121 None
+               OpBranchConditional %119 %120 %121
+        %120 = OpLabel
+               OpStore %color %42
+        %122 = OpAtomicIIncrement %uint %a6 %uint_1 %uint_0
+               OpBranch %121
+        %121 = OpLabel
+        %123 = OpLoad %v2int %coord
+        %124 = OpImageTexelPointer %_ptr_Image_int %img %123 %uint_0
+        %125 = OpAtomicExchange %int %124 %uint_1 %uint_0 %int_10
+        %126 = OpINotEqual %bool %125 %int_4
+               OpSelectionMerge %128 None
+               OpBranchConditional %126 %127 %128
+        %127 = OpLabel
+               OpStore %color %42
+        %130 = OpAtomicIIncrement %uint %a7 %uint_1 %uint_0
+               OpBranch %128
+        %128 = OpLabel
+               OpReturn
+               OpFunctionEnd
+
+[fragment shader]
+#version 450
+
+layout(r32i, binding = 0) coherent uniform iimage2D img;
+out vec4 color;
+
+layout(binding = 0) uniform atomic_uint a0;
+layout(binding = 0) uniform atomic_uint a1;
+layout(binding = 0) uniform atomic_uint a2;
+layout(binding = 0) uniform atomic_uint a3;
+layout(binding = 0) uniform atomic_uint a4;
+layout(binding = 0) uniform atomic_uint a5;
+layout(binding = 0) uniform atomic_uint a6;
+layout(binding = 0) uniform atomic_uint a7;
+
+void main()
+{
+	color = vec4(0.0, 1.0, 0.0, 1.0);
+	ivec2 coord = ivec2(gl_FragCoord.xy);
+
+	// img <- 10
+	imageAtomicExchange(img, coord, 10);
+
+	// img <-12
+	if (imageAtomicAdd(img, coord, 2) != 10) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a0);
+	}
+
+        // img <-15
+	if (imageAtomicMin(img, coord, 15) != 12) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+           atomicCounterIncrement(a1);
+	}
+
+        // img <-3
+	if (imageAtomicMin(img, coord, 3) != 12) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+           atomicCounterIncrement(a1);
+	}
+
+        // img <-3
+	if (imageAtomicMax(img, coord, 1) != 3) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a2);
+	}
+
+	// img <-6
+	if (imageAtomicMax(img, coord, 6) != 3) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a2);
+	}
+
+        // img <-2
+	if (imageAtomicAnd(img, coord, 11) != 6) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a3);
+	}
+
+	// img <-6
+	if (imageAtomicOr(img, coord, 4) != 2) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a4);
+	}
+
+        // img <-3
+	if (imageAtomicXor(img, coord, 5) != 6) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a5);
+	}
+
+	// img <-4
+	if (imageAtomicCompSwap(img, coord, 3, 4) != 3) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a6);
+	}
+
+	// img <-4
+	if (imageAtomicCompSwap(img, coord, 3, 5) != 4) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a6);
+	}
+
+        if (imageAtomicExchange(img, coord, 10) != 4) {
+	   color = vec4(1.0, 0.0, 0.0, 1.0);
+	   atomicCounterIncrement(a7);
+	}
+}
+
+[test]
+clear color 0.0 0.0 0.0 0.0
+clear
+
+texture integer 0 (250, 250) (0, 0) GL_R32I
+image texture 0 GL_R32I
+
+atomic counters 8
+
+atomic counter 0 0 1
+atomic counter 0 1 3
+atomic counter 0 2 5
+atomic counter 0 3 7
+atomic counter 0 4 9
+atomic counter 0 5 11
+atomic counter 0 6 13
+atomic counter 0 7 15
+
+draw rect -1 -1 2 2
+
+probe atomic counter 0 == 1
+probe atomic counter 1 == 3
+probe atomic counter 2 == 5
+probe atomic counter 3 == 7
+probe atomic counter 4 == 9
+probe atomic counter 5 == 11
+probe atomic counter 6 == 13
+probe atomic counter 7 == 15
+
+probe all rgba 0.0 1.0 0.0 1.0