2 * Mesa 3-D graphics library
5 * Copyright (C) 1999-2004 Brian Paul All Rights Reserved.
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:
14 * The above copyright notice and this permission notice shall be included
15 * in all copies or substantial portions of the Software.
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.
27 * NVIDIA fragment program parser.
32 * Regarding GL_NV_fragment_program:
34 * Portions of this software may use or implement intellectual
35 * property owned and licensed by NVIDIA Corporation. NVIDIA disclaims
36 * any and all warranties with respect to such intellectual property,
37 * including any use thereof or modifications thereto.
46 #include "nvfragprog.h"
47 #include "nvfragparse.h"
48 #include "nvprogram.h"
58 #define INPUT_1V_T 7 /* one source vector, plus textureId */
59 #define INPUT_3V_T 8 /* one source vector, plus textureId */
61 #define INPUT_1V_S 10 /* a string and a vector register */
64 #define OUTPUT_NONE 22
66 /* IRIX defines some of these */
73 /* Optional suffixes */
74 #define _R FLOAT32 /* float */
75 #define _H FLOAT16 /* half-float */
76 #define _X FIXED12 /* fixed */
77 #define _C 0x08 /* set cond codes */
78 #define _S 0x10 /* saturate, clamp result to [0,1] */
80 struct instruction_pattern
{
82 enum fp_opcode opcode
;
88 static const struct instruction_pattern Instructions
[] = {
89 { "ADD", FP_OPCODE_ADD
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
90 { "COS", FP_OPCODE_COS
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
91 { "DDX", FP_OPCODE_DDX
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
92 { "DDY", FP_OPCODE_DDY
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
93 { "DP3", FP_OPCODE_DP3
, INPUT_2V
, OUTPUT_S
, _R
| _H
| _X
| _C
| _S
},
94 { "DP4", FP_OPCODE_DP4
, INPUT_2V
, OUTPUT_S
, _R
| _H
| _X
| _C
| _S
},
95 { "DST", FP_OPCODE_DP4
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
96 { "EX2", FP_OPCODE_DP4
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
97 { "FLR", FP_OPCODE_FLR
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
98 { "FRC", FP_OPCODE_FRC
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
99 { "KIL", FP_OPCODE_KIL_NV
, INPUT_CC
, OUTPUT_NONE
, 0 },
100 { "LG2", FP_OPCODE_LG2
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
101 { "LIT", FP_OPCODE_LIT
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
102 { "LRP", FP_OPCODE_LRP
, INPUT_3V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
103 { "MAD", FP_OPCODE_MAD
, INPUT_3V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
104 { "MAX", FP_OPCODE_MAX
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
105 { "MIN", FP_OPCODE_MIN
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
106 { "MOV", FP_OPCODE_MOV
, INPUT_1V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
107 { "MUL", FP_OPCODE_MUL
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
108 { "PK2H", FP_OPCODE_PK2H
, INPUT_1V
, OUTPUT_S
, 0 },
109 { "PK2US", FP_OPCODE_PK2US
, INPUT_1V
, OUTPUT_S
, 0 },
110 { "PK4B", FP_OPCODE_PK4B
, INPUT_1V
, OUTPUT_S
, 0 },
111 { "PK4UB", FP_OPCODE_PK4UB
, INPUT_1V
, OUTPUT_S
, 0 },
112 { "POW", FP_OPCODE_POW
, INPUT_2S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
113 { "RCP", FP_OPCODE_RCP
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
114 { "RFL", FP_OPCODE_RFL
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
115 { "RSQ", FP_OPCODE_RSQ
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
116 { "SEQ", FP_OPCODE_SEQ
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
117 { "SFL", FP_OPCODE_SFL
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
118 { "SGE", FP_OPCODE_SGE
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
119 { "SGT", FP_OPCODE_SGT
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
120 { "SIN", FP_OPCODE_SIN
, INPUT_1S
, OUTPUT_S
, _R
| _H
| _C
| _S
},
121 { "SLE", FP_OPCODE_SLE
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
122 { "SLT", FP_OPCODE_SLT
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
123 { "SNE", FP_OPCODE_SNE
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
124 { "STR", FP_OPCODE_STR
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
125 { "SUB", FP_OPCODE_SUB
, INPUT_2V
, OUTPUT_V
, _R
| _H
| _X
| _C
| _S
},
126 { "TEX", FP_OPCODE_TEX
, INPUT_1V_T
, OUTPUT_V
, _C
| _S
},
127 { "TXD", FP_OPCODE_TXD
, INPUT_3V_T
, OUTPUT_V
, _C
| _S
},
128 { "TXP", FP_OPCODE_TXP_NV
, INPUT_1V_T
, OUTPUT_V
, _C
| _S
},
129 { "UP2H", FP_OPCODE_UP2H
, INPUT_1S
, OUTPUT_V
, _C
| _S
},
130 { "UP2US", FP_OPCODE_UP2US
, INPUT_1S
, OUTPUT_V
, _C
| _S
},
131 { "UP4B", FP_OPCODE_UP4B
, INPUT_1S
, OUTPUT_V
, _C
| _S
},
132 { "UP4UB", FP_OPCODE_UP4UB
, INPUT_1S
, OUTPUT_V
, _C
| _S
},
133 { "X2D", FP_OPCODE_X2D
, INPUT_3V
, OUTPUT_V
, _R
| _H
| _C
| _S
},
134 { "PRINT", FP_OPCODE_PRINT
, INPUT_1V_S
, OUTPUT_NONE
, 0 },
135 { NULL
, (enum fp_opcode
) -1, 0, 0, 0 }
140 * Information needed or computed during parsing.
141 * Remember, we can't modify the target program object until we've
142 * _successfully_ parsed the program text.
146 const GLubyte
*start
; /* start of program string */
147 const GLubyte
*pos
; /* current position */
148 const GLubyte
*curLine
;
149 struct fragment_program
*program
; /* current program */
151 struct program_parameter_list
*parameters
;
153 GLuint numInst
; /* number of instructions parsed */
154 GLuint inputsRead
; /* bitmask of input registers used */
155 GLuint outputsWritten
; /* bitmask of 1 << FRAG_OUTPUT_* bits */
156 GLuint texturesUsed
[MAX_TEXTURE_IMAGE_UNITS
];
162 * Called whenever we find an error during parsing.
165 record_error(struct parse_state
*parseState
, const char *msg
, int lineNo
)
169 const GLubyte
*lineStr
;
170 lineStr
= _mesa_find_line_column(parseState
->start
,
171 parseState
->pos
, &line
, &column
);
172 _mesa_debug(parseState
->ctx
,
173 "nvfragparse.c(%d): line %d, column %d:%s (%s)\n",
174 lineNo
, line
, column
, (char *) lineStr
, msg
);
175 _mesa_free((void *) lineStr
);
180 /* Check that no error was already recorded. Only record the first one. */
181 if (parseState
->ctx
->Program
.ErrorString
[0] == 0) {
182 _mesa_set_program_error(parseState
->ctx
,
183 parseState
->pos
- parseState
->start
,
189 #define RETURN_ERROR \
191 record_error(parseState, "Unexpected end of input.", __LINE__); \
195 #define RETURN_ERROR1(msg) \
197 record_error(parseState, msg, __LINE__); \
201 #define RETURN_ERROR2(msg1, msg2) \
204 _mesa_sprintf(err, "%s %s", msg1, msg2); \
205 record_error(parseState, err, __LINE__); \
213 * Search a list of instruction structures for a match.
215 static struct instruction_pattern
216 MatchInstruction(const GLubyte
*token
)
218 const struct instruction_pattern
*inst
;
219 struct instruction_pattern result
;
221 for (inst
= Instructions
; inst
->name
; inst
++) {
222 if (_mesa_strncmp((const char *) token
, inst
->name
, 3) == 0) {
228 if (token
[i
] == 'R') {
229 result
.suffixes
|= _R
;
232 else if (token
[i
] == 'H') {
233 result
.suffixes
|= _H
;
236 else if (token
[i
] == 'X') {
237 result
.suffixes
|= _X
;
240 if (token
[i
] == 'C') {
241 result
.suffixes
|= _C
;
244 if (token
[i
] == '_' && token
[i
+1] == 'S' &&
245 token
[i
+2] == 'A' && token
[i
+3] == 'T') {
246 result
.suffixes
|= _S
;
251 result
.opcode
= (enum fp_opcode
) -1;
258 /**********************************************************************/
261 static GLboolean
IsLetter(GLubyte b
)
263 return (b
>= 'a' && b
<= 'z') ||
264 (b
>= 'A' && b
<= 'Z') ||
270 static GLboolean
IsDigit(GLubyte b
)
272 return b
>= '0' && b
<= '9';
276 static GLboolean
IsWhitespace(GLubyte b
)
278 return b
== ' ' || b
== '\t' || b
== '\n' || b
== '\r';
283 * Starting at 'str' find the next token. A token can be an integer,
284 * an identifier or punctuation symbol.
285 * \return <= 0 we found an error, else, return number of characters parsed.
288 GetToken(struct parse_state
*parseState
, GLubyte
*token
)
290 const GLubyte
*str
= parseState
->pos
;
295 /* skip whitespace and comments */
296 while (str
[i
] && (IsWhitespace(str
[i
]) || str
[i
] == '#')) {
299 while (str
[i
] && (str
[i
] != '\n' && str
[i
] != '\r')) {
302 if (str
[i
] == '\n' || str
[i
] == '\r')
303 parseState
->curLine
= str
+ i
+ 1;
306 /* skip whitespace */
307 if (str
[i
] == '\n' || str
[i
] == '\r')
308 parseState
->curLine
= str
+ i
+ 1;
316 /* try matching an integer */
317 while (str
[i
] && IsDigit(str
[i
])) {
318 token
[j
++] = str
[i
++];
320 if (j
> 0 || !str
[i
]) {
325 /* try matching an identifier */
326 if (IsLetter(str
[i
])) {
327 while (str
[i
] && (IsLetter(str
[i
]) || IsDigit(str
[i
]))) {
328 token
[j
++] = str
[i
++];
334 /* punctuation character */
348 * Get next token from input stream and increment stream pointer past token.
351 Parse_Token(struct parse_state
*parseState
, GLubyte
*token
)
354 i
= GetToken(parseState
, token
);
356 parseState
->pos
+= (-i
);
359 parseState
->pos
+= i
;
365 * Get next token from input stream but don't increment stream pointer.
368 Peek_Token(struct parse_state
*parseState
, GLubyte
*token
)
371 i
= GetToken(parseState
, token
);
373 parseState
->pos
+= (-i
);
376 len
= _mesa_strlen((const char *) token
);
377 parseState
->pos
+= (i
- len
);
382 /**********************************************************************/
384 static const char *InputRegisters
[MAX_NV_FRAGMENT_PROGRAM_INPUTS
+ 1] = {
385 "WPOS", "COL0", "COL1", "FOGC",
386 "TEX0", "TEX1", "TEX2", "TEX3", "TEX4", "TEX5", "TEX6", "TEX7", NULL
389 static const char *OutputRegisters
[MAX_NV_FRAGMENT_PROGRAM_OUTPUTS
+ 1] = {
391 /* These are only allows for register combiners */
393 "TEX0", "TEX1", "TEX2", "TEX3",
401 /**********************************************************************/
404 * Try to match 'pattern' as the next token after any whitespace/comments.
407 Parse_String(struct parse_state
*parseState
, const char *pattern
)
412 /* skip whitespace and comments */
413 while (IsWhitespace(*parseState
->pos
) || *parseState
->pos
== '#') {
414 if (*parseState
->pos
== '#') {
415 while (*parseState
->pos
&& (*parseState
->pos
!= '\n' && *parseState
->pos
!= '\r')) {
416 parseState
->pos
+= 1;
418 if (*parseState
->pos
== '\n' || *parseState
->pos
== '\r')
419 parseState
->curLine
= parseState
->pos
+ 1;
422 /* skip whitespace */
423 if (*parseState
->pos
== '\n' || *parseState
->pos
== '\r')
424 parseState
->curLine
= parseState
->pos
+ 1;
425 parseState
->pos
+= 1;
429 /* Try to match the pattern */
431 for (i
= 0; pattern
[i
]; i
++) {
432 if (*m
!= (GLubyte
) pattern
[i
])
438 return GL_TRUE
; /* success */
443 Parse_Identifier(struct parse_state
*parseState
, GLubyte
*ident
)
445 if (!Parse_Token(parseState
, ident
))
447 if (IsLetter(ident
[0]))
450 RETURN_ERROR1("Expected an identfier");
455 * Parse a floating point constant, or a defined symbol name.
457 * Output: number[0 .. 3] will get the value.
460 Parse_ScalarConstant(struct parse_state
*parseState
, GLfloat
*number
)
464 *number
= (GLfloat
) _mesa_strtod((const char *) parseState
->pos
, &end
);
466 if (end
&& end
> (char *) parseState
->pos
) {
468 parseState
->pos
= (GLubyte
*) end
;
475 /* should be an identifier */
477 const GLfloat
*constant
;
478 if (!Parse_Identifier(parseState
, ident
))
479 RETURN_ERROR1("Expected an identifier");
480 constant
= _mesa_lookup_parameter_value(parseState
->parameters
,
481 -1, (const char *) ident
);
482 /* XXX Check that it's a constant and not a parameter */
484 RETURN_ERROR1("Undefined symbol");
487 COPY_4V(number
, constant
);
496 * Parse a vector constant, one of:
499 * { float, float, float }
500 * { float, float, float, float }
503 Parse_VectorConstant(struct parse_state
*parseState
, GLfloat
*vec
)
505 /* "{" was already consumed */
507 ASSIGN_4V(vec
, 0.0, 0.0, 0.0, 1.0);
509 if (!Parse_ScalarConstant(parseState
, vec
+0)) /* X */
512 if (Parse_String(parseState
, "}")) {
516 if (!Parse_String(parseState
, ","))
517 RETURN_ERROR1("Expected comma in vector constant");
519 if (!Parse_ScalarConstant(parseState
, vec
+1)) /* Y */
522 if (Parse_String(parseState
, "}")) {
526 if (!Parse_String(parseState
, ","))
527 RETURN_ERROR1("Expected comma in vector constant");
529 if (!Parse_ScalarConstant(parseState
, vec
+2)) /* Z */
532 if (Parse_String(parseState
, "}")) {
536 if (!Parse_String(parseState
, ","))
537 RETURN_ERROR1("Expected comma in vector constant");
539 if (!Parse_ScalarConstant(parseState
, vec
+3)) /* W */
542 if (!Parse_String(parseState
, "}"))
543 RETURN_ERROR1("Expected closing brace in vector constant");
550 * Parse <number>, <varname> or {a, b, c, d}.
551 * Return number of values in the vector or scalar, or zero if parse error.
554 Parse_VectorOrScalarConstant(struct parse_state
*parseState
, GLfloat
*vec
)
556 if (Parse_String(parseState
, "{")) {
557 return Parse_VectorConstant(parseState
, vec
);
560 GLboolean b
= Parse_ScalarConstant(parseState
, vec
);
562 vec
[1] = vec
[2] = vec
[3] = vec
[0];
570 * Parse a texture image source:
571 * [TEX0 | TEX1 | .. | TEX15] , [1D | 2D | 3D | CUBE | RECT]
574 Parse_TextureImageId(struct parse_state
*parseState
,
575 GLubyte
*texUnit
, GLubyte
*texTargetBit
)
577 GLubyte imageSrc
[100];
580 if (!Parse_Token(parseState
, imageSrc
))
583 if (imageSrc
[0] != 'T' ||
584 imageSrc
[1] != 'E' ||
585 imageSrc
[2] != 'X') {
586 RETURN_ERROR1("Expected TEX# source");
588 unit
= _mesa_atoi((const char *) imageSrc
+ 3);
589 if ((unit
< 0 || unit
> MAX_TEXTURE_IMAGE_UNITS
) ||
590 (unit
== 0 && (imageSrc
[3] != '0' || imageSrc
[4] != 0))) {
591 RETURN_ERROR1("Invalied TEX# source index");
595 if (!Parse_String(parseState
, ","))
596 RETURN_ERROR1("Expected ,");
598 if (Parse_String(parseState
, "1D")) {
599 *texTargetBit
= TEXTURE_1D_BIT
;
601 else if (Parse_String(parseState
, "2D")) {
602 *texTargetBit
= TEXTURE_2D_BIT
;
604 else if (Parse_String(parseState
, "3D")) {
605 *texTargetBit
= TEXTURE_3D_BIT
;
607 else if (Parse_String(parseState
, "CUBE")) {
608 *texTargetBit
= TEXTURE_CUBE_BIT
;
610 else if (Parse_String(parseState
, "RECT")) {
611 *texTargetBit
= TEXTURE_RECT_BIT
;
614 RETURN_ERROR1("Invalid texture target token");
617 /* update record of referenced texture units */
618 parseState
->texturesUsed
[*texUnit
] |= *texTargetBit
;
619 if (_mesa_bitcount(parseState
->texturesUsed
[*texUnit
]) > 1) {
620 RETURN_ERROR1("Only one texture target can be used per texture unit.");
628 * Parse a scalar suffix like .x, .y, .z or .w or parse a swizzle suffix
629 * like .wxyz, .xxyy, etc and return the swizzle indexes.
632 Parse_SwizzleSuffix(const GLubyte
*token
, GLuint swizzle
[4])
635 /* single letter swizzle (scalar) */
637 ASSIGN_4V(swizzle
, 0, 0, 0, 0);
638 else if (token
[0] == 'y')
639 ASSIGN_4V(swizzle
, 1, 1, 1, 1);
640 else if (token
[0] == 'z')
641 ASSIGN_4V(swizzle
, 2, 2, 2, 2);
642 else if (token
[0] == 'w')
643 ASSIGN_4V(swizzle
, 3, 3, 3, 3);
648 /* 4-component swizzle (vector) */
650 for (k
= 0; token
[k
] && k
< 4; k
++) {
653 else if (token
[k
] == 'y')
655 else if (token
[k
] == 'z')
657 else if (token
[k
] == 'w')
670 Parse_CondCodeMask(struct parse_state
*parseState
,
671 struct fp_dst_register
*dstReg
)
673 if (Parse_String(parseState
, "EQ"))
674 dstReg
->CondMask
= COND_EQ
;
675 else if (Parse_String(parseState
, "GE"))
676 dstReg
->CondMask
= COND_GE
;
677 else if (Parse_String(parseState
, "GT"))
678 dstReg
->CondMask
= COND_GT
;
679 else if (Parse_String(parseState
, "LE"))
680 dstReg
->CondMask
= COND_LE
;
681 else if (Parse_String(parseState
, "LT"))
682 dstReg
->CondMask
= COND_LT
;
683 else if (Parse_String(parseState
, "NE"))
684 dstReg
->CondMask
= COND_NE
;
685 else if (Parse_String(parseState
, "TR"))
686 dstReg
->CondMask
= COND_TR
;
687 else if (Parse_String(parseState
, "FL"))
688 dstReg
->CondMask
= COND_FL
;
690 RETURN_ERROR1("Invalid condition code mask");
692 /* look for optional .xyzw swizzle */
693 if (Parse_String(parseState
, ".")) {
695 if (!Parse_Token(parseState
, token
)) /* get xyzw suffix */
698 if (!Parse_SwizzleSuffix(token
, dstReg
->CondSwizzle
))
699 RETURN_ERROR1("Invalid swizzle suffix");
707 * Parse a temporary register: Rnn or Hnn
710 Parse_TempReg(struct parse_state
*parseState
, GLint
*tempRegNum
)
714 /* Should be 'R##' or 'H##' */
715 if (!Parse_Token(parseState
, token
))
717 if (token
[0] != 'R' && token
[0] != 'H')
718 RETURN_ERROR1("Expected R## or H##");
720 if (IsDigit(token
[1])) {
721 GLint reg
= _mesa_atoi((const char *) (token
+ 1));
724 if (reg
>= MAX_NV_FRAGMENT_PROGRAM_TEMPS
)
725 RETURN_ERROR1("Invalid temporary register name");
729 RETURN_ERROR1("Invalid temporary register name");
737 * Parse a write-only dummy register: RC or HC.
740 Parse_DummyReg(struct parse_state
*parseState
, GLint
*regNum
)
742 if (Parse_String(parseState
, "RC")) {
745 else if (Parse_String(parseState
, "HC")) {
749 RETURN_ERROR1("Invalid write-only register name");
757 * Parse a program local parameter register "p[##]"
760 Parse_ProgramParamReg(struct parse_state
*parseState
, GLint
*regNum
)
764 if (!Parse_String(parseState
, "p["))
765 RETURN_ERROR1("Expected p[");
767 if (!Parse_Token(parseState
, token
))
770 if (IsDigit(token
[0])) {
771 /* a numbered program parameter register */
772 GLint reg
= _mesa_atoi((const char *) token
);
773 if (reg
>= MAX_NV_FRAGMENT_PROGRAM_PARAMS
)
774 RETURN_ERROR1("Invalid constant program number");
781 if (!Parse_String(parseState
, "]"))
782 RETURN_ERROR1("Expected ]");
789 * Parse f[name] - fragment input register
792 Parse_FragReg(struct parse_state
*parseState
, GLint
*tempRegNum
)
798 if (!Parse_String(parseState
, "f["))
799 RETURN_ERROR1("Expected f[");
801 /* get <name> and look for match */
802 if (!Parse_Token(parseState
, token
)) {
805 for (j
= 0; InputRegisters
[j
]; j
++) {
806 if (_mesa_strcmp((const char *) token
, InputRegisters
[j
]) == 0) {
808 parseState
->inputsRead
|= (1 << j
);
812 if (!InputRegisters
[j
]) {
813 /* unknown input register label */
814 RETURN_ERROR2("Invalid register name", token
);
818 if (!Parse_String(parseState
, "]"))
819 RETURN_ERROR1("Expected ]");
826 Parse_OutputReg(struct parse_state
*parseState
, GLint
*outputRegNum
)
832 if (!Parse_String(parseState
, "o["))
833 RETURN_ERROR1("Expected o[");
835 /* Get output reg name */
836 if (!Parse_Token(parseState
, token
))
839 /* try to match an output register name */
840 for (j
= 0; OutputRegisters
[j
]; j
++) {
841 if (_mesa_strcmp((const char *) token
, OutputRegisters
[j
]) == 0) {
842 static GLuint bothColors
= (1 << FRAG_OUTPUT_COLR
) | (1 << FRAG_OUTPUT_COLH
);
844 parseState
->outputsWritten
|= (1 << j
);
845 if ((parseState
->outputsWritten
& bothColors
) == bothColors
) {
846 RETURN_ERROR1("Illegal to write to both o[COLR] and o[COLH]");
851 if (!OutputRegisters
[j
])
852 RETURN_ERROR1("Invalid output register name");
855 if (!Parse_String(parseState
, "]"))
856 RETURN_ERROR1("Expected ]");
863 Parse_MaskedDstReg(struct parse_state
*parseState
,
864 struct fp_dst_register
*dstReg
)
868 /* Dst reg can be R<n>, H<n>, o[n], RC or HC */
869 if (!Peek_Token(parseState
, token
))
872 if (_mesa_strcmp((const char *) token
, "RC") == 0 ||
873 _mesa_strcmp((const char *) token
, "HC") == 0) {
874 /* a write-only register */
875 dstReg
->File
= PROGRAM_WRITE_ONLY
;
876 if (!Parse_DummyReg(parseState
, &dstReg
->Index
))
879 else if (token
[0] == 'R' || token
[0] == 'H') {
880 /* a temporary register */
881 dstReg
->File
= PROGRAM_TEMPORARY
;
882 if (!Parse_TempReg(parseState
, &dstReg
->Index
))
885 else if (token
[0] == 'o') {
886 /* an output register */
887 dstReg
->File
= PROGRAM_OUTPUT
;
888 if (!Parse_OutputReg(parseState
, &dstReg
->Index
))
892 RETURN_ERROR1("Invalid destination register name");
895 /* Parse optional write mask */
896 if (Parse_String(parseState
, ".")) {
900 if (!Parse_Token(parseState
, token
)) /* get xyzw writemask */
903 dstReg
->WriteMask
[0] = GL_FALSE
;
904 dstReg
->WriteMask
[1] = GL_FALSE
;
905 dstReg
->WriteMask
[2] = GL_FALSE
;
906 dstReg
->WriteMask
[3] = GL_FALSE
;
908 if (token
[k
] == 'x') {
909 dstReg
->WriteMask
[0] = GL_TRUE
;
912 if (token
[k
] == 'y') {
913 dstReg
->WriteMask
[1] = GL_TRUE
;
916 if (token
[k
] == 'z') {
917 dstReg
->WriteMask
[2] = GL_TRUE
;
920 if (token
[k
] == 'w') {
921 dstReg
->WriteMask
[3] = GL_TRUE
;
925 RETURN_ERROR1("Invalid writemask character");
930 dstReg
->WriteMask
[0] = GL_TRUE
;
931 dstReg
->WriteMask
[1] = GL_TRUE
;
932 dstReg
->WriteMask
[2] = GL_TRUE
;
933 dstReg
->WriteMask
[3] = GL_TRUE
;
936 /* optional condition code mask */
937 if (Parse_String(parseState
, "(")) {
938 /* ("EQ" | "GE" | "GT" | "LE" | "LT" | "NE" | "TR" | "FL".x|y|z|w) */
939 /* ("EQ" | "GE" | "GT" | "LE" | "LT" | "NE" | "TR" | "FL".[xyzw]) */
940 if (!Parse_CondCodeMask(parseState
, dstReg
))
943 if (!Parse_String(parseState
, ")")) /* consume ")" */
944 RETURN_ERROR1("Expected )");
949 /* no cond code mask */
950 dstReg
->CondMask
= COND_TR
;
951 dstReg
->CondSwizzle
[0] = 0;
952 dstReg
->CondSwizzle
[1] = 1;
953 dstReg
->CondSwizzle
[2] = 2;
954 dstReg
->CondSwizzle
[3] = 3;
961 * Parse a vector source (register, constant, etc):
962 * <vectorSrc> ::= <absVectorSrc>
964 * <absVectorSrc> ::= <negate> "|" <baseVectorSrc> "|"
967 Parse_VectorSrc(struct parse_state
*parseState
,
968 struct fp_src_register
*srcReg
)
974 * First, take care of +/- and absolute value stuff.
976 if (Parse_String(parseState
, "-"))
978 else if (Parse_String(parseState
, "+"))
981 if (Parse_String(parseState
, "|")) {
982 srcReg
->Abs
= GL_TRUE
;
983 srcReg
->NegateAbs
= (sign
< 0.0F
) ? GL_TRUE
: GL_FALSE
;
985 if (Parse_String(parseState
, "-"))
986 srcReg
->NegateBase
= GL_TRUE
;
987 else if (Parse_String(parseState
, "+"))
988 srcReg
->NegateBase
= GL_FALSE
;
990 srcReg
->NegateBase
= GL_FALSE
;
993 srcReg
->Abs
= GL_FALSE
;
994 srcReg
->NegateAbs
= GL_FALSE
;
995 srcReg
->NegateBase
= (sign
< 0.0F
) ? GL_TRUE
: GL_FALSE
;
998 /* This should be the real src vector/register name */
999 if (!Peek_Token(parseState
, token
))
1002 /* Src reg can be Rn, Hn, f[n], p[n], a named parameter, a scalar
1003 * literal or vector literal.
1005 if (token
[0] == 'R' || token
[0] == 'H') {
1006 srcReg
->File
= PROGRAM_TEMPORARY
;
1007 if (!Parse_TempReg(parseState
, &srcReg
->Index
))
1010 else if (token
[0] == 'f') {
1011 /* XXX this might be an identier! */
1012 srcReg
->File
= PROGRAM_INPUT
;
1013 if (!Parse_FragReg(parseState
, &srcReg
->Index
))
1016 else if (token
[0] == 'p') {
1017 /* XXX this might be an identier! */
1018 srcReg
->File
= PROGRAM_LOCAL_PARAM
;
1019 if (!Parse_ProgramParamReg(parseState
, &srcReg
->Index
))
1022 else if (IsLetter(token
[0])){
1025 if (!Parse_Identifier(parseState
, ident
))
1027 paramIndex
= _mesa_lookup_parameter_index(parseState
->parameters
,
1028 -1, (const char *) ident
);
1029 if (paramIndex
< 0) {
1030 RETURN_ERROR2("Undefined constant or parameter: ", ident
);
1032 srcReg
->File
= PROGRAM_NAMED_PARAM
;
1033 srcReg
->Index
= paramIndex
;
1035 else if (IsDigit(token
[0]) || token
[0] == '-' || token
[0] == '+' || token
[0] == '.'){
1036 /* literal scalar constant */
1039 if (!Parse_ScalarConstant(parseState
, values
))
1041 paramIndex
= _mesa_add_unnamed_constant(parseState
->parameters
, values
);
1042 srcReg
->File
= PROGRAM_NAMED_PARAM
;
1043 srcReg
->Index
= paramIndex
;
1045 else if (token
[0] == '{'){
1046 /* literal vector constant */
1049 (void) Parse_String(parseState
, "{");
1050 if (!Parse_VectorConstant(parseState
, values
))
1052 paramIndex
= _mesa_add_unnamed_constant(parseState
->parameters
, values
);
1053 srcReg
->File
= PROGRAM_NAMED_PARAM
;
1054 srcReg
->Index
= paramIndex
;
1057 RETURN_ERROR2("Invalid source register name", token
);
1060 /* init swizzle fields */
1061 srcReg
->Swizzle
[0] = 0;
1062 srcReg
->Swizzle
[1] = 1;
1063 srcReg
->Swizzle
[2] = 2;
1064 srcReg
->Swizzle
[3] = 3;
1066 /* Look for optional swizzle suffix */
1067 if (Parse_String(parseState
, ".")) {
1068 if (!Parse_Token(parseState
, token
))
1071 if (!Parse_SwizzleSuffix(token
, srcReg
->Swizzle
))
1072 RETURN_ERROR1("Invalid swizzle suffix");
1075 /* Finish absolute value */
1076 if (srcReg
->Abs
&& !Parse_String(parseState
, "|")) {
1077 RETURN_ERROR1("Expected |");
1085 Parse_ScalarSrcReg(struct parse_state
*parseState
,
1086 struct fp_src_register
*srcReg
)
1089 GLfloat sign
= 1.0F
;
1090 GLboolean needSuffix
= GL_TRUE
;
1093 * First, take care of +/- and absolute value stuff.
1095 if (Parse_String(parseState
, "-"))
1097 else if (Parse_String(parseState
, "+"))
1100 if (Parse_String(parseState
, "|")) {
1101 srcReg
->Abs
= GL_TRUE
;
1102 srcReg
->NegateAbs
= (sign
< 0.0F
) ? GL_TRUE
: GL_FALSE
;
1104 if (Parse_String(parseState
, "-"))
1105 srcReg
->NegateBase
= GL_TRUE
;
1106 else if (Parse_String(parseState
, "+"))
1107 srcReg
->NegateBase
= GL_FALSE
;
1109 srcReg
->NegateBase
= GL_FALSE
;
1112 srcReg
->Abs
= GL_FALSE
;
1113 srcReg
->NegateAbs
= GL_FALSE
;
1114 srcReg
->NegateBase
= (sign
< 0.0F
) ? GL_TRUE
: GL_FALSE
;
1117 if (!Peek_Token(parseState
, token
))
1120 /* Src reg can be R<n>, H<n> or a named fragment attrib */
1121 if (token
[0] == 'R' || token
[0] == 'H') {
1122 srcReg
->File
= PROGRAM_TEMPORARY
;
1123 if (!Parse_TempReg(parseState
, &srcReg
->Index
))
1126 else if (token
[0] == 'f') {
1127 srcReg
->File
= PROGRAM_INPUT
;
1128 if (!Parse_FragReg(parseState
, &srcReg
->Index
))
1131 else if (token
[0] == '{') {
1132 /* vector literal */
1135 (void) Parse_String(parseState
, "{");
1136 if (!Parse_VectorConstant(parseState
, values
))
1138 paramIndex
= _mesa_add_unnamed_constant(parseState
->parameters
, values
);
1139 srcReg
->File
= PROGRAM_NAMED_PARAM
;
1140 srcReg
->Index
= paramIndex
;
1142 else if (IsDigit(token
[0])) {
1143 /* scalar literal */
1146 if (!Parse_ScalarConstant(parseState
, values
))
1148 paramIndex
= _mesa_add_unnamed_constant(parseState
->parameters
, values
);
1149 srcReg
->Index
= paramIndex
;
1150 srcReg
->File
= PROGRAM_NAMED_PARAM
;
1151 needSuffix
= GL_FALSE
;
1154 RETURN_ERROR2("Invalid scalar source argument", token
);
1158 /* parse .[xyzw] suffix */
1159 if (!Parse_String(parseState
, "."))
1160 RETURN_ERROR1("Expected .");
1162 if (!Parse_Token(parseState
, token
))
1165 if (token
[0] == 'x' && token
[1] == 0) {
1166 srcReg
->Swizzle
[0] = 0;
1168 else if (token
[0] == 'y' && token
[1] == 0) {
1169 srcReg
->Swizzle
[0] = 1;
1171 else if (token
[0] == 'z' && token
[1] == 0) {
1172 srcReg
->Swizzle
[0] = 2;
1174 else if (token
[0] == 'w' && token
[1] == 0) {
1175 srcReg
->Swizzle
[0] = 3;
1178 RETURN_ERROR1("Invalid scalar source suffix");
1182 srcReg
->Swizzle
[0] = 0;
1184 srcReg
->Swizzle
[1] = srcReg
->Swizzle
[2] = srcReg
->Swizzle
[3] = 0;
1186 /* Finish absolute value */
1187 if (srcReg
->Abs
&& !Parse_String(parseState
, "|")) {
1188 RETURN_ERROR1("Expected |");
1196 Parse_PrintInstruction(struct parse_state
*parseState
,
1197 struct fp_instruction
*inst
)
1203 /* The first argument is a literal string 'just like this' */
1204 if (!Parse_String(parseState
, "'"))
1205 RETURN_ERROR1("Expected '");
1207 str
= parseState
->pos
;
1208 for (len
= 0; str
[len
] != '\''; len
++) /* find closing quote */
1210 parseState
->pos
+= len
+ 1;
1211 msg
= _mesa_malloc(len
+ 1);
1213 _mesa_memcpy(msg
, str
, len
);
1217 if (Parse_String(parseState
, ",")) {
1218 /* got an optional register to print */
1220 GetToken(parseState
, token
);
1221 if (token
[0] == 'o') {
1223 if (!Parse_OutputReg(parseState
, &inst
->SrcReg
[0].Index
))
1225 inst
->SrcReg
[0].File
= PROGRAM_OUTPUT
;
1229 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1234 /* File = 0 indicates no register to print */
1235 inst
->SrcReg
[0].File
= -1;
1238 inst
->SrcReg
[0].Swizzle
[0] = 0;
1239 inst
->SrcReg
[0].Swizzle
[1] = 1;
1240 inst
->SrcReg
[0].Swizzle
[2] = 2;
1241 inst
->SrcReg
[0].Swizzle
[3] = 3;
1242 inst
->SrcReg
[0].NegateBase
= GL_FALSE
;
1243 inst
->SrcReg
[0].Abs
= GL_FALSE
;
1244 inst
->SrcReg
[0].NegateAbs
= GL_FALSE
;
1251 Parse_InstructionSequence(struct parse_state
*parseState
,
1252 struct fp_instruction program
[])
1255 struct fp_instruction
*inst
= program
+ parseState
->numInst
;
1256 struct instruction_pattern instMatch
;
1259 /* Initialize the instruction */
1260 inst
->SrcReg
[0].File
= (enum register_file
) -1;
1261 inst
->SrcReg
[1].File
= (enum register_file
) -1;
1262 inst
->SrcReg
[2].File
= (enum register_file
) -1;
1263 inst
->DstReg
.File
= (enum register_file
) -1;
1264 inst
->DstReg
.CondSwizzle
[0] = 0;
1265 inst
->DstReg
.CondSwizzle
[1] = 1;
1266 inst
->DstReg
.CondSwizzle
[2] = 2;
1267 inst
->DstReg
.CondSwizzle
[3] = 3;
1270 /* special instructions */
1271 if (Parse_String(parseState
, "DEFINE")) {
1273 GLfloat value
[7]; /* yes, 7 to be safe */
1274 if (!Parse_Identifier(parseState
, id
))
1276 /* XXX make sure id is not a reserved identifer, like R9 */
1277 if (!Parse_String(parseState
, "="))
1278 RETURN_ERROR1("Expected =");
1279 if (!Parse_VectorOrScalarConstant(parseState
, value
))
1281 if (!Parse_String(parseState
, ";"))
1282 RETURN_ERROR1("Expected ;");
1283 if (_mesa_lookup_parameter_index(parseState
->parameters
,
1284 -1, (const char *) id
) >= 0) {
1285 RETURN_ERROR2(id
, "already defined");
1287 _mesa_add_named_parameter(parseState
->parameters
,
1288 (const char *) id
, value
);
1290 else if (Parse_String(parseState
, "DECLARE")) {
1292 GLfloat value
[7] = {0, 0, 0, 0, 0, 0, 0}; /* yes, to be safe */
1293 if (!Parse_Identifier(parseState
, id
))
1295 /* XXX make sure id is not a reserved identifer, like R9 */
1296 if (Parse_String(parseState
, "=")) {
1297 if (!Parse_VectorOrScalarConstant(parseState
, value
))
1300 if (!Parse_String(parseState
, ";"))
1301 RETURN_ERROR1("Expected ;");
1302 if (_mesa_lookup_parameter_index(parseState
->parameters
,
1303 -1, (const char *) id
) >= 0) {
1304 RETURN_ERROR2(id
, "already declared");
1306 _mesa_add_named_parameter(parseState
->parameters
,
1307 (const char *) id
, value
);
1309 else if (Parse_String(parseState
, "END")) {
1310 inst
->Opcode
= FP_OPCODE_END
;
1311 inst
->StringPos
= parseState
->curLine
- parseState
->start
;
1312 assert(inst
->StringPos
>= 0);
1313 parseState
->numInst
++;
1314 if (Parse_Token(parseState
, token
)) {
1315 RETURN_ERROR1("Code after END opcode.");
1320 /* general/arithmetic instruction */
1323 if (!Parse_Token(parseState
, token
)) {
1324 RETURN_ERROR1("Missing END instruction.");
1327 /* try to find matching instuction */
1328 instMatch
= MatchInstruction(token
);
1329 if (instMatch
.opcode
< 0) {
1330 /* bad instruction name */
1331 RETURN_ERROR2("Unexpected token: ", token
);
1334 inst
->Opcode
= instMatch
.opcode
;
1335 inst
->Precision
= instMatch
.suffixes
& (_R
| _H
| _X
);
1336 inst
->Saturate
= (instMatch
.suffixes
& (_S
)) ? GL_TRUE
: GL_FALSE
;
1337 inst
->UpdateCondRegister
= (instMatch
.suffixes
& (_C
)) ? GL_TRUE
: GL_FALSE
;
1338 inst
->StringPos
= parseState
->curLine
- parseState
->start
;
1339 assert(inst
->StringPos
>= 0);
1342 * parse the input and output operands
1344 if (instMatch
.outputs
== OUTPUT_S
|| instMatch
.outputs
== OUTPUT_V
) {
1345 if (!Parse_MaskedDstReg(parseState
, &inst
->DstReg
))
1347 if (!Parse_String(parseState
, ","))
1348 RETURN_ERROR1("Expected ,");
1350 else if (instMatch
.outputs
== OUTPUT_NONE
) {
1351 if (instMatch
.opcode
== FP_OPCODE_KIL_NV
) {
1352 /* This is a little weird, the cond code info is in
1353 * the dest register.
1355 if (!Parse_CondCodeMask(parseState
, &inst
->DstReg
))
1359 ASSERT(instMatch
.opcode
== FP_OPCODE_PRINT
);
1363 if (instMatch
.inputs
== INPUT_1V
) {
1364 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1367 else if (instMatch
.inputs
== INPUT_2V
) {
1368 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1370 if (!Parse_String(parseState
, ","))
1371 RETURN_ERROR1("Expected ,");
1372 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[1]))
1375 else if (instMatch
.inputs
== INPUT_3V
) {
1376 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1378 if (!Parse_String(parseState
, ","))
1379 RETURN_ERROR1("Expected ,");
1380 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[1]))
1382 if (!Parse_String(parseState
, ","))
1383 RETURN_ERROR1("Expected ,");
1384 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[2]))
1387 else if (instMatch
.inputs
== INPUT_1S
) {
1388 if (!Parse_ScalarSrcReg(parseState
, &inst
->SrcReg
[0]))
1391 else if (instMatch
.inputs
== INPUT_2S
) {
1392 if (!Parse_ScalarSrcReg(parseState
, &inst
->SrcReg
[0]))
1394 if (!Parse_String(parseState
, ","))
1395 RETURN_ERROR1("Expected ,");
1396 if (!Parse_ScalarSrcReg(parseState
, &inst
->SrcReg
[1]))
1399 else if (instMatch
.inputs
== INPUT_CC
) {
1402 else if (instMatch
.inputs
== INPUT_1V_T
) {
1403 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1405 if (!Parse_String(parseState
, ","))
1406 RETURN_ERROR1("Expected ,");
1407 if (!Parse_TextureImageId(parseState
, &inst
->TexSrcUnit
,
1411 else if (instMatch
.inputs
== INPUT_3V_T
) {
1412 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[0]))
1414 if (!Parse_String(parseState
, ","))
1415 RETURN_ERROR1("Expected ,");
1416 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[1]))
1418 if (!Parse_String(parseState
, ","))
1419 RETURN_ERROR1("Expected ,");
1420 if (!Parse_VectorSrc(parseState
, &inst
->SrcReg
[2]))
1422 if (!Parse_String(parseState
, ","))
1423 RETURN_ERROR1("Expected ,");
1424 if (!Parse_TextureImageId(parseState
, &inst
->TexSrcUnit
,
1428 else if (instMatch
.inputs
== INPUT_1V_S
) {
1429 if (!Parse_PrintInstruction(parseState
, inst
))
1433 /* end of statement semicolon */
1434 if (!Parse_String(parseState
, ";"))
1435 RETURN_ERROR1("Expected ;");
1437 parseState
->numInst
++;
1439 if (parseState
->numInst
>= MAX_NV_FRAGMENT_PROGRAM_INSTRUCTIONS
)
1440 RETURN_ERROR1("Program too long");
1449 * Parse/compile the 'str' returning the compiled 'program'.
1450 * ctx->Program.ErrorPos will be -1 if successful. Otherwise, ErrorPos
1451 * indicates the position of the error in 'str'.
1454 _mesa_parse_nv_fragment_program(GLcontext
*ctx
, GLenum dstTarget
,
1455 const GLubyte
*str
, GLsizei len
,
1456 struct fragment_program
*program
)
1458 struct parse_state parseState
;
1459 struct fp_instruction instBuffer
[MAX_NV_FRAGMENT_PROGRAM_INSTRUCTIONS
];
1460 struct fp_instruction
*newInst
;
1462 GLubyte
*programString
;
1464 /* Make a null-terminated copy of the program string */
1465 programString
= (GLubyte
*) MALLOC(len
+ 1);
1466 if (!programString
) {
1467 _mesa_error(ctx
, GL_OUT_OF_MEMORY
, "glLoadProgramNV");
1470 MEMCPY(programString
, str
, len
);
1471 programString
[len
] = 0;
1473 /* Get ready to parse */
1474 _mesa_bzero(&parseState
, sizeof(struct parse_state
));
1475 parseState
.ctx
= ctx
;
1476 parseState
.start
= programString
;
1477 parseState
.program
= program
;
1478 parseState
.numInst
= 0;
1479 parseState
.curLine
= programString
;
1480 parseState
.parameters
= _mesa_new_parameter_list();
1482 /* Reset error state */
1483 _mesa_set_program_error(ctx
, -1, NULL
);
1485 /* check the program header */
1486 if (_mesa_strncmp((const char *) programString
, "!!FP1.0", 7) == 0) {
1487 target
= GL_FRAGMENT_PROGRAM_NV
;
1488 parseState
.pos
= programString
+ 7;
1490 else if (_mesa_strncmp((const char *) programString
, "!!FCP1.0", 8) == 0) {
1491 /* fragment / register combiner program - not supported */
1492 _mesa_set_program_error(ctx
, 0, "Invalid fragment program header");
1493 _mesa_error(ctx
, GL_INVALID_OPERATION
, "glLoadProgramNV(bad header)");
1497 /* invalid header */
1498 _mesa_set_program_error(ctx
, 0, "Invalid fragment program header");
1499 _mesa_error(ctx
, GL_INVALID_OPERATION
, "glLoadProgramNV(bad header)");
1503 /* make sure target and header match */
1504 if (target
!= dstTarget
) {
1505 _mesa_error(ctx
, GL_INVALID_OPERATION
,
1506 "glLoadProgramNV(target mismatch 0x%x != 0x%x)",
1511 if (Parse_InstructionSequence(&parseState
, instBuffer
)) {
1513 /* successful parse! */
1515 if (parseState
.outputsWritten
== 0) {
1516 /* must write at least one output! */
1517 _mesa_error(ctx
, GL_INVALID_OPERATION
,
1518 "Invalid fragment program - no outputs written.");
1522 /* copy the compiled instructions */
1523 assert(parseState
.numInst
<= MAX_NV_FRAGMENT_PROGRAM_INSTRUCTIONS
);
1524 newInst
= (struct fp_instruction
*)
1525 MALLOC(parseState
.numInst
* sizeof(struct fp_instruction
));
1527 _mesa_error(ctx
, GL_OUT_OF_MEMORY
, "glLoadProgramNV");
1528 return; /* out of memory */
1530 MEMCPY(newInst
, instBuffer
,
1531 parseState
.numInst
* sizeof(struct fp_instruction
));
1533 /* install the program */
1534 program
->Base
.Target
= target
;
1535 if (program
->Base
.String
) {
1536 FREE(program
->Base
.String
);
1538 program
->Base
.String
= programString
;
1539 program
->Base
.Format
= GL_PROGRAM_FORMAT_ASCII_ARB
;
1540 if (program
->Instructions
) {
1541 FREE(program
->Instructions
);
1543 program
->Instructions
= newInst
;
1544 program
->InputsRead
= parseState
.inputsRead
;
1545 program
->OutputsWritten
= parseState
.outputsWritten
;
1546 for (u
= 0; u
< ctx
->Const
.MaxTextureImageUnits
; u
++)
1547 program
->TexturesUsed
[u
] = parseState
.texturesUsed
[u
];
1549 /* save program parameters */
1550 program
->Parameters
= parseState
.parameters
;
1552 /* allocate registers for declared program parameters */
1554 _mesa_assign_program_registers(&(program
->SymbolTable
));
1558 _mesa_printf("--- glLoadProgramNV(%d) result ---\n", program
->Base
.Id
);
1559 _mesa_print_nv_fragment_program(program
);
1560 _mesa_printf("----------------------------------\n");
1565 _mesa_error(ctx
, GL_INVALID_OPERATION
, "glLoadProgramNV");
1566 /* NOTE: _mesa_set_program_error would have been called already */
1572 PrintSrcReg(const struct fragment_program
*program
,
1573 const struct fp_src_register
*src
)
1575 static const char comps
[5] = "xyzw";
1577 if (src
->NegateAbs
) {
1583 if (src
->NegateBase
) {
1586 if (src
->File
== PROGRAM_NAMED_PARAM
) {
1587 if (program
->Parameters
->Parameters
[src
->Index
].Type
== CONSTANT
) {
1588 printf("{%g, %g, %g, %g}",
1589 program
->Parameters
->Parameters
[src
->Index
].Values
[0],
1590 program
->Parameters
->Parameters
[src
->Index
].Values
[1],
1591 program
->Parameters
->Parameters
[src
->Index
].Values
[2],
1592 program
->Parameters
->Parameters
[src
->Index
].Values
[3]);
1595 ASSERT(program
->Parameters
->Parameters
[src
->Index
].Type
1596 == NAMED_PARAMETER
);
1597 printf("%s", program
->Parameters
->Parameters
[src
->Index
].Name
);
1600 else if (src
->File
== PROGRAM_OUTPUT
) {
1601 _mesa_printf("o[%s]", OutputRegisters
[src
->Index
]);
1603 else if (src
->File
== PROGRAM_INPUT
) {
1604 _mesa_printf("f[%s]", InputRegisters
[src
->Index
]);
1606 else if (src
->File
== PROGRAM_LOCAL_PARAM
) {
1607 _mesa_printf("p[%d]", src
->Index
);
1609 else if (src
->File
== PROGRAM_TEMPORARY
) {
1610 if (src
->Index
>= 32)
1611 _mesa_printf("H%d", src
->Index
);
1613 _mesa_printf("R%d", src
->Index
);
1615 else if (src
->File
== PROGRAM_WRITE_ONLY
) {
1616 _mesa_printf("%cC", "HR"[src
->Index
]);
1619 _mesa_problem(NULL
, "Invalid fragment register %d", src
->Index
);
1622 if (src
->Swizzle
[0] == src
->Swizzle
[1] &&
1623 src
->Swizzle
[0] == src
->Swizzle
[2] &&
1624 src
->Swizzle
[0] == src
->Swizzle
[3]) {
1625 _mesa_printf(".%c", comps
[src
->Swizzle
[0]]);
1627 else if (src
->Swizzle
[0] != 0 ||
1628 src
->Swizzle
[1] != 1 ||
1629 src
->Swizzle
[2] != 2 ||
1630 src
->Swizzle
[3] != 3) {
1631 _mesa_printf(".%c%c%c%c",
1632 comps
[src
->Swizzle
[0]],
1633 comps
[src
->Swizzle
[1]],
1634 comps
[src
->Swizzle
[2]],
1635 comps
[src
->Swizzle
[3]]);
1643 PrintTextureSrc(const struct fp_instruction
*inst
)
1645 _mesa_printf("TEX%d, ", inst
->TexSrcUnit
);
1646 switch (inst
->TexSrcBit
) {
1647 case TEXTURE_1D_BIT
:
1650 case TEXTURE_2D_BIT
:
1653 case TEXTURE_3D_BIT
:
1656 case TEXTURE_RECT_BIT
:
1657 _mesa_printf("RECT");
1659 case TEXTURE_CUBE_BIT
:
1660 _mesa_printf("CUBE");
1663 _mesa_problem(NULL
, "Invalid textue target in PrintTextureSrc");
1668 PrintCondCode(const struct fp_dst_register
*dst
)
1670 static const char *comps
= "xyzw";
1671 static const char *ccString
[] = {
1672 "??", "GT", "EQ", "LT", "UN", "GE", "LE", "NE", "TR", "FL", "??"
1675 _mesa_printf("%s", ccString
[dst
->CondMask
]);
1676 if (dst
->CondSwizzle
[0] == dst
->CondSwizzle
[1] &&
1677 dst
->CondSwizzle
[0] == dst
->CondSwizzle
[2] &&
1678 dst
->CondSwizzle
[0] == dst
->CondSwizzle
[3]) {
1679 _mesa_printf(".%c", comps
[dst
->CondSwizzle
[0]]);
1681 else if (dst
->CondSwizzle
[0] != 0 ||
1682 dst
->CondSwizzle
[1] != 1 ||
1683 dst
->CondSwizzle
[2] != 2 ||
1684 dst
->CondSwizzle
[3] != 3) {
1685 _mesa_printf(".%c%c%c%c",
1686 comps
[dst
->CondSwizzle
[0]],
1687 comps
[dst
->CondSwizzle
[1]],
1688 comps
[dst
->CondSwizzle
[2]],
1689 comps
[dst
->CondSwizzle
[3]]);
1695 PrintDstReg(const struct fp_dst_register
*dst
)
1697 GLint w
= dst
->WriteMask
[0] + dst
->WriteMask
[1]
1698 + dst
->WriteMask
[2] + dst
->WriteMask
[3];
1700 if (dst
->File
== PROGRAM_OUTPUT
) {
1701 _mesa_printf("o[%s]", OutputRegisters
[dst
->Index
]);
1703 else if (dst
->File
== PROGRAM_TEMPORARY
) {
1704 if (dst
->Index
>= 32)
1705 _mesa_printf("H%d", dst
->Index
);
1707 _mesa_printf("R%d", dst
->Index
);
1709 else if (dst
->File
== PROGRAM_LOCAL_PARAM
) {
1710 _mesa_printf("p[%d]", dst
->Index
);
1712 else if (dst
->File
== PROGRAM_WRITE_ONLY
) {
1713 _mesa_printf("%cC", "HR"[dst
->Index
]);
1716 _mesa_printf("???");
1719 if (w
!= 0 && w
!= 4) {
1721 if (dst
->WriteMask
[0])
1723 if (dst
->WriteMask
[1])
1725 if (dst
->WriteMask
[2])
1727 if (dst
->WriteMask
[3])
1731 if (dst
->CondMask
!= COND_TR
||
1732 dst
->CondSwizzle
[0] != 0 ||
1733 dst
->CondSwizzle
[1] != 1 ||
1734 dst
->CondSwizzle
[2] != 2 ||
1735 dst
->CondSwizzle
[3] != 3) {
1744 * Print (unparse) the given vertex program. Just for debugging.
1747 _mesa_print_nv_fragment_program(const struct fragment_program
*program
)
1749 const struct fp_instruction
*inst
;
1751 for (inst
= program
->Instructions
; inst
->Opcode
!= FP_OPCODE_END
; inst
++) {
1753 for (i
= 0; Instructions
[i
].name
; i
++) {
1754 if (inst
->Opcode
== Instructions
[i
].opcode
) {
1755 /* print instruction name */
1756 _mesa_printf("%s", Instructions
[i
].name
);
1757 if (inst
->Precision
== FLOAT16
)
1759 else if (inst
->Precision
== FIXED12
)
1761 if (inst
->UpdateCondRegister
)
1764 _mesa_printf("_SAT");
1767 if (Instructions
[i
].inputs
== INPUT_CC
) {
1768 PrintCondCode(&inst
->DstReg
);
1770 else if (Instructions
[i
].outputs
== OUTPUT_V
||
1771 Instructions
[i
].outputs
== OUTPUT_S
) {
1772 /* print dest register */
1773 PrintDstReg(&inst
->DstReg
);
1777 /* print source register(s) */
1778 if (Instructions
[i
].inputs
== INPUT_1V
||
1779 Instructions
[i
].inputs
== INPUT_1S
) {
1780 PrintSrcReg(program
, &inst
->SrcReg
[0]);
1782 else if (Instructions
[i
].inputs
== INPUT_2V
||
1783 Instructions
[i
].inputs
== INPUT_2S
) {
1784 PrintSrcReg(program
, &inst
->SrcReg
[0]);
1786 PrintSrcReg(program
, &inst
->SrcReg
[1]);
1788 else if (Instructions
[i
].inputs
== INPUT_3V
) {
1789 PrintSrcReg(program
, &inst
->SrcReg
[0]);
1791 PrintSrcReg(program
, &inst
->SrcReg
[1]);
1793 PrintSrcReg(program
, &inst
->SrcReg
[2]);
1795 else if (Instructions
[i
].inputs
== INPUT_1V_T
) {
1796 PrintSrcReg(program
, &inst
->SrcReg
[0]);
1798 PrintTextureSrc(inst
);
1800 else if (Instructions
[i
].inputs
== INPUT_3V_T
) {
1801 PrintSrcReg(program
, &inst
->SrcReg
[0]);
1803 PrintSrcReg(program
, &inst
->SrcReg
[1]);
1805 PrintSrcReg(program
, &inst
->SrcReg
[2]);
1807 PrintTextureSrc(inst
);
1809 _mesa_printf(";\n");
1813 if (!Instructions
[i
].name
) {
1814 _mesa_printf("Invalid opcode %d\n", inst
->Opcode
);
1817 _mesa_printf("END\n");
1822 _mesa_nv_fragment_input_register_name(GLuint i
)
1824 ASSERT(i
< MAX_NV_FRAGMENT_PROGRAM_INPUTS
);
1825 return InputRegisters
[i
];
1830 _mesa_nv_fragment_output_register_name(GLuint i
)
1832 ASSERT(i
< MAX_NV_FRAGMENT_PROGRAM_OUTPUTS
);
1833 return OutputRegisters
[i
];