[Mesa-dev] [PATCH] mesa: use gl_shader_variable in program resource list
Ilia Mirkin
imirkin at alum.mit.edu
Sun Nov 1 23:16:42 PST 2015
On Mon, Nov 2, 2015 at 1:58 AM, Tapani Pälli <tapani.palli at intel.com> wrote:
> Patch changes linker to allocate gl_shader_variable instead of using
> ir_variable. This makes it possible to get rid of ir_variables and ir
> in memory after linking.
>
> v2: check that we do not create duplicate entries with
> packed varyings
>
> Signed-off-by: Tapani Pälli <tapani.palli at intel.com>
> ---
> src/glsl/linker.cpp | 58 +++++++++++++++++++++++++++++++++++-------
> src/mesa/main/mtypes.h | 56 ++++++++++++++++++++++++++++++++++++++++
> src/mesa/main/shader_query.cpp | 36 +++++++++++++-------------
> 3 files changed, 123 insertions(+), 27 deletions(-)
>
> diff --git a/src/glsl/linker.cpp b/src/glsl/linker.cpp
> index 48dd2d3..d0353b4 100644
> --- a/src/glsl/linker.cpp
> +++ b/src/glsl/linker.cpp
> @@ -3341,6 +3341,27 @@ build_stageref(struct gl_shader_program *shProg, const char *name,
> return stages;
> }
>
> +/**
> + * Create gl_shader_variable from ir_variable class.
> + */
> +static gl_shader_variable *
> +create_shader_variable(struct gl_shader_program *shProg, const ir_variable *in)
> +{
> + gl_shader_variable *out = ralloc(shProg, struct gl_shader_variable);
> + if (!out)
> + return NULL;
> +
> + out->type = in->type;
> + out->name = ralloc_strdup(shProg, in->name);
This can fail too, right? Might be nice to error-check.
> +
> + out->location = in->data.location;
> + out->index = in->data.index;
> + out->patch = in->data.patch;
> + out->mode = in->data.mode;
> +
> + return out;
> +}
> +
> static bool
> add_interface_variables(struct gl_shader_program *shProg,
> exec_list *ir, GLenum programInterface)
> @@ -3392,9 +3413,13 @@ add_interface_variables(struct gl_shader_program *shProg,
> if (strncmp(var->name, "gl_out_FragData", 15) == 0)
> continue;
>
> - if (!add_program_resource(shProg, programInterface, var,
> - build_stageref(shProg, var->name,
> - var->data.mode) | mask))
> + gl_shader_variable *sha_v = create_shader_variable(shProg, var);
> + if (!sha_v)
> + return false;
> +
> + if (!add_program_resource(shProg, programInterface, sha_v,
> + build_stageref(shProg, sha_v->name,
> + sha_v->mode) | mask))
> return false;
> }
> return true;
> @@ -3422,9 +3447,14 @@ add_packed_varyings(struct gl_shader_program *shProg, int stage)
> default:
> unreachable("unexpected type");
> }
> - if (!add_program_resource(shProg, iface, var,
> - build_stageref(shProg, var->name,
> - var->data.mode)))
> +
> + gl_shader_variable *sha_v = create_shader_variable(shProg, var);
> + if (!sha_v)
> + return false;
> +
> + if (!add_program_resource(shProg, iface, sha_v,
> + build_stageref(shProg, sha_v->name,
> + sha_v->mode)))
> return false;
> }
> }
> @@ -3443,7 +3473,12 @@ add_fragdata_arrays(struct gl_shader_program *shProg)
> ir_variable *var = node->as_variable();
> if (var) {
> assert(var->data.mode == ir_var_shader_out);
> - if (!add_program_resource(shProg, GL_PROGRAM_OUTPUT, var,
> +
> + gl_shader_variable *sha_v = create_shader_variable(shProg, var);
> + if (!sha_v)
> + return false;
> +
> + if (!add_program_resource(shProg, GL_PROGRAM_OUTPUT, sha_v,
> 1 << MESA_SHADER_FRAGMENT))
> return false;
> }
> @@ -3723,8 +3758,13 @@ build_program_resource_list(struct gl_shader_program *shProg)
> if (shProg->SeparateShader) {
> if (!add_packed_varyings(shProg, input_stage))
> return;
> - if (!add_packed_varyings(shProg, output_stage))
> - return;
> + /* Only when dealing with multiple stages, otherwise we would have
> + * duplicate gl_shader_variable entries.
> + */
> + if (input_stage != output_stage) {
> + if (!add_packed_varyings(shProg, output_stage))
> + return;
> + }
> }
>
> if (!add_fragdata_arrays(shProg))
> diff --git a/src/mesa/main/mtypes.h b/src/mesa/main/mtypes.h
> index d6c1eb8..0316769 100644
> --- a/src/mesa/main/mtypes.h
> +++ b/src/mesa/main/mtypes.h
> @@ -2519,6 +2519,62 @@ struct gl_active_atomic_buffer
> };
>
> /**
> + * Data container for shader queries. This holds only the minimal
> + * amount of required information for resource queries to work.
> + */
> +struct gl_shader_variable
> +{
> + /**
> + * Declared type of the variable
> + */
> + const struct glsl_type *type;
> +
> + /**
> + * Declared name of the variable
> + */
> + char *name;
> +
> + /**
> + * Storage location of the base of this variable
> + *
> + * The precise meaning of this field depends on the nature of the variable.
> + *
> + * - Vertex shader input: one of the values from \c gl_vert_attrib.
> + * - Vertex shader output: one of the values from \c gl_varying_slot.
> + * - Geometry shader input: one of the values from \c gl_varying_slot.
> + * - Geometry shader output: one of the values from \c gl_varying_slot.
> + * - Fragment shader input: one of the values from \c gl_varying_slot.
> + * - Fragment shader output: one of the values from \c gl_frag_result.
> + * - Uniforms: Per-stage uniform slot number for default uniform block.
> + * - Uniforms: Index within the uniform block definition for UBO members.
> + * - Non-UBO Uniforms: explicit location until linking then reused to
> + * store uniform slot number.
> + * - Other: This field is not currently used.
> + *
> + * If the variable is a uniform, shader input, or shader output, and the
> + * slot has not been assigned, the value will be -1.
> + */
> + int location;
> +
> + /**
> + * Output index for dual source blending.
> + *
> + * \note
> + * The GLSL spec only allows the values 0 or 1 for the index in \b dual
> + * source blending.
> + */
> + unsigned index:1;
> + unsigned patch:1;
Perhaps say a few words about patch? This specifies whether a shader
input/output is per-patch or not in TES/TCS. If you wanted to be
stingy with bits, you could make index/patch be the same thing. But
it's not worth it at this point.
> +
> + /**
> + * Storage class of the variable.
> + *
> + * \sa (n)ir_variable_mode
> + */
> + unsigned mode:4;
> +};
> +
> +/**
> * Active resource in a gl_shader_program
> */
> struct gl_program_resource
> diff --git a/src/mesa/main/shader_query.cpp b/src/mesa/main/shader_query.cpp
> index b214691..683d835 100644
> --- a/src/mesa/main/shader_query.cpp
> +++ b/src/mesa/main/shader_query.cpp
> @@ -56,7 +56,7 @@ const type * RESOURCE_ ## name (gl_program_resource *res) { \
> return (type *) res->Data; \
> }
>
> -DECL_RESOURCE_FUNC(VAR, ir_variable);
> +DECL_RESOURCE_FUNC(VAR, gl_shader_variable);
> DECL_RESOURCE_FUNC(UBO, gl_uniform_block);
> DECL_RESOURCE_FUNC(UNI, gl_uniform_storage);
> DECL_RESOURCE_FUNC(ATC, gl_active_atomic_buffer);
> @@ -101,14 +101,14 @@ _mesa_BindAttribLocation(GLhandleARB program, GLuint index,
> }
>
> static bool
> -is_active_attrib(const ir_variable *var)
> +is_active_attrib(const gl_shader_variable *var)
> {
> if (!var)
> return false;
>
> - switch (var->data.mode) {
> + switch (var->mode) {
> case ir_var_shader_in:
> - return var->data.location != -1;
> + return var->location != -1;
>
> case ir_var_system_value:
> /* From GL 4.3 core spec, section 11.1.1 (Vertex Attributes):
> @@ -116,9 +116,9 @@ is_active_attrib(const ir_variable *var)
> * are enumerated, including the special built-in inputs gl_VertexID
> * and gl_InstanceID."
> */
> - return var->data.location == SYSTEM_VALUE_VERTEX_ID ||
> - var->data.location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE ||
> - var->data.location == SYSTEM_VALUE_INSTANCE_ID;
> + return var->location == SYSTEM_VALUE_VERTEX_ID ||
> + var->location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE ||
> + var->location == SYSTEM_VALUE_INSTANCE_ID;
>
> default:
> return false;
> @@ -163,7 +163,7 @@ _mesa_GetActiveAttrib(GLhandleARB program, GLuint desired_index,
> return;
> }
>
> - const ir_variable *const var = RESOURCE_VAR(res);
> + const gl_shader_variable *const var = RESOURCE_VAR(res);
>
> if (!is_active_attrib(var))
> return;
> @@ -174,8 +174,8 @@ _mesa_GetActiveAttrib(GLhandleARB program, GLuint desired_index,
> * consider gl_VertexIDMESA as gl_VertexID for purposes of checking
> * active attributes.
> */
> - if (var->data.mode == ir_var_system_value &&
> - var->data.location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE) {
> + if (var->mode == ir_var_system_value &&
> + var->location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE) {
> var_name = "gl_VertexID";
> }
>
> @@ -427,7 +427,7 @@ _mesa_GetFragDataLocation(GLuint program, const GLchar *name)
> const char*
> _mesa_program_resource_name(struct gl_program_resource *res)
> {
> - const ir_variable *var;
> + const gl_shader_variable *var;
> switch (res->Type) {
> case GL_UNIFORM_BLOCK:
> case GL_SHADER_STORAGE_BLOCK:
> @@ -437,8 +437,8 @@ _mesa_program_resource_name(struct gl_program_resource *res)
> case GL_PROGRAM_INPUT:
> var = RESOURCE_VAR(res);
> /* Special case gl_VertexIDMESA -> gl_VertexID. */
> - if (var->data.mode == ir_var_system_value &&
> - var->data.location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE) {
> + if (var->mode == ir_var_system_value &&
> + var->location == SYSTEM_VALUE_VERTEX_ID_ZERO_BASE) {
> return "gl_VertexID";
> }
> /* fallthrough */
> @@ -851,14 +851,14 @@ program_resource_location(struct gl_shader_program *shProg,
> && array_index >= RESOURCE_VAR(res)->type->length) {
> return -1;
> }
> - return RESOURCE_VAR(res)->data.location + array_index - VERT_ATTRIB_GENERIC0;
> + return RESOURCE_VAR(res)->location + array_index - VERT_ATTRIB_GENERIC0;
> case GL_PROGRAM_OUTPUT:
> /* If the output is an array, fail if the index is out of bounds. */
> if (array_index > 0
> && array_index >= RESOURCE_VAR(res)->type->length) {
> return -1;
> }
> - return RESOURCE_VAR(res)->data.location + array_index - FRAG_RESULT_DATA0;
> + return RESOURCE_VAR(res)->location + array_index - FRAG_RESULT_DATA0;
> case GL_UNIFORM:
> /* If the uniform is built-in, fail. */
> if (RESOURCE_UNI(res)->builtin)
> @@ -938,7 +938,7 @@ _mesa_program_resource_location_index(struct gl_shader_program *shProg,
> if (!res || !(res->StageReferences & (1 << MESA_SHADER_FRAGMENT)))
> return -1;
>
> - return RESOURCE_VAR(res)->data.index;
> + return RESOURCE_VAR(res)->index;
> }
>
> static uint8_t
> @@ -1266,7 +1266,7 @@ _mesa_program_resource_prop(struct gl_shader_program *shProg,
> case GL_LOCATION_INDEX:
> if (res->Type != GL_PROGRAM_OUTPUT)
> goto invalid_operation;
> - *val = RESOURCE_VAR(res)->data.index;
> + *val = RESOURCE_VAR(res)->index;
> return 1;
>
> case GL_NUM_COMPATIBLE_SUBROUTINES:
> @@ -1323,7 +1323,7 @@ _mesa_program_resource_prop(struct gl_shader_program *shProg,
> switch (res->Type) {
> case GL_PROGRAM_INPUT:
> case GL_PROGRAM_OUTPUT:
> - *val = RESOURCE_VAR(res)->data.patch;
> + *val = RESOURCE_VAR(res)->patch;
> return 1;
> default:
> goto invalid_operation;
> --
> 2.4.3
>
> _______________________________________________
> mesa-dev mailing list
> mesa-dev at lists.freedesktop.org
> http://lists.freedesktop.org/mailman/listinfo/mesa-dev
More information about the mesa-dev
mailing list