2 * Mesa 3-D graphics library
4 * Copyright (C) 1999-2007 Brian Paul All Rights Reserved.
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * copy of this software and associated documentation files (the "Software"),
8 * to deal in the Software without restriction, including without limitation
9 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
10 * and/or sell copies of the Software, and to permit persons to whom the
11 * Software is furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included
14 * in all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
17 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
20 * OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
21 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
22 * OTHER DEALINGS IN THE SOFTWARE.
27 * Vertex and fragment program support functions.
32 #include "main/glheader.h"
33 #include "main/context.h"
34 #include "main/hash.h"
35 #include "main/macros.h"
37 #include "prog_cache.h"
38 #include "prog_parameter.h"
39 #include "prog_instruction.h"
43 * A pointer to this dummy program is put into the hash table when
44 * glGenPrograms is called.
46 struct gl_program _mesa_DummyProgram
;
50 * Init context's vertex/fragment program state
53 _mesa_init_program(struct gl_context
*ctx
)
56 * If this assertion fails, we need to increase the field
57 * size for register indexes (see INST_INDEX_BITS).
59 ASSERT(ctx
->Const
.VertexProgram
.MaxUniformComponents
/ 4
60 <= (1 << INST_INDEX_BITS
));
61 ASSERT(ctx
->Const
.FragmentProgram
.MaxUniformComponents
/ 4
62 <= (1 << INST_INDEX_BITS
));
64 ASSERT(ctx
->Const
.VertexProgram
.MaxTemps
<= (1 << INST_INDEX_BITS
));
65 ASSERT(ctx
->Const
.VertexProgram
.MaxLocalParams
<= (1 << INST_INDEX_BITS
));
66 ASSERT(ctx
->Const
.FragmentProgram
.MaxTemps
<= (1 << INST_INDEX_BITS
));
67 ASSERT(ctx
->Const
.FragmentProgram
.MaxLocalParams
<= (1 << INST_INDEX_BITS
));
69 ASSERT(ctx
->Const
.VertexProgram
.MaxUniformComponents
<= 4 * MAX_UNIFORMS
);
70 ASSERT(ctx
->Const
.FragmentProgram
.MaxUniformComponents
<= 4 * MAX_UNIFORMS
);
72 ASSERT(ctx
->Const
.VertexProgram
.MaxAddressOffset
<= (1 << INST_INDEX_BITS
));
73 ASSERT(ctx
->Const
.FragmentProgram
.MaxAddressOffset
<= (1 << INST_INDEX_BITS
));
75 /* If this fails, increase prog_instruction::TexSrcUnit size */
76 STATIC_ASSERT(MAX_TEXTURE_UNITS
<= (1 << 5));
78 /* If this fails, increase prog_instruction::TexSrcTarget size */
79 STATIC_ASSERT(NUM_TEXTURE_TARGETS
<= (1 << 4));
81 ctx
->Program
.ErrorPos
= -1;
82 ctx
->Program
.ErrorString
= _mesa_strdup("");
84 ctx
->VertexProgram
.Enabled
= GL_FALSE
;
85 ctx
->VertexProgram
.PointSizeEnabled
=
86 (ctx
->API
== API_OPENGLES2
) ? GL_TRUE
: GL_FALSE
;
87 ctx
->VertexProgram
.TwoSideEnabled
= GL_FALSE
;
88 _mesa_reference_vertprog(ctx
, &ctx
->VertexProgram
.Current
,
89 ctx
->Shared
->DefaultVertexProgram
);
90 assert(ctx
->VertexProgram
.Current
);
91 ctx
->VertexProgram
.Cache
= _mesa_new_program_cache();
93 ctx
->FragmentProgram
.Enabled
= GL_FALSE
;
94 _mesa_reference_fragprog(ctx
, &ctx
->FragmentProgram
.Current
,
95 ctx
->Shared
->DefaultFragmentProgram
);
96 assert(ctx
->FragmentProgram
.Current
);
97 ctx
->FragmentProgram
.Cache
= _mesa_new_program_cache();
99 ctx
->GeometryProgram
.Enabled
= GL_FALSE
;
100 /* right now by default we don't have a geometry program */
101 _mesa_reference_geomprog(ctx
, &ctx
->GeometryProgram
.Current
,
103 ctx
->GeometryProgram
.Cache
= _mesa_new_program_cache();
105 /* XXX probably move this stuff */
106 ctx
->ATIFragmentShader
.Enabled
= GL_FALSE
;
107 ctx
->ATIFragmentShader
.Current
= ctx
->Shared
->DefaultFragmentShader
;
108 assert(ctx
->ATIFragmentShader
.Current
);
109 ctx
->ATIFragmentShader
.Current
->RefCount
++;
114 * Free a context's vertex/fragment program state
117 _mesa_free_program_data(struct gl_context
*ctx
)
119 _mesa_reference_vertprog(ctx
, &ctx
->VertexProgram
.Current
, NULL
);
120 _mesa_delete_program_cache(ctx
, ctx
->VertexProgram
.Cache
);
121 _mesa_reference_fragprog(ctx
, &ctx
->FragmentProgram
.Current
, NULL
);
122 _mesa_delete_shader_cache(ctx
, ctx
->FragmentProgram
.Cache
);
123 _mesa_reference_geomprog(ctx
, &ctx
->GeometryProgram
.Current
, NULL
);
124 _mesa_delete_program_cache(ctx
, ctx
->GeometryProgram
.Cache
);
126 /* XXX probably move this stuff */
127 if (ctx
->ATIFragmentShader
.Current
) {
128 ctx
->ATIFragmentShader
.Current
->RefCount
--;
129 if (ctx
->ATIFragmentShader
.Current
->RefCount
<= 0) {
130 free(ctx
->ATIFragmentShader
.Current
);
134 free((void *) ctx
->Program
.ErrorString
);
139 * Update the default program objects in the given context to reference those
140 * specified in the shared state and release those referencing the old
144 _mesa_update_default_objects_program(struct gl_context
*ctx
)
146 _mesa_reference_vertprog(ctx
, &ctx
->VertexProgram
.Current
,
147 ctx
->Shared
->DefaultVertexProgram
);
148 assert(ctx
->VertexProgram
.Current
);
150 _mesa_reference_fragprog(ctx
, &ctx
->FragmentProgram
.Current
,
151 ctx
->Shared
->DefaultFragmentProgram
);
152 assert(ctx
->FragmentProgram
.Current
);
154 _mesa_reference_geomprog(ctx
, &ctx
->GeometryProgram
.Current
,
155 ctx
->Shared
->DefaultGeometryProgram
);
157 /* XXX probably move this stuff */
158 if (ctx
->ATIFragmentShader
.Current
) {
159 ctx
->ATIFragmentShader
.Current
->RefCount
--;
160 if (ctx
->ATIFragmentShader
.Current
->RefCount
<= 0) {
161 free(ctx
->ATIFragmentShader
.Current
);
164 ctx
->ATIFragmentShader
.Current
= (struct ati_fragment_shader
*) ctx
->Shared
->DefaultFragmentShader
;
165 assert(ctx
->ATIFragmentShader
.Current
);
166 ctx
->ATIFragmentShader
.Current
->RefCount
++;
171 * Set the vertex/fragment program error state (position and error string).
172 * This is generally called from within the parsers.
175 _mesa_set_program_error(struct gl_context
*ctx
, GLint pos
, const char *string
)
177 ctx
->Program
.ErrorPos
= pos
;
178 free((void *) ctx
->Program
.ErrorString
);
181 ctx
->Program
.ErrorString
= _mesa_strdup(string
);
186 * Find the line number and column for 'pos' within 'string'.
187 * Return a copy of the line which contains 'pos'. Free the line with
189 * \param string the program string
190 * \param pos the position within the string
191 * \param line returns the line number corresponding to 'pos'.
192 * \param col returns the column number corresponding to 'pos'.
193 * \return copy of the line containing 'pos'.
196 _mesa_find_line_column(const GLubyte
*string
, const GLubyte
*pos
,
197 GLint
*line
, GLint
*col
)
199 const GLubyte
*lineStart
= string
;
200 const GLubyte
*p
= string
;
207 if (*p
== (GLubyte
) '\n') {
214 *col
= (pos
- lineStart
) + 1;
216 /* return copy of this line */
217 while (*p
!= 0 && *p
!= '\n')
221 memcpy(s
, lineStart
, len
);
229 * Initialize a new vertex/fragment program object.
231 static struct gl_program
*
232 _mesa_init_program_struct( struct gl_context
*ctx
, struct gl_program
*prog
,
233 GLenum target
, GLuint id
)
238 memset(prog
, 0, sizeof(*prog
));
240 prog
->Target
= target
;
242 prog
->Format
= GL_PROGRAM_FORMAT_ASCII_ARB
;
244 /* default mapping from samplers to texture units */
245 for (i
= 0; i
< MAX_SAMPLERS
; i
++)
246 prog
->SamplerUnits
[i
] = i
;
254 * Initialize a new fragment program object.
257 _mesa_init_fragment_program( struct gl_context
*ctx
, struct gl_fragment_program
*prog
,
258 GLenum target
, GLuint id
)
261 return _mesa_init_program_struct( ctx
, &prog
->Base
, target
, id
);
268 * Initialize a new vertex program object.
271 _mesa_init_vertex_program( struct gl_context
*ctx
, struct gl_vertex_program
*prog
,
272 GLenum target
, GLuint id
)
275 return _mesa_init_program_struct( ctx
, &prog
->Base
, target
, id
);
282 * Initialize a new geometry program object.
285 _mesa_init_geometry_program( struct gl_context
*ctx
, struct gl_geometry_program
*prog
,
286 GLenum target
, GLuint id
)
289 return _mesa_init_program_struct( ctx
, &prog
->Base
, target
, id
);
296 * Allocate and initialize a new fragment/vertex program object but
297 * don't put it into the program hash table. Called via
298 * ctx->Driver.NewProgram. May be overridden (ie. replaced) by a
299 * device driver function to implement OO deriviation with additional
300 * types not understood by this function.
303 * \param id program id/number
304 * \param target program target/type
305 * \return pointer to new program object
308 _mesa_new_program(struct gl_context
*ctx
, GLenum target
, GLuint id
)
310 struct gl_program
*prog
;
312 case GL_VERTEX_PROGRAM_ARB
: /* == GL_VERTEX_PROGRAM_NV */
313 prog
= _mesa_init_vertex_program(ctx
, CALLOC_STRUCT(gl_vertex_program
),
316 case GL_FRAGMENT_PROGRAM_NV
:
317 case GL_FRAGMENT_PROGRAM_ARB
:
318 prog
=_mesa_init_fragment_program(ctx
,
319 CALLOC_STRUCT(gl_fragment_program
),
322 case MESA_GEOMETRY_PROGRAM
:
323 prog
= _mesa_init_geometry_program(ctx
,
324 CALLOC_STRUCT(gl_geometry_program
),
328 _mesa_problem(ctx
, "bad target in _mesa_new_program");
336 * Delete a program and remove it from the hash table, ignoring the
338 * Called via ctx->Driver.DeleteProgram. May be wrapped (OO deriviation)
339 * by a device driver function.
342 _mesa_delete_program(struct gl_context
*ctx
, struct gl_program
*prog
)
346 ASSERT(prog
->RefCount
==0);
348 if (prog
== &_mesa_DummyProgram
)
353 if (prog
->Instructions
) {
354 _mesa_free_instructions(prog
->Instructions
, prog
->NumInstructions
);
356 if (prog
->Parameters
) {
357 _mesa_free_parameter_list(prog
->Parameters
);
365 * Return the gl_program object for a given ID.
366 * Basically just a wrapper for _mesa_HashLookup() to avoid a lot of
370 _mesa_lookup_program(struct gl_context
*ctx
, GLuint id
)
373 return (struct gl_program
*) _mesa_HashLookup(ctx
->Shared
->Programs
, id
);
380 * Reference counting for vertex/fragment programs
381 * This is normally only called from the _mesa_reference_program() macro
382 * when there's a real pointer change.
385 _mesa_reference_program_(struct gl_context
*ctx
,
386 struct gl_program
**ptr
,
387 struct gl_program
*prog
)
393 if ((*ptr
)->Target
== GL_VERTEX_PROGRAM_ARB
)
394 ASSERT(prog
->Target
== GL_VERTEX_PROGRAM_ARB
);
395 else if ((*ptr
)->Target
== GL_FRAGMENT_PROGRAM_ARB
)
396 ASSERT(prog
->Target
== GL_FRAGMENT_PROGRAM_ARB
||
397 prog
->Target
== GL_FRAGMENT_PROGRAM_NV
);
398 else if ((*ptr
)->Target
== MESA_GEOMETRY_PROGRAM
)
399 ASSERT(prog
->Target
== MESA_GEOMETRY_PROGRAM
);
404 GLboolean deleteFlag
;
406 /*_glthread_LOCK_MUTEX((*ptr)->Mutex);*/
408 printf("Program %p ID=%u Target=%s Refcount-- to %d\n",
410 ((*ptr
)->Target
== GL_VERTEX_PROGRAM_ARB
? "VP" :
411 ((*ptr
)->Target
== MESA_GEOMETRY_PROGRAM
? "GP" : "FP")),
412 (*ptr
)->RefCount
- 1);
414 ASSERT((*ptr
)->RefCount
> 0);
417 deleteFlag
= ((*ptr
)->RefCount
== 0);
418 /*_glthread_UNLOCK_MUTEX((*ptr)->Mutex);*/
422 ctx
->Driver
.DeleteProgram(ctx
, *ptr
);
430 /*_glthread_LOCK_MUTEX(prog->Mutex);*/
433 printf("Program %p ID=%u Target=%s Refcount++ to %d\n",
435 (prog
->Target
== GL_VERTEX_PROGRAM_ARB
? "VP" :
436 (prog
->Target
== MESA_GEOMETRY_PROGRAM
? "GP" : "FP")),
439 /*_glthread_UNLOCK_MUTEX(prog->Mutex);*/
447 * Return a copy of a program.
448 * XXX Problem here if the program object is actually OO-derivation
449 * made by a device driver.
452 _mesa_clone_program(struct gl_context
*ctx
, const struct gl_program
*prog
)
454 struct gl_program
*clone
;
456 clone
= ctx
->Driver
.NewProgram(ctx
, prog
->Target
, prog
->Id
);
460 assert(clone
->Target
== prog
->Target
);
461 assert(clone
->RefCount
== 1);
463 clone
->String
= (GLubyte
*) _mesa_strdup((char *) prog
->String
);
464 clone
->Format
= prog
->Format
;
465 clone
->Instructions
= _mesa_alloc_instructions(prog
->NumInstructions
);
466 if (!clone
->Instructions
) {
467 _mesa_reference_program(ctx
, &clone
, NULL
);
470 _mesa_copy_instructions(clone
->Instructions
, prog
->Instructions
,
471 prog
->NumInstructions
);
472 clone
->InputsRead
= prog
->InputsRead
;
473 clone
->OutputsWritten
= prog
->OutputsWritten
;
474 clone
->SamplersUsed
= prog
->SamplersUsed
;
475 clone
->ShadowSamplers
= prog
->ShadowSamplers
;
476 memcpy(clone
->TexturesUsed
, prog
->TexturesUsed
, sizeof(prog
->TexturesUsed
));
478 if (prog
->Parameters
)
479 clone
->Parameters
= _mesa_clone_parameter_list(prog
->Parameters
);
480 memcpy(clone
->LocalParams
, prog
->LocalParams
, sizeof(clone
->LocalParams
));
481 clone
->IndirectRegisterFiles
= prog
->IndirectRegisterFiles
;
482 clone
->NumInstructions
= prog
->NumInstructions
;
483 clone
->NumTemporaries
= prog
->NumTemporaries
;
484 clone
->NumParameters
= prog
->NumParameters
;
485 clone
->NumAttributes
= prog
->NumAttributes
;
486 clone
->NumAddressRegs
= prog
->NumAddressRegs
;
487 clone
->NumNativeInstructions
= prog
->NumNativeInstructions
;
488 clone
->NumNativeTemporaries
= prog
->NumNativeTemporaries
;
489 clone
->NumNativeParameters
= prog
->NumNativeParameters
;
490 clone
->NumNativeAttributes
= prog
->NumNativeAttributes
;
491 clone
->NumNativeAddressRegs
= prog
->NumNativeAddressRegs
;
492 clone
->NumAluInstructions
= prog
->NumAluInstructions
;
493 clone
->NumTexInstructions
= prog
->NumTexInstructions
;
494 clone
->NumTexIndirections
= prog
->NumTexIndirections
;
495 clone
->NumNativeAluInstructions
= prog
->NumNativeAluInstructions
;
496 clone
->NumNativeTexInstructions
= prog
->NumNativeTexInstructions
;
497 clone
->NumNativeTexIndirections
= prog
->NumNativeTexIndirections
;
499 switch (prog
->Target
) {
500 case GL_VERTEX_PROGRAM_ARB
:
502 const struct gl_vertex_program
*vp
= gl_vertex_program_const(prog
);
503 struct gl_vertex_program
*vpc
= gl_vertex_program(clone
);
504 vpc
->IsPositionInvariant
= vp
->IsPositionInvariant
;
507 case GL_FRAGMENT_PROGRAM_ARB
:
509 const struct gl_fragment_program
*fp
= gl_fragment_program_const(prog
);
510 struct gl_fragment_program
*fpc
= gl_fragment_program(clone
);
511 fpc
->UsesKill
= fp
->UsesKill
;
512 fpc
->UsesDFdy
= fp
->UsesDFdy
;
513 fpc
->OriginUpperLeft
= fp
->OriginUpperLeft
;
514 fpc
->PixelCenterInteger
= fp
->PixelCenterInteger
;
517 case MESA_GEOMETRY_PROGRAM
:
519 const struct gl_geometry_program
*gp
= gl_geometry_program_const(prog
);
520 struct gl_geometry_program
*gpc
= gl_geometry_program(clone
);
521 gpc
->VerticesOut
= gp
->VerticesOut
;
522 gpc
->InputType
= gp
->InputType
;
523 gpc
->OutputType
= gp
->OutputType
;
527 _mesa_problem(NULL
, "Unexpected target in _mesa_clone_program");
535 * Insert 'count' NOP instructions at 'start' in the given program.
536 * Adjust branch targets accordingly.
539 _mesa_insert_instructions(struct gl_program
*prog
, GLuint start
, GLuint count
)
541 const GLuint origLen
= prog
->NumInstructions
;
542 const GLuint newLen
= origLen
+ count
;
543 struct prog_instruction
*newInst
;
546 /* adjust branches */
547 for (i
= 0; i
< prog
->NumInstructions
; i
++) {
548 struct prog_instruction
*inst
= prog
->Instructions
+ i
;
549 if (inst
->BranchTarget
> 0) {
550 if ((GLuint
)inst
->BranchTarget
>= start
) {
551 inst
->BranchTarget
+= count
;
556 /* Alloc storage for new instructions */
557 newInst
= _mesa_alloc_instructions(newLen
);
562 /* Copy 'start' instructions into new instruction buffer */
563 _mesa_copy_instructions(newInst
, prog
->Instructions
, start
);
565 /* init the new instructions */
566 _mesa_init_instructions(newInst
+ start
, count
);
568 /* Copy the remaining/tail instructions to new inst buffer */
569 _mesa_copy_instructions(newInst
+ start
+ count
,
570 prog
->Instructions
+ start
,
573 /* free old instructions */
574 _mesa_free_instructions(prog
->Instructions
, origLen
);
576 /* install new instructions */
577 prog
->Instructions
= newInst
;
578 prog
->NumInstructions
= newLen
;
584 * Delete 'count' instructions at 'start' in the given program.
585 * Adjust branch targets accordingly.
588 _mesa_delete_instructions(struct gl_program
*prog
, GLuint start
, GLuint count
)
590 const GLuint origLen
= prog
->NumInstructions
;
591 const GLuint newLen
= origLen
- count
;
592 struct prog_instruction
*newInst
;
595 /* adjust branches */
596 for (i
= 0; i
< prog
->NumInstructions
; i
++) {
597 struct prog_instruction
*inst
= prog
->Instructions
+ i
;
598 if (inst
->BranchTarget
> 0) {
599 if (inst
->BranchTarget
> (GLint
) start
) {
600 inst
->BranchTarget
-= count
;
605 /* Alloc storage for new instructions */
606 newInst
= _mesa_alloc_instructions(newLen
);
611 /* Copy 'start' instructions into new instruction buffer */
612 _mesa_copy_instructions(newInst
, prog
->Instructions
, start
);
614 /* Copy the remaining/tail instructions to new inst buffer */
615 _mesa_copy_instructions(newInst
+ start
,
616 prog
->Instructions
+ start
+ count
,
619 /* free old instructions */
620 _mesa_free_instructions(prog
->Instructions
, origLen
);
622 /* install new instructions */
623 prog
->Instructions
= newInst
;
624 prog
->NumInstructions
= newLen
;
631 * Search instructions for registers that match (oldFile, oldIndex),
632 * replacing them with (newFile, newIndex).
635 replace_registers(struct prog_instruction
*inst
, GLuint numInst
,
636 GLuint oldFile
, GLuint oldIndex
,
637 GLuint newFile
, GLuint newIndex
)
640 for (i
= 0; i
< numInst
; i
++) {
642 for (j
= 0; j
< _mesa_num_inst_src_regs(inst
[i
].Opcode
); j
++) {
643 if (inst
[i
].SrcReg
[j
].File
== oldFile
&&
644 inst
[i
].SrcReg
[j
].Index
== oldIndex
) {
645 inst
[i
].SrcReg
[j
].File
= newFile
;
646 inst
[i
].SrcReg
[j
].Index
= newIndex
;
650 if (inst
[i
].DstReg
.File
== oldFile
&& inst
[i
].DstReg
.Index
== oldIndex
) {
651 inst
[i
].DstReg
.File
= newFile
;
652 inst
[i
].DstReg
.Index
= newIndex
;
659 * Search instructions for references to program parameters. When found,
660 * increment the parameter index by 'offset'.
661 * Used when combining programs.
664 adjust_param_indexes(struct prog_instruction
*inst
, GLuint numInst
,
668 for (i
= 0; i
< numInst
; i
++) {
669 for (j
= 0; j
< _mesa_num_inst_src_regs(inst
[i
].Opcode
); j
++) {
670 GLuint f
= inst
[i
].SrcReg
[j
].File
;
671 if (f
== PROGRAM_CONSTANT
||
672 f
== PROGRAM_UNIFORM
||
673 f
== PROGRAM_STATE_VAR
) {
674 inst
[i
].SrcReg
[j
].Index
+= offset
;
682 * Combine two programs into one. Fix instructions so the outputs of
683 * the first program go to the inputs of the second program.
686 _mesa_combine_programs(struct gl_context
*ctx
,
687 const struct gl_program
*progA
,
688 const struct gl_program
*progB
)
690 struct prog_instruction
*newInst
;
691 struct gl_program
*newProg
;
692 const GLuint lenA
= progA
->NumInstructions
- 1; /* omit END instr */
693 const GLuint lenB
= progB
->NumInstructions
;
694 const GLuint numParamsA
= _mesa_num_parameters(progA
->Parameters
);
695 const GLuint newLength
= lenA
+ lenB
;
696 GLboolean usedTemps
[MAX_PROGRAM_TEMPS
];
697 GLuint firstTemp
= 0;
698 GLbitfield64 inputsB
;
701 ASSERT(progA
->Target
== progB
->Target
);
703 newInst
= _mesa_alloc_instructions(newLength
);
707 _mesa_copy_instructions(newInst
, progA
->Instructions
, lenA
);
708 _mesa_copy_instructions(newInst
+ lenA
, progB
->Instructions
, lenB
);
710 /* adjust branch / instruction addresses for B's instructions */
711 for (i
= 0; i
< lenB
; i
++) {
712 newInst
[lenA
+ i
].BranchTarget
+= lenA
;
715 newProg
= ctx
->Driver
.NewProgram(ctx
, progA
->Target
, 0);
716 newProg
->Instructions
= newInst
;
717 newProg
->NumInstructions
= newLength
;
719 /* find used temp regs (we may need new temps below) */
720 _mesa_find_used_registers(newProg
, PROGRAM_TEMPORARY
,
721 usedTemps
, MAX_PROGRAM_TEMPS
);
723 if (newProg
->Target
== GL_FRAGMENT_PROGRAM_ARB
) {
724 const struct gl_fragment_program
*fprogA
, *fprogB
;
725 struct gl_fragment_program
*newFprog
;
726 GLbitfield64 progB_inputsRead
= progB
->InputsRead
;
727 GLint progB_colorFile
, progB_colorIndex
;
729 fprogA
= gl_fragment_program_const(progA
);
730 fprogB
= gl_fragment_program_const(progB
);
731 newFprog
= gl_fragment_program(newProg
);
733 newFprog
->UsesKill
= fprogA
->UsesKill
|| fprogB
->UsesKill
;
734 newFprog
->UsesDFdy
= fprogA
->UsesDFdy
|| fprogB
->UsesDFdy
;
736 /* We'll do a search and replace for instances
737 * of progB_colorFile/progB_colorIndex below...
739 progB_colorFile
= PROGRAM_INPUT
;
740 progB_colorIndex
= VARYING_SLOT_COL0
;
743 * The fragment program may get color from a state var rather than
744 * a fragment input (vertex output) if it's constant.
745 * See the texenvprogram.c code.
746 * So, search the program's parameter list now to see if the program
747 * gets color from a state var instead of a conventional fragment
750 for (i
= 0; i
< progB
->Parameters
->NumParameters
; i
++) {
751 struct gl_program_parameter
*p
= &progB
->Parameters
->Parameters
[i
];
752 if (p
->Type
== PROGRAM_STATE_VAR
&&
753 p
->StateIndexes
[0] == STATE_INTERNAL
&&
754 p
->StateIndexes
[1] == STATE_CURRENT_ATTRIB
&&
755 (int) p
->StateIndexes
[2] == (int) VERT_ATTRIB_COLOR0
) {
756 progB_inputsRead
|= VARYING_BIT_COL0
;
757 progB_colorFile
= PROGRAM_STATE_VAR
;
758 progB_colorIndex
= i
;
763 /* Connect color outputs of fprogA to color inputs of fprogB, via a
764 * new temporary register.
766 if ((progA
->OutputsWritten
& BITFIELD64_BIT(FRAG_RESULT_COLOR
)) &&
767 (progB_inputsRead
& VARYING_BIT_COL0
)) {
768 GLint tempReg
= _mesa_find_free_register(usedTemps
, MAX_PROGRAM_TEMPS
,
771 _mesa_problem(ctx
, "No free temp regs found in "
772 "_mesa_combine_programs(), using 31");
775 firstTemp
= tempReg
+ 1;
777 /* replace writes to result.color[0] with tempReg */
778 replace_registers(newInst
, lenA
,
779 PROGRAM_OUTPUT
, FRAG_RESULT_COLOR
,
780 PROGRAM_TEMPORARY
, tempReg
);
781 /* replace reads from the input color with tempReg */
782 replace_registers(newInst
+ lenA
, lenB
,
783 progB_colorFile
, progB_colorIndex
, /* search for */
784 PROGRAM_TEMPORARY
, tempReg
/* replace with */ );
787 /* compute combined program's InputsRead */
788 inputsB
= progB_inputsRead
;
789 if (progA
->OutputsWritten
& BITFIELD64_BIT(FRAG_RESULT_COLOR
)) {
790 inputsB
&= ~(1 << VARYING_SLOT_COL0
);
792 newProg
->InputsRead
= progA
->InputsRead
| inputsB
;
793 newProg
->OutputsWritten
= progB
->OutputsWritten
;
794 newProg
->SamplersUsed
= progA
->SamplersUsed
| progB
->SamplersUsed
;
798 assert(0); /* XXX todo */
802 * Merge parameters (uniforms, constants, etc)
804 newProg
->Parameters
= _mesa_combine_parameter_lists(progA
->Parameters
,
807 adjust_param_indexes(newInst
+ lenA
, lenB
, numParamsA
);
815 * Populate the 'used' array with flags indicating which registers (TEMPs,
816 * INPUTs, OUTPUTs, etc, are used by the given program.
817 * \param file type of register to scan for
818 * \param used returns true/false flags for in use / free
819 * \param usedSize size of the 'used' array
822 _mesa_find_used_registers(const struct gl_program
*prog
,
823 gl_register_file file
,
824 GLboolean used
[], GLuint usedSize
)
828 memset(used
, 0, usedSize
);
830 for (i
= 0; i
< prog
->NumInstructions
; i
++) {
831 const struct prog_instruction
*inst
= prog
->Instructions
+ i
;
832 const GLuint n
= _mesa_num_inst_src_regs(inst
->Opcode
);
834 if (inst
->DstReg
.File
== file
) {
835 ASSERT(inst
->DstReg
.Index
< usedSize
);
836 if(inst
->DstReg
.Index
< usedSize
)
837 used
[inst
->DstReg
.Index
] = GL_TRUE
;
840 for (j
= 0; j
< n
; j
++) {
841 if (inst
->SrcReg
[j
].File
== file
) {
842 ASSERT(inst
->SrcReg
[j
].Index
< (GLint
) usedSize
);
843 if (inst
->SrcReg
[j
].Index
< (GLint
) usedSize
)
844 used
[inst
->SrcReg
[j
].Index
] = GL_TRUE
;
852 * Scan the given 'used' register flag array for the first entry
853 * that's >= firstReg.
854 * \param used vector of flags indicating registers in use (as returned
855 * by _mesa_find_used_registers())
856 * \param usedSize size of the 'used' array
857 * \param firstReg first register to start searching at
858 * \return index of unused register, or -1 if none.
861 _mesa_find_free_register(const GLboolean used
[],
862 GLuint usedSize
, GLuint firstReg
)
866 assert(firstReg
< usedSize
);
868 for (i
= firstReg
; i
< usedSize
; i
++)
878 * Check if the given register index is valid (doesn't exceed implementation-
880 * \return GL_TRUE if OK, GL_FALSE if bad index
883 _mesa_valid_register_index(const struct gl_context
*ctx
,
884 gl_shader_type shaderType
,
885 gl_register_file file
, GLint index
)
887 const struct gl_program_constants
*c
;
889 switch (shaderType
) {
890 case MESA_SHADER_VERTEX
:
891 c
= &ctx
->Const
.VertexProgram
;
893 case MESA_SHADER_FRAGMENT
:
894 c
= &ctx
->Const
.FragmentProgram
;
896 case MESA_SHADER_GEOMETRY
:
897 c
= &ctx
->Const
.GeometryProgram
;
901 "unexpected shader type in _mesa_valid_register_index()");
906 case PROGRAM_UNDEFINED
:
907 return GL_TRUE
; /* XXX or maybe false? */
909 case PROGRAM_TEMPORARY
:
910 return index
>= 0 && index
< (GLint
) c
->MaxTemps
;
912 case PROGRAM_ENV_PARAM
:
913 return index
>= 0 && index
< (GLint
) c
->MaxEnvParams
;
915 case PROGRAM_LOCAL_PARAM
:
916 return index
>= 0 && index
< (GLint
) c
->MaxLocalParams
;
918 case PROGRAM_UNIFORM
:
919 case PROGRAM_STATE_VAR
:
920 /* aka constant buffer */
921 return index
>= 0 && index
< (GLint
) c
->MaxUniformComponents
/ 4;
923 case PROGRAM_CONSTANT
:
924 /* constant buffer w/ possible relative negative addressing */
925 return (index
> (int) c
->MaxUniformComponents
/ -4 &&
926 index
< (int) c
->MaxUniformComponents
/ 4);
932 switch (shaderType
) {
933 case MESA_SHADER_VERTEX
:
934 return index
< VERT_ATTRIB_GENERIC0
+ (GLint
) c
->MaxAttribs
;
935 case MESA_SHADER_FRAGMENT
:
936 return index
< VARYING_SLOT_VAR0
+ (GLint
) ctx
->Const
.MaxVarying
;
937 case MESA_SHADER_GEOMETRY
:
938 return index
< VARYING_SLOT_VAR0
+ (GLint
) ctx
->Const
.MaxVarying
;
947 switch (shaderType
) {
948 case MESA_SHADER_VERTEX
:
949 return index
< VARYING_SLOT_VAR0
+ (GLint
) ctx
->Const
.MaxVarying
;
950 case MESA_SHADER_FRAGMENT
:
951 return index
< FRAG_RESULT_DATA0
+ (GLint
) ctx
->Const
.MaxDrawBuffers
;
952 case MESA_SHADER_GEOMETRY
:
953 return index
< VARYING_SLOT_VAR0
+ (GLint
) ctx
->Const
.MaxVarying
;
958 case PROGRAM_ADDRESS
:
959 return index
>= 0 && index
< (GLint
) c
->MaxAddressRegs
;
963 "unexpected register file in _mesa_valid_register_index()");
971 * "Post-process" a GPU program. This is intended to be used for debugging.
972 * Example actions include no-op'ing instructions or changing instruction
976 _mesa_postprocess_program(struct gl_context
*ctx
, struct gl_program
*prog
)
978 static const GLfloat white
[4] = { 0.5, 0.5, 0.5, 0.5 };
981 GLint whiteIndex
= _mesa_add_unnamed_constant(prog
->Parameters
,
982 (gl_constant_value
*) white
,
987 for (i
= 0; i
< prog
->NumInstructions
; i
++) {
988 struct prog_instruction
*inst
= prog
->Instructions
+ i
;
989 const GLuint n
= _mesa_num_inst_src_regs(inst
->Opcode
);
993 if (_mesa_is_tex_instruction(inst
->Opcode
)) {
995 /* replace TEX/TXP/TXB with MOV */
996 inst
->Opcode
= OPCODE_MOV
;
997 inst
->DstReg
.WriteMask
= WRITEMASK_XYZW
;
998 inst
->SrcReg
[0].Swizzle
= SWIZZLE_XYZW
;
999 inst
->SrcReg
[0].Negate
= NEGATE_NONE
;
1003 /* disable shadow texture mode */
1004 inst
->TexShadow
= 0;
1008 if (inst
->Opcode
== OPCODE_TXP
) {
1010 inst
->Opcode
= OPCODE_MOV
;
1011 inst
->DstReg
.WriteMask
= WRITEMASK_XYZW
;
1012 inst
->SrcReg
[0].File
= PROGRAM_CONSTANT
;
1013 inst
->SrcReg
[0].Index
= whiteIndex
;
1014 inst
->SrcReg
[0].Swizzle
= SWIZZLE_XYZW
;
1015 inst
->SrcReg
[0].Negate
= NEGATE_NONE
;
1018 inst
->TexShadow
= 0;
1021 inst
->Opcode
= OPCODE_TEX
;
1022 inst
->TexShadow
= 0;
1029 /* Gets the minimum number of shader invocations per fragment.
1030 * This function is useful to determine if we need to do per
1031 * sample shading or per fragment shading.
1034 _mesa_get_min_invocations_per_fragment(struct gl_context
*ctx
,
1035 const struct gl_fragment_program
*prog
)
1037 /* From ARB_sample_shading specification:
1038 * "Using gl_SampleID in a fragment shader causes the entire shader
1039 * to be evaluated per-sample."
1041 * "Using gl_SamplePosition in a fragment shader causes the entire
1042 * shader to be evaluated per-sample."
1044 * "If MULTISAMPLE or SAMPLE_SHADING_ARB is disabled, sample shading
1047 if (ctx
->Multisample
.Enabled
) {
1048 if (prog
->Base
.SystemValuesRead
& (SYSTEM_BIT_SAMPLE_ID
|
1049 SYSTEM_BIT_SAMPLE_POS
))
1050 return MAX2(ctx
->DrawBuffer
->Visual
.samples
, 1);
1051 else if (ctx
->Multisample
.SampleShading
)
1052 return MAX2(ceil(ctx
->Multisample
.MinSampleShadingValue
*
1053 ctx
->DrawBuffer
->Visual
.samples
), 1);