2 * Copyright © 2011 Intel Corporation
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21 * DEALINGS IN THE SOFTWARE.
25 * \file shader_query.cpp
26 * C-to-C++ bridge functions to query GLSL shader data
28 * \author Ian Romanick <ian.d.romanick@intel.com>
31 #include "main/context.h"
32 #include "main/core.h"
33 #include "main/enums.h"
34 #include "main/shaderapi.h"
35 #include "main/shaderobj.h"
36 #include "main/uniforms.h"
37 #include "compiler/glsl/glsl_symbol_table.h"
38 #include "compiler/glsl/ir.h"
39 #include "compiler/glsl/program.h"
40 #include "util/string_to_uint_map.h"
41 #include "util/strndup.h"
45 program_resource_location(struct gl_program_resource
*res
,
46 unsigned array_index
);
49 * Declare convenience functions to return resource data in a given type.
50 * Warning! this is not type safe so be *very* careful when using these.
52 #define DECL_RESOURCE_FUNC(name, type) \
53 const type * RESOURCE_ ## name (gl_program_resource *res) { \
55 return (type *) res->Data; \
58 DECL_RESOURCE_FUNC(VAR
, gl_shader_variable
);
59 DECL_RESOURCE_FUNC(UBO
, gl_uniform_block
);
60 DECL_RESOURCE_FUNC(UNI
, gl_uniform_storage
);
61 DECL_RESOURCE_FUNC(ATC
, gl_active_atomic_buffer
);
62 DECL_RESOURCE_FUNC(XFV
, gl_transform_feedback_varying_info
);
63 DECL_RESOURCE_FUNC(XFB
, gl_transform_feedback_buffer
);
64 DECL_RESOURCE_FUNC(SUB
, gl_subroutine_function
);
67 _mesa_BindAttribLocation(GLuint program
, GLuint index
,
70 GET_CURRENT_CONTEXT(ctx
);
72 struct gl_shader_program
*const shProg
=
73 _mesa_lookup_shader_program_err(ctx
, program
, "glBindAttribLocation");
80 if (strncmp(name
, "gl_", 3) == 0) {
81 _mesa_error(ctx
, GL_INVALID_OPERATION
,
82 "glBindAttribLocation(illegal name)");
86 if (index
>= ctx
->Const
.Program
[MESA_SHADER_VERTEX
].MaxAttribs
) {
87 _mesa_error(ctx
, GL_INVALID_VALUE
, "glBindAttribLocation(%u >= %u)",
88 index
, ctx
->Const
.Program
[MESA_SHADER_VERTEX
].MaxAttribs
);
92 /* Replace the current value if it's already in the list. Add
93 * VERT_ATTRIB_GENERIC0 because that's how the linker differentiates
94 * between built-in attributes and user-defined attributes.
96 shProg
->AttributeBindings
->put(index
+ VERT_ATTRIB_GENERIC0
, name
);
99 * Note that this attribute binding won't go into effect until
100 * glLinkProgram is called again.
105 _mesa_GetActiveAttrib(GLuint program
, GLuint desired_index
,
106 GLsizei maxLength
, GLsizei
* length
, GLint
* size
,
107 GLenum
* type
, GLchar
* name
)
109 GET_CURRENT_CONTEXT(ctx
);
110 struct gl_shader_program
*shProg
;
113 _mesa_error(ctx
, GL_INVALID_VALUE
, "glGetActiveAttrib(maxLength < 0)");
117 shProg
= _mesa_lookup_shader_program_err(ctx
, program
, "glGetActiveAttrib");
121 if (!shProg
->LinkStatus
) {
122 _mesa_error(ctx
, GL_INVALID_VALUE
,
123 "glGetActiveAttrib(program not linked)");
127 if (shProg
->_LinkedShaders
[MESA_SHADER_VERTEX
] == NULL
) {
128 _mesa_error(ctx
, GL_INVALID_VALUE
, "glGetActiveAttrib(no vertex shader)");
132 struct gl_program_resource
*res
=
133 _mesa_program_resource_find_index(shProg
, GL_PROGRAM_INPUT
,
136 /* User asked for index that does not exist. */
138 _mesa_error(ctx
, GL_INVALID_VALUE
, "glGetActiveAttrib(index)");
142 const gl_shader_variable
*const var
= RESOURCE_VAR(res
);
144 const char *var_name
= var
->name
;
146 _mesa_copy_string(name
, maxLength
, length
, var_name
);
149 _mesa_program_resource_prop(shProg
, res
, desired_index
, GL_ARRAY_SIZE
,
150 size
, "glGetActiveAttrib");
153 _mesa_program_resource_prop(shProg
, res
, desired_index
, GL_TYPE
,
154 (GLint
*) type
, "glGetActiveAttrib");
158 _mesa_GetAttribLocation(GLuint program
, const GLchar
* name
)
160 GET_CURRENT_CONTEXT(ctx
);
161 struct gl_shader_program
*const shProg
=
162 _mesa_lookup_shader_program_err(ctx
, program
, "glGetAttribLocation");
168 if (!shProg
->LinkStatus
) {
169 _mesa_error(ctx
, GL_INVALID_OPERATION
,
170 "glGetAttribLocation(program not linked)");
177 /* Not having a vertex shader is not an error.
179 if (shProg
->_LinkedShaders
[MESA_SHADER_VERTEX
] == NULL
)
182 unsigned array_index
= 0;
183 struct gl_program_resource
*res
=
184 _mesa_program_resource_find_name(shProg
, GL_PROGRAM_INPUT
, name
,
190 return program_resource_location(res
, array_index
);
194 _mesa_count_active_attribs(struct gl_shader_program
*shProg
)
196 if (!shProg
->LinkStatus
197 || shProg
->_LinkedShaders
[MESA_SHADER_VERTEX
] == NULL
) {
201 struct gl_program_resource
*res
= shProg
->ProgramResourceList
;
203 for (unsigned j
= 0; j
< shProg
->NumProgramResourceList
; j
++, res
++) {
204 if (res
->Type
== GL_PROGRAM_INPUT
&&
205 res
->StageReferences
& (1 << MESA_SHADER_VERTEX
))
213 _mesa_longest_attribute_name_length(struct gl_shader_program
*shProg
)
215 if (!shProg
->LinkStatus
216 || shProg
->_LinkedShaders
[MESA_SHADER_VERTEX
] == NULL
) {
220 struct gl_program_resource
*res
= shProg
->ProgramResourceList
;
222 for (unsigned j
= 0; j
< shProg
->NumProgramResourceList
; j
++, res
++) {
223 if (res
->Type
== GL_PROGRAM_INPUT
&&
224 res
->StageReferences
& (1 << MESA_SHADER_VERTEX
)) {
226 const size_t length
= strlen(RESOURCE_VAR(res
)->name
);
227 if (length
>= longest
)
228 longest
= length
+ 1;
236 _mesa_BindFragDataLocation(GLuint program
, GLuint colorNumber
,
239 _mesa_BindFragDataLocationIndexed(program
, colorNumber
, 0, name
);
243 _mesa_BindFragDataLocationIndexed(GLuint program
, GLuint colorNumber
,
244 GLuint index
, const GLchar
*name
)
246 GET_CURRENT_CONTEXT(ctx
);
248 struct gl_shader_program
*const shProg
=
249 _mesa_lookup_shader_program_err(ctx
, program
, "glBindFragDataLocationIndexed");
256 if (strncmp(name
, "gl_", 3) == 0) {
257 _mesa_error(ctx
, GL_INVALID_OPERATION
, "glBindFragDataLocationIndexed(illegal name)");
262 _mesa_error(ctx
, GL_INVALID_VALUE
, "glBindFragDataLocationIndexed(index)");
266 if (index
== 0 && colorNumber
>= ctx
->Const
.MaxDrawBuffers
) {
267 _mesa_error(ctx
, GL_INVALID_VALUE
, "glBindFragDataLocationIndexed(colorNumber)");
271 if (index
== 1 && colorNumber
>= ctx
->Const
.MaxDualSourceDrawBuffers
) {
272 _mesa_error(ctx
, GL_INVALID_VALUE
, "glBindFragDataLocationIndexed(colorNumber)");
276 /* Replace the current value if it's already in the list. Add
277 * FRAG_RESULT_DATA0 because that's how the linker differentiates
278 * between built-in attributes and user-defined attributes.
280 shProg
->FragDataBindings
->put(colorNumber
+ FRAG_RESULT_DATA0
, name
);
281 shProg
->FragDataIndexBindings
->put(index
, name
);
283 * Note that this binding won't go into effect until
284 * glLinkProgram is called again.
290 _mesa_GetFragDataIndex(GLuint program
, const GLchar
*name
)
292 GET_CURRENT_CONTEXT(ctx
);
293 struct gl_shader_program
*const shProg
=
294 _mesa_lookup_shader_program_err(ctx
, program
, "glGetFragDataIndex");
300 if (!shProg
->LinkStatus
) {
301 _mesa_error(ctx
, GL_INVALID_OPERATION
,
302 "glGetFragDataIndex(program not linked)");
309 if (strncmp(name
, "gl_", 3) == 0) {
310 _mesa_error(ctx
, GL_INVALID_OPERATION
,
311 "glGetFragDataIndex(illegal name)");
315 /* Not having a fragment shader is not an error.
317 if (shProg
->_LinkedShaders
[MESA_SHADER_FRAGMENT
] == NULL
)
320 return _mesa_program_resource_location_index(shProg
, GL_PROGRAM_OUTPUT
,
325 _mesa_GetFragDataLocation(GLuint program
, const GLchar
*name
)
327 GET_CURRENT_CONTEXT(ctx
);
328 struct gl_shader_program
*const shProg
=
329 _mesa_lookup_shader_program_err(ctx
, program
, "glGetFragDataLocation");
335 if (!shProg
->LinkStatus
) {
336 _mesa_error(ctx
, GL_INVALID_OPERATION
,
337 "glGetFragDataLocation(program not linked)");
344 if (strncmp(name
, "gl_", 3) == 0) {
345 _mesa_error(ctx
, GL_INVALID_OPERATION
,
346 "glGetFragDataLocation(illegal name)");
350 /* Not having a fragment shader is not an error.
352 if (shProg
->_LinkedShaders
[MESA_SHADER_FRAGMENT
] == NULL
)
355 unsigned array_index
= 0;
356 struct gl_program_resource
*res
=
357 _mesa_program_resource_find_name(shProg
, GL_PROGRAM_OUTPUT
, name
,
363 return program_resource_location(res
, array_index
);
367 _mesa_program_resource_name(struct gl_program_resource
*res
)
370 case GL_UNIFORM_BLOCK
:
371 case GL_SHADER_STORAGE_BLOCK
:
372 return RESOURCE_UBO(res
)->Name
;
373 case GL_TRANSFORM_FEEDBACK_VARYING
:
374 return RESOURCE_XFV(res
)->Name
;
375 case GL_PROGRAM_INPUT
:
376 case GL_PROGRAM_OUTPUT
:
377 return RESOURCE_VAR(res
)->name
;
379 case GL_BUFFER_VARIABLE
:
380 return RESOURCE_UNI(res
)->name
;
381 case GL_VERTEX_SUBROUTINE_UNIFORM
:
382 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
383 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
384 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
385 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
386 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
387 return RESOURCE_UNI(res
)->name
+ MESA_SUBROUTINE_PREFIX_LEN
;
388 case GL_VERTEX_SUBROUTINE
:
389 case GL_GEOMETRY_SUBROUTINE
:
390 case GL_FRAGMENT_SUBROUTINE
:
391 case GL_COMPUTE_SUBROUTINE
:
392 case GL_TESS_CONTROL_SUBROUTINE
:
393 case GL_TESS_EVALUATION_SUBROUTINE
:
394 return RESOURCE_SUB(res
)->name
;
396 assert(!"support for resource type not implemented");
403 _mesa_program_resource_array_size(struct gl_program_resource
*res
)
406 case GL_TRANSFORM_FEEDBACK_VARYING
:
407 return RESOURCE_XFV(res
)->Size
> 1 ?
408 RESOURCE_XFV(res
)->Size
: 0;
409 case GL_PROGRAM_INPUT
:
410 case GL_PROGRAM_OUTPUT
:
411 return RESOURCE_VAR(res
)->type
->length
;
413 case GL_VERTEX_SUBROUTINE_UNIFORM
:
414 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
415 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
416 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
417 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
418 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
419 return RESOURCE_UNI(res
)->array_elements
;
420 case GL_BUFFER_VARIABLE
:
422 if (RESOURCE_UNI(res
)->array_stride
> 0 &&
423 RESOURCE_UNI(res
)->array_elements
== 0)
426 return RESOURCE_UNI(res
)->array_elements
;
427 case GL_VERTEX_SUBROUTINE
:
428 case GL_GEOMETRY_SUBROUTINE
:
429 case GL_FRAGMENT_SUBROUTINE
:
430 case GL_COMPUTE_SUBROUTINE
:
431 case GL_TESS_CONTROL_SUBROUTINE
:
432 case GL_TESS_EVALUATION_SUBROUTINE
:
433 case GL_ATOMIC_COUNTER_BUFFER
:
434 case GL_UNIFORM_BLOCK
:
435 case GL_SHADER_STORAGE_BLOCK
:
438 assert(!"support for resource type not implemented");
444 * Checks if array subscript is valid and if so sets array_index.
447 valid_array_index(const GLchar
*name
, unsigned *array_index
)
450 const GLchar
*out_base_name_end
;
452 idx
= parse_program_resource_name(name
, &out_base_name_end
);
462 /* Find a program resource with specific name in given interface.
464 struct gl_program_resource
*
465 _mesa_program_resource_find_name(struct gl_shader_program
*shProg
,
466 GLenum programInterface
, const char *name
,
467 unsigned *array_index
)
469 struct gl_program_resource
*res
= shProg
->ProgramResourceList
;
470 for (unsigned i
= 0; i
< shProg
->NumProgramResourceList
; i
++, res
++) {
471 if (res
->Type
!= programInterface
)
474 /* Resource basename. */
475 const char *rname
= _mesa_program_resource_name(res
);
476 unsigned baselen
= strlen(rname
);
477 unsigned baselen_without_array_index
= baselen
;
478 const char *rname_last_square_bracket
= strrchr(rname
, '[');
480 bool rname_has_array_index_zero
= false;
481 /* From ARB_program_interface_query spec:
483 * "uint GetProgramResourceIndex(uint program, enum programInterface,
486 * If <name> exactly matches the name string of one of the active
487 * resources for <programInterface>, the index of the matched resource is
488 * returned. Additionally, if <name> would exactly match the name string
489 * of an active resource if "[0]" were appended to <name>, the index of
490 * the matched resource is returned. [...]"
492 * "A string provided to GetProgramResourceLocation or
493 * GetProgramResourceLocationIndex is considered to match an active variable
496 * * the string exactly matches the name of the active variable;
498 * * if the string identifies the base name of an active array, where the
499 * string would exactly match the name of the variable if the suffix
500 * "[0]" were appended to the string; [...]"
502 /* Remove array's index from interface block name comparison only if
503 * array's index is zero and the resulting string length is the same
504 * than the provided name's length.
506 if (rname_last_square_bracket
) {
507 baselen_without_array_index
-= strlen(rname_last_square_bracket
);
508 rname_has_array_index_zero
=
509 (strcmp(rname_last_square_bracket
, "[0]") == 0) &&
510 (baselen_without_array_index
== strlen(name
));
513 if (strncmp(rname
, name
, baselen
) == 0)
515 else if (rname_has_array_index_zero
&&
516 strncmp(rname
, name
, baselen_without_array_index
) == 0)
520 switch (programInterface
) {
521 case GL_UNIFORM_BLOCK
:
522 case GL_SHADER_STORAGE_BLOCK
:
523 /* Basename match, check if array or struct. */
524 if (rname_has_array_index_zero
||
525 name
[baselen
] == '\0' ||
526 name
[baselen
] == '[' ||
527 name
[baselen
] == '.') {
531 case GL_TRANSFORM_FEEDBACK_VARYING
:
532 case GL_BUFFER_VARIABLE
:
534 case GL_VERTEX_SUBROUTINE_UNIFORM
:
535 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
536 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
537 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
538 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
539 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
540 case GL_VERTEX_SUBROUTINE
:
541 case GL_GEOMETRY_SUBROUTINE
:
542 case GL_FRAGMENT_SUBROUTINE
:
543 case GL_COMPUTE_SUBROUTINE
:
544 case GL_TESS_CONTROL_SUBROUTINE
:
545 case GL_TESS_EVALUATION_SUBROUTINE
:
546 if (name
[baselen
] == '.') {
550 case GL_PROGRAM_INPUT
:
551 case GL_PROGRAM_OUTPUT
:
552 if (name
[baselen
] == '\0') {
554 } else if (name
[baselen
] == '[' &&
555 valid_array_index(name
, array_index
)) {
560 assert(!"not implemented for given interface");
568 calc_resource_index(struct gl_shader_program
*shProg
,
569 struct gl_program_resource
*res
)
573 for (i
= 0; i
< shProg
->NumProgramResourceList
; i
++) {
574 if (&shProg
->ProgramResourceList
[i
] == res
)
576 if (shProg
->ProgramResourceList
[i
].Type
== res
->Type
)
579 return GL_INVALID_INDEX
;
583 * Calculate index for the given resource.
586 _mesa_program_resource_index(struct gl_shader_program
*shProg
,
587 struct gl_program_resource
*res
)
590 return GL_INVALID_INDEX
;
593 case GL_ATOMIC_COUNTER_BUFFER
:
594 return RESOURCE_ATC(res
) - shProg
->AtomicBuffers
;
595 case GL_VERTEX_SUBROUTINE
:
596 case GL_GEOMETRY_SUBROUTINE
:
597 case GL_FRAGMENT_SUBROUTINE
:
598 case GL_COMPUTE_SUBROUTINE
:
599 case GL_TESS_CONTROL_SUBROUTINE
:
600 case GL_TESS_EVALUATION_SUBROUTINE
:
601 return RESOURCE_SUB(res
)->index
;
602 case GL_UNIFORM_BLOCK
:
603 case GL_SHADER_STORAGE_BLOCK
:
604 case GL_TRANSFORM_FEEDBACK_BUFFER
:
605 case GL_TRANSFORM_FEEDBACK_VARYING
:
607 return calc_resource_index(shProg
, res
);
612 * Find a program resource that points to given data.
614 static struct gl_program_resource
*
615 program_resource_find_data(struct gl_shader_program
*shProg
, void *data
)
617 struct gl_program_resource
*res
= shProg
->ProgramResourceList
;
618 for (unsigned i
= 0; i
< shProg
->NumProgramResourceList
; i
++, res
++) {
619 if (res
->Data
== data
)
625 /* Find a program resource with specific index in given interface.
627 struct gl_program_resource
*
628 _mesa_program_resource_find_index(struct gl_shader_program
*shProg
,
629 GLenum programInterface
, GLuint index
)
631 struct gl_program_resource
*res
= shProg
->ProgramResourceList
;
634 for (unsigned i
= 0; i
< shProg
->NumProgramResourceList
; i
++, res
++) {
635 if (res
->Type
!= programInterface
)
639 case GL_UNIFORM_BLOCK
:
640 case GL_ATOMIC_COUNTER_BUFFER
:
641 case GL_SHADER_STORAGE_BLOCK
:
642 case GL_TRANSFORM_FEEDBACK_BUFFER
:
643 if (_mesa_program_resource_index(shProg
, res
) == index
)
646 case GL_TRANSFORM_FEEDBACK_VARYING
:
647 case GL_PROGRAM_INPUT
:
648 case GL_PROGRAM_OUTPUT
:
650 case GL_VERTEX_SUBROUTINE_UNIFORM
:
651 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
652 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
653 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
654 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
655 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
656 case GL_VERTEX_SUBROUTINE
:
657 case GL_GEOMETRY_SUBROUTINE
:
658 case GL_FRAGMENT_SUBROUTINE
:
659 case GL_COMPUTE_SUBROUTINE
:
660 case GL_TESS_CONTROL_SUBROUTINE
:
661 case GL_TESS_EVALUATION_SUBROUTINE
:
662 case GL_BUFFER_VARIABLE
:
663 if (++idx
== (int) index
)
667 assert(!"not implemented for given interface");
673 /* Function returns if resource name is expected to have index
677 * Page 61 (page 73 of the PDF) in section 2.11 of the OpenGL ES 3.0
680 * "If the active uniform is an array, the uniform name returned in
681 * name will always be the name of the uniform array appended with
684 * The same text also appears in the OpenGL 4.2 spec. It does not,
685 * however, appear in any previous spec. Previous specifications are
686 * ambiguous in this regard. However, either name can later be passed
687 * to glGetUniformLocation (and related APIs), so there shouldn't be any
688 * harm in always appending "[0]" to uniform array names.
690 * Geometry shader stage has different naming convention where the 'normal'
691 * condition is an array, therefore for variables referenced in geometry
692 * stage we do not add '[0]'.
694 * Note, that TCS outputs and TES inputs should not have index appended
698 add_index_to_name(struct gl_program_resource
*res
)
700 bool add_index
= !((res
->Type
== GL_PROGRAM_INPUT
&&
701 res
->StageReferences
& (1 << MESA_SHADER_GEOMETRY
|
702 1 << MESA_SHADER_TESS_CTRL
|
703 1 << MESA_SHADER_TESS_EVAL
)) ||
704 (res
->Type
== GL_PROGRAM_OUTPUT
&&
705 res
->StageReferences
& 1 << MESA_SHADER_TESS_CTRL
));
707 /* Transform feedback varyings have array index already appended
710 if (res
->Type
== GL_TRANSFORM_FEEDBACK_VARYING
)
716 /* Get name length of a program resource. This consists of
717 * base name + 3 for '[0]' if resource is an array.
720 _mesa_program_resource_name_len(struct gl_program_resource
*res
)
722 unsigned length
= strlen(_mesa_program_resource_name(res
));
723 if (_mesa_program_resource_array_size(res
) && add_index_to_name(res
))
728 /* Get full name of a program resource.
731 _mesa_get_program_resource_name(struct gl_shader_program
*shProg
,
732 GLenum programInterface
, GLuint index
,
733 GLsizei bufSize
, GLsizei
*length
,
734 GLchar
*name
, const char *caller
)
736 GET_CURRENT_CONTEXT(ctx
);
738 /* Find resource with given interface and index. */
739 struct gl_program_resource
*res
=
740 _mesa_program_resource_find_index(shProg
, programInterface
, index
);
742 /* The error INVALID_VALUE is generated if <index> is greater than
743 * or equal to the number of entries in the active resource list for
744 * <programInterface>.
747 _mesa_error(ctx
, GL_INVALID_VALUE
, "%s(index %u)", caller
, index
);
752 _mesa_error(ctx
, GL_INVALID_VALUE
, "%s(bufSize %d)", caller
, bufSize
);
759 length
= &localLength
;
761 _mesa_copy_string(name
, bufSize
, length
, _mesa_program_resource_name(res
));
763 if (_mesa_program_resource_array_size(res
) && add_index_to_name(res
)) {
766 /* The comparison is strange because *length does *NOT* include the
767 * terminating NUL, but maxLength does.
769 for (i
= 0; i
< 3 && (*length
+ i
+ 1) < bufSize
; i
++)
770 name
[*length
+ i
] = "[0]"[i
];
772 name
[*length
+ i
] = '\0';
779 program_resource_location(struct gl_program_resource
*res
, unsigned array_index
)
782 case GL_PROGRAM_INPUT
: {
783 const gl_shader_variable
*var
= RESOURCE_VAR(res
);
785 if (var
->location
== -1)
788 /* If the input is an array, fail if the index is out of bounds. */
790 && array_index
>= var
->type
->length
) {
793 return var
->location
+
794 (array_index
* var
->type
->without_array()->matrix_columns
);
796 case GL_PROGRAM_OUTPUT
:
797 if (RESOURCE_VAR(res
)->location
== -1)
800 /* If the output is an array, fail if the index is out of bounds. */
802 && array_index
>= RESOURCE_VAR(res
)->type
->length
) {
805 return RESOURCE_VAR(res
)->location
+ array_index
;
807 /* If the uniform is built-in, fail. */
808 if (RESOURCE_UNI(res
)->builtin
)
811 /* From page 79 of the OpenGL 4.2 spec:
813 * "A valid name cannot be a structure, an array of structures, or any
814 * portion of a single vector or a matrix."
816 if (RESOURCE_UNI(res
)->type
->without_array()->is_record())
819 /* From the GL_ARB_uniform_buffer_object spec:
821 * "The value -1 will be returned if <name> does not correspond to an
822 * active uniform variable name in <program>, if <name> is associated
823 * with a named uniform block, or if <name> starts with the reserved
826 if (RESOURCE_UNI(res
)->block_index
!= -1 ||
827 RESOURCE_UNI(res
)->atomic_buffer_index
!= -1)
831 case GL_VERTEX_SUBROUTINE_UNIFORM
:
832 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
833 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
834 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
835 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
836 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
837 /* If the uniform is an array, fail if the index is out of bounds. */
839 && array_index
>= RESOURCE_UNI(res
)->array_elements
) {
843 /* location in remap table + array element offset */
844 return RESOURCE_UNI(res
)->remap_location
+ array_index
;
851 * Function implements following location queries:
852 * glGetUniformLocation
855 _mesa_program_resource_location(struct gl_shader_program
*shProg
,
856 GLenum programInterface
, const char *name
)
858 unsigned array_index
= 0;
859 struct gl_program_resource
*res
=
860 _mesa_program_resource_find_name(shProg
, programInterface
, name
,
863 /* Resource not found. */
867 return program_resource_location(res
, array_index
);
871 * Function implements following index queries:
875 _mesa_program_resource_location_index(struct gl_shader_program
*shProg
,
876 GLenum programInterface
, const char *name
)
878 struct gl_program_resource
*res
=
879 _mesa_program_resource_find_name(shProg
, programInterface
, name
, NULL
);
881 /* Non-existent variable or resource is not referenced by fragment stage. */
882 if (!res
|| !(res
->StageReferences
& (1 << MESA_SHADER_FRAGMENT
)))
885 /* From OpenGL 4.5 spec, 7.3 Program Objects
886 * "The value -1 will be returned by either command...
887 * ... or if name identifies an active variable that does not have a
888 * valid location assigned.
890 if (RESOURCE_VAR(res
)->location
== -1)
892 return RESOURCE_VAR(res
)->index
;
896 stage_from_enum(GLenum ref
)
899 case GL_REFERENCED_BY_VERTEX_SHADER
:
900 return MESA_SHADER_VERTEX
;
901 case GL_REFERENCED_BY_TESS_CONTROL_SHADER
:
902 return MESA_SHADER_TESS_CTRL
;
903 case GL_REFERENCED_BY_TESS_EVALUATION_SHADER
:
904 return MESA_SHADER_TESS_EVAL
;
905 case GL_REFERENCED_BY_GEOMETRY_SHADER
:
906 return MESA_SHADER_GEOMETRY
;
907 case GL_REFERENCED_BY_FRAGMENT_SHADER
:
908 return MESA_SHADER_FRAGMENT
;
909 case GL_REFERENCED_BY_COMPUTE_SHADER
:
910 return MESA_SHADER_COMPUTE
;
912 assert(!"shader stage not supported");
913 return MESA_SHADER_STAGES
;
918 * Check if resource is referenced by given 'referenced by' stage enum.
919 * ATC and UBO resources hold stage references of their own.
922 is_resource_referenced(struct gl_shader_program
*shProg
,
923 struct gl_program_resource
*res
,
924 GLuint index
, uint8_t stage
)
926 /* First, check if we even have such a stage active. */
927 if (!shProg
->_LinkedShaders
[stage
])
930 if (res
->Type
== GL_ATOMIC_COUNTER_BUFFER
)
931 return RESOURCE_ATC(res
)->StageReferences
[stage
];
933 if (res
->Type
== GL_UNIFORM_BLOCK
)
934 return shProg
->UniformBlocks
[index
].stageref
& (1 << stage
);
936 if (res
->Type
== GL_SHADER_STORAGE_BLOCK
)
937 return shProg
->ShaderStorageBlocks
[index
].stageref
& (1 << stage
);
939 return res
->StageReferences
& (1 << stage
);
943 get_buffer_property(struct gl_shader_program
*shProg
,
944 struct gl_program_resource
*res
, const GLenum prop
,
945 GLint
*val
, const char *caller
)
947 GET_CURRENT_CONTEXT(ctx
);
948 if (res
->Type
!= GL_UNIFORM_BLOCK
&&
949 res
->Type
!= GL_ATOMIC_COUNTER_BUFFER
&&
950 res
->Type
!= GL_SHADER_STORAGE_BLOCK
&&
951 res
->Type
!= GL_TRANSFORM_FEEDBACK_BUFFER
)
952 goto invalid_operation
;
954 if (res
->Type
== GL_UNIFORM_BLOCK
) {
956 case GL_BUFFER_BINDING
:
957 *val
= RESOURCE_UBO(res
)->Binding
;
959 case GL_BUFFER_DATA_SIZE
:
960 *val
= RESOURCE_UBO(res
)->UniformBufferSize
;
962 case GL_NUM_ACTIVE_VARIABLES
:
964 for (unsigned i
= 0; i
< RESOURCE_UBO(res
)->NumUniforms
; i
++) {
965 const char *iname
= RESOURCE_UBO(res
)->Uniforms
[i
].IndexName
;
966 struct gl_program_resource
*uni
=
967 _mesa_program_resource_find_name(shProg
, GL_UNIFORM
, iname
,
974 case GL_ACTIVE_VARIABLES
: {
975 unsigned num_values
= 0;
976 for (unsigned i
= 0; i
< RESOURCE_UBO(res
)->NumUniforms
; i
++) {
977 const char *iname
= RESOURCE_UBO(res
)->Uniforms
[i
].IndexName
;
978 struct gl_program_resource
*uni
=
979 _mesa_program_resource_find_name(shProg
, GL_UNIFORM
, iname
,
984 _mesa_program_resource_index(shProg
, uni
);
990 } else if (res
->Type
== GL_SHADER_STORAGE_BLOCK
) {
992 case GL_BUFFER_BINDING
:
993 *val
= RESOURCE_UBO(res
)->Binding
;
995 case GL_BUFFER_DATA_SIZE
:
996 *val
= RESOURCE_UBO(res
)->UniformBufferSize
;
998 case GL_NUM_ACTIVE_VARIABLES
:
1000 for (unsigned i
= 0; i
< RESOURCE_UBO(res
)->NumUniforms
; i
++) {
1001 const char *iname
= RESOURCE_UBO(res
)->Uniforms
[i
].IndexName
;
1002 struct gl_program_resource
*uni
=
1003 _mesa_program_resource_find_name(shProg
, GL_BUFFER_VARIABLE
,
1010 case GL_ACTIVE_VARIABLES
: {
1011 unsigned num_values
= 0;
1012 for (unsigned i
= 0; i
< RESOURCE_UBO(res
)->NumUniforms
; i
++) {
1013 const char *iname
= RESOURCE_UBO(res
)->Uniforms
[i
].IndexName
;
1014 struct gl_program_resource
*uni
=
1015 _mesa_program_resource_find_name(shProg
, GL_BUFFER_VARIABLE
,
1020 _mesa_program_resource_index(shProg
, uni
);
1026 } else if (res
->Type
== GL_ATOMIC_COUNTER_BUFFER
) {
1028 case GL_BUFFER_BINDING
:
1029 *val
= RESOURCE_ATC(res
)->Binding
;
1031 case GL_BUFFER_DATA_SIZE
:
1032 *val
= RESOURCE_ATC(res
)->MinimumSize
;
1034 case GL_NUM_ACTIVE_VARIABLES
:
1035 *val
= RESOURCE_ATC(res
)->NumUniforms
;
1037 case GL_ACTIVE_VARIABLES
:
1038 for (unsigned i
= 0; i
< RESOURCE_ATC(res
)->NumUniforms
; i
++) {
1039 /* Active atomic buffer contains index to UniformStorage. Find
1040 * out gl_program_resource via data pointer and then calculate
1041 * index of that uniform.
1043 unsigned idx
= RESOURCE_ATC(res
)->Uniforms
[i
];
1044 struct gl_program_resource
*uni
=
1045 program_resource_find_data(shProg
,
1046 &shProg
->UniformStorage
[idx
]);
1048 *val
++ = _mesa_program_resource_index(shProg
, uni
);
1050 return RESOURCE_ATC(res
)->NumUniforms
;
1052 } else if (res
->Type
== GL_TRANSFORM_FEEDBACK_BUFFER
) {
1054 case GL_BUFFER_BINDING
:
1055 *val
= RESOURCE_XFB(res
)->Binding
;
1057 case GL_NUM_ACTIVE_VARIABLES
:
1058 *val
= RESOURCE_XFB(res
)->NumVaryings
;
1060 case GL_ACTIVE_VARIABLES
:
1062 for ( ; i
< shProg
->LinkedTransformFeedback
.NumVarying
; i
++) {
1064 shProg
->LinkedTransformFeedback
.Varyings
[i
].BufferIndex
;
1065 struct gl_program_resource
*buf_res
=
1066 _mesa_program_resource_find_index(shProg
,
1067 GL_TRANSFORM_FEEDBACK_BUFFER
,
1070 if (res
== buf_res
) {
1074 return RESOURCE_XFB(res
)->NumVaryings
;
1077 assert(!"support for property type not implemented");
1080 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(%s prop %s)", caller
,
1081 _mesa_enum_to_string(res
->Type
),
1082 _mesa_enum_to_string(prop
));
1088 _mesa_program_resource_prop(struct gl_shader_program
*shProg
,
1089 struct gl_program_resource
*res
, GLuint index
,
1090 const GLenum prop
, GLint
*val
, const char *caller
)
1092 GET_CURRENT_CONTEXT(ctx
);
1094 #define VALIDATE_TYPE(type)\
1095 if (res->Type != type)\
1096 goto invalid_operation;
1098 #define VALIDATE_TYPE_2(type1, type2)\
1099 if (res->Type != type1 && res->Type != type2)\
1100 goto invalid_operation;
1103 case GL_NAME_LENGTH
:
1104 switch (res
->Type
) {
1105 case GL_ATOMIC_COUNTER_BUFFER
:
1106 case GL_TRANSFORM_FEEDBACK_BUFFER
:
1107 goto invalid_operation
;
1109 /* Resource name length + terminator. */
1110 *val
= _mesa_program_resource_name_len(res
) + 1;
1114 switch (res
->Type
) {
1116 case GL_BUFFER_VARIABLE
:
1117 *val
= RESOURCE_UNI(res
)->type
->gl_type
;
1119 case GL_PROGRAM_INPUT
:
1120 case GL_PROGRAM_OUTPUT
:
1121 *val
= RESOURCE_VAR(res
)->type
->gl_type
;
1123 case GL_TRANSFORM_FEEDBACK_VARYING
:
1124 *val
= RESOURCE_XFV(res
)->Type
;
1127 goto invalid_operation
;
1130 switch (res
->Type
) {
1132 case GL_BUFFER_VARIABLE
:
1133 case GL_VERTEX_SUBROUTINE_UNIFORM
:
1134 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
1135 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
1136 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
1137 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
1138 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
1140 /* Test if a buffer variable is an array or an unsized array.
1141 * Unsized arrays return zero as array size.
1143 if (RESOURCE_UNI(res
)->is_shader_storage
&&
1144 RESOURCE_UNI(res
)->array_stride
> 0)
1145 *val
= RESOURCE_UNI(res
)->array_elements
;
1147 *val
= MAX2(RESOURCE_UNI(res
)->array_elements
, 1);
1149 case GL_PROGRAM_INPUT
:
1150 case GL_PROGRAM_OUTPUT
:
1151 *val
= MAX2(_mesa_program_resource_array_size(res
), 1);
1153 case GL_TRANSFORM_FEEDBACK_VARYING
:
1154 *val
= RESOURCE_XFV(res
)->Size
;
1157 goto invalid_operation
;
1160 switch (res
->Type
) {
1162 case GL_BUFFER_VARIABLE
:
1163 *val
= RESOURCE_UNI(res
)->offset
;
1165 case GL_TRANSFORM_FEEDBACK_VARYING
:
1166 *val
= RESOURCE_XFV(res
)->Offset
;
1169 goto invalid_operation
;
1171 case GL_BLOCK_INDEX
:
1172 VALIDATE_TYPE_2(GL_UNIFORM
, GL_BUFFER_VARIABLE
);
1173 *val
= RESOURCE_UNI(res
)->block_index
;
1175 case GL_ARRAY_STRIDE
:
1176 VALIDATE_TYPE_2(GL_UNIFORM
, GL_BUFFER_VARIABLE
);
1177 *val
= RESOURCE_UNI(res
)->array_stride
;
1179 case GL_MATRIX_STRIDE
:
1180 VALIDATE_TYPE_2(GL_UNIFORM
, GL_BUFFER_VARIABLE
);
1181 *val
= RESOURCE_UNI(res
)->matrix_stride
;
1183 case GL_IS_ROW_MAJOR
:
1184 VALIDATE_TYPE_2(GL_UNIFORM
, GL_BUFFER_VARIABLE
);
1185 *val
= RESOURCE_UNI(res
)->row_major
;
1187 case GL_ATOMIC_COUNTER_BUFFER_INDEX
:
1188 VALIDATE_TYPE(GL_UNIFORM
);
1189 *val
= RESOURCE_UNI(res
)->atomic_buffer_index
;
1191 case GL_BUFFER_BINDING
:
1192 case GL_BUFFER_DATA_SIZE
:
1193 case GL_NUM_ACTIVE_VARIABLES
:
1194 case GL_ACTIVE_VARIABLES
:
1195 return get_buffer_property(shProg
, res
, prop
, val
, caller
);
1196 case GL_REFERENCED_BY_COMPUTE_SHADER
:
1197 if (!_mesa_has_compute_shaders(ctx
))
1200 case GL_REFERENCED_BY_VERTEX_SHADER
:
1201 case GL_REFERENCED_BY_TESS_CONTROL_SHADER
:
1202 case GL_REFERENCED_BY_TESS_EVALUATION_SHADER
:
1203 case GL_REFERENCED_BY_GEOMETRY_SHADER
:
1204 case GL_REFERENCED_BY_FRAGMENT_SHADER
:
1205 switch (res
->Type
) {
1207 case GL_PROGRAM_INPUT
:
1208 case GL_PROGRAM_OUTPUT
:
1209 case GL_UNIFORM_BLOCK
:
1210 case GL_BUFFER_VARIABLE
:
1211 case GL_SHADER_STORAGE_BLOCK
:
1212 case GL_ATOMIC_COUNTER_BUFFER
:
1213 *val
= is_resource_referenced(shProg
, res
, index
,
1214 stage_from_enum(prop
));
1217 goto invalid_operation
;
1220 switch (res
->Type
) {
1222 case GL_VERTEX_SUBROUTINE_UNIFORM
:
1223 case GL_GEOMETRY_SUBROUTINE_UNIFORM
:
1224 case GL_FRAGMENT_SUBROUTINE_UNIFORM
:
1225 case GL_COMPUTE_SUBROUTINE_UNIFORM
:
1226 case GL_TESS_CONTROL_SUBROUTINE_UNIFORM
:
1227 case GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
:
1228 case GL_PROGRAM_INPUT
:
1229 case GL_PROGRAM_OUTPUT
:
1230 *val
= program_resource_location(res
, 0);
1233 goto invalid_operation
;
1235 case GL_LOCATION_COMPONENT
:
1236 switch (res
->Type
) {
1237 case GL_PROGRAM_INPUT
:
1238 case GL_PROGRAM_OUTPUT
:
1239 *val
= RESOURCE_VAR(res
)->component
;
1242 goto invalid_operation
;
1244 case GL_LOCATION_INDEX
: {
1246 if (res
->Type
!= GL_PROGRAM_OUTPUT
)
1247 goto invalid_operation
;
1248 tmp
= program_resource_location(res
, 0);
1252 *val
= _mesa_program_resource_location_index(shProg
, res
->Type
,
1253 RESOURCE_VAR(res
)->name
);
1256 case GL_NUM_COMPATIBLE_SUBROUTINES
:
1257 if (res
->Type
!= GL_VERTEX_SUBROUTINE_UNIFORM
&&
1258 res
->Type
!= GL_FRAGMENT_SUBROUTINE_UNIFORM
&&
1259 res
->Type
!= GL_GEOMETRY_SUBROUTINE_UNIFORM
&&
1260 res
->Type
!= GL_COMPUTE_SUBROUTINE_UNIFORM
&&
1261 res
->Type
!= GL_TESS_CONTROL_SUBROUTINE_UNIFORM
&&
1262 res
->Type
!= GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
)
1263 goto invalid_operation
;
1264 *val
= RESOURCE_UNI(res
)->num_compatible_subroutines
;
1266 case GL_COMPATIBLE_SUBROUTINES
: {
1267 const struct gl_uniform_storage
*uni
;
1268 struct gl_linked_shader
*sh
;
1272 if (res
->Type
!= GL_VERTEX_SUBROUTINE_UNIFORM
&&
1273 res
->Type
!= GL_FRAGMENT_SUBROUTINE_UNIFORM
&&
1274 res
->Type
!= GL_GEOMETRY_SUBROUTINE_UNIFORM
&&
1275 res
->Type
!= GL_COMPUTE_SUBROUTINE_UNIFORM
&&
1276 res
->Type
!= GL_TESS_CONTROL_SUBROUTINE_UNIFORM
&&
1277 res
->Type
!= GL_TESS_EVALUATION_SUBROUTINE_UNIFORM
)
1278 goto invalid_operation
;
1279 uni
= RESOURCE_UNI(res
);
1281 sh
= shProg
->_LinkedShaders
[_mesa_shader_stage_from_subroutine_uniform(res
->Type
)];
1283 for (i
= 0; i
< sh
->NumSubroutineFunctions
; i
++) {
1284 struct gl_subroutine_function
*fn
= &sh
->SubroutineFunctions
[i
];
1285 for (j
= 0; j
< fn
->num_compat_types
; j
++) {
1286 if (fn
->types
[j
] == uni
->type
) {
1295 case GL_TOP_LEVEL_ARRAY_SIZE
:
1296 VALIDATE_TYPE(GL_BUFFER_VARIABLE
);
1297 *val
= RESOURCE_UNI(res
)->top_level_array_size
;
1300 case GL_TOP_LEVEL_ARRAY_STRIDE
:
1301 VALIDATE_TYPE(GL_BUFFER_VARIABLE
);
1302 *val
= RESOURCE_UNI(res
)->top_level_array_stride
;
1305 /* GL_ARB_tessellation_shader */
1306 case GL_IS_PER_PATCH
:
1307 switch (res
->Type
) {
1308 case GL_PROGRAM_INPUT
:
1309 case GL_PROGRAM_OUTPUT
:
1310 *val
= RESOURCE_VAR(res
)->patch
;
1313 goto invalid_operation
;
1316 case GL_TRANSFORM_FEEDBACK_BUFFER_INDEX
:
1317 VALIDATE_TYPE(GL_TRANSFORM_FEEDBACK_VARYING
);
1318 *val
= RESOURCE_XFV(res
)->BufferIndex
;
1320 case GL_TRANSFORM_FEEDBACK_BUFFER_STRIDE
:
1321 VALIDATE_TYPE(GL_TRANSFORM_FEEDBACK_BUFFER
);
1322 *val
= RESOURCE_XFB(res
)->Stride
* 4;
1329 #undef VALIDATE_TYPE
1330 #undef VALIDATE_TYPE_2
1333 _mesa_error(ctx
, GL_INVALID_ENUM
, "%s(%s prop %s)", caller
,
1334 _mesa_enum_to_string(res
->Type
),
1335 _mesa_enum_to_string(prop
));
1339 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(%s prop %s)", caller
,
1340 _mesa_enum_to_string(res
->Type
),
1341 _mesa_enum_to_string(prop
));
1346 _mesa_get_program_resourceiv(struct gl_shader_program
*shProg
,
1347 GLenum programInterface
, GLuint index
, GLsizei propCount
,
1348 const GLenum
*props
, GLsizei bufSize
,
1349 GLsizei
*length
, GLint
*params
)
1351 GET_CURRENT_CONTEXT(ctx
);
1352 GLint
*val
= (GLint
*) params
;
1353 const GLenum
*prop
= props
;
1356 struct gl_program_resource
*res
=
1357 _mesa_program_resource_find_index(shProg
, programInterface
, index
);
1359 /* No such resource found or bufSize negative. */
1360 if (!res
|| bufSize
< 0) {
1361 _mesa_error(ctx
, GL_INVALID_VALUE
,
1362 "glGetProgramResourceiv(%s index %d bufSize %d)",
1363 _mesa_enum_to_string(programInterface
), index
, bufSize
);
1367 /* Write propCount values until error occurs or bufSize reached. */
1368 for (int i
= 0; i
< propCount
&& i
< bufSize
; i
++, val
++, prop
++) {
1370 _mesa_program_resource_prop(shProg
, res
, index
, *prop
, val
,
1371 "glGetProgramResourceiv");
1373 /* Error happened. */
1374 if (props_written
== 0)
1377 amount
+= props_written
;
1380 /* If <length> is not NULL, the actual number of integer values
1381 * written to <params> will be written to <length>.
1388 validate_io(struct gl_shader_program
*producer
,
1389 struct gl_shader_program
*consumer
,
1390 gl_shader_stage producer_stage
,
1391 gl_shader_stage consumer_stage
)
1393 if (producer
== consumer
)
1396 const bool nonarray_stage_to_array_stage
=
1397 producer_stage
!= MESA_SHADER_TESS_CTRL
&&
1398 (consumer_stage
== MESA_SHADER_GEOMETRY
||
1399 consumer_stage
== MESA_SHADER_TESS_CTRL
||
1400 consumer_stage
== MESA_SHADER_TESS_EVAL
);
1404 void *name_buffer
= NULL
;
1405 size_t name_buffer_size
= 0;
1407 gl_shader_variable
const **outputs
=
1408 (gl_shader_variable
const **) calloc(producer
->NumProgramResourceList
,
1409 sizeof(gl_shader_variable
*));
1410 if (outputs
== NULL
)
1413 /* Section 7.4.1 (Shader Interface Matching) of the OpenGL ES 3.1 spec
1416 * At an interface between program objects, the set of inputs and
1417 * outputs are considered to match exactly if and only if:
1419 * - Every declared input variable has a matching output, as described
1421 * - There are no user-defined output variables declared without a
1422 * matching input variable declaration.
1424 * Every input has an output, and every output has an input. Scan the list
1425 * of producer resources once, and generate the list of outputs. As inputs
1426 * and outputs are matched, remove the matched outputs from the set. At
1427 * the end, the set must be empty. If the set is not empty, then there is
1428 * some output that did not have an input.
1430 unsigned num_outputs
= 0;
1431 for (unsigned i
= 0; i
< producer
->NumProgramResourceList
; i
++) {
1432 struct gl_program_resource
*res
= &producer
->ProgramResourceList
[i
];
1434 if (res
->Type
!= GL_PROGRAM_OUTPUT
)
1437 gl_shader_variable
const *const var
= RESOURCE_VAR(res
);
1439 /* Section 7.4.1 (Shader Interface Matching) of the OpenGL ES 3.1 spec
1442 * Built-in inputs or outputs do not affect interface matching.
1444 if (is_gl_identifier(var
->name
))
1447 outputs
[num_outputs
++] = var
;
1450 unsigned match_index
= 0;
1451 for (unsigned i
= 0; i
< consumer
->NumProgramResourceList
; i
++) {
1452 struct gl_program_resource
*res
= &consumer
->ProgramResourceList
[i
];
1454 if (res
->Type
!= GL_PROGRAM_INPUT
)
1457 gl_shader_variable
const *const consumer_var
= RESOURCE_VAR(res
);
1458 gl_shader_variable
const *producer_var
= NULL
;
1460 if (is_gl_identifier(consumer_var
->name
))
1463 /* Inputs with explicit locations match other outputs with explicit
1464 * locations by location instead of by name.
1466 if (consumer_var
->explicit_location
) {
1467 for (unsigned j
= 0; j
< num_outputs
; j
++) {
1468 const gl_shader_variable
*const var
= outputs
[j
];
1470 if (var
->explicit_location
&&
1471 consumer_var
->location
== var
->location
) {
1478 char *consumer_name
= consumer_var
->name
;
1480 if (nonarray_stage_to_array_stage
&&
1481 consumer_var
->interface_type
!= NULL
&&
1482 consumer_var
->interface_type
->is_array() &&
1483 !is_gl_identifier(consumer_var
->name
)) {
1484 const size_t name_len
= strlen(consumer_var
->name
);
1486 if (name_len
>= name_buffer_size
) {
1489 name_buffer_size
= name_len
+ 1;
1490 name_buffer
= malloc(name_buffer_size
);
1491 if (name_buffer
== NULL
) {
1497 consumer_name
= (char *) name_buffer
;
1499 char *s
= strchr(consumer_var
->name
, '[');
1505 char *t
= strchr(s
, ']');
1511 assert(t
[1] == '.' || t
[1] == '[');
1513 const ptrdiff_t base_name_len
= s
- consumer_var
->name
;
1515 memcpy(consumer_name
, consumer_var
->name
, base_name_len
);
1516 strcpy(consumer_name
+ base_name_len
, t
+ 1);
1519 for (unsigned j
= 0; j
< num_outputs
; j
++) {
1520 const gl_shader_variable
*const var
= outputs
[j
];
1522 if (!var
->explicit_location
&&
1523 strcmp(consumer_name
, var
->name
) == 0) {
1531 /* Section 7.4.1 (Shader Interface Matching) of the OpenGL ES 3.1 spec
1534 * - An output variable is considered to match an input variable in
1535 * the subsequent shader if:
1537 * - the two variables match in name, type, and qualification; or
1539 * - the two variables are declared with the same location
1540 * qualifier and match in type and qualification.
1542 if (producer_var
== NULL
) {
1547 /* An output cannot match more than one input, so remove the output from
1548 * the set of possible outputs.
1550 outputs
[match_index
] = NULL
;
1552 if (match_index
< num_outputs
)
1553 outputs
[match_index
] = outputs
[num_outputs
];
1555 /* Section 9.2.2 (Separable Programs) of the GLSL ES spec says:
1557 * Qualifier Class| Qualifier |in/out
1558 * ---------------+-------------+------
1562 * ---------------+-------------+------
1563 * Auxiliary | centroid | No
1564 * ---------------+-------------+------
1566 * | Block layout| N/A
1570 * ---------------+-------------+------
1571 * Interpolation | smooth |
1573 * ---------------+-------------+------
1575 * Precision | mediump | Yes
1577 * ---------------+-------------+------
1578 * Variance | invariant | No
1579 * ---------------+-------------+------
1580 * Memory | all | N/A
1582 * Note that location mismatches are detected by the loops above that
1583 * find the producer variable that goes with the consumer variable.
1585 if (nonarray_stage_to_array_stage
) {
1586 if (!consumer_var
->type
->is_array() ||
1587 consumer_var
->type
->fields
.array
!= producer_var
->type
) {
1592 if (consumer_var
->interface_type
!= NULL
) {
1593 if (!consumer_var
->interface_type
->is_array() ||
1594 consumer_var
->interface_type
->fields
.array
!= producer_var
->interface_type
) {
1598 } else if (producer_var
->interface_type
!= NULL
) {
1603 if (producer_var
->type
!= consumer_var
->type
) {
1608 if (producer_var
->interface_type
!= consumer_var
->interface_type
) {
1614 if (producer_var
->interpolation
!= consumer_var
->interpolation
) {
1619 if (producer_var
->precision
!= consumer_var
->precision
) {
1624 if (producer_var
->outermost_struct_type
!= consumer_var
->outermost_struct_type
) {
1633 return valid
&& num_outputs
== 0;
1637 * Validate inputs against outputs in a program pipeline.
1640 _mesa_validate_pipeline_io(struct gl_pipeline_object
*pipeline
)
1642 struct gl_shader_program
**shProg
=
1643 (struct gl_shader_program
**) pipeline
->CurrentProgram
;
1645 /* Find first active stage in pipeline. */
1646 unsigned idx
, prev
= 0;
1647 for (idx
= 0; idx
< ARRAY_SIZE(pipeline
->CurrentProgram
); idx
++) {
1654 for (idx
= prev
+ 1; idx
< ARRAY_SIZE(pipeline
->CurrentProgram
); idx
++) {
1656 /* Pipeline might include both non-compute and a compute program, do
1657 * not attempt to validate varyings between non-compute and compute
1660 if (shProg
[idx
]->_LinkedShaders
[idx
]->Stage
== MESA_SHADER_COMPUTE
)
1663 if (!validate_io(shProg
[prev
], shProg
[idx
],
1664 shProg
[prev
]->_LinkedShaders
[prev
]->Stage
,
1665 shProg
[idx
]->_LinkedShaders
[idx
]->Stage
))