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