2 * Mesa 3-D graphics library
4 * Copyright (C) 2004-2008 Brian Paul All Rights Reserved.
5 * Copyright (C) 2009-2010 VMware, Inc. All Rights Reserved.
6 * Copyright © 2010, 2011 Intel Corporation
8 * Permission is hereby granted, free of charge, to any person obtaining a
9 * copy of this software and associated documentation files (the "Software"),
10 * to deal in the Software without restriction, including without limitation
11 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
12 * and/or sell copies of the Software, and to permit persons to whom the
13 * Software is furnished to do so, subject to the following conditions:
15 * The above copyright notice and this permission notice shall be included
16 * in all copies or substantial portions of the Software.
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
19 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
22 * OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
23 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
24 * OTHER DEALINGS IN THE SOFTWARE.
29 #include "main/core.h"
30 #include "main/context.h"
32 #include "ir_uniform.h"
33 #include "program/hash_table.h"
34 #include "../glsl/program.h"
35 #include "../glsl/ir_uniform.h"
36 #include "../glsl/glsl_parser_extras.h"
37 #include "main/shaderapi.h"
38 #include "main/shaderobj.h"
42 extern "C" void GLAPIENTRY
43 _mesa_GetActiveUniform(GLuint program
, GLuint index
,
44 GLsizei maxLength
, GLsizei
*length
, GLint
*size
,
45 GLenum
*type
, GLcharARB
*nameOut
)
47 GET_CURRENT_CONTEXT(ctx
);
48 struct gl_shader_program
*shProg
=
49 _mesa_lookup_shader_program_err(ctx
, program
, "glGetActiveUniform");
54 if (index
>= shProg
->NumUserUniformStorage
) {
55 _mesa_error(ctx
, GL_INVALID_VALUE
, "glGetActiveUniform(index)");
59 const struct gl_uniform_storage
*const uni
= &shProg
->UniformStorage
[index
];
62 _mesa_get_uniform_name(uni
, maxLength
, length
, nameOut
);
66 /* array_elements is zero for non-arrays, but the API requires that 1 be
69 *size
= MAX2(1, uni
->array_elements
);
73 *type
= uni
->type
->gl_type
;
77 extern "C" void GLAPIENTRY
78 _mesa_GetActiveUniformsiv(GLuint program
,
80 const GLuint
*uniformIndices
,
84 GET_CURRENT_CONTEXT(ctx
);
85 struct gl_shader_program
*shProg
;
88 shProg
= _mesa_lookup_shader_program_err(ctx
, program
, "glGetActiveUniform");
92 if (uniformCount
< 0) {
93 _mesa_error(ctx
, GL_INVALID_VALUE
,
94 "glGetActiveUniformsiv(uniformCount < 0)");
98 for (i
= 0; i
< uniformCount
; i
++) {
99 GLuint index
= uniformIndices
[i
];
101 if (index
>= shProg
->NumUserUniformStorage
) {
102 _mesa_error(ctx
, GL_INVALID_VALUE
, "glGetActiveUniformsiv(index)");
107 for (i
= 0; i
< uniformCount
; i
++) {
108 GLuint index
= uniformIndices
[i
];
109 const struct gl_uniform_storage
*uni
= &shProg
->UniformStorage
[index
];
112 case GL_UNIFORM_TYPE
:
113 params
[i
] = uni
->type
->gl_type
;
116 case GL_UNIFORM_SIZE
:
117 /* array_elements is zero for non-arrays, but the API requires that 1 be
120 params
[i
] = MAX2(1, uni
->array_elements
);
123 case GL_UNIFORM_NAME_LENGTH
:
124 params
[i
] = strlen(uni
->name
) + 1;
126 /* Page 61 (page 73 of the PDF) in section 2.11 of the OpenGL ES 3.0
129 * "If the active uniform is an array, the uniform name returned
130 * in name will always be the name of the uniform array appended
133 if (uni
->array_elements
!= 0)
137 case GL_UNIFORM_BLOCK_INDEX
:
138 params
[i
] = uni
->block_index
;
141 case GL_UNIFORM_OFFSET
:
142 params
[i
] = uni
->offset
;
145 case GL_UNIFORM_ARRAY_STRIDE
:
146 params
[i
] = uni
->array_stride
;
149 case GL_UNIFORM_MATRIX_STRIDE
:
150 params
[i
] = uni
->matrix_stride
;
153 case GL_UNIFORM_IS_ROW_MAJOR
:
154 params
[i
] = uni
->row_major
;
157 case GL_UNIFORM_ATOMIC_COUNTER_BUFFER_INDEX
:
158 if (!ctx
->Extensions
.ARB_shader_atomic_counters
)
160 params
[i
] = uni
->atomic_buffer_index
;
171 _mesa_error(ctx
, GL_INVALID_ENUM
, "glGetActiveUniformsiv(pname)");
174 static struct gl_uniform_storage
*
175 validate_uniform_parameters(struct gl_context
*ctx
,
176 struct gl_shader_program
*shProg
,
177 GLint location
, GLsizei count
,
178 unsigned *array_index
,
180 bool negative_one_is_not_valid
)
182 if (!shProg
|| !shProg
->LinkStatus
) {
183 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(program not linked)", caller
);
187 if (location
== -1) {
188 /* For glGetUniform, page 264 (page 278 of the PDF) of the OpenGL 2.1
191 * "The error INVALID_OPERATION is generated if program has not been
192 * linked successfully, or if location is not a valid location for
195 * For glUniform, page 82 (page 96 of the PDF) of the OpenGL 2.1 spec
198 * "If the value of location is -1, the Uniform* commands will
199 * silently ignore the data passed in, and the current uniform
200 * values will not be changed."
202 * Allowing -1 for the location parameter of glUniform allows
203 * applications to avoid error paths in the case that, for example, some
204 * uniform variable is removed by the compiler / linker after
205 * optimization. In this case, the new value of the uniform is dropped
206 * on the floor. For the case of glGetUniform, there is nothing
207 * sensible to do for a location of -1.
209 * The negative_one_is_not_valid flag selects between the two behaviors.
211 if (negative_one_is_not_valid
) {
212 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(location=%d)",
219 /* From page 12 (page 26 of the PDF) of the OpenGL 2.1 spec:
221 * "If a negative number is provided where an argument of type sizei or
222 * sizeiptr is specified, the error INVALID_VALUE is generated."
225 _mesa_error(ctx
, GL_INVALID_VALUE
, "%s(count < 0)", caller
);
229 /* Page 82 (page 96 of the PDF) of the OpenGL 2.1 spec says:
231 * "If any of the following conditions occur, an INVALID_OPERATION
232 * error is generated by the Uniform* commands, and no uniform values
237 * - if no variable with a location of location exists in the
238 * program object currently in use and location is not -1,
239 * - if count is greater than one, and the uniform declared in the
240 * shader is not an array variable,
243 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(location=%d)",
248 /* Check that the given location is in bounds of uniform remap table. */
249 if (location
>= (GLint
) shProg
->NumUniformRemapTable
) {
250 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(location=%d)",
255 /* If the driver storage pointer in remap table is -1, we ignore silently.
257 * GL_ARB_explicit_uniform_location spec says:
258 * "What happens if Uniform* is called with an explicitly defined
259 * uniform location, but that uniform is deemed inactive by the
262 * RESOLVED: The call is ignored for inactive uniform variables and
263 * no error is generated."
266 if (shProg
->UniformRemapTable
[location
] ==
267 INACTIVE_UNIFORM_EXPLICIT_LOCATION
)
271 _mesa_uniform_split_location_offset(shProg
, location
, &loc
, array_index
);
272 struct gl_uniform_storage
*const uni
= &shProg
->UniformStorage
[loc
];
274 if (uni
->array_elements
== 0 && count
> 1) {
275 _mesa_error(ctx
, GL_INVALID_OPERATION
,
276 "%s(count > 1 for non-array, location=%d)",
281 /* If the uniform is an array, check that array_index is in bounds.
282 * If not an array, check that array_index is zero.
283 * array_index is unsigned so no need to check for less than zero.
285 const unsigned limit
= MAX2(uni
->array_elements
, 1);
286 if (*array_index
>= limit
) {
287 _mesa_error(ctx
, GL_INVALID_OPERATION
, "%s(location=%d)",
295 * Called via glGetUniform[fiui]v() to get the current value of a uniform.
298 _mesa_get_uniform(struct gl_context
*ctx
, GLuint program
, GLint location
,
299 GLsizei bufSize
, enum glsl_base_type returnType
,
302 struct gl_shader_program
*shProg
=
303 _mesa_lookup_shader_program_err(ctx
, program
, "glGetUniformfv");
306 struct gl_uniform_storage
*const uni
=
307 validate_uniform_parameters(ctx
, shProg
, location
, 1,
308 &offset
, "glGetUniform", true);
313 unsigned elements
= (uni
->type
->is_sampler())
314 ? 1 : uni
->type
->components();
316 /* Calculate the source base address *BEFORE* modifying elements to
317 * account for the size of the user's buffer.
319 const union gl_constant_value
*const src
=
320 &uni
->storage
[offset
* elements
];
322 assert(returnType
== GLSL_TYPE_FLOAT
|| returnType
== GLSL_TYPE_INT
||
323 returnType
== GLSL_TYPE_UINT
);
324 /* The three (currently) supported types all have the same size,
325 * which is of course the same as their union. That'll change
326 * with glGetUniformdv()...
328 unsigned bytes
= sizeof(src
[0]) * elements
;
329 if (bufSize
< 0 || bytes
> (unsigned) bufSize
) {
330 _mesa_error( ctx
, GL_INVALID_OPERATION
,
331 "glGetnUniform*vARB(out of bounds: bufSize is %d,"
332 " but %u bytes are required)", bufSize
, bytes
);
336 /* If the return type and the uniform's native type are "compatible,"
337 * just memcpy the data. If the types are not compatible, perform a
338 * slower convert-and-copy process.
340 if (returnType
== uni
->type
->base_type
341 || ((returnType
== GLSL_TYPE_INT
342 || returnType
== GLSL_TYPE_UINT
343 || returnType
== GLSL_TYPE_SAMPLER
)
345 (uni
->type
->base_type
== GLSL_TYPE_INT
346 || uni
->type
->base_type
== GLSL_TYPE_UINT
347 || uni
->type
->base_type
== GLSL_TYPE_SAMPLER
))) {
348 memcpy(paramsOut
, src
, bytes
);
350 union gl_constant_value
*const dst
=
351 (union gl_constant_value
*) paramsOut
;
353 /* This code could be optimized by putting the loop inside the switch
354 * statements. However, this is not expected to be
355 * performance-critical code.
357 for (unsigned i
= 0; i
< elements
; i
++) {
358 switch (returnType
) {
359 case GLSL_TYPE_FLOAT
:
360 switch (uni
->type
->base_type
) {
362 dst
[i
].f
= (float) src
[i
].u
;
365 case GLSL_TYPE_SAMPLER
:
366 dst
[i
].f
= (float) src
[i
].i
;
369 dst
[i
].f
= src
[i
].i
? 1.0f
: 0.0f
;
372 assert(!"Should not get here.");
379 switch (uni
->type
->base_type
) {
380 case GLSL_TYPE_FLOAT
:
381 /* While the GL 3.2 core spec doesn't explicitly
382 * state how conversion of float uniforms to integer
383 * values works, in section 6.2 "State Tables" on
386 * "Unless otherwise specified, when floating
387 * point state is returned as integer values or
388 * integer state is returned as floating-point
389 * values it is converted in the fashion
390 * described in section 6.1.2"
392 * That section, on page 248, says:
394 * "If GetIntegerv or GetInteger64v are called,
395 * a floating-point value is rounded to the
396 * nearest integer..."
398 dst
[i
].i
= IROUND(src
[i
].f
);
401 dst
[i
].i
= src
[i
].i
? 1 : 0;
404 assert(!"Should not get here.");
410 assert(!"Should not get here.");
419 log_uniform(const void *values
, enum glsl_base_type basicType
,
420 unsigned rows
, unsigned cols
, unsigned count
,
422 const struct gl_shader_program
*shProg
,
424 const struct gl_uniform_storage
*uni
)
427 const union gl_constant_value
*v
= (const union gl_constant_value
*) values
;
428 const unsigned elems
= rows
* cols
* count
;
429 const char *const extra
= (cols
== 1) ? "uniform" : "uniform matrix";
431 printf("Mesa: set program %u %s \"%s\" (loc %d, type \"%s\", "
432 "transpose = %s) to: ",
433 shProg
->Name
, extra
, uni
->name
, location
, uni
->type
->name
,
434 transpose
? "true" : "false");
435 for (unsigned i
= 0; i
< elems
; i
++) {
436 if (i
!= 0 && ((i
% rows
) == 0))
441 printf("%u ", v
[i
].u
);
444 printf("%d ", v
[i
].i
);
446 case GLSL_TYPE_FLOAT
:
447 printf("%g ", v
[i
].f
);
450 assert(!"Should not get here.");
460 log_program_parameters(const struct gl_shader_program
*shProg
)
462 for (unsigned i
= 0; i
< MESA_SHADER_STAGES
; i
++) {
463 if (shProg
->_LinkedShaders
[i
] == NULL
)
466 const struct gl_program
*const prog
= shProg
->_LinkedShaders
[i
]->Program
;
468 printf("Program %d %s shader parameters:\n",
469 shProg
->Name
, _mesa_shader_stage_to_string(i
));
470 for (unsigned j
= 0; j
< prog
->Parameters
->NumParameters
; j
++) {
471 printf("%s: %p %f %f %f %f\n",
472 prog
->Parameters
->Parameters
[j
].Name
,
473 prog
->Parameters
->ParameterValues
[j
],
474 prog
->Parameters
->ParameterValues
[j
][0].f
,
475 prog
->Parameters
->ParameterValues
[j
][1].f
,
476 prog
->Parameters
->ParameterValues
[j
][2].f
,
477 prog
->Parameters
->ParameterValues
[j
][3].f
);
485 * Propagate some values from uniform backing storage to driver storage
487 * Values propagated from uniform backing storage to driver storage
488 * have all format / type conversions previously requested by the
489 * driver applied. This function is most often called by the
490 * implementations of \c glUniform1f, etc. and \c glUniformMatrix2f,
493 * \param uni Uniform whose data is to be propagated to driver storage
494 * \param array_index If \c uni is an array, this is the element of
495 * the array to be propagated.
496 * \param count Number of array elements to propagate.
499 _mesa_propagate_uniforms_to_driver_storage(struct gl_uniform_storage
*uni
,
500 unsigned array_index
,
505 /* vector_elements and matrix_columns can be 0 for samplers.
507 const unsigned components
= MAX2(1, uni
->type
->vector_elements
);
508 const unsigned vectors
= MAX2(1, uni
->type
->matrix_columns
);
510 /* Store the data in the driver's requested type in the driver's storage
513 unsigned src_vector_byte_stride
= components
* 4;
515 for (i
= 0; i
< uni
->num_driver_storage
; i
++) {
516 struct gl_uniform_driver_storage
*const store
= &uni
->driver_storage
[i
];
517 uint8_t *dst
= (uint8_t *) store
->data
;
518 const unsigned extra_stride
=
519 store
->element_stride
- (vectors
* store
->vector_stride
);
521 (uint8_t *) (&uni
->storage
[array_index
* (components
* vectors
)].i
);
524 printf("%s: %p[%d] components=%u vectors=%u count=%u vector_stride=%u "
526 __func__
, dst
, array_index
, components
,
527 vectors
, count
, store
->vector_stride
, extra_stride
);
530 dst
+= array_index
* store
->element_stride
;
532 switch (store
->format
) {
534 case uniform_bool_int_0_1
: {
538 for (j
= 0; j
< count
; j
++) {
539 for (v
= 0; v
< vectors
; v
++) {
540 memcpy(dst
, src
, src_vector_byte_stride
);
541 src
+= src_vector_byte_stride
;
542 dst
+= store
->vector_stride
;
550 case uniform_int_float
:
551 case uniform_bool_float
: {
552 const int *isrc
= (const int *) src
;
557 for (j
= 0; j
< count
; j
++) {
558 for (v
= 0; v
< vectors
; v
++) {
559 for (c
= 0; c
< components
; c
++) {
560 ((float *) dst
)[c
] = (float) *isrc
;
564 dst
+= store
->vector_stride
;
572 case uniform_bool_int_0_not0
: {
573 const int *isrc
= (const int *) src
;
578 for (j
= 0; j
< count
; j
++) {
579 for (v
= 0; v
< vectors
; v
++) {
580 for (c
= 0; c
< components
; c
++) {
581 ((int *) dst
)[c
] = *isrc
== 0 ? 0 : ~0;
585 dst
+= store
->vector_stride
;
594 assert(!"Should not get here.");
601 * Called via glUniform*() functions.
604 _mesa_uniform(struct gl_context
*ctx
, struct gl_shader_program
*shProg
,
605 GLint location
, GLsizei count
,
606 const GLvoid
*values
, GLenum type
)
610 unsigned src_components
;
611 enum glsl_base_type basicType
;
613 struct gl_uniform_storage
*const uni
=
614 validate_uniform_parameters(ctx
, shProg
, location
, count
,
615 &offset
, "glUniform", false);
619 /* Verify that the types are compatible.
623 basicType
= GLSL_TYPE_FLOAT
;
627 basicType
= GLSL_TYPE_FLOAT
;
631 basicType
= GLSL_TYPE_FLOAT
;
635 basicType
= GLSL_TYPE_FLOAT
;
638 case GL_UNSIGNED_INT
:
639 basicType
= GLSL_TYPE_UINT
;
642 case GL_UNSIGNED_INT_VEC2
:
643 basicType
= GLSL_TYPE_UINT
;
646 case GL_UNSIGNED_INT_VEC3
:
647 basicType
= GLSL_TYPE_UINT
;
650 case GL_UNSIGNED_INT_VEC4
:
651 basicType
= GLSL_TYPE_UINT
;
655 basicType
= GLSL_TYPE_INT
;
659 basicType
= GLSL_TYPE_INT
;
663 basicType
= GLSL_TYPE_INT
;
667 basicType
= GLSL_TYPE_INT
;
675 case GL_FLOAT_MAT2x3
:
676 case GL_FLOAT_MAT2x4
:
677 case GL_FLOAT_MAT3x2
:
679 case GL_FLOAT_MAT3x4
:
680 case GL_FLOAT_MAT4x2
:
681 case GL_FLOAT_MAT4x3
:
684 _mesa_problem(NULL
, "Invalid type in %s", __func__
);
688 if (uni
->type
->is_sampler()) {
691 components
= uni
->type
->vector_elements
;
695 switch (uni
->type
->base_type
) {
699 case GLSL_TYPE_SAMPLER
:
700 case GLSL_TYPE_IMAGE
:
701 match
= (basicType
== GLSL_TYPE_INT
);
704 match
= (basicType
== uni
->type
->base_type
);
708 if (uni
->type
->is_matrix() || components
!= src_components
|| !match
) {
709 _mesa_error(ctx
, GL_INVALID_OPERATION
, "glUniform(type mismatch)");
713 if (ctx
->_Shader
->Flags
& GLSL_UNIFORMS
) {
714 log_uniform(values
, basicType
, components
, 1, count
,
715 false, shProg
, location
, uni
);
718 /* Page 100 (page 116 of the PDF) of the OpenGL 3.0 spec says:
720 * "Setting a sampler's value to i selects texture image unit number
721 * i. The values of i range from zero to the implementation- dependent
722 * maximum supported number of texture image units."
724 * In addition, table 2.3, "Summary of GL errors," on page 17 (page 33 of
727 * "Error Description Offending command
730 * INVALID_VALUE Numeric argument out of range Yes"
732 * Based on that, when an invalid sampler is specified, we generate a
733 * GL_INVALID_VALUE error and ignore the command.
735 if (uni
->type
->is_sampler()) {
738 for (i
= 0; i
< count
; i
++) {
739 const unsigned texUnit
= ((unsigned *) values
)[i
];
741 /* check that the sampler (tex unit index) is legal */
742 if (texUnit
>= ctx
->Const
.MaxCombinedTextureImageUnits
) {
743 _mesa_error(ctx
, GL_INVALID_VALUE
,
744 "glUniform1i(invalid sampler/tex unit index for "
752 if (uni
->type
->is_image()) {
755 for (i
= 0; i
< count
; i
++) {
756 const int unit
= ((GLint
*) values
)[i
];
758 /* check that the image unit is legal */
759 if (unit
< 0 || unit
>= (int)ctx
->Const
.MaxImageUnits
) {
760 _mesa_error(ctx
, GL_INVALID_VALUE
,
761 "glUniform1i(invalid image unit index for uniform %d)",
768 /* Page 82 (page 96 of the PDF) of the OpenGL 2.1 spec says:
770 * "When loading N elements starting at an arbitrary position k in a
771 * uniform declared as an array, elements k through k + N - 1 in the
772 * array will be replaced with the new values. Values for any array
773 * element that exceeds the highest array element index used, as
774 * reported by GetActiveUniform, will be ignored by the GL."
776 * Clamp 'count' to a valid value. Note that for non-arrays a count > 1
777 * will have already generated an error.
779 if (uni
->array_elements
!= 0) {
780 count
= MIN2(count
, (int) (uni
->array_elements
- offset
));
783 FLUSH_VERTICES(ctx
, _NEW_PROGRAM_CONSTANTS
);
785 /* Store the data in the "actual type" backing storage for the uniform.
787 if (!uni
->type
->is_boolean()) {
788 memcpy(&uni
->storage
[components
* offset
], values
,
789 sizeof(uni
->storage
[0]) * components
* count
);
791 const union gl_constant_value
*src
=
792 (const union gl_constant_value
*) values
;
793 union gl_constant_value
*dst
= &uni
->storage
[components
* offset
];
794 const unsigned elems
= components
* count
;
797 for (i
= 0; i
< elems
; i
++) {
798 if (basicType
== GLSL_TYPE_FLOAT
) {
799 dst
[i
].i
= src
[i
].f
!= 0.0f
? 1 : 0;
801 dst
[i
].i
= src
[i
].i
!= 0 ? 1 : 0;
806 uni
->initialized
= true;
808 _mesa_propagate_uniforms_to_driver_storage(uni
, offset
, count
);
810 /* If the uniform is a sampler, do the extra magic necessary to propagate
811 * the changes through.
813 if (uni
->type
->is_sampler()) {
816 bool flushed
= false;
817 for (i
= 0; i
< MESA_SHADER_STAGES
; i
++) {
818 struct gl_shader
*const sh
= shProg
->_LinkedShaders
[i
];
821 /* If the shader stage doesn't use the sampler uniform, skip this.
823 if (sh
== NULL
|| !uni
->sampler
[i
].active
)
826 for (j
= 0; j
< count
; j
++) {
827 sh
->SamplerUnits
[uni
->sampler
[i
].index
+ offset
+ j
] =
828 ((unsigned *) values
)[j
];
831 struct gl_program
*const prog
= sh
->Program
;
833 assert(sizeof(prog
->SamplerUnits
) == sizeof(sh
->SamplerUnits
));
835 /* Determine if any of the samplers used by this shader stage have
838 bool changed
= false;
839 for (unsigned j
= 0; j
< Elements(prog
->SamplerUnits
); j
++) {
840 if ((sh
->active_samplers
& (1U << j
)) != 0
841 && (prog
->SamplerUnits
[j
] != sh
->SamplerUnits
[j
])) {
849 FLUSH_VERTICES(ctx
, _NEW_TEXTURE
| _NEW_PROGRAM
);
853 memcpy(prog
->SamplerUnits
,
855 sizeof(sh
->SamplerUnits
));
857 _mesa_update_shader_textures_used(shProg
, prog
);
858 if (ctx
->Driver
.SamplerUniformChange
)
859 ctx
->Driver
.SamplerUniformChange(ctx
, prog
->Target
, prog
);
864 /* If the uniform is an image, update the mapping from image
865 * uniforms to image units present in the shader data structure.
867 if (uni
->type
->is_image()) {
870 for (i
= 0; i
< MESA_SHADER_STAGES
; i
++) {
871 if (uni
->image
[i
].active
) {
872 struct gl_shader
*sh
= shProg
->_LinkedShaders
[i
];
874 for (j
= 0; j
< count
; j
++)
875 sh
->ImageUnits
[uni
->image
[i
].index
+ offset
+ j
] =
876 ((GLint
*) values
)[j
];
880 ctx
->NewDriverState
|= ctx
->DriverFlags
.NewImageUnits
;
885 * Called by glUniformMatrix*() functions.
886 * Note: cols=2, rows=4 ==> array[2] of vec4
889 _mesa_uniform_matrix(struct gl_context
*ctx
, struct gl_shader_program
*shProg
,
890 GLuint cols
, GLuint rows
,
891 GLint location
, GLsizei count
,
892 GLboolean transpose
, const GLfloat
*values
)
899 struct gl_uniform_storage
*const uni
=
900 validate_uniform_parameters(ctx
, shProg
, location
, count
,
901 &offset
, "glUniformMatrix", false);
905 if (!uni
->type
->is_matrix()) {
906 _mesa_error(ctx
, GL_INVALID_OPERATION
,
907 "glUniformMatrix(non-matrix uniform)");
911 assert(!uni
->type
->is_sampler());
912 vectors
= uni
->type
->matrix_columns
;
913 components
= uni
->type
->vector_elements
;
915 /* Verify that the types are compatible. This is greatly simplified for
916 * matrices because they can only have a float base type.
918 if (vectors
!= cols
|| components
!= rows
) {
919 _mesa_error(ctx
, GL_INVALID_OPERATION
,
920 "glUniformMatrix(matrix size mismatch)");
924 /* GL_INVALID_VALUE is generated if `transpose' is not GL_FALSE.
925 * http://www.khronos.org/opengles/sdk/docs/man/xhtml/glUniform.xml */
926 if (ctx
->API
== API_OPENGLES
927 || (ctx
->API
== API_OPENGLES2
&& ctx
->Version
< 30)) {
929 _mesa_error(ctx
, GL_INVALID_VALUE
,
930 "glUniformMatrix(matrix transpose is not GL_FALSE)");
935 if (ctx
->_Shader
->Flags
& GLSL_UNIFORMS
) {
936 log_uniform(values
, GLSL_TYPE_FLOAT
, components
, vectors
, count
,
937 bool(transpose
), shProg
, location
, uni
);
940 /* Page 82 (page 96 of the PDF) of the OpenGL 2.1 spec says:
942 * "When loading N elements starting at an arbitrary position k in a
943 * uniform declared as an array, elements k through k + N - 1 in the
944 * array will be replaced with the new values. Values for any array
945 * element that exceeds the highest array element index used, as
946 * reported by GetActiveUniform, will be ignored by the GL."
948 * Clamp 'count' to a valid value. Note that for non-arrays a count > 1
949 * will have already generated an error.
951 if (uni
->array_elements
!= 0) {
952 count
= MIN2(count
, (int) (uni
->array_elements
- offset
));
955 FLUSH_VERTICES(ctx
, _NEW_PROGRAM_CONSTANTS
);
957 /* Store the data in the "actual type" backing storage for the uniform.
959 elements
= components
* vectors
;
962 memcpy(&uni
->storage
[elements
* offset
], values
,
963 sizeof(uni
->storage
[0]) * elements
* count
);
965 /* Copy and transpose the matrix.
967 const float *src
= values
;
968 float *dst
= &uni
->storage
[elements
* offset
].f
;
970 for (int i
= 0; i
< count
; i
++) {
971 for (unsigned r
= 0; r
< rows
; r
++) {
972 for (unsigned c
= 0; c
< cols
; c
++) {
973 dst
[(c
* components
) + r
] = src
[c
+ (r
* vectors
)];
982 uni
->initialized
= true;
984 _mesa_propagate_uniforms_to_driver_storage(uni
, offset
, count
);
989 * Called via glGetUniformLocation().
991 * Returns the uniform index into UniformStorage (also the
992 * glGetActiveUniformsiv uniform index), and stores the referenced
993 * array offset in *offset, or GL_INVALID_INDEX (-1). Those two
994 * return values can be encoded into a uniform location for
995 * glUniform* using _mesa_uniform_merge_location_offset(index, offset).
998 _mesa_get_uniform_location(struct gl_context
*ctx
,
999 struct gl_shader_program
*shProg
,
1001 unsigned *out_offset
)
1003 /* Page 80 (page 94 of the PDF) of the OpenGL 2.1 spec says:
1005 * "The first element of a uniform array is identified using the
1006 * name of the uniform array appended with "[0]". Except if the last
1007 * part of the string name indicates a uniform array, then the
1008 * location of the first element of that array can be retrieved by
1009 * either using the name of the uniform array, or the name of the
1010 * uniform array appended with "[0]"."
1012 * Note: since uniform names are not allowed to use whitespace, and array
1013 * indices within uniform names are not allowed to use "+", "-", or leading
1014 * zeros, it follows that each uniform has a unique name up to the possible
1015 * ambiguity with "[0]" noted above. Therefore we don't need to worry
1016 * about mal-formed inputs--they will properly fail when we try to look up
1017 * the uniform name in shProg->UniformHash.
1020 const GLchar
*base_name_end
;
1021 long offset
= parse_program_resource_name(name
, &base_name_end
);
1022 bool array_lookup
= offset
>= 0;
1026 name_copy
= (char *) malloc(base_name_end
- name
+ 1);
1027 memcpy(name_copy
, name
, base_name_end
- name
);
1028 name_copy
[base_name_end
- name
] = '\0';
1030 name_copy
= (char *) name
;
1034 unsigned location
= 0;
1035 const bool found
= shProg
->UniformHash
->get(location
, name_copy
);
1038 || strcmp(name_copy
, shProg
->UniformStorage
[location
].name
) == 0);
1040 /* Free the temporary buffer *before* possibly returning an error.
1042 if (name_copy
!= name
)
1046 return GL_INVALID_INDEX
;
1048 /* If the uniform is an array, fail if the index is out of bounds.
1049 * (A negative index is caught above.) This also fails if the uniform
1050 * is not an array, but the user is trying to index it, because
1051 * array_elements is zero and offset >= 0.
1054 && offset
>= (long) shProg
->UniformStorage
[location
].array_elements
) {
1055 return GL_INVALID_INDEX
;
1058 *out_offset
= offset
;
1063 _mesa_sampler_uniforms_are_valid(const struct gl_shader_program
*shProg
,
1064 char *errMsg
, size_t errMsgLength
)
1066 const glsl_type
*unit_types
[MAX_COMBINED_TEXTURE_IMAGE_UNITS
];
1068 memset(unit_types
, 0, sizeof(unit_types
));
1070 for (unsigned i
= 0; i
< shProg
->NumUserUniformStorage
; i
++) {
1071 const struct gl_uniform_storage
*const storage
=
1072 &shProg
->UniformStorage
[i
];
1073 const glsl_type
*const t
= (storage
->type
->is_array())
1074 ? storage
->type
->fields
.array
: storage
->type
;
1076 if (!t
->is_sampler())
1079 const unsigned count
= MAX2(1, storage
->type
->array_size());
1080 for (unsigned j
= 0; j
< count
; j
++) {
1081 const unsigned unit
= storage
->storage
[j
].i
;
1083 /* The types of the samplers associated with a particular texture
1084 * unit must be an exact match. Page 74 (page 89 of the PDF) of the
1085 * OpenGL 3.3 core spec says:
1087 * "It is not allowed to have variables of different sampler
1088 * types pointing to the same texture image unit within a program
1091 if (unit_types
[unit
] == NULL
) {
1092 unit_types
[unit
] = t
;
1093 } else if (unit_types
[unit
] != t
) {
1094 _mesa_snprintf(errMsg
, errMsgLength
,
1095 "Texture unit %d is accessed both as %s and %s",
1096 unit
, unit_types
[unit
]->name
, t
->name
);
1106 _mesa_sampler_uniforms_pipeline_are_valid(struct gl_pipeline_object
*pipeline
)
1108 /* Section 2.11.11 (Shader Execution), subheading "Validation," of the
1109 * OpenGL 4.1 spec says:
1111 * "[INVALID_OPERATION] is generated by any command that transfers
1112 * vertices to the GL if:
1116 * - Any two active samplers in the current program object are of
1117 * different types, but refer to the same texture image unit.
1119 * - The number of active samplers in the program exceeds the
1120 * maximum number of texture image units allowed."
1122 unsigned active_samplers
= 0;
1123 const struct gl_shader_program
**shProg
=
1124 (const struct gl_shader_program
**) pipeline
->CurrentProgram
;
1126 const glsl_type
*unit_types
[MAX_COMBINED_TEXTURE_IMAGE_UNITS
];
1127 memset(unit_types
, 0, sizeof(unit_types
));
1129 for (unsigned idx
= 0; idx
< ARRAY_SIZE(pipeline
->CurrentProgram
); idx
++) {
1133 for (unsigned i
= 0; i
< shProg
[idx
]->NumUserUniformStorage
; i
++) {
1134 const struct gl_uniform_storage
*const storage
=
1135 &shProg
[idx
]->UniformStorage
[i
];
1136 const glsl_type
*const t
= (storage
->type
->is_array())
1137 ? storage
->type
->fields
.array
: storage
->type
;
1139 if (!t
->is_sampler())
1144 const unsigned count
= MAX2(1, storage
->type
->array_size());
1145 for (unsigned j
= 0; j
< count
; j
++) {
1146 const unsigned unit
= storage
->storage
[j
].i
;
1148 /* The types of the samplers associated with a particular texture
1149 * unit must be an exact match. Page 74 (page 89 of the PDF) of
1150 * the OpenGL 3.3 core spec says:
1152 * "It is not allowed to have variables of different sampler
1153 * types pointing to the same texture image unit within a
1156 if (unit_types
[unit
] == NULL
) {
1157 unit_types
[unit
] = t
;
1158 } else if (unit_types
[unit
] != t
) {
1160 ralloc_asprintf(pipeline
,
1161 "Texture unit %d is accessed both as %s "
1163 unit
, unit_types
[unit
]->name
, t
->name
);
1170 if (active_samplers
> MAX_COMBINED_TEXTURE_IMAGE_UNITS
) {
1172 ralloc_asprintf(pipeline
,
1173 "the number of active samplers %d exceed the "
1175 active_samplers
, MAX_COMBINED_TEXTURE_IMAGE_UNITS
);