[Piglit] [PATCH 03/63] shader_runner: add force_no_names mode
Alejandro Piñeiro
apinheiro at igalia.com
Sat Feb 23 23:44:51 UTC 2019
Right now UBO data filling is based on using the name of the ubo and
their components, in order to get the block and uniform index. It also
uses it to set the binding (so it forces block_index and block_binding
to be equal).
Since ARB_shading_language_420pack it is possible to set a explicit
ubo binding, so it would be interesting to try to use it directly
without such re-binding, and gather the info without using the names
at all.
We extend this idea to the already existing program interface query
support, so we can do a subset of the queries using only the explicit
binding.
This will be specially interesting for ARB_gl_spirv testing, where
SPIR-V shaders should work without names, and explicit binding is not
just optional but mandatory. For that reason, if running using SPIR-V
instead of GLSL, we use this mode automatically, as it would fail
otherwise. Another alternative is not set a different mode, but
working this way when we are using SPIR-V shaders. But as mentioned,
there would be GLSL cases where this would be interesting, and we are
also interested on a sanity check when writing a SPIR-V test.
In order this to work on all cases, we need to also explicitly set
other info when filling the data:
* offsets for each individual component
* matrix stride
* row major
Using the same approach used to fill the array index info. Note that
for arrays we are not adding array stride, as this can be done by
using the explicit offset. This allow us to not add another variable.
We extended this idea for SSBO, so we gather the info in a generic
"block_info" struct. Although this is not needed for ssbo data
filling, as it already uses the explicit binding, it became useful to
keep using program interface queries.
It is worth to note that some of the queries already supported by
shader_runner will not be supported on this mode, as they are based on
the names.
v2: improve legibility by avoiding so many indentation changes (Ian).
v3: fix length check for GL_NAME_LENGTH pname taking into account that
glGetProgramResourceName does not consider the NULL terminator when
returning the name length and glGetProgramResourceiv does, and
improved the error message (Antia Puentes).
Signed-off-by: Alejandro Piñeiro <apinheiro at igalia.com>
---
tests/shaders/shader_runner.c | 392 ++++++++++++++++++++++++++--------
1 file changed, 300 insertions(+), 92 deletions(-)
diff --git a/tests/shaders/shader_runner.c b/tests/shaders/shader_runner.c
index c1c757d1b..7d24c50bc 100644
--- a/tests/shaders/shader_runner.c
+++ b/tests/shaders/shader_runner.c
@@ -93,6 +93,14 @@ struct component_version {
char _string[100];
};
+struct block_info {
+ int array_index;
+ int binding;
+ int offset;
+ int matrix_stride;
+ int row_major; /* int as we don't have a parse_bool */
+};
+
#define ENUM_STRING(e) { #e, e }
extern float piglit_tolerance[4];
@@ -126,6 +134,7 @@ static GLuint compute_shaders[256];
static unsigned num_compute_shaders = 0;
static int num_uniform_blocks;
static GLuint *uniform_block_bos;
+static int *uniform_block_indexes; /* ubo block index, indexed by ubo binding */
static GLenum geometry_layout_input_type = GL_TRIANGLES;
static GLenum geometry_layout_output_type = GL_TRIANGLE_STRIP;
static GLint geometry_layout_vertices_out = 0;
@@ -155,6 +164,7 @@ static bool sso_in_use = false;
static bool glsl_in_use = false;
static bool force_glsl = false;
static bool spirv_in_use = false;
+static bool force_no_names = false;
static GLchar *prog_err_info = NULL;
static GLuint vao = 0;
static GLuint draw_fbo, read_fbo;
@@ -1202,6 +1212,9 @@ process_requirement(const char *line)
printf("Unknown SPIRV line in [require]\n");
return PIGLIT_FAIL;
}
+
+ if (spirv_replaces_glsl)
+ force_no_names = true;
}
return PIGLIT_PASS;
}
@@ -1243,6 +1256,10 @@ leave_state(enum states state, const char *line, const char *script_name)
if (spirv_replaces_glsl) {
printf("Running on SPIR-V mode\n");
}
+ if (force_no_names && !spirv_replaces_glsl) {
+ printf("Running on GLSL mode, forcing not using "
+ "uniform/uniform block names\n");
+ }
break;
case vertex_shader:
@@ -2010,17 +2027,28 @@ check_texture_handle_support(void)
piglit_report_result(PIGLIT_SKIP);
}
+static bool
+get_indexes_and_offset_from_ubo(char *name, struct block_info block_data,
+ GLuint *uniform_index_out,
+ GLint *block_index_out,
+ GLint *offset_out);
+
/**
* Handles uploads of UBO uniforms by mapping the buffer and storing
* the data. If the uniform is not in a uniform block, returns false.
*/
static bool
-set_ubo_uniform(char *name, const char *type, const char *line, int ubo_array_index)
+set_ubo_uniform(char *name, const char *type,
+ const char *line,
+ struct block_info block_data)
{
+ /* Note: on SPIR-V we can't access to uniform_index as we
+ * could lack the name. We force that with force_no_names on
+ * GLSL
+ */
GLuint uniform_index;
GLint block_index;
GLint offset;
- GLint array_index = 0;
char *data;
float f[16];
double d[16];
@@ -2028,60 +2056,10 @@ set_ubo_uniform(char *name, const char *type, const char *line, int ubo_array_in
unsigned uints[16];
uint64_t uint64s[16];
int64_t int64s[16];
- int name_len = strlen(name);
- if (!num_uniform_blocks)
+ if (!get_indexes_and_offset_from_ubo(name, block_data, &uniform_index,
+ &block_index, &offset)) {
return false;
-
- /* if the uniform is an array, strip the index, as GL
- prevents non-zero indexes from matching a name */
- if (name[name_len - 1] == ']') {
- int i;
-
- for (i = name_len - 1; (i > 0) && isdigit(name[i-1]); --i)
- /* empty */;
-
- array_index = strtol(&name[i], NULL, 0);
-
- if (i) {
- i--;
- if (name[i] != '[') {
- printf("cannot parse uniform \"%s\"\n", name);
- piglit_report_result(PIGLIT_FAIL);
- }
- name[i] = 0;
- }
-
- }
-
-
- glGetUniformIndices(prog, 1, (const char **)&name, &uniform_index);
- if (uniform_index == GL_INVALID_INDEX) {
- printf("cannot get index of uniform \"%s\"\n", name);
- piglit_report_result(PIGLIT_FAIL);
- }
-
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_BLOCK_INDEX, &block_index);
-
- if (block_index == -1)
- return false;
-
- /* if the uniform block is an array, then GetActiveUniformsiv with
- * UNIFORM_BLOCK_INDEX will have given us the index of the first
- * element in the array.
- */
- block_index += ubo_array_index;
-
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_OFFSET, &offset);
-
- if (name[name_len - 1] == ']') {
- GLint stride;
-
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_ARRAY_STRIDE, &stride);
- offset += stride * array_index;
}
glBindBuffer(GL_UNIFORM_BUFFER,
@@ -2143,10 +2121,17 @@ set_ubo_uniform(char *name, const char *type, const char *line, int ubo_array_in
parse_floats(line, f, rows * cols, NULL);
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_MATRIX_STRIDE, &matrix_stride);
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_IS_ROW_MAJOR, &row_major);
+ if (!force_no_names) {
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_MATRIX_STRIDE,
+ &matrix_stride);
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_IS_ROW_MAJOR,
+ &row_major);
+ } else {
+ matrix_stride = block_data.matrix_stride;
+ row_major = block_data.row_major;
+ }
matrix_stride /= sizeof(float);
@@ -2177,10 +2162,17 @@ set_ubo_uniform(char *name, const char *type, const char *line, int ubo_array_in
parse_doubles(line, d, rows * cols, NULL);
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_MATRIX_STRIDE, &matrix_stride);
- glGetActiveUniformsiv(prog, 1, &uniform_index,
- GL_UNIFORM_IS_ROW_MAJOR, &row_major);
+ if (!force_no_names) {
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_MATRIX_STRIDE,
+ &matrix_stride);
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_IS_ROW_MAJOR,
+ &row_major);
+ } else {
+ matrix_stride = block_data.matrix_stride;
+ row_major = block_data.row_major;
+ }
matrix_stride /= sizeof(double);
@@ -2215,8 +2207,114 @@ set_ubo_uniform(char *name, const char *type, const char *line, int ubo_array_in
return true;
}
+/*
+ * Get the uniform_index, block_index and offset of a given
+ * uniform. By default it gets those values using the uniform name. If
+ * force_no_names mode is active, it uses the current values stored at
+ * @block_data. On the latter, uniform index is not filled up.
+ */
+static bool
+get_indexes_and_offset_from_ubo(char *name, struct block_info block_data,
+ GLuint *uniform_index_out,
+ GLint *block_index_out,
+ GLint *offset_out)
+{
+ GLuint uniform_index = 0;
+ GLint block_index;
+ GLint offset;
+ int name_len = strlen(name);
+ GLint array_index = 0;
+
+ if (!num_uniform_blocks)
+ return false;
+
+ if (!force_no_names) {
+ /* if the uniform is an array, strip the index, as GL
+ prevents non-zero indexes from matching a name */
+ if (name[name_len - 1] == ']') {
+ int i;
+
+ for (i = name_len - 1; (i > 0) && isdigit(name[i-1]); --i)
+ /* empty */;
+
+ array_index = strtol(&name[i], NULL, 0);
+
+ if (i) {
+ i--;
+ if (name[i] != '[') {
+ printf("cannot parse uniform \"%s\"\n", name);
+ piglit_report_result(PIGLIT_FAIL);
+ }
+ name[i] = 0;
+ }
+
+ }
+
+ glGetUniformIndices(prog, 1, (const char **)&name, &uniform_index);
+ if (uniform_index == GL_INVALID_INDEX) {
+ printf("cannot get index of uniform \"%s\"\n", name);
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_BLOCK_INDEX, &block_index);
+
+ if (block_index == -1)
+ return false;
+
+ /* if the uniform block is an array, then GetActiveUniformsiv with
+ * UNIFORM_BLOCK_INDEX will have given us the index of the first
+ * element in the array.
+ */
+ block_index += block_data.array_index;
+
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_OFFSET, &offset);
+
+ if (name[name_len - 1] == ']') {
+ GLint stride;
+
+ glGetActiveUniformsiv(prog, 1, &uniform_index,
+ GL_UNIFORM_ARRAY_STRIDE, &stride);
+ offset += stride * array_index;
+ }
+ } else {
+ if (block_data.binding < 0) {
+ printf("if you force to use a explicit ubo binding, you "
+ "need to provide it when filling the data with "
+ "\"ubo binding\"\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ /* The mapping could be improved using a hash
+ * table. For now, this is enough.
+ */
+ block_index = uniform_block_indexes[block_data.binding];
+
+ /* if the uniform block is an array, then GetActiveUniformsiv with
+ * UNIFORM_BLOCK_INDEX will have given us the index of the first
+ * element in the array.
+ */
+ block_index += block_data.array_index;
+
+ if (block_data.offset < 0) {
+ printf("if you force to use a explicit ubo binding, you "
+ "need to provide offset when filling the data with "
+ "\"ubo offset\"\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+ offset = block_data.offset;
+ }
+
+ *offset_out = offset;
+ *block_index_out = block_index;
+ *uniform_index_out = uniform_index;
+
+ return true;
+}
+
static void
-set_uniform(const char *line, int ubo_array_index)
+set_uniform(const char *line, struct block_info block_data)
{
char name[512], type[512];
float f[16];
@@ -2236,7 +2334,7 @@ set_uniform(const char *line, int ubo_array_index)
} else {
GLuint prog;
- if (set_ubo_uniform(name, type, line, ubo_array_index))
+ if (set_ubo_uniform(name, type, line, block_data))
return;
glGetIntegerv(GL_CURRENT_PROGRAM, (GLint *) &prog);
@@ -2869,6 +2967,88 @@ active_uniform(const char *line)
return;
}
+
+/*
+ * Confirms if @resource_index is a given resource, within @interface_type.
+ *
+ * In order to identify it, it uses by default @resource_name. If
+ * force_no_names mode is activated it uses the binding contained at
+ * @block_data. Note that for the latter, only ubos or ssbos are
+ * supported as @interface_type.
+ *
+ * @resource_name_buf, @prop and @value_expected are only used for
+ * some extra checks.
+ *
+ * Return true if @resource_index is the resource within
+ * @interface_type we search for. false otherwise.
+ */
+static bool
+confirm_program_resource(GLenum interface_type, GLuint resource_index,
+ const char *resource_name, char *resource_name_buf,
+ struct block_info block_data, unsigned prop,
+ int value_expected)
+{
+ if (!force_no_names) {
+ GLsizei resource_name_len;
+
+ glGetProgramResourceName(prog, interface_type, resource_index,
+ 512, &resource_name_len,
+ resource_name_buf);
+
+ if (!piglit_check_gl_error(GL_NO_ERROR)) {
+ fprintf(stderr, "glGetProgramResourceName error\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ if (strcmp(resource_name, resource_name_buf) != 0)
+ return false;
+
+ /* glGetProgramResourceName does not consider the NULL
+ * terminator when returning the name length, however,
+ * glGetProgramResourceiv does. We take that into account
+ * when doing the comparison.
+ */
+ if (prop == GL_NAME_LENGTH &&
+ resource_name_len != (value_expected - 1)) {
+ fprintf(stderr,
+ "glGetProgramResourceName(%s, %s, %s): "
+ "expected length: %d (0x%04x), "
+ "got length: %d (0x%04x)\n",
+ piglit_get_gl_enum_name(interface_type),
+ resource_name, piglit_get_gl_enum_name(prop),
+ value_expected - 1, value_expected - 1,
+ resource_name_len, resource_name_len);
+ piglit_report_result(PIGLIT_FAIL);
+ }
+ } else {
+ unsigned binding_prop = GL_BUFFER_BINDING;
+ int current_binding = 0;
+ GLint length;
+
+ if (interface_type != GL_SHADER_STORAGE_BLOCK &&
+ interface_type != GL_UNIFORM_BLOCK) {
+ fprintf(stderr,
+ "active_program_interface queries under force_no_names "
+ "mode are only supported for GL_SHADER_STORAGE_BLOCK "
+ "or GL_UNIFORM_BLOCK interfaces\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ glGetProgramResourceiv(prog, interface_type,
+ resource_index, 1, &binding_prop, 1,
+ &length, ¤t_binding);
+ if (!piglit_check_gl_error(GL_NO_ERROR)) {
+ fprintf(stderr, "glGetProgramResourceiv error\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ if (block_data.binding != current_binding)
+ return false;
+ }
+
+ return true;
+}
+
/**
* Query an active resource using ARB_program_interface_query functions
*
@@ -2881,7 +3061,7 @@ active_uniform(const char *line)
* verify program_interface_query GL_INTERFACE_TYPE_ENUM name GL_PNAME_ENUM GL_TYPE_ENUM
*/
static void
-active_program_interface(const char *line)
+active_program_interface(const char *line, struct block_info block_data)
{
static const struct string_to_enum all_props[] = {
ENUM_STRING(GL_TYPE),
@@ -2968,29 +3148,12 @@ active_program_interface(const char *line)
for (i = 0; i < num_active_buffers; i++) {
GLint got;
GLint length;
- GLsizei name_len;
bool pass = true;
- glGetProgramResourceName(prog, interface_type,
- i, 512, &name_len, name_buf);
-
- if (!piglit_check_gl_error(GL_NO_ERROR)) {
- fprintf(stderr, "glGetProgramResourceName error\n");
- piglit_report_result(PIGLIT_FAIL);
- }
-
- if (strcmp(name, name_buf) != 0)
+ if (!confirm_program_resource(interface_type, i, name, name_buf,
+ block_data, prop, expected))
continue;
- if (prop == GL_NAME_LENGTH && name_len != expected) {
- fprintf(stderr,
- "glGetProgramResourceName(%s, %s): "
- "expected %d (0x%04x), got %d (0x%04x)\n",
- name, piglit_get_gl_enum_name(prop),
- expected, expected, name_len, name_len);
- pass = false;
- }
-
/* Set 'got' to some value in case glGetActiveUniformsiv
* doesn't write to it. That should only be able to occur
* when the function raises a GL error, but "should" is kind
@@ -3021,7 +3184,11 @@ active_program_interface(const char *line)
return;
}
- fprintf(stderr, "No active resource named \"%s\"\n", name);
+ if (!force_no_names)
+ fprintf(stderr, "No active resource named \"%s\"\n", name);
+ else
+ fprintf(stderr, "No active resource with binding %i\n", block_data.binding);
+
piglit_report_result(PIGLIT_FAIL);
return;
}
@@ -3363,17 +3530,31 @@ setup_ubos(void)
uniform_block_bos = calloc(num_uniform_blocks, sizeof(GLuint));
glGenBuffers(num_uniform_blocks, uniform_block_bos);
+ int max_ubos;
+ glGetIntegerv(GL_MAX_UNIFORM_BUFFER_BINDINGS, &max_ubos);
+ uniform_block_indexes = calloc(max_ubos, sizeof(int));
+
for (i = 0; i < num_uniform_blocks; i++) {
GLint size;
+ GLint binding;
glGetActiveUniformBlockiv(prog, i, GL_UNIFORM_BLOCK_DATA_SIZE,
&size);
glBindBuffer(GL_UNIFORM_BUFFER, uniform_block_bos[i]);
glBufferData(GL_UNIFORM_BUFFER, size, NULL, GL_STATIC_DRAW);
- glBindBufferBase(GL_UNIFORM_BUFFER, i, uniform_block_bos[i]);
- glUniformBlockBinding(prog, i, i);
+ if (!force_no_names) {
+ glUniformBlockBinding(prog, i, i);
+ uniform_block_indexes[i] = i;
+ binding = i;
+ } else {
+ glGetActiveUniformBlockiv(prog, i, GL_UNIFORM_BLOCK_BINDING,
+ &binding);
+ uniform_block_indexes[binding] = i;
+ }
+
+ glBindBufferBase(GL_UNIFORM_BUFFER, binding, uniform_block_bos[i]);
}
}
@@ -3403,6 +3584,8 @@ teardown_ubos(void)
glDeleteBuffers(num_uniform_blocks, uniform_block_bos);
free(uniform_block_bos);
uniform_block_bos = NULL;
+ free(uniform_block_indexes);
+ uniform_block_indexes = NULL;
num_uniform_blocks = 0;
}
@@ -3550,8 +3733,8 @@ piglit_display(void)
enum piglit_result full_result = PIGLIT_PASS;
GLbitfield clear_bits = 0;
bool link_error_expected = false;
- int ubo_array_index = 0;
unsigned list = 0;
+ struct block_info block_data = {0, -1, -1, -1, -1};
if (test_start == NULL)
return PIGLIT_PASS;
@@ -4447,7 +4630,7 @@ piglit_display(void)
handle_texparameter(rest);
} else if (parse_str(line, "uniform ", &rest)) {
result = program_must_be_in_use();
- set_uniform(rest, ubo_array_index);
+ set_uniform(rest, block_data);
} else if (parse_str(line, "subuniform ", &rest)) {
result = program_must_be_in_use();
check_shader_subroutine_support();
@@ -4471,13 +4654,26 @@ piglit_display(void)
} else if (parse_str(line, "link success", &rest)) {
result = program_must_be_in_use();
} else if (parse_str(line, "ubo array index ", &rest)) {
- parse_ints(rest, &ubo_array_index, 1, NULL);
+ /* we allow "ubo array index" in order to not
+ * change existing tests using ubo array index
+ */
+ parse_ints(rest, &block_data.array_index, 1, NULL);
+ } else if (parse_str(line, "block array index ", &rest)) {
+ parse_ints(rest, &block_data.array_index, 1, NULL);
+ } else if (parse_str(line, "block binding ", &rest)) {
+ parse_ints(rest, &block_data.binding, 1, NULL);
+ } else if (parse_str(line, "block offset ", &rest)) {
+ parse_ints(rest, &block_data.offset, 1, NULL);
+ } else if (parse_str(line, "block matrix stride", &rest)) {
+ parse_ints(rest, &block_data.matrix_stride, 1, NULL);
+ } else if (parse_str(line, "block row major", &rest)) {
+ parse_ints(rest, &block_data.row_major, 1, NULL);
} else if (parse_str(line, "active uniform ", &rest)) {
active_uniform(rest);
} else if (parse_str(line, "verify program_query", &rest)) {
verify_program_query(rest);
} else if (parse_str(line, "verify program_interface_query ", &rest)) {
- active_program_interface(rest);
+ active_program_interface(rest, block_data);
} else if (parse_str(line, "vertex attrib ", &rest)) {
set_vertex_attrib(rest);
} else if (parse_str(line, "newlist ", &rest)) {
@@ -4651,8 +4847,19 @@ piglit_init(int argc, char **argv)
report_subtests = piglit_strip_arg(&argc, argv, "-report-subtests");
force_glsl = piglit_strip_arg(&argc, argv, "-glsl");
+
+ force_no_names = piglit_strip_arg(&argc, argv, "-force-no-names");
+
+ if (force_glsl && spirv_replaces_glsl) {
+ printf("Options -glsl and -spirv can't be used at the same time\n");
+ piglit_report_result(PIGLIT_FAIL);
+ }
+
+ if (spirv_replaces_glsl)
+ force_no_names = true;
+
if (argc < 2) {
- printf("usage: shader_runner <test.shader_test>\n");
+ printf("usage: shader_runner <test.shader_test> [-glsl] [-force-no-names]\n");
exit(1);
}
@@ -4750,6 +4957,7 @@ piglit_init(int argc, char **argv)
assert(num_compute_shaders == 0);
assert(num_uniform_blocks == 0);
assert(uniform_block_bos == NULL);
+ assert(uniform_block_indexes == NULL);
geometry_layout_input_type = GL_TRIANGLES;
geometry_layout_output_type = GL_TRIANGLE_STRIP;
geometry_layout_vertices_out = 0;
--
2.19.1
More information about the Piglit
mailing list