From a834e6861e3c4d5748d24143d11064e4415a9267 Mon Sep 17 00:00:00 2001 From: Ian Romanick Date: Fri, 8 Jul 2011 14:53:08 -0700 Subject: glsl-1.20: Add serveral tests for recursion in shaders MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit These aren't done as shader_runner tests because there is no way to expect linking or compilation to fail in shader_runner. All of these tests pass on NVIDIA's closed-source driver except 'unreachable' and 'unreachable-constant-folding'. All of these tests fail on AMD's closed-source driver, and 'simple', 'unreachable', and 'unreachable-constant-folding' crash inside the driver. It looks like the compiler tries to recursively inline the functions until the stack overflows. Mesa currently produces pretty much the same results as AMD, but Mesa can occasionally OOM instead of running out of stack. I have not tested Apple's driver or Intel's Windows driver. Reviewed-by: Chad Versace Acked-by: José Fonseca --- tests/all.tests | 24 ++ tests/spec/CMakeLists.txt | 1 + tests/spec/glsl-1.20/CMakeLists.txt | 1 + tests/spec/glsl-1.20/recursion/CMakeLists.gl.txt | 16 ++ tests/spec/glsl-1.20/recursion/CMakeLists.txt | 1 + tests/spec/glsl-1.20/recursion/recursion.c | 315 +++++++++++++++++++++++ 6 files changed, 358 insertions(+) create mode 100644 tests/spec/glsl-1.20/CMakeLists.txt create mode 100644 tests/spec/glsl-1.20/recursion/CMakeLists.gl.txt create mode 100644 tests/spec/glsl-1.20/recursion/CMakeLists.txt create mode 100644 tests/spec/glsl-1.20/recursion/recursion.c diff --git a/tests/all.tests b/tests/all.tests index d68f449bd..701e70203 100644 --- a/tests/all.tests +++ b/tests/all.tests @@ -761,6 +761,30 @@ add_shader_test_dir(spec['glsl-1.20']['execution'], os.path.join(generatedTestDir, 'spec', 'glsl-1.20', 'execution'), recursive=True) +def add_recursion_test(group, name): + # When the recursion tests fail it is usually because the GLSL + # compiler tries to recursively inline the function until the process + # runs out of stack or the system runs out of memory. Run the test + # with a low rlimit to (hopefully) avoid having the test adversely + # affect the rest of the system. This is especially important since + # there may be other tests running in parallel. + # + # This may cause false negatives on systems that map the framebuffer + # into the processes address space. This happens on X with DRI1 based + # drivers, for example. + group[name] = PlainExecTest(['recursion', '-auto', '-rlimit', '268435456', name]) + +rec = Group() +spec['glsl-1.20']['recursion'] = rec +add_recursion_test(rec, 'simple') +add_recursion_test(rec, 'unreachable') +add_recursion_test(rec, 'unreachable-constant-folding') +add_recursion_test(rec, 'indirect') +add_recursion_test(rec, 'indirect-separate') +add_recursion_test(rec, 'indirect-complex') +add_recursion_test(rec, 'indirect-complex-separate') + + # Group spec/glsl-1.30 spec['glsl-1.30'] = Group() import_glsl_parser_tests(spec['glsl-1.30'], diff --git a/tests/spec/CMakeLists.txt b/tests/spec/CMakeLists.txt index e3585e773..bb7b6a11e 100644 --- a/tests/spec/CMakeLists.txt +++ b/tests/spec/CMakeLists.txt @@ -18,4 +18,5 @@ add_subdirectory (arb_draw_elements_base_vertex) add_subdirectory (arb_vertex_buffer_object) add_subdirectory (arb_vertex_program) add_subdirectory (arb_copy_buffer) +add_subdirectory (glsl-1.20) add_subdirectory (glsl-1.30) diff --git a/tests/spec/glsl-1.20/CMakeLists.txt b/tests/spec/glsl-1.20/CMakeLists.txt new file mode 100644 index 000000000..4ecb64b0f --- /dev/null +++ b/tests/spec/glsl-1.20/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory (recursion) diff --git a/tests/spec/glsl-1.20/recursion/CMakeLists.gl.txt b/tests/spec/glsl-1.20/recursion/CMakeLists.gl.txt new file mode 100644 index 000000000..273ed11c3 --- /dev/null +++ b/tests/spec/glsl-1.20/recursion/CMakeLists.gl.txt @@ -0,0 +1,16 @@ +include_directories( + ${OPENGL_INCLUDE_PATH} + ${GLUT_INCLUDE_DIR} + ${piglit_SOURCE_DIR}/tests/util +) + +link_libraries ( + piglitutil + ${OPENGL_gl_LIBRARY} + ${OPENGL_glu_LIBRARY} + ${GLUT_glut_LIBRARY} +) + +add_executable (recursion recursion.c) + +# vim: ft=cmake: diff --git a/tests/spec/glsl-1.20/recursion/CMakeLists.txt b/tests/spec/glsl-1.20/recursion/CMakeLists.txt new file mode 100644 index 000000000..144a306f4 --- /dev/null +++ b/tests/spec/glsl-1.20/recursion/CMakeLists.txt @@ -0,0 +1 @@ +piglit_include_target_api() diff --git a/tests/spec/glsl-1.20/recursion/recursion.c b/tests/spec/glsl-1.20/recursion/recursion.c new file mode 100644 index 000000000..6e36e46dd --- /dev/null +++ b/tests/spec/glsl-1.20/recursion/recursion.c @@ -0,0 +1,315 @@ +/* + * Copyright © 2011 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 glsl-recursion.c + * Verify that shaders containing static recursion are rejected. + * + * From page 44 (page 50 of the PDF) of the GLSL 1.20 spec: + * + * "Recursion is not allowed, not even statically. Static recursion is + * present if the static function call graph of the program contains + * cycles." + * + * This langauge leaves a lot of questions unanswered. + * + * - Is the error generated at compile-time or link-time? + * + * - Is it an error to have a recursive function that is never statically + * called by main or any function called directly or indirectly by main? + * Technically speaking, such a function is not in the "static function + * call graph of the program" at all. + * + * This set of tests checks for a variety of forms of recursion in shaders. + * Logs are dumped at both compile-time and link-time. Errors are only + * checked at link time. However, a compile error will also generate a link + * error (linking an uncompiled shader). + * + * \author Ian Romanick + */ +#include "piglit-util.h" + +int piglit_width = 100, piglit_height = 100; +int piglit_window_mode = GLUT_RGB | GLUT_DOUBLE; + +static const char simple_text[] = + "#version 120\n" + "int A(void) { return A(); }\n" + "\n" + "void main() {\n" + " A();\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char unreachable_text[] = + "#version 120\n" + "int A(void) { return A(); }\n" + "\n" + "void main() {\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char unreachable_opt_text[] = + "#version 120\n" + "int A(void) { return A(); }\n" + "\n" + "void main() {\n" + " if (false) A();\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char indirect_text[] = + "#version 120\n" + "int A(void);\n" + "int B(void) { return A(); }\n" + "int A(void) { return B(); }\n" + "\n" + "void main() {\n" + " A();\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char indirect_sep1_text[] = + "#version 120\n" + "int B(void);\n" + "int A(void) { return B(); }\n" + "\n" + "void main() {\n" + " A();\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char indirect_sep2_text[] = + "#version 120\n" + "int A(void);\n" + "int B(void) { return A(); }\n" + ; + +static const char indirect_complex_text[] = + "#version 120\n" + "int A(bool);\n" + "int B(bool from_a) { if (!from_a) return A(true); return 0; }\n" + "int A(bool from_b) { if (!from_b) return B(true); return 0; }\n" + "\n" + "void main() {\n" + " A(false);\n" + " B(false);\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char indirect_complex1_text[] = + "#version 120\n" + "int B(bool);\n" + "int A(bool from_b) { if (!from_b) return B(true); return 0; }\n" + "\n" + "void main() {\n" + " A(false);\n" + " B(false);\n" + " gl_Position = gl_Vertex;\n" + "}" + ; + +static const char indirect_complex2_text[] = + "#version 120\n" + "int A(bool);\n" + "int B(bool from_a) { if (!from_a) return A(true); return 0; }\n" + ; + +struct test_vector { + const char *name; + const char *description; + const char *shader_source[4]; +}; + +static const struct test_vector all_tests[] = { + { + "simple", + "Trivial test of recursion. main calls A, and A calls A.\n", + { simple_text, NULL } + }, + { + "unreachable", + "Shader contains a function A that calls itself, but A is\n" + "trivially unreachable from main.\n", + { unreachable_text, NULL } + }, + { + "unreachable-constant-folding", + "Shader contains a function A that calls itself, but A is\n" + "unreachable from main if a constant folding is performed\n" + "before the check for recursion.\n", + { unreachable_opt_text, NULL } + }, + { + "indirect", + "Trivial test of indirect recursion. main calls A, A calls\n" + "B, and B calls A.\n", + { indirect_text, NULL } + }, + { + "indirect-separate", + "Trivial test of indirect recursion. main calls A, A calls\n" + "B, and B calls A. A and B are in separate compilation\n" + "units.\n", + { indirect_sep1_text, indirect_sep2_text, NULL } + }, + { + "indirect-complex", + "Two functions A and B are statically mutually recursive,\n" + "but the parameters passed to the functions ensure that no\n" + "recursion actually occurs. This is still an error.\n", + { indirect_complex_text, NULL } + }, + { + "indirect-complex-separate", + "Two functions A and B are statically mutually recursive,\n" + "but the parameters passed to the functions ensure that no\n" + "recursion actually occurs. This is still an error. A and\n" + "B are in separate compilation units.\n", + { indirect_complex1_text, indirect_complex2_text, NULL } + }, +}; + +enum piglit_result +piglit_display(void) +{ + return PIGLIT_FAIL; +} + +bool +do_named_test(const char *name) +{ + bool pass = true; + unsigned i; + unsigned j; + + for (i = 0; i < ARRAY_SIZE(all_tests); i++) { + GLint ok; + GLuint prog; + GLint size; + + if (name != NULL && strcmp(name, all_tests[i].name) != 0) + continue; + + printf("Starting test \"%s\":\n", all_tests[i].name); + + prog = piglit_CreateProgram(); + + for (j = 0; all_tests[i].shader_source[j] != NULL; j++) { + GLuint vs; + + vs = piglit_CreateShader(GL_VERTEX_SHADER); + piglit_ShaderSource(vs, 1, + (const GLchar **) + & all_tests[i].shader_source[j], + NULL); + piglit_CompileShader(vs); + + /* Some drivers return a size of 1 for an empty log. + * This is the size of a log that contains only a + * terminating NUL character. + */ + printf("Compilation info log for shader %u:\n", j); + piglit_GetShaderiv(vs, GL_INFO_LOG_LENGTH, &size); + if (size > 1) { + GLchar *info = malloc(size); + + piglit_GetShaderInfoLog(vs, size, NULL, info); + printf("%s\n", info); + free(info); + } else { + printf("\n\n"); + } + + piglit_AttachShader(prog, vs); + piglit_DeleteShader(vs); + } + + piglit_LinkProgram(prog); + + /* Some drivers return a size of 1 for an empty log. This is + * the size of a log that contains only a terminating NUL + * character. + */ + printf("Link info log:\n"); + piglit_GetProgramiv(prog, GL_INFO_LOG_LENGTH, &size); + if (size > 1) { + GLchar *info = malloc(size); + piglit_GetProgramInfoLog(prog, size, NULL, info); + printf("%s\n", info); + free(info); + } else { + printf("\n\n"); + } + + piglit_GetProgramiv(prog, GL_LINK_STATUS, &ok); + if (ok) { + fprintf(stderr, + "Shader with recursion compiled and linked, " + "but it should have failed.\n"); + pass = false; + } + printf("Done with test \"%s\".\n\n", all_tests[i].name); + + piglit_DeleteProgram(prog); + + if (name != NULL) + break; + } + + return pass; +} + +void +piglit_init(int argc, char **argv) +{ + bool pass = true; + const char *glsl_version_string; + + piglit_require_vertex_shader(); + + glsl_version_string = (const char *) + glGetString(GL_SHADING_LANGUAGE_VERSION); + if (strtod(glsl_version_string, NULL) < 1.2) { + printf("Requires GLSL 1.20 (have version `%s')\n", + glsl_version_string); + piglit_report_result(PIGLIT_SKIP); + } + + if (argc == 1) { + pass = do_named_test(NULL); + } else { + int i; + for (i = 1; i < argc; i++) { + pass = do_named_test(argv[i]) && pass; + } + } + + piglit_report_result(pass ? PIGLIT_PASS : PIGLIT_FAIL); +} -- cgit v1.2.3