be696385aaf452c561ab1927e521311196f76737
[mesa.git] / src / mesa / shader / prog_parameter.c
1 /*
2 * Mesa 3-D graphics library
3 * Version: 6.5.3
4 *
5 * Copyright (C) 1999-2007 Brian Paul All Rights Reserved.
6 *
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
13 *
14 * The above copyright notice and this permission notice shall be included
15 * in all copies or substantial portions of the Software.
16 *
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
18 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20 * BRIAN PAUL BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
21 * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
22 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
23 */
24
25 /**
26 * \file prog_parameter.c
27 * Program parameter lists and functions.
28 * \author Brian Paul
29 */
30
31
32 #include "glheader.h"
33 #include "imports.h"
34 #include "macros.h"
35 #include "prog_instruction.h"
36 #include "prog_parameter.h"
37 #include "prog_statevars.h"
38
39
40 struct gl_program_parameter_list *
41 _mesa_new_parameter_list(void)
42 {
43 return CALLOC_STRUCT(gl_program_parameter_list);
44 }
45
46
47 /**
48 * Free a parameter list and all its parameters
49 */
50 void
51 _mesa_free_parameter_list(struct gl_program_parameter_list *paramList)
52 {
53 GLuint i;
54 for (i = 0; i < paramList->NumParameters; i++) {
55 if (paramList->Parameters[i].Name)
56 _mesa_free((void *) paramList->Parameters[i].Name);
57 }
58 _mesa_free(paramList->Parameters);
59 if (paramList->ParameterValues)
60 _mesa_align_free(paramList->ParameterValues);
61 _mesa_free(paramList);
62 }
63
64
65 static GLint
66 _mesa_fit_type_in_vec4(GLenum type)
67 {
68 switch (type) {
69 case GL_FLOAT:
70 case GL_INT:
71 return 4;
72 break;
73 case GL_FLOAT_VEC2:
74 case GL_INT_VEC2:
75 return 2;
76 break;
77 case GL_FLOAT_VEC3:
78 case GL_INT_VEC3:
79 return 1;
80 break;
81 case GL_FLOAT_VEC4:
82 case GL_INT_VEC4:
83 default:
84 return 1;
85 }
86 }
87
88 /**
89 * Add a new parameter to a parameter list.
90 * Note that parameter values are usually 4-element GLfloat vectors.
91 * When size > 4 we'll allocate a sequential block of parameters to
92 * store all the values (in blocks of 4).
93 *
94 * \param paramList the list to add the parameter to
95 * \param type type of parameter, such as
96 * \param name the parameter name, will be duplicated/copied!
97 * \param size number of elements in 'values' vector (1..4, or more)
98 * \param values initial parameter value, up to 4 GLfloats, or NULL
99 * \param state state indexes, or NULL
100 * \return index of new parameter in the list, or -1 if error (out of mem)
101 */
102 GLint
103 _mesa_add_parameter(struct gl_program_parameter_list *paramList,
104 enum register_file type, const char *name,
105 GLuint size, GLenum datatype, const GLfloat *values,
106 const gl_state_index state[STATE_LENGTH])
107 {
108 const GLuint oldNum = paramList->NumParameters;
109 const GLuint sz4 = (size + 3) / 4; /* no. of new param slots needed */
110
111 assert(size > 0);
112
113 if (oldNum + sz4 > paramList->Size) {
114 /* Need to grow the parameter list array (alloc some extra) */
115 paramList->Size = paramList->Size + 4 * sz4;
116
117 /* realloc arrays */
118 paramList->Parameters = (struct gl_program_parameter *)
119 _mesa_realloc(paramList->Parameters,
120 oldNum * sizeof(struct gl_program_parameter),
121 paramList->Size * sizeof(struct gl_program_parameter));
122
123 paramList->ParameterValues = (GLfloat (*)[4])
124 _mesa_align_realloc(paramList->ParameterValues, /* old buf */
125 oldNum * 4 * sizeof(GLfloat), /* old size */
126 paramList->Size * 4 *sizeof(GLfloat), /* new sz */
127 16);
128 }
129
130 if (!paramList->Parameters ||
131 !paramList->ParameterValues) {
132 /* out of memory */
133 paramList->NumParameters = 0;
134 paramList->Size = 0;
135 return -1;
136 }
137 else {
138 GLuint i;
139
140 paramList->NumParameters = oldNum + sz4;
141
142 _mesa_memset(&paramList->Parameters[oldNum], 0,
143 sz4 * sizeof(struct gl_program_parameter));
144
145 for (i = 0; i < sz4; i++) {
146 struct gl_program_parameter *p = paramList->Parameters + oldNum + i;
147 p->Name = name ? _mesa_strdup(name) : NULL;
148 p->Type = type;
149 p->Size = size;
150 p->DataType = datatype;
151 if (values) {
152 COPY_4V(paramList->ParameterValues[oldNum + i], values);
153 values += 4;
154 }
155 else {
156 /* silence valgrind */
157 ASSIGN_4V(paramList->ParameterValues[oldNum + i], 0, 0, 0, 0);
158 }
159 size -= 4;
160 }
161
162 if (state) {
163 for (i = 0; i < STATE_LENGTH; i++)
164 paramList->Parameters[oldNum].StateIndexes[i] = state[i];
165 }
166
167 return (GLint) oldNum;
168 }
169 }
170
171
172 /**
173 * Add a new named program parameter (Ex: NV_fragment_program DEFINE statement)
174 * \return index of the new entry in the parameter list
175 */
176 GLint
177 _mesa_add_named_parameter(struct gl_program_parameter_list *paramList,
178 const char *name, const GLfloat values[4])
179 {
180 return _mesa_add_parameter(paramList, PROGRAM_NAMED_PARAM, name,
181 4, GL_NONE, values, NULL);
182
183 }
184
185
186 /**
187 * Add a new named constant to the parameter list.
188 * This will be used when the program contains something like this:
189 * PARAM myVals = { 0, 1, 2, 3 };
190 *
191 * \param paramList the parameter list
192 * \param name the name for the constant
193 * \param values four float values
194 * \return index/position of the new parameter in the parameter list
195 */
196 GLint
197 _mesa_add_named_constant(struct gl_program_parameter_list *paramList,
198 const char *name, const GLfloat values[4],
199 GLuint size)
200 {
201 #if 0 /* disable this for now -- we need to save the name! */
202 GLint pos;
203 GLuint swizzle;
204 ASSERT(size == 4); /* XXX future feature */
205 /* check if we already have this constant */
206 if (_mesa_lookup_parameter_constant(paramList, values, 4, &pos, &swizzle)) {
207 return pos;
208 }
209 #endif
210 size = 4; /** XXX fix */
211 return _mesa_add_parameter(paramList, PROGRAM_CONSTANT, name,
212 size, GL_NONE, values, NULL);
213 }
214
215
216 /**
217 * Add a new unnamed constant to the parameter list. This will be used
218 * when a fragment/vertex program contains something like this:
219 * MOV r, { 0, 1, 2, 3 };
220 * We'll search the parameter list for an existing instance of the
221 * constant. If swizzleOut is non-null, we'll try swizzling when
222 * looking for a match.
223 *
224 * \param paramList the parameter list
225 * \param values four float values
226 * \param swizzleOut returns swizzle mask for accessing the constant
227 * \return index/position of the new parameter in the parameter list.
228 */
229 GLint
230 _mesa_add_unnamed_constant(struct gl_program_parameter_list *paramList,
231 const GLfloat values[4], GLuint size,
232 GLuint *swizzleOut)
233 {
234 GLint pos;
235 ASSERT(size >= 1);
236 ASSERT(size <= 4);
237
238 if (_mesa_lookup_parameter_constant(paramList, values,
239 size, &pos, swizzleOut)) {
240 return pos;
241 }
242
243 /* Look for empty space in an already unnamed constant parameter
244 * to add this constant. This will only work for single-element
245 * constants because we rely on smearing (i.e. .yyyy or .zzzz).
246 */
247 if (size == 1 && swizzleOut) {
248 for (pos = 0; pos < (GLint) paramList->NumParameters; pos++) {
249 struct gl_program_parameter *p = paramList->Parameters + pos;
250 if (p->Type == PROGRAM_CONSTANT && p->Size + size <= 4) {
251 /* ok, found room */
252 GLfloat *pVal = paramList->ParameterValues[pos];
253 GLuint swz = p->Size; /* 1, 2 or 3 for Y, Z, W */
254 pVal[p->Size] = values[0];
255 p->Size++;
256 *swizzleOut = MAKE_SWIZZLE4(swz, swz, swz, swz);
257 return pos;
258 }
259 }
260 }
261
262 /* add a new parameter to store this constant */
263 pos = _mesa_add_parameter(paramList, PROGRAM_CONSTANT, NULL,
264 size, GL_NONE, values, NULL);
265 if (pos >= 0 && swizzleOut) {
266 if (size == 1)
267 *swizzleOut = SWIZZLE_XXXX;
268 else
269 *swizzleOut = SWIZZLE_NOOP;
270 }
271 return pos;
272 }
273
274
275 /**
276 * Add a uniform to the parameter list.
277 * Note that if the uniform is an array, size may be greater than
278 * what's implied by the datatype.
279 * \param name uniform's name
280 * \param size number of floats to allocate
281 * \param datatype GL_FLOAT_VEC3, GL_FLOAT_MAT4, etc.
282 */
283 GLint
284 _mesa_add_uniform(struct gl_program_parameter_list *paramList,
285 const char *name, GLuint size, GLenum datatype)
286 {
287 GLint i = _mesa_lookup_parameter_index(paramList, -1, name);
288 ASSERT(datatype != GL_NONE);
289 if (i >= 0 && paramList->Parameters[i].Type == PROGRAM_UNIFORM) {
290 ASSERT(paramList->Parameters[i].Size == size);
291 ASSERT(paramList->Parameters[i].DataType == datatype);
292 /* already in list */
293 return i;
294 }
295 else {
296 i = _mesa_add_parameter(paramList, PROGRAM_UNIFORM, name,
297 size * _mesa_fit_type_in_vec4(datatype), datatype, NULL, NULL);
298 return i;
299 }
300 }
301
302
303 /**
304 * Add a sampler to the parameter list.
305 * \param name uniform's name
306 * \param datatype GL_SAMPLER_2D, GL_SAMPLER_2D_RECT_ARB, etc.
307 * \param index the sampler number (as seen in TEX instructions)
308 * \return sampler index (starting at zero) or -1 if error
309 */
310 GLint
311 _mesa_add_sampler(struct gl_program_parameter_list *paramList,
312 const char *name, GLenum datatype)
313 {
314 GLint i = _mesa_lookup_parameter_index(paramList, -1, name);
315 if (i >= 0 && paramList->Parameters[i].Type == PROGRAM_SAMPLER) {
316 ASSERT(paramList->Parameters[i].Size == 1);
317 ASSERT(paramList->Parameters[i].DataType == datatype);
318 /* already in list */
319 return (GLint) paramList->ParameterValues[i][0];
320 }
321 else {
322 GLuint i;
323 const GLint size = 1; /* a sampler is basically a texture unit number */
324 GLfloat value;
325 GLint numSamplers = 0;
326 for (i = 0; i < paramList->NumParameters; i++) {
327 if (paramList->Parameters[i].Type == PROGRAM_SAMPLER)
328 numSamplers++;
329 }
330 value = (GLfloat) numSamplers;
331 (void) _mesa_add_parameter(paramList, PROGRAM_SAMPLER, name,
332 size, datatype, &value, NULL);
333 return numSamplers;
334 }
335 }
336
337
338 /**
339 * Add parameter representing a varying variable.
340 */
341 GLint
342 _mesa_add_varying(struct gl_program_parameter_list *paramList,
343 const char *name, GLuint size)
344 {
345 GLint i = _mesa_lookup_parameter_index(paramList, -1, name);
346 if (i >= 0 && paramList->Parameters[i].Type == PROGRAM_VARYING) {
347 /* already in list */
348 return i;
349 }
350 else {
351 /*assert(size == 4);*/
352 i = _mesa_add_parameter(paramList, PROGRAM_VARYING, name,
353 size, GL_NONE, NULL, NULL);
354 return i;
355 }
356 }
357
358
359 /**
360 * Add parameter representing a vertex program attribute.
361 * \param size size of attribute (in floats), may be -1 if unknown
362 * \param attrib the attribute index, or -1 if unknown
363 */
364 GLint
365 _mesa_add_attribute(struct gl_program_parameter_list *paramList,
366 const char *name, GLint size, GLint attrib)
367 {
368 GLint i = _mesa_lookup_parameter_index(paramList, -1, name);
369 if (i >= 0) {
370 /* replace */
371 if (attrib < 0)
372 attrib = i;
373 paramList->Parameters[i].StateIndexes[0] = attrib;
374 }
375 else {
376 /* add */
377 gl_state_index state[STATE_LENGTH];
378 state[0] = (gl_state_index) attrib;
379 if (size < 0)
380 size = 4;
381 i = _mesa_add_parameter(paramList, PROGRAM_INPUT, name,
382 size, GL_NONE, NULL, state);
383 }
384 return i;
385 }
386
387
388
389 #if 0 /* not used yet */
390 /**
391 * Returns the number of 4-component registers needed to store a piece
392 * of GL state. For matrices this may be as many as 4 registers,
393 * everything else needs
394 * just 1 register.
395 */
396 static GLuint
397 sizeof_state_reference(const GLint *stateTokens)
398 {
399 if (stateTokens[0] == STATE_MATRIX) {
400 GLuint rows = stateTokens[4] - stateTokens[3] + 1;
401 assert(rows >= 1);
402 assert(rows <= 4);
403 return rows;
404 }
405 else {
406 return 1;
407 }
408 }
409 #endif
410
411
412 /**
413 * Add a new state reference to the parameter list.
414 * This will be used when the program contains something like this:
415 * PARAM ambient = state.material.front.ambient;
416 *
417 * \param paramList the parameter list
418 * \param stateTokens an array of 5 (STATE_LENGTH) state tokens
419 * \return index of the new parameter.
420 */
421 GLint
422 _mesa_add_state_reference(struct gl_program_parameter_list *paramList,
423 const gl_state_index stateTokens[STATE_LENGTH])
424 {
425 const GLuint size = 4; /* XXX fix */
426 const char *name;
427 GLint index;
428
429 /* Check if the state reference is already in the list */
430 for (index = 0; index < (GLint) paramList->NumParameters; index++) {
431 GLuint i, match = 0;
432 for (i = 0; i < STATE_LENGTH; i++) {
433 if (paramList->Parameters[index].StateIndexes[i] == stateTokens[i]) {
434 match++;
435 }
436 else {
437 break;
438 }
439 }
440 if (match == STATE_LENGTH) {
441 /* this state reference is already in the parameter list */
442 return index;
443 }
444 }
445
446 name = _mesa_program_state_string(stateTokens);
447 index = _mesa_add_parameter(paramList, PROGRAM_STATE_VAR, name,
448 size, GL_NONE,
449 NULL, (gl_state_index *) stateTokens);
450 paramList->StateFlags |= _mesa_program_state_flags(stateTokens);
451
452 /* free name string here since we duplicated it in add_parameter() */
453 _mesa_free((void *) name);
454
455 return index;
456 }
457
458
459 /**
460 * Lookup a parameter value by name in the given parameter list.
461 * \return pointer to the float[4] values.
462 */
463 GLfloat *
464 _mesa_lookup_parameter_value(const struct gl_program_parameter_list *paramList,
465 GLsizei nameLen, const char *name)
466 {
467 GLuint i = _mesa_lookup_parameter_index(paramList, nameLen, name);
468 if (i < 0)
469 return NULL;
470 else
471 return paramList->ParameterValues[i];
472 }
473
474
475 /**
476 * Given a program parameter name, find its position in the list of parameters.
477 * \param paramList the parameter list to search
478 * \param nameLen length of name (in chars).
479 * If length is negative, assume that name is null-terminated.
480 * \param name the name to search for
481 * \return index of parameter in the list.
482 */
483 GLint
484 _mesa_lookup_parameter_index(const struct gl_program_parameter_list *paramList,
485 GLsizei nameLen, const char *name)
486 {
487 GLint i;
488
489 if (!paramList)
490 return -1;
491
492 if (nameLen == -1) {
493 /* name is null-terminated */
494 for (i = 0; i < (GLint) paramList->NumParameters; i++) {
495 if (paramList->Parameters[i].Name &&
496 _mesa_strcmp(paramList->Parameters[i].Name, name) == 0)
497 return i;
498 }
499 }
500 else {
501 /* name is not null-terminated, use nameLen */
502 for (i = 0; i < (GLint) paramList->NumParameters; i++) {
503 if (paramList->Parameters[i].Name &&
504 _mesa_strncmp(paramList->Parameters[i].Name, name, nameLen) == 0
505 && _mesa_strlen(paramList->Parameters[i].Name) == (size_t)nameLen)
506 return i;
507 }
508 }
509 return -1;
510 }
511
512
513 /**
514 * Look for a float vector in the given parameter list. The float vector
515 * may be of length 1, 2, 3 or 4. If swizzleOut is non-null, we'll try
516 * swizzling to find a match.
517 * \param list the parameter list to search
518 * \param v the float vector to search for
519 * \param size number of element in v
520 * \param posOut returns the position of the constant, if found
521 * \param swizzleOut returns a swizzle mask describing location of the
522 * vector elements if found.
523 * \return GL_TRUE if found, GL_FALSE if not found
524 */
525 GLboolean
526 _mesa_lookup_parameter_constant(const struct gl_program_parameter_list *list,
527 const GLfloat v[], GLuint vSize,
528 GLint *posOut, GLuint *swizzleOut)
529 {
530 GLuint i;
531
532 assert(vSize >= 1);
533 assert(vSize <= 4);
534
535 if (!list)
536 return -1;
537
538 for (i = 0; i < list->NumParameters; i++) {
539 if (list->Parameters[i].Type == PROGRAM_CONSTANT) {
540 if (!swizzleOut) {
541 /* swizzle not allowed */
542 GLuint j, match = 0;
543 for (j = 0; j < vSize; j++) {
544 if (v[j] == list->ParameterValues[i][j])
545 match++;
546 }
547 if (match == vSize) {
548 *posOut = i;
549 return GL_TRUE;
550 }
551 }
552 else {
553 /* try matching w/ swizzle */
554 if (vSize == 1) {
555 /* look for v[0] anywhere within float[4] value */
556 GLuint j;
557 for (j = 0; j < 4; j++) {
558 if (list->ParameterValues[i][j] == v[0]) {
559 /* found it */
560 *posOut = i;
561 *swizzleOut = MAKE_SWIZZLE4(j, j, j, j);
562 return GL_TRUE;
563 }
564 }
565 }
566 else if (vSize <= list->Parameters[i].Size) {
567 /* see if we can match this constant (with a swizzle) */
568 GLuint swz[4];
569 GLuint match = 0, j, k;
570 for (j = 0; j < vSize; j++) {
571 if (v[j] == list->ParameterValues[i][j]) {
572 swz[j] = j;
573 match++;
574 }
575 else {
576 for (k = 0; k < list->Parameters[i].Size; k++) {
577 if (v[j] == list->ParameterValues[i][k]) {
578 swz[j] = k;
579 match++;
580 break;
581 }
582 }
583 }
584 }
585 /* smear last value to remaining positions */
586 for (; j < 4; j++)
587 swz[j] = swz[j-1];
588
589 if (match == vSize) {
590 *posOut = i;
591 *swizzleOut = MAKE_SWIZZLE4(swz[0], swz[1], swz[2], swz[3]);
592 return GL_TRUE;
593 }
594 }
595 }
596 }
597 }
598
599 *posOut = -1;
600 return GL_FALSE;
601 }
602
603
604 struct gl_program_parameter_list *
605 _mesa_clone_parameter_list(const struct gl_program_parameter_list *list)
606 {
607 struct gl_program_parameter_list *clone;
608 GLuint i;
609
610 clone = _mesa_new_parameter_list();
611 if (!clone)
612 return NULL;
613
614 /** Not too efficient, but correct */
615 for (i = 0; i < list->NumParameters; i++) {
616 struct gl_program_parameter *p = list->Parameters + i;
617 GLuint size = MIN2(p->Size, 4);
618 GLint j = _mesa_add_parameter(clone, p->Type, p->Name, size, p->DataType,
619 list->ParameterValues[i], NULL);
620 ASSERT(j >= 0);
621 /* copy state indexes */
622 if (p->Type == PROGRAM_STATE_VAR) {
623 GLint k;
624 struct gl_program_parameter *q = clone->Parameters + j;
625 for (k = 0; k < STATE_LENGTH; k++) {
626 q->StateIndexes[k] = p->StateIndexes[k];
627 }
628 }
629 else {
630 clone->Parameters[j].Size = p->Size;
631 }
632 }
633
634 clone->StateFlags = list->StateFlags;
635
636 return clone;
637 }
638
639
640 /**
641 * Return a new parameter list which is listA + listB.
642 */
643 struct gl_program_parameter_list *
644 _mesa_combine_parameter_lists(const struct gl_program_parameter_list *listA,
645 const struct gl_program_parameter_list *listB)
646 {
647 struct gl_program_parameter_list *list;
648
649 if (listA) {
650 list = _mesa_clone_parameter_list(listA);
651 if (list && listB) {
652 GLuint i;
653 for (i = 0; i < listB->NumParameters; i++) {
654 struct gl_program_parameter *param = listB->Parameters + i;
655 _mesa_add_parameter(list, param->Type, param->Name, param->Size,
656 param->DataType,
657 listB->ParameterValues[i],
658 param->StateIndexes);
659 }
660 }
661 }
662 else if (listB) {
663 list = _mesa_clone_parameter_list(listB);
664 }
665 else {
666 list = NULL;
667 }
668 return list;
669 }
670
671
672
673 /**
674 * Find longest name of all uniform parameters in list.
675 */
676 GLuint
677 _mesa_longest_parameter_name(const struct gl_program_parameter_list *list,
678 enum register_file type)
679 {
680 GLuint i, maxLen = 0;
681 if (!list)
682 return 0;
683 for (i = 0; i < list->NumParameters; i++) {
684 if (list->Parameters[i].Type == type) {
685 GLuint len = _mesa_strlen(list->Parameters[i].Name);
686 if (len > maxLen)
687 maxLen = len;
688 }
689 }
690 return maxLen;
691 }
692
693
694 /**
695 * Count the number of parameters in the last that match the given type.
696 */
697 GLuint
698 _mesa_num_parameters_of_type(const struct gl_program_parameter_list *list,
699 enum register_file type)
700 {
701 GLuint i, count = 0;
702 if (list) {
703 for (i = 0; i < list->NumParameters; i++) {
704 if (list->Parameters[i].Type == type)
705 count++;
706 }
707 }
708 return count;
709 }