arb_shader_atomic_counters: Test that atomic built-ins execute the expected operations on memory.

v2: Drop v3.1 check that's guaranteed by the test config, drop #define
    L, and report from init() since we don't draw to the screen.
    (changes by anholt, acked by Francisco).

Reviewed-by: Eric Anholt <eric@anholt.net>

2 files changed, 382 insertions, 0 deletions

diff --git a/tests/spec/arb_shader_atomic_counters/CMakeLists.gl.txt b/tests/spec/arb_shader_atomic_counters/CMakeLists.gl.txt
index 5c9009275..8eb3692fb 100644
--- a/tests/spec/arb_shader_atomic_counters/CMakeLists.gl.txt
+++ b/tests/spec/arb_shader_atomic_counters/CMakeLists.gl.txt
@@ -19,5 +19,6 @@ add_executable (arb_shader_atomic_counters-function-argument function-argument.c
 add_executable (arb_shader_atomic_counters-max-counters max-counters.c common.c)
 add_executable (arb_shader_atomic_counters-minmax minmax.c common.c)
 add_executable (arb_shader_atomic_counters-multiple-defs multiple-defs.c common.c)
+add_executable (arb_shader_atomic_counters-semantics semantics.c common.c)
 
 # vim: ft=cmake:
diff --git a/tests/spec/arb_shader_atomic_counters/semantics.c b/tests/spec/arb_shader_atomic_counters/semantics.c
new file mode 100644
index 000000000..210e77c4b
--- /dev/null
+++ b/tests/spec/arb_shader_atomic_counters/semantics.c
@@ -0,0 +1,381 @@
+/*
+ * Copyright © 2013 Intel Corporation
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice (including the next
+ * paragraph) shall be included in all copies or substantial portions of the
+ * Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
+ * IN THE SOFTWARE.
+ */
+
+/** @file semantics.c
+ *
+ * Tests that the atomic built-in functions have the expected effects
+ * on memory and return the expected results.
+ */
+
+#include "common.h"
+
+PIGLIT_GL_TEST_CONFIG_BEGIN
+
+        config.supports_gl_core_version = 31;
+
+        config.window_width = 1;
+        config.window_height = 1;
+        config.window_visual = PIGLIT_GL_VISUAL_DOUBLE | PIGLIT_GL_VISUAL_RGBA;
+
+PIGLIT_GL_TEST_CONFIG_END
+
+static bool
+run_test_vertex(void)
+{
+        const char *fs_source = "#version 140\n"
+                "flat in ivec4 vcolor;\n"
+                "out ivec4 fcolor;\n"
+                "void main() {\n"
+                "       fcolor = vcolor;\n"
+                "}\n";
+        const char *vs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "layout(binding = 0, offset = 0) uniform atomic_uint x;\n"
+                "in vec4 piglit_vertex;\n"
+                "flat out ivec4 vcolor;\n"
+                "\n"
+                "void main() {\n"
+                "       vcolor.x = int(atomicCounterDecrement(x));\n"
+                "       vcolor.y = int(atomicCounterIncrement(x));\n"
+                "       vcolor.z = int(atomicCounterIncrement(x));\n"
+                "       vcolor.w = int(atomicCounter(x));\n"
+                "       gl_Position = piglit_vertex;\n"
+                "}\n";
+        const uint32_t start_buffer[] = { 0xffffffff };
+        const uint32_t expected_buffer[] = { 0x0 };
+        const uint32_t expected_color[] = { 0xfffffffe, 0xfffffffe,
+                                            0xffffffff, 0x0 };
+        GLuint prog = glCreateProgram();
+        bool ret =
+                atomic_counters_compile(prog, GL_FRAGMENT_SHADER, fs_source) &&
+                atomic_counters_compile(prog, GL_VERTEX_SHADER, vs_source) &&
+                atomic_counters_draw_point(prog, 1, start_buffer) &&
+                piglit_probe_rect_rgba_uint(0, 0, 1, 1, expected_color) &&
+                atomic_counters_probe_buffer(0, 1, expected_buffer);
+
+        glDeleteProgram(prog);
+        return ret;
+}
+
+static bool
+run_test_fragment(void)
+{
+        const char *fs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "out ivec4 fcolor;\n"
+                "layout(binding = 0, offset = 0) uniform atomic_uint x;\n"
+                "\n"
+                "void main() {\n"
+                "       fcolor.x = int(atomicCounterDecrement(x));\n"
+                "       fcolor.y = int(atomicCounterIncrement(x));\n"
+                "       fcolor.z = int(atomicCounterIncrement(x));\n"
+                "       fcolor.w = int(atomicCounter(x));\n"
+                "}\n";
+        const char *vs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "in vec4 piglit_vertex;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = piglit_vertex;\n"
+                "}\n";
+        const uint32_t start_buffer[] = { 0xffffffff };
+        const uint32_t expected_buffer[] = { 0x0 };
+        const uint32_t expected_color[] = { 0xfffffffe, 0xfffffffe,
+                                            0xffffffff, 0x0 };
+        GLuint prog = glCreateProgram();
+        bool ret =
+                atomic_counters_compile(prog, GL_FRAGMENT_SHADER, fs_source) &&
+                atomic_counters_compile(prog, GL_VERTEX_SHADER, vs_source) &&
+                atomic_counters_draw_point(prog, 1, start_buffer) &&
+                piglit_probe_rect_rgba_uint(0, 0, 1, 1, expected_color) &&
+                atomic_counters_probe_buffer(0, 1, expected_buffer);
+
+        glDeleteProgram(prog);
+        return ret;
+}
+
+static bool
+run_test_geometry(void)
+{
+        const char *fs_source = "#version 140\n"
+                "flat in ivec4 gcolor;\n"
+                "out ivec4 fcolor;\n"
+                "void main() {\n"
+                "       fcolor = gcolor;\n"
+                "}\n";
+        const char *gs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "layout(points) in;\n"
+                "layout(points, max_vertices=1) out;\n"
+                "\n"
+                "flat out ivec4 gcolor;\n"
+                "\n"
+                "layout(binding = 0, offset = 0) uniform atomic_uint x;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = gl_in[0].gl_Position;\n"
+                "       gcolor.x = int(atomicCounterDecrement(x));\n"
+                "       gcolor.y = int(atomicCounterIncrement(x));\n"
+                "       gcolor.z = int(atomicCounterIncrement(x));\n"
+                "       gcolor.w = int(atomicCounter(x));\n"
+                "       EmitVertex();\n"
+                "}\n";
+        const char *vs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "in vec4 piglit_vertex;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = piglit_vertex;\n"
+                "}\n";
+        const uint32_t start_buffer[] = { 0xffffffff };
+        const uint32_t expected_buffer[] = { 0x0 };
+        const uint32_t expected_color[] = { 0xfffffffe, 0xfffffffe,
+                                            0xffffffff, 0x0 };
+        GLuint prog = glCreateProgram();
+        bool ret =
+                atomic_counters_compile(prog, GL_FRAGMENT_SHADER, fs_source) &&
+                atomic_counters_compile(prog, GL_GEOMETRY_SHADER, gs_source) &&
+                atomic_counters_compile(prog, GL_VERTEX_SHADER, vs_source) &&
+                atomic_counters_draw_point(prog, 1, start_buffer) &&
+                piglit_probe_rect_rgba_uint(0, 0, 1, 1, expected_color) &&
+                atomic_counters_probe_buffer(0, 1, expected_buffer);
+
+        glDeleteProgram(prog);
+        return ret;
+}
+
+static bool
+run_test_tess_control(void)
+{
+        const char *fs_source = "#version 140\n"
+                "flat in ivec4 tecolor;\n"
+                "out ivec4 fg;\n"
+                "void main() {\n"
+                "       fg = tecolor;\n"
+                "}\n";
+        const char *tes_source = "#version 140\n"
+                "#extension GL_ARB_tessellation_shader : enable\n"
+                "\n"
+                "layout(triangles, point_mode) in;\n"
+                "\n"
+                "patch in ivec4 tccolor;\n"
+                "flat out ivec4 tecolor;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = gl_in[0].gl_Position * gl_TessCoord.x +\n"
+                "               gl_in[1].gl_Position * gl_TessCoord.y +\n"
+                "               gl_in[2].gl_Position * gl_TessCoord.z;\n"
+                "       \n"
+                "       tecolor = tccolor;\n"
+                "}\n";
+        const char *tcs_source = "#version 140\n"
+                "#extension GL_ARB_tessellation_shader : enable\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "layout(vertices=3) out;\n"
+                "\n"
+                "patch out ivec4 tccolor;\n"
+                "\n"
+                "layout(binding = 0, offset = 0) uniform atomic_uint x;\n"
+                "\n"
+                "void main() {\n"
+                "       if (gl_InvocationID == 0) {\n"
+                "               gl_TessLevelInner[0] = 1;\n"
+                "               \n"
+                "               gl_TessLevelOuter[0] = 1;\n"
+                "               gl_TessLevelOuter[1] = 1;\n"
+                "               gl_TessLevelOuter[2] = 1;\n"
+                "               \n"
+                "               tccolor.x = int(atomicCounterDecrement(x));\n"
+                "               tccolor.y = int(atomicCounterIncrement(x));\n"
+                "               tccolor.z = int(atomicCounterIncrement(x));\n"
+                "               tccolor.w = int(atomicCounter(x));\n"
+                "       }\n"
+                "       \n"
+                "       gl_out[gl_InvocationID].gl_Position =\n"
+                "               gl_in[gl_InvocationID].gl_Position;\n"
+                "}\n";
+        const char *vs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "in vec4 piglit_vertex;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = piglit_vertex;\n"
+                "}\n";
+        const uint32_t start_buffer[] = { 0xffffffff };
+        const uint32_t expected_buffer[] = { 0x0 };
+        const uint32_t expected_color[] = { 0xfffffffe, 0xfffffffe,
+                                            0xffffffff, 0x0 };
+        GLuint prog = glCreateProgram();
+        bool ret =
+                atomic_counters_compile(prog, GL_FRAGMENT_SHADER, fs_source) &&
+                atomic_counters_compile(prog, GL_TESS_EVALUATION_SHADER,
+                                        tes_source) &&
+                atomic_counters_compile(prog, GL_TESS_CONTROL_SHADER,
+                                        tcs_source) &&
+                atomic_counters_compile(prog, GL_VERTEX_SHADER, vs_source) &&
+                atomic_counters_draw_patch(prog, 1, start_buffer) &&
+                piglit_probe_rect_rgba_uint(0, 0, 1, 1, expected_color) &&
+                atomic_counters_probe_buffer(0, 1, expected_buffer);
+
+        glDeleteProgram(prog);
+        return ret;
+}
+
+static bool
+run_test_tess_evaluation(void)
+{
+        const char *fs_source = "#version 140\n"
+                "flat in ivec4 tecolor;\n"
+                "out ivec4 fg;\n"
+                "void main() {\n"
+                "       fg = tecolor;\n"
+                "}\n";
+        const char *tes_source = "#version 140\n"
+                "#extension GL_ARB_tessellation_shader : enable\n"
+                "\n"
+                "layout(triangles, point_mode) in;\n"
+                "\n"
+                "layout(binding = 0, offset = 0) uniform atomic_uint x;\n"
+                "\n"
+                "flat out ivec4 tecolor;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = gl_in[0].gl_Position * gl_TessCoord.x +\n"
+                "               gl_in[1].gl_Position * gl_TessCoord.y +\n"
+                "               gl_in[2].gl_Position * gl_TessCoord.z;\n"
+                "       \n"
+                "       if (gl_TessCoord.z == 1.0) {\n"
+                "               tecolor.x = int(atomicCounterDecrement(x));\n"
+                "               tecolor.y = int(atomicCounterIncrement(x));\n"
+                "               tecolor.z = int(atomicCounterIncrement(x));\n"
+                "               tecolor.w = int(atomicCounter(x));\n"
+                "       } else {\n"
+                "               tecolor = ivec4(0);\n"
+                "       }\n"
+                "}\n";
+        const char *tcs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "#extension GL_ARB_tessellation_shader : enable\n"
+                "\n"
+                "layout(vertices=3) out;\n"
+                "\n"
+                "void main() {\n"
+                "       if (gl_InvocationID == 0) {\n"
+                "               gl_TessLevelInner[0] = 1;\n"
+                "               \n"
+                "               gl_TessLevelOuter[0] = 1;\n"
+                "               gl_TessLevelOuter[1] = 1;\n"
+                "               gl_TessLevelOuter[2] = 1;\n"
+                "       }\n"
+                "       \n"
+                "       gl_out[gl_InvocationID].gl_Position =\n"
+                "               gl_in[gl_InvocationID].gl_Position;\n"
+                "}\n";
+        const char *vs_source = "#version 140\n"
+                "#extension GL_ARB_shader_atomic_counters : enable\n"
+                "\n"
+                "in vec4 piglit_vertex;\n"
+                "\n"
+                "void main() {\n"
+                "       gl_Position = piglit_vertex;\n"
+                "}\n";
+        const uint32_t start_buffer[] = { 0xffffffff };
+        const uint32_t expected_buffer[] = { 0x0 };
+        const uint32_t expected_color[] = { 0xfffffffe, 0xfffffffe,
+                                            0xffffffff, 0x0 };
+        GLuint prog = glCreateProgram();
+        bool ret =
+                atomic_counters_compile(prog, GL_FRAGMENT_SHADER, fs_source) &&
+                atomic_counters_compile(prog, GL_TESS_EVALUATION_SHADER,
+                                        tes_source) &&
+                atomic_counters_compile(prog, GL_TESS_CONTROL_SHADER,
+                                        tcs_source) &&
+                atomic_counters_compile(prog, GL_VERTEX_SHADER, vs_source) &&
+                atomic_counters_draw_patch(prog, 1, start_buffer) &&
+                piglit_probe_rect_rgba_uint(0, 0, 1, 1, expected_color) &&
+                atomic_counters_probe_buffer(0, 1, expected_buffer);
+
+        glDeleteProgram(prog);
+        return ret;
+}
+
+void
+piglit_init(int argc, char **argv)
+{
+        GLuint fb, rb, buffer;
+        enum piglit_result status = PIGLIT_PASS;
+
+        piglit_require_extension("GL_ARB_shader_atomic_counters");
+
+        glGenFramebuffers(1, &fb);
+        glGenRenderbuffers(1, &rb);
+
+        glBindFramebuffer(GL_DRAW_FRAMEBUFFER, fb);
+        glBindFramebuffer(GL_READ_FRAMEBUFFER, fb);
+        glBindRenderbuffer(GL_RENDERBUFFER, rb);
+
+        glRenderbufferStorage(GL_RENDERBUFFER, GL_RGBA32UI, 1, 1);
+        glFramebufferRenderbuffer(GL_DRAW_FRAMEBUFFER, GL_COLOR_ATTACHMENT0,
+                                  GL_RENDERBUFFER, rb);
+
+        glGenBuffers(1, &buffer);
+        glBindBufferBase(GL_ATOMIC_COUNTER_BUFFER, 0, buffer);
+
+        atomic_counters_subtest(&status, GL_FRAGMENT_SHADER,
+                                "Fragment shader atomic built-in semantics",
+                                run_test_fragment);
+
+        atomic_counters_subtest(&status, GL_VERTEX_SHADER,
+                                "Vertex shader atomic built-in semantics",
+                                run_test_vertex);
+
+        atomic_counters_subtest(&status, GL_GEOMETRY_SHADER,
+                                "Geometry shader atomic built-in semantics",
+                                run_test_geometry);
+
+        atomic_counters_subtest(&status, GL_TESS_CONTROL_SHADER,
+                                "Tesselation control shader atomic built-in "
+                                "semantics",
+                                run_test_tess_control);
+
+        atomic_counters_subtest(&status, GL_TESS_EVALUATION_SHADER,
+                                "Tesselation evaluation shader atomic built-in "
+                                "semantics",
+                                run_test_tess_evaluation);
+
+        piglit_report_result(status);
+}
+
+enum piglit_result
+piglit_display(void)
+{
+        /* UNREACHED */
+        return PIGLIT_FAIL;
+}