Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / mesa3d / fb170c8bd71e649807a9e86e7290c973bc34b206 / . / src / mesa / shader / arbprogram.syn
blob: 75db7a7942a105d221f6fd78121a89d8cd8355b2 [file] [log] [blame]
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]1.syntax program;
2
3/*
4 This value must be incremented every time emit code values or structure of the production
5 array changes. This value is placed at the beginning of the production array. The loader
6 compares the value with its REVISION value. If they do not match, the loader is not up
7 to date.
8*/
Brian Paulbe76b7f2004-10-04 14:40:05 +0000[diff] [blame]9.emtcode REVISION 0x08
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]10
11/* program type */
12.emtcode FRAGMENT_PROGRAM 0x01
13.emtcode VERTEX_PROGRAM 0x02
14
15/* program section */
16.emtcode OPTION 0x01
17.emtcode INSTRUCTION 0x02
18.emtcode DECLARATION 0x03
19.emtcode END 0x04
20
21/* GL_ARB_fragment_program option flags */
22.emtcode ARB_PRECISION_HINT_FASTEST 0x01
23.emtcode ARB_PRECISION_HINT_NICEST 0x02
24.emtcode ARB_FOG_EXP 0x04
25.emtcode ARB_FOG_EXP2 0x08
26.emtcode ARB_FOG_LINEAR 0x10
27
28/* GL_ARB_vertex_program option flags */
29.emtcode ARB_POSITION_INVARIANT 0x20
30
31/* GL_ARB_fragment_program_shadow option flags */
32.emtcode ARB_FRAGMENT_PROGRAM_SHADOW 0x40
33
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]34/* GL_ARB_draw_buffers option flags */
35.emtcode ARB_DRAW_BUFFERS 0x80
36
37/* if we need more flags, we have three options:
38 1) change the existing flags to indicate an option to a shift, so 0x01 becomes 0 (because
39 1 << 0 is 0x01), 0x02 becomes 1 (1 << 1 == 0x02), and so on - this would give us
40 256 flags,
41 2) mark special value of 0 to say "the following byte will hold the upper 8 bit flags",
42 3) expand all the existing flags to be 2 bytes long
43*/
44
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]45/* GL_ARB_fragment_program instruction class */
46.emtcode OP_ALU_INST 0x00
47.emtcode OP_TEX_INST 0x01
48
49/* GL_ARB_vertex_program instruction class */
50/* OP_ALU_INST */
51
52/* GL_ARB_fragment_program instruction type */
53.emtcode OP_ALU_VECTOR 0x00
54.emtcode OP_ALU_SCALAR 0x01
55.emtcode OP_ALU_BINSC 0x02
56.emtcode OP_ALU_BIN 0x03
57.emtcode OP_ALU_TRI 0x04
58.emtcode OP_ALU_SWZ 0x05
59.emtcode OP_TEX_SAMPLE 0x06
60.emtcode OP_TEX_KIL 0x07
61
62/* GL_ARB_vertex_program instruction type */
63.emtcode OP_ALU_ARL 0x08
64/* OP_ALU_VECTOR */
65/* OP_ALU_SCALAR */
66/* OP_ALU_BINSC */
67/* OP_ALU_BIN */
68/* OP_ALU_TRI */
69/* OP_ALU_SWZ */
70
71/* GL_ARB_fragment_program instruction code */
72.emtcode OP_ABS 0x00
73.emtcode OP_ABS_SAT 0x1B
74.emtcode OP_FLR 0x09
75.emtcode OP_FLR_SAT 0x26
76.emtcode OP_FRC 0x0A
77.emtcode OP_FRC_SAT 0x27
78.emtcode OP_LIT 0x0C
79.emtcode OP_LIT_SAT 0x2A
80.emtcode OP_MOV 0x11
81.emtcode OP_MOV_SAT 0x30
82.emtcode OP_COS 0x1F
83.emtcode OP_COS_SAT 0x20
84.emtcode OP_EX2 0x07
85.emtcode OP_EX2_SAT 0x25
86.emtcode OP_LG2 0x0B
87.emtcode OP_LG2_SAT 0x29
88.emtcode OP_RCP 0x14
89.emtcode OP_RCP_SAT 0x33
90.emtcode OP_RSQ 0x15
91.emtcode OP_RSQ_SAT 0x34
92.emtcode OP_SIN 0x38
93.emtcode OP_SIN_SAT 0x39
94.emtcode OP_SCS 0x35
95.emtcode OP_SCS_SAT 0x36
96.emtcode OP_POW 0x13
97.emtcode OP_POW_SAT 0x32
98.emtcode OP_ADD 0x01
99.emtcode OP_ADD_SAT 0x1C
100.emtcode OP_DP3 0x03
101.emtcode OP_DP3_SAT 0x21
102.emtcode OP_DP4 0x04
103.emtcode OP_DP4_SAT 0x22
104.emtcode OP_DPH 0x05
105.emtcode OP_DPH_SAT 0x23
106.emtcode OP_DST 0x06
107.emtcode OP_DST_SAT 0x24
108.emtcode OP_MAX 0x0F
109.emtcode OP_MAX_SAT 0x2E
110.emtcode OP_MIN 0x10
111.emtcode OP_MIN_SAT 0x2F
112.emtcode OP_MUL 0x12
113.emtcode OP_MUL_SAT 0x31
114.emtcode OP_SGE 0x16
115.emtcode OP_SGE_SAT 0x37
116.emtcode OP_SLT 0x17
117.emtcode OP_SLT_SAT 0x3A
118.emtcode OP_SUB 0x18
119.emtcode OP_SUB_SAT 0x3B
120.emtcode OP_XPD 0x1A
121.emtcode OP_XPD_SAT 0x43
122.emtcode OP_CMP 0x1D
123.emtcode OP_CMP_SAT 0x1E
124.emtcode OP_LRP 0x2B
125.emtcode OP_LRP_SAT 0x2C
126.emtcode OP_MAD 0x0E
127.emtcode OP_MAD_SAT 0x2D
128.emtcode OP_SWZ 0x19
129.emtcode OP_SWZ_SAT 0x3C
130.emtcode OP_TEX 0x3D
131.emtcode OP_TEX_SAT 0x3E
132.emtcode OP_TXB 0x3F
133.emtcode OP_TXB_SAT 0x40
134.emtcode OP_TXP 0x41
135.emtcode OP_TXP_SAT 0x42
136.emtcode OP_KIL 0x28
137
138/* GL_ARB_vertex_program instruction code */
139.emtcode OP_ARL 0x02
140/* OP_ABS */
141/* OP_FLR */
142/* OP_FRC */
143/* OP_LIT */
144/* OP_MOV */
145/* OP_EX2 */
146.emtcode OP_EXP 0x08
147/* OP_LG2 */
148.emtcode OP_LOG 0x0D
149/* OP_RCP */
150/* OP_RSQ */
151/* OP_POW */
152/* OP_ADD */
153/* OP_DP3 */
154/* OP_DP4 */
155/* OP_DPH */
156/* OP_DST */
157/* OP_MAX */
158/* OP_MIN */
159/* OP_MUL */
160/* OP_SGE */
161/* OP_SLT */
162/* OP_SUB */
163/* OP_XPD */
164/* OP_MAD */
165/* OP_SWZ */
166
167/* fragment attribute binding */
168.emtcode FRAGMENT_ATTRIB_COLOR 0x01
169.emtcode FRAGMENT_ATTRIB_TEXCOORD 0x02
170.emtcode FRAGMENT_ATTRIB_FOGCOORD 0x03
171.emtcode FRAGMENT_ATTRIB_POSITION 0x04
172
173/* vertex attribute binding */
174.emtcode VERTEX_ATTRIB_POSITION 0x01
175.emtcode VERTEX_ATTRIB_WEIGHT 0x02
176.emtcode VERTEX_ATTRIB_NORMAL 0x03
177.emtcode VERTEX_ATTRIB_COLOR 0x04
178.emtcode VERTEX_ATTRIB_FOGCOORD 0x05
179.emtcode VERTEX_ATTRIB_TEXCOORD 0x06
180.emtcode VERTEX_ATTRIB_MATRIXINDEX 0x07
181.emtcode VERTEX_ATTRIB_GENERIC 0x08
182
183/* fragment result binding */
184.emtcode FRAGMENT_RESULT_COLOR 0x01
185.emtcode FRAGMENT_RESULT_DEPTH 0x02
186
187/* vertex result binding */
188.emtcode VERTEX_RESULT_POSITION 0x01
189.emtcode VERTEX_RESULT_COLOR 0x02
190.emtcode VERTEX_RESULT_FOGCOORD 0x03
191.emtcode VERTEX_RESULT_POINTSIZE 0x04
192.emtcode VERTEX_RESULT_TEXCOORD 0x05
193
194/* texture target */
195.emtcode TEXTARGET_1D 0x01
196.emtcode TEXTARGET_2D 0x02
197.emtcode TEXTARGET_3D 0x03
198.emtcode TEXTARGET_RECT 0x04
199.emtcode TEXTARGET_CUBE 0x05
200/* GL_ARB_fragment_program_shadow */
201.emtcode TEXTARGET_SHADOW1D 0x06
202.emtcode TEXTARGET_SHADOW2D 0x07
203.emtcode TEXTARGET_SHADOWRECT 0x08
204
205/* face type */
206.emtcode FACE_FRONT 0x00
207.emtcode FACE_BACK 0x01
208
209/* color type */
210.emtcode COLOR_PRIMARY 0x00
211.emtcode COLOR_SECONDARY 0x01
212
213/* component */
214.emtcode COMPONENT_X 0x00
215.emtcode COMPONENT_Y 0x01
216.emtcode COMPONENT_Z 0x02
217.emtcode COMPONENT_W 0x03
218.emtcode COMPONENT_0 0x04
219.emtcode COMPONENT_1 0x05
220
221/* array index type */
222.emtcode ARRAY_INDEX_ABSOLUTE 0x00
223.emtcode ARRAY_INDEX_RELATIVE 0x01
224
225/* matrix name */
226.emtcode MATRIX_MODELVIEW 0x01
227.emtcode MATRIX_PROJECTION 0x02
228.emtcode MATRIX_MVP 0x03
229.emtcode MATRIX_TEXTURE 0x04
230.emtcode MATRIX_PALETTE 0x05
231.emtcode MATRIX_PROGRAM 0x06
232
233/* matrix modifier */
234.emtcode MATRIX_MODIFIER_IDENTITY 0x00
235.emtcode MATRIX_MODIFIER_INVERSE 0x01
236.emtcode MATRIX_MODIFIER_TRANSPOSE 0x02
237.emtcode MATRIX_MODIFIER_INVTRANS 0x03
238
239/* constant type */
240.emtcode CONSTANT_SCALAR 0x01
241.emtcode CONSTANT_VECTOR 0x02
242
243/* program param type */
244.emtcode PROGRAM_PARAM_ENV 0x01
245.emtcode PROGRAM_PARAM_LOCAL 0x02
246
247/* register type */
248.emtcode REGISTER_ATTRIB 0x01
249.emtcode REGISTER_PARAM 0x02
250.emtcode REGISTER_RESULT 0x03
251.emtcode REGISTER_ESTABLISHED_NAME 0x04
252
253/* param binding */
254.emtcode PARAM_NULL 0x00
255.emtcode PARAM_ARRAY_ELEMENT 0x01
256.emtcode PARAM_STATE_ELEMENT 0x02
257.emtcode PARAM_PROGRAM_ELEMENT 0x03
258.emtcode PARAM_PROGRAM_ELEMENTS 0x04
259.emtcode PARAM_CONSTANT 0x05
260
261/* param state property */
262.emtcode STATE_MATERIAL 0x01
263.emtcode STATE_LIGHT 0x02
264.emtcode STATE_LIGHT_MODEL 0x03
265.emtcode STATE_LIGHT_PROD 0x04
266.emtcode STATE_FOG 0x05
267.emtcode STATE_MATRIX_ROWS 0x06
268/* GL_ARB_fragment_program */
269.emtcode STATE_TEX_ENV 0x07
270.emtcode STATE_DEPTH 0x08
271/* GL_ARB_vertex_program */
272.emtcode STATE_TEX_GEN 0x09
273.emtcode STATE_CLIP_PLANE 0x0A
274.emtcode STATE_POINT 0x0B
275
276/* state material property */
277.emtcode MATERIAL_AMBIENT 0x01
278.emtcode MATERIAL_DIFFUSE 0x02
279.emtcode MATERIAL_SPECULAR 0x03
280.emtcode MATERIAL_EMISSION 0x04
281.emtcode MATERIAL_SHININESS 0x05
282
283/* state light property */
284.emtcode LIGHT_AMBIENT 0x01
285.emtcode LIGHT_DIFFUSE 0x02
286.emtcode LIGHT_SPECULAR 0x03
287.emtcode LIGHT_POSITION 0x04
288.emtcode LIGHT_ATTENUATION 0x05
289.emtcode LIGHT_HALF 0x06
290.emtcode LIGHT_SPOT_DIRECTION 0x07
291
292/* state light model property */
293.emtcode LIGHT_MODEL_AMBIENT 0x01
294.emtcode LIGHT_MODEL_SCENECOLOR 0x02
295
296/* state light product property */
297.emtcode LIGHT_PROD_AMBIENT 0x01
298.emtcode LIGHT_PROD_DIFFUSE 0x02
299.emtcode LIGHT_PROD_SPECULAR 0x03
300
301/* state texture environment property */
302.emtcode TEX_ENV_COLOR 0x01
303
304/* state texture generation coord property */
305.emtcode TEX_GEN_EYE 0x01
306.emtcode TEX_GEN_OBJECT 0x02
307
308/* state fog property */
309.emtcode FOG_COLOR 0x01
310.emtcode FOG_PARAMS 0x02
311
312/* state depth property */
313.emtcode DEPTH_RANGE 0x01
314
315/* state point parameters property */
316.emtcode POINT_SIZE 0x01
317.emtcode POINT_ATTENUATION 0x02
318
319/* declaration */
320.emtcode ATTRIB 0x01
321.emtcode PARAM 0x02
322.emtcode TEMP 0x03
323.emtcode OUTPUT 0x04
324.emtcode ALIAS 0x05
325/* GL_ARB_vertex_program */
326.emtcode ADDRESS 0x06
327
328/* error messages */
329.errtext UNKNOWN_PROGRAM_SIGNATURE "1001: '$e_signature$': unknown program signature"
330.errtext MISSING_END_OR_INVALID_STATEMENT "1002: '$e_statement$': invalid statement"
331.errtext CODE_AFTER_END "1003: '$e_statement$': code after 'END' keyword"
332.errtext INVALID_PROGRAM_OPTION "1004: '$e_identifier$': invalid program option"
333.errtext EXT_SWIZ_COMP_EXPECTED "1005: extended swizzle component expected but '$e_token$' found"
334.errtext TEX_TARGET_EXPECTED "1006: texture target expected but '$e_token$' found"
335.errtext TEXTURE_EXPECTED "1007: 'texture' expected but '$e_identifier$' found"
336.errtext SOURCE_REGISTER_EXPECTED "1008: source register expected but '$e_token$' found"
337.errtext DESTINATION_REGISTER_EXPECTED "1009: destination register expected but '$e_token$' found"
338.errtext INVALID_ADDRESS_COMPONENT "1010: '$e_identifier$': invalid address component"
339.errtext INVALID_ADDRESS_WRITEMASK "1011: '$e_identifier$': invalid address writemask"
340.errtext INVALID_COMPONENT "1012: '$e_charordigit$': invalid component"
341.errtext INVALID_SUFFIX "1013: '$e_identifier$': invalid suffix"
342.errtext INVALID_WRITEMASK "1014: '$e_identifier$': invalid writemask"
343.errtext FRAGMENT_EXPECTED "1015: 'fragment' expected but '$e_identifier$' found"
344.errtext VERTEX_EXPECTED "1016: 'vertex' expected but '$e_identifier$' found"
345.errtext INVALID_FRAGMENT_PROPERTY "1017: '$e_identifier$': invalid fragment property"
346.errtext INVALID_VERTEX_PROPERTY "1018: '$e_identifier$': invalid vertex property"
347.errtext INVALID_STATE_PROPERTY "1019: '$e_identifier$': invalid state property"
348.errtext INVALID_MATERIAL_PROPERTY "1020: '$e_identifier$': invalid material property"
349.errtext INVALID_LIGHT_PROPERTY "1021: '$e_identifier$': invalid light property"
350.errtext INVALID_SPOT_PROPERTY "1022: '$e_identifier$': invalid spot property"
351.errtext INVALID_LIGHTMODEL_PROPERTY "1023: '$e_identifier$': invalid light model property"
352.errtext INVALID_LIGHTPROD_PROPERTY "1024: '$e_identifier$': invalid light product property"
353.errtext INVALID_TEXENV_PROPERTY "1025: '$e_identifier$': invalid texture environment property"
354.errtext INVALID_TEXGEN_PROPERTY "1026: '$e_identifier$': invalid texture generating property"
355.errtext INVALID_TEXGEN_COORD "1027: '$e_identifier$': invalid texture generating coord"
356.errtext INVALID_FOG_PROPERTY "1028: '$e_identifier$': invalid fog property"
357.errtext INVALID_DEPTH_PROPERTY "1029: '$e_identifier$': invalid depth property"
358.errtext INVALID_CLIPPLANE_PROPERTY "1030: '$e_identifier$': invalid clip plane property"
359.errtext INVALID_POINT_PROPERTY "1031: '$e_identifier$': invalid point property"
360.errtext MATRIX_ROW_SELECTOR_OR_MODIFIER_EXPECTED "1032: matrix row selector or modifier expected but '$e_token$' found"
361.errtext INVALID_MATRIX_NAME "1033: '$e_identifier$': invalid matrix name"
362.errtext INVALID_PROGRAM_PROPERTY "1034: '$e_identifier$': invalid program property"
363.errtext RESULT_EXPECTED "1035: 'result' expected but '$e_token$' found"
364.errtext INVALID_RESULT_PROPERTY "1036: '$e_identifier$': invalid result property"
365.errtext INVALID_FACE_PROPERTY "1037: '$e_identifier$': invalid face property"
366.errtext INVALID_COLOR_PROPERTY "1038: '$e_identifier$': invalid color property"
367.errtext IDENTIFIER_EXPECTED "1039: identifier expected but '$e_token$' found"
368.errtext RESERVED_KEYWORD "1040: use of reserved keyword as an identifier"
369.errtext INTEGER_EXPECTED "1041: integer value expected but '$e_token$' found"
370.errtext MISSING_SEMICOLON "1042: ';' expected but '$e_token$' found"
371.errtext MISSING_COMMA "1043: ',' expected but '$e_token$' found"
372.errtext MISSING_LBRACKET "1044: '[' expected but '$e_token$' found"
373.errtext MISSING_RBRACKET "1045: ']' expected but '$e_token$' found"
374.errtext MISSING_DOT "1046: '.' expected but '$e_token$' found"
375.errtext MISSING_EQUAL "1047: '=' expected but '$e_token$' found"
376.errtext MISSING_LBRACE "1048: '{' expected but '$e_token$' found"
377.errtext MISSING_RBRACE "1049: '}' expected but '$e_token$' found"
378.errtext MISSING_DOTDOT "1050: '..' expected but '$e_token$' found"
379.errtext MISSING_FRACTION_OR_EXPONENT "1051: missing fraction part or exponent"
380.errtext MISSING_DOT_OR_EXPONENT "1052: missing '.' or exponent"
381.errtext EXPONENT_VALUE_EXPECTED "1053: exponent value expected"
382.errtext INTEGER_OUT_OF_RANGE "1054: integer value out of range"
383.errtext OPERATION_NEEDS_DESTINATION_VARIABLE "1055: operation needs destination variable"
384.errtext OPERATION_NEEDS_SOURCE_VARIABLE "1056: operation needs source variable"
385.errtext ADDRESS_REGISTER_EXPECTED "1057: address register expected but '$e_token$' found"
386.errtext ADDRESS_REGISTER_OR_INTEGER_EXPECTED "1058: address register or integer literal expected but '$e_token$' found"
387
388/* extension presence condition registers */
389
390/* GL_ARB_vertex_blend */
391/* GL_EXT_vertex_weighting */
392.regbyte vertex_blend 0x00
393
394/* GL_ARB_matrix_palette */
395.regbyte matrix_palette 0x00
396
397/* GL_ARB_point_parameters */
398/* GL_EXT_point_parameters */
399.regbyte point_parameters 0x00
400
401/* GL_EXT_secondary_color */
402.regbyte secondary_color 0x00
403
404/* GL_EXT_fog_coord */
405.regbyte fog_coord 0x00
406
407/* GL_EXT_texture_rectangle */
408/* GL_NV_texture_rectangle */
409.regbyte texture_rectangle 0x00
410
411/* GL_ARB_fragment_program_shadow */
412.regbyte fragment_program_shadow 0x00
413
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]414/* GL_ARB_draw_buffers */
415.regbyte draw_buffers 0x00
416
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]417/* option presence condition registers */
418/* they are all initially set to zero - when a particular OPTION is encountered, the appropriate */
419/* register is set to 1 to indicate that the OPTION was specified. */
420
421/* GL_ARB_fragment_program */
422.regbyte ARB_precision_hint_fastest 0x00
423.regbyte ARB_precision_hint_nicest 0x00
424.regbyte ARB_fog_exp 0x00
425.regbyte ARB_fog_exp2 0x00
426.regbyte ARB_fog_linear 0x00
427
428/* GL_ARB_vertex_program */
429.regbyte ARB_position_invariant 0x00
430
431/* GL_ARB_fragment_program_shadow */
432.regbyte ARB_fragment_program_shadow 0x00
433
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]434/* GL_ARB_draw_buffers */
435.regbyte ARB_draw_buffers 0x00
436
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]437/* program target condition register */
438/* this syntax script deals with two program targets - VERTEX_PROGRAM and FRAGMENT_PROGRAM. */
439/* to distinguish between them we need a register that will store for us the current target. */
440/* the client will typically set the register to apropriate value before parsing a particular */
441/* program. the mapping between program targets and their values is listed below. */
442/* */
443/* program target register value */
444/* ---------------------------------------------- */
445/* FRAGMENT_PROGRAM 0x10 */
446/* VERTEX_PROGRAM 0x20 */
447/* */
448/* the initial value of the register is 0 to catch potential errors with not setting the register */
449/* with the proper value. */
450.regbyte program_target 0x00
451
452/*
453 <program> ::= <optionSequence> <statementSequence> "END"
454*/
455program
456 programs .error UNKNOWN_PROGRAM_SIGNATURE .emit REVISION;
457programs
458 .if (program_target == 0x10) frag_program_1_0 .emit FRAGMENT_PROGRAM .emit 0x01 .emit 0x00 .or
459 .if (program_target == 0x20) vert_program_1_0 .emit VERTEX_PROGRAM .emit 0x01 .emit 0x00;
460frag_program_1_0
461 '!' .and '!' .and 'A' .and 'R' .and 'B' .and 'f' .and 'p' .and '1' .and '.' .and '0' .and
462 optional_space .and fp_optionSequence .and fp_statementSequence .and
463 "END" .error MISSING_END_OR_INVALID_STATEMENT .emit END .and optional_space .and
464 '\0' .error CODE_AFTER_END;
465vert_program_1_0
466 '!' .and '!' .and 'A' .and 'R' .and 'B' .and 'v' .and 'p' .and '1' .and '.' .and '0' .and
467 optional_space .and vp_optionSequence .and vp_statementSequence .and
468 "END" .error MISSING_END_OR_INVALID_STATEMENT .emit END .and optional_space .and
469 '\0' .error CODE_AFTER_END;
470
471/*
472 <optionSequence> ::= <optionSequence> <option>
473 | ""
474*/
475fp_optionSequence
476 .loop fp_option;
477vp_optionSequence
478 .loop vp_option;
479
480/*
481 <option> ::= "OPTION" <identifier> ";"
482
483NOTE: options ARB_precision_hint_nicest and ARB_precision_hint_fastest are exclusive. When one of
484 these options is encountered, the other one is automatically disabled.
485 the same applies to options ARB_fog_exp, ARB_fog_exp2 and ARB_fog_linear.
486*/
487fp_option
488 "OPTION" .emit OPTION .and space .error IDENTIFIER_EXPECTED .and
489 fp_optionString .error INVALID_PROGRAM_OPTION .and semicolon;
490vp_option
491 "OPTION" .emit OPTION .and space .error IDENTIFIER_EXPECTED .and
492 vp_optionString .error INVALID_PROGRAM_OPTION .and semicolon;
493fp_optionString
494 .if (ARB_precision_hint_nicest == 0x00) "ARB_precision_hint_fastest"
495 .emit ARB_PRECISION_HINT_FASTEST .load ARB_precision_hint_fastest 0x01 .or
496 .if (ARB_precision_hint_fastest == 0x00) "ARB_precision_hint_nicest"
497 .emit ARB_PRECISION_HINT_NICEST .load ARB_precision_hint_nicest 0x01 .or
498 fp_ARB_fog_exp .emit ARB_FOG_EXP .load ARB_fog_exp 0x01 .or
499 fp_ARB_fog_exp2 .emit ARB_FOG_EXP2 .load ARB_fog_exp2 0x01 .or
500 fp_ARB_fog_linear .emit ARB_FOG_LINEAR .load ARB_fog_linear 0x01 .or
501 .if (fragment_program_shadow != 0x00) "ARB_fragment_program_shadow"
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]502 .emit ARB_FRAGMENT_PROGRAM_SHADOW .load ARB_fragment_program_shadow 0x01 .or
503 .if (draw_buffers != 0x00) "ARB_draw_buffers" .emit ARB_DRAW_BUFFERS
504 .load ARB_draw_buffers 0x01;
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]505vp_optionString
506 "ARB_position_invariant" .emit ARB_POSITION_INVARIANT .load ARB_position_invariant 0x01;
507fp_ARB_fog_exp
508 .if (ARB_fog_exp2 == 0x00) .true .and .if (ARB_fog_linear == 0x00) "ARB_fog_exp";
509fp_ARB_fog_exp2
510 .if (ARB_fog_exp == 0x00) .true .and .if (ARB_fog_linear == 0x00) "ARB_fog_exp2";
511fp_ARB_fog_linear
512 .if (ARB_fog_exp == 0x00) .true .and .if (ARB_fog_exp2 == 0x00) "ARB_fog_linear";
513
514/*
515 <statementSequence> ::= <statementSequence> <statement>
516 | ""
517*/
518fp_statementSequence
519 .loop fp_statement;
520vp_statementSequence
521 .loop vp_statement;
522
523/*
524 <statement> ::= <instruction> ";"
525 | <namingStatement> ";"
526
527NOTE: ".emit $" in the definitions below means that we output instruction position (offset of
528 the first character of instruction) for program debugging purposes.
529*/
530fp_statement
531 fp_statement_1 .or fp_statement_2;
532vp_statement
533 vp_statement_1 .or vp_statement_2;
534fp_statement_1
535 fp_instruction .emit INSTRUCTION .emit $ .and semicolon;
536fp_statement_2
537 fp_namingStatement .emit DECLARATION .and semicolon;
538vp_statement_1
539 vp_instruction .emit INSTRUCTION .emit $ .and semicolon;
540vp_statement_2
541 vp_namingStatement .emit DECLARATION .and semicolon;
542
543/*
544fragment program
545 <instruction> ::= <ALUInstruction>
546 | <TexInstruction>
547
548vertex program
549 <instruction> ::= <ARL_instruction>
550 | <VECTORop_instruction>
551 | <SCALARop_instruction>
552 | <BINSCop_instruction>
553 | <BINop_instruction>
554 | <TRIop_instruction>
555 | <SWZ_instruction>
556*/
557fp_instruction
558 ALUInstruction .emit OP_ALU_INST .or
559 TexInstruction .emit OP_TEX_INST;
560vp_instruction
561 ARL_instruction .emit OP_ALU_ARL .or
562 vp_VECTORop_instruction .emit OP_ALU_VECTOR .or
563 vp_SCALARop_instruction .emit OP_ALU_SCALAR .or
564 vp_BINSCop_instruction .emit OP_ALU_BINSC .or
565 vp_BINop_instruction .emit OP_ALU_BIN .or
566 vp_TRIop_instruction .emit OP_ALU_TRI .or
567 vp_SWZ_instruction .emit OP_ALU_SWZ;
568
569/*
570fragment program
571 <ALUInstruction> ::= <VECTORop_instruction>
572 | <SCALARop_instruction>
573 | <BINSCop_instruction>
574 | <BINop_instruction>
575 | <TRIop_instruction>
576 | <SWZ_instruction>
577*/
578ALUInstruction
579 fp_VECTORop_instruction .emit OP_ALU_VECTOR .or
580 fp_SCALARop_instruction .emit OP_ALU_SCALAR .or
581 fp_BINSCop_instruction .emit OP_ALU_BINSC .or
582 fp_BINop_instruction .emit OP_ALU_BIN .or
583 fp_TRIop_instruction .emit OP_ALU_TRI .or
584 fp_SWZ_instruction .emit OP_ALU_SWZ;
585
586/*
587fragment program
588 <TexInstruction> ::= <SAMPLE_instruction>
589 | <KIL_instruction>
590*/
591TexInstruction
592 SAMPLE_instruction .emit OP_TEX_SAMPLE .or
593 KIL_instruction .emit OP_TEX_KIL;
594
595/*
596vertex program
597 <ARL_instruction> ::= "ARL" <maskedAddrReg> "," <scalarSrcReg>
598*/
599ARL_instruction
600 "ARL" .emit OP_ARL .and space_dst .and maskedAddrReg .and comma .and vp_scalarSrcReg;
601
602/*
603fragment program
604 <VECTORop_instruction> ::= <VECTORop> <maskedDstReg> ","
605 <vectorSrcReg>
606
607vertex program
608 <VECTORop_instruction> ::= <VECTORop> <maskedDstReg> "," <swizzleSrcReg>
609*/
610fp_VECTORop_instruction
611 fp_VECTORop .and space_dst .and fp_maskedDstReg .and comma .and vectorSrcReg;
612vp_VECTORop_instruction
613 vp_VECTORop .and space_dst .and vp_maskedDstReg .and comma .and swizzleSrcReg;
614
615/*
616fragment program
617 <VECTORop> ::= "ABS" | "ABS_SAT"
618 | "FLR" | "FLR_SAT"
619 | "FRC" | "FRC_SAT"
620 | "LIT" | "LIT_SAT"
621 | "MOV" | "MOV_SAT"
622
623vertex program
624 <VECTORop> ::= "ABS"
625 | "FLR"
626 | "FRC"
627 | "LIT"
628 | "MOV"
629*/
630fp_VECTORop
631 "ABS" .emit OP_ABS .or "ABS_SAT" .emit OP_ABS_SAT .or
632 "FLR" .emit OP_FLR .or "FLR_SAT" .emit OP_FLR_SAT .or
633 "FRC" .emit OP_FRC .or "FRC_SAT" .emit OP_FRC_SAT .or
634 "LIT" .emit OP_LIT .or "LIT_SAT" .emit OP_LIT_SAT .or
635 "MOV" .emit OP_MOV .or "MOV_SAT" .emit OP_MOV_SAT;
636vp_VECTORop
637 "ABS" .emit OP_ABS .or
638 "FLR" .emit OP_FLR .or
639 "FRC" .emit OP_FRC .or
640 "LIT" .emit OP_LIT .or
641 "MOV" .emit OP_MOV;
642
643/*
644 <SCALARop_instruction> ::= <SCALARop> <maskedDstReg> "," <scalarSrcReg>
645*/
646fp_SCALARop_instruction
647 fp_SCALARop .and space_dst .and fp_maskedDstReg .and comma .and fp_scalarSrcReg;
648vp_SCALARop_instruction
649 vp_SCALARop .and space_dst .and vp_maskedDstReg .and comma .and vp_scalarSrcReg;
650
651/*
652fragment program
653 <SCALARop> ::= "COS" | "COS_SAT"
654 | "EX2" | "EX2_SAT"
655 | "LG2" | "LG2_SAT"
656 | "RCP" | "RCP_SAT"
657 | "RSQ" | "RSQ_SAT"
658 | "SIN" | "SIN_SAT"
659 | "SCS" | "SCS_SAT"
660
661vertex program
662 <SCALARop> ::= "EX2"
663 | "EXP"
664 | "LG2"
665 | "LOG"
666 | "RCP"
667 | "RSQ"
668*/
669fp_SCALARop
670 "COS" .emit OP_COS .or "COS_SAT" .emit OP_COS_SAT .or
671 "EX2" .emit OP_EX2 .or "EX2_SAT" .emit OP_EX2_SAT .or
672 "LG2" .emit OP_LG2 .or "LG2_SAT" .emit OP_LG2_SAT .or
673 "RCP" .emit OP_RCP .or "RCP_SAT" .emit OP_RCP_SAT .or
674 "RSQ" .emit OP_RSQ .or "RSQ_SAT" .emit OP_RSQ_SAT .or
675 "SIN" .emit OP_SIN .or "SIN_SAT" .emit OP_SIN_SAT .or
676 "SCS" .emit OP_SCS .or "SCS_SAT" .emit OP_SCS_SAT;
677vp_SCALARop
678 "EX2" .emit OP_EX2 .or
679 "EXP" .emit OP_EXP .or
680 "LG2" .emit OP_LG2 .or
681 "LOG" .emit OP_LOG .or
682 "RCP" .emit OP_RCP .or
683 "RSQ" .emit OP_RSQ;
684
685/*
686 <BINSCop_instruction> ::= <BINSCop> <maskedDstReg> "," <scalarSrcReg> ","
687 <scalarSrcReg>
688*/
689fp_BINSCop_instruction
690 fp_BINSCop .and space_dst .and fp_maskedDstReg .and comma .and fp_scalarSrcReg .and comma .and
691 fp_scalarSrcReg;
692vp_BINSCop_instruction
693 vp_BINSCop .and space_dst .and vp_maskedDstReg .and comma .and vp_scalarSrcReg .and comma .and
694 vp_scalarSrcReg;
695
696/*
697fragment program
698 <BINSCop> ::= "POW" | "POW_SAT"
699
700vertex program
701 <BINSCop> ::= "POW"
702*/
703fp_BINSCop
704 "POW" .emit OP_POW .or "POW_SAT" .emit OP_POW_SAT;
705vp_BINSCop
706 "POW" .emit OP_POW;
707
708/*
709fragment program
710 <BINop_instruction> ::= <BINop> <maskedDstReg> ","
711 <vectorSrcReg> "," <vectorSrcReg>
712
713vertex program
714 <BINop_instruction> ::= <BINop> <maskedDstReg> ","
715 <swizzleSrcReg> "," <swizzleSrcReg>
716*/
717fp_BINop_instruction
718 fp_BINop .and space_dst .and fp_maskedDstReg .and comma .and vectorSrcReg .and comma .and
719 vectorSrcReg;
720vp_BINop_instruction
721 vp_BINop .and space_dst .and vp_maskedDstReg .and comma .and swizzleSrcReg .and comma .and
722 swizzleSrcReg;
723
724/*
725fragment program
726 <BINop> ::= "ADD" | "ADD_SAT"
727 | "DP3" | "DP3_SAT"
728 | "DP4" | "DP4_SAT"
729 | "DPH" | "DPH_SAT"
730 | "DST" | "DST_SAT"
731 | "MAX" | "MAX_SAT"
732 | "MIN" | "MIN_SAT"
733 | "MUL" | "MUL_SAT"
734 | "SGE" | "SGE_SAT"
735 | "SLT" | "SLT_SAT"
736 | "SUB" | "SUB_SAT"
737 | "XPD" | "XPD_SAT"
738
739vertex program
740 <BINop> ::= "ADD"
741 | "DP3"
742 | "DP4"
743 | "DPH"
744 | "DST"
745 | "MAX"
746 | "MIN"
747 | "MUL"
748 | "SGE"
749 | "SLT"
750 | "SUB"
751 | "XPD"
752*/
753fp_BINop
754 "ADD" .emit OP_ADD .or "ADD_SAT" .emit OP_ADD_SAT .or
755 "DP3" .emit OP_DP3 .or "DP3_SAT" .emit OP_DP3_SAT .or
756 "DP4" .emit OP_DP4 .or "DP4_SAT" .emit OP_DP4_SAT .or
757 "DPH" .emit OP_DPH .or "DPH_SAT" .emit OP_DPH_SAT .or
758 "DST" .emit OP_DST .or "DST_SAT" .emit OP_DST_SAT .or
759 "MAX" .emit OP_MAX .or "MAX_SAT" .emit OP_MAX_SAT .or
760 "MIN" .emit OP_MIN .or "MIN_SAT" .emit OP_MIN_SAT .or
761 "MUL" .emit OP_MUL .or "MUL_SAT" .emit OP_MUL_SAT .or
762 "SGE" .emit OP_SGE .or "SGE_SAT" .emit OP_SGE_SAT .or
763 "SLT" .emit OP_SLT .or "SLT_SAT" .emit OP_SLT_SAT .or
764 "SUB" .emit OP_SUB .or "SUB_SAT" .emit OP_SUB_SAT .or
765 "XPD" .emit OP_XPD .or "XPD_SAT" .emit OP_XPD_SAT;
766vp_BINop
767 "ADD" .emit OP_ADD .or
768 "DP3" .emit OP_DP3 .or
769 "DP4" .emit OP_DP4 .or
770 "DPH" .emit OP_DPH .or
771 "DST" .emit OP_DST .or
772 "MAX" .emit OP_MAX .or
773 "MIN" .emit OP_MIN .or
774 "MUL" .emit OP_MUL .or
775 "SGE" .emit OP_SGE .or
776 "SLT" .emit OP_SLT .or
777 "SUB" .emit OP_SUB .or
778 "XPD" .emit OP_XPD;
779
780/*
781fragment program
782 <TRIop_instruction> ::= <TRIop> <maskedDstReg> ","
783 <vectorSrcReg> "," <vectorSrcReg> ","
784 <vectorSrcReg>
785
786vertex program
787 <TRIop_instruction> ::= <TRIop> <maskedDstReg> ","
788 <swizzleSrcReg> "," <swizzleSrcReg> ","
789 <swizzleSrcReg>
790*/
791fp_TRIop_instruction
792 fp_TRIop .and space_dst .and fp_maskedDstReg .and comma .and vectorSrcReg .and comma .and
793 vectorSrcReg .and comma .and vectorSrcReg;
794vp_TRIop_instruction
795 vp_TRIop .and space_dst .and vp_maskedDstReg .and comma .and swizzleSrcReg .and comma .and
796 swizzleSrcReg .and comma .and swizzleSrcReg;
797
798/*
799fragment program
800 <TRIop> ::= "CMP" | "CMP_SAT"
801 | "LRP" | "LRP_SAT"
802 | "MAD" | "MAD_SAT"
803
804vertex program
805 <TRIop> ::= "MAD"
806*/
807fp_TRIop
808 "CMP" .emit OP_CMP .or "CMP_SAT" .emit OP_CMP_SAT .or
809 "LRP" .emit OP_LRP .or "LRP_SAT" .emit OP_LRP_SAT .or
810 "MAD" .emit OP_MAD .or "MAD_SAT" .emit OP_MAD_SAT;
811vp_TRIop
812 "MAD" .emit OP_MAD;
813
814/*
815fragment program
816 <SWZ_instruction> ::= <SWZop> <maskedDstReg> ","
817 <srcReg> "," <extendedSwizzle>
818
819vertex program
820 <SWZ_instruction> ::= "SWZ" <maskedDstReg> "," <srcReg> ","
821 <extendedSwizzle>
822*/
823fp_SWZ_instruction
824 SWZop .and space_dst .and fp_maskedDstReg .and comma .and fp_srcReg .and comma .and
825 fp_extendedSwizzle .error EXT_SWIZ_COMP_EXPECTED;
826vp_SWZ_instruction
827 "SWZ" .emit OP_SWZ .and space_dst .and vp_maskedDstReg .and comma .and vp_srcReg .and comma .and
828 vp_extendedSwizzle .error EXT_SWIZ_COMP_EXPECTED;
829
830/*
831fragment program
832 <SWZop> ::= "SWZ" | "SWZ_SAT"
833*/
834SWZop
835 "SWZ" .emit OP_SWZ .or "SWZ_SAT" .emit OP_SWZ_SAT;
836
837/*
838fragment program
839 <SAMPLE_instruction> ::= <SAMPLEop> <maskedDstReg> ","
840 <vectorSrcReg> "," <texImageUnit> ","
841 <texTarget>
842*/
843SAMPLE_instruction
844 SAMPLEop .and space_dst .and fp_maskedDstReg .and comma .and vectorSrcReg .and comma .and
845 texImageUnit .and comma .and texTarget .error TEX_TARGET_EXPECTED;
846
847/*
848fragment program
849 <SAMPLEop> ::= "TEX" | "TEX_SAT"
850 | "TXP" | "TXP_SAT"
851 | "TXB" | "TXB_SAT"
852*/
853SAMPLEop
854 "TEX" .emit OP_TEX .or "TEX_SAT" .emit OP_TEX_SAT .or
855 "TXB" .emit OP_TXB .or "TXB_SAT" .emit OP_TXB_SAT .or
856 "TXP" .emit OP_TXP .or "TXP_SAT" .emit OP_TXP_SAT;
857
858/*
859fragment program
860 <KIL_instruction> ::= "KIL" <vectorSrcReg>
861*/
862KIL_instruction
863 "KIL" .emit OP_KIL .and space_src .and vectorSrcReg;
864
865/*
866fragment program
867 <texImageUnit> ::= "texture" <optTexImageUnitNum>
868*/
869texImageUnit
870 "texture" .error TEXTURE_EXPECTED .and optTexImageUnitNum;
871
872/*
873fragment program
874 <texTarget> ::= "1D"
875 | "2D"
876 | "3D"
877 | "CUBE"
878 | "RECT"
879 | <shadowTarget> (if option ARB_fragment_program_shadow present)
880*/
881texTarget
882 "1D" .emit TEXTARGET_1D .or
883 "2D" .emit TEXTARGET_2D .or
884 "3D" .emit TEXTARGET_3D .or
885 .if (texture_rectangle != 0x00) "RECT" .emit TEXTARGET_RECT .or
886 "CUBE" .emit TEXTARGET_CUBE .or
887 .if (ARB_fragment_program_shadow != 0x00) shadowTarget;
888
889/*
890GL_ARB_fragment_program_shadow
891 <shadowTarget> ::= "SHADOW1D"
892 | "SHADOW2D"
893 | "SHADOWRECT"
894*/
895shadowTarget
896 "SHADOW1D" .emit TEXTARGET_SHADOW1D .or
897 "SHADOW2D" .emit TEXTARGET_SHADOW2D .or
898 .if (texture_rectangle != 0x00) "SHADOWRECT" .emit TEXTARGET_SHADOWRECT;
899
900/*
901fragment program
902 <optTexImageUnitNum> ::= ""
903 | "[" <texImageUnitNum> "]"
904*/
905optTexImageUnitNum
906 optTexImageUnitNum_1 .or .true .emit 0x00;
907optTexImageUnitNum_1
908 lbracket_ne .and texImageUnitNum .and rbracket;
909
910/*
911fragment program
912 <texImageUnitNum> ::= <integer> from 0 to
913 MAX_TEXTURE_IMAGE_UNITS_ARB-1
914*/
915texImageUnitNum
916 integer;
917
918/*
919 <scalarSrcReg> ::= <optionalSign> <srcReg> <scalarSuffix>
920*/
921fp_scalarSrcReg
922 optionalSign .and fp_srcReg .and fp_scalarSuffix;
923vp_scalarSrcReg
924 optionalSign .and vp_srcReg .and vp_scalarSuffix;
925
926/*
927vertex program
928 <swizzleSrcReg> ::= <optionalSign> <srcReg> <swizzleSuffix>
929*/
930swizzleSrcReg
931 optionalSign .and vp_srcReg .and swizzleSuffix;
932
933/*
934fragment program
935 <vectorSrcReg> ::= <optionalSign> <srcReg> <optionalSuffix>
936*/
937vectorSrcReg
938 optionalSign .and fp_srcReg .and optionalSuffix;
939
940/*
941 <maskedDstReg> ::= <dstReg> <optionalMask>
942*/
943fp_maskedDstReg
944 fp_dstReg .and fp_optionalMask;
945vp_maskedDstReg
946 vp_dstReg .and vp_optionalMask;
947
948/*
949vertex program
950 <maskedAddrReg> ::= <addrReg> <addrWriteMask>
951*/
952maskedAddrReg
953 addrReg .error ADDRESS_REGISTER_EXPECTED .and addrWriteMask;
954
955/*
956fragment program
957 <extendedSwizzle> ::= <xyzwExtendedSwizzle>
958 | <rgbaExtendedSwizzle>
959
960vertex program
961 <extendedSwizzle> ::= <extSwizComp> "," <extSwizComp> ","
962 <extSwizComp> "," <extSwizComp>
963
964NOTE: do NOT change the order of <rgbaExtendedSwizzle> and <xyzwExtendedSwizzle> rulez
965*/
966fp_extendedSwizzle
967 rgbaExtendedSwizzle .or xyzwExtendedSwizzle;
968vp_extendedSwizzle
969 extSwizComp .and comma .and
970 extSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
971 extSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
972 extSwizComp .error EXT_SWIZ_COMP_EXPECTED;
973
974/*
975fragment program
976 <xyzwExtendedSwizzle> ::= <xyzwExtSwizComp> "," <xyzwExtSwizComp> ","
977 <xyzwExtSwizComp> "," <xyzwExtSwizComp>
978*/
979xyzwExtendedSwizzle
980 xyzwExtSwizComp .and comma .and
981 xyzwExtSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
982 xyzwExtSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
983 xyzwExtSwizComp .error EXT_SWIZ_COMP_EXPECTED;
984
985/*
986fragment program
987 <rgbaExtendedSwizzle> ::= <rgbaExtSwizComp> "," <rgbaExtSwizComp> ","
988 <rgbaExtSwizComp> "," <rgbaExtSwizComp>
989*/
990rgbaExtendedSwizzle
991 rgbaExtendedSwizzle_1 .or rgbaExtendedSwizzle_2 .or rgbaExtendedSwizzle_3 .or
992 rgbaExtendedSwizzle_4;
993rgbaExtendedSwizzle_1
994 rgbaExtSwizComp_digit .and comma .and rgbaExtSwizComp_digit .and comma .and
995 rgbaExtSwizComp_digit .and comma .and rgbaExtSwizComp;
996rgbaExtendedSwizzle_2
997 rgbaExtSwizComp_digit .and comma .and rgbaExtSwizComp_digit .and comma .and
998 rgbaExtSwizComp_alpha .and comma .and rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED;
999rgbaExtendedSwizzle_3
1000 rgbaExtSwizComp_digit .and comma .and rgbaExtSwizComp_alpha .and comma .and
1001 rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
1002 rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED;
1003rgbaExtendedSwizzle_4
1004 rgbaExtSwizComp_alpha .and comma .and
1005 rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
1006 rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED .and comma .and
1007 rgbaExtSwizComp .error EXT_SWIZ_COMP_EXPECTED;
1008
1009/*
1010fragment program
1011 <xyzwExtSwizComp> ::= <optionalSign> <xyzwExtSwizSel>
1012*/
1013xyzwExtSwizComp
1014 optionalSign .and xyzwExtSwizSel;
1015
1016/*
1017fragment program
1018 <rgbaExtSwizComp> ::= <optionalSign> <rgbaExtSwizSel>
1019*/
1020rgbaExtSwizComp
1021 optionalSign .and rgbaExtSwizSel;
1022rgbaExtSwizComp_digit
1023 optionalSign .and rgbaExtSwizSel_digit;
1024rgbaExtSwizComp_alpha
1025 optionalSign .and rgbaExtSwizSel_alpha;
1026
1027/*
1028vertex program
1029 <extSwizComp> ::= <optionalSign> <extSwizSel>
1030*/
1031extSwizComp
1032 optionalSign .and extSwizSel;
1033
1034/*
1035fragment program
1036 <xyzwExtSwizSel> ::= "0"
1037 | "1"
1038 | <xyzwComponent>
1039*/
1040xyzwExtSwizSel
1041 "0" .emit COMPONENT_0 .or "1" .emit COMPONENT_1 .or xyzwComponent_single;
1042
1043/*
1044fragment program
1045 <rgbaExtSwizSel> ::= "0"
1046 | "1"
1047 | <rgbaComponent>
1048*/
1049rgbaExtSwizSel
1050 rgbaExtSwizSel_digit .or rgbaExtSwizSel_alpha;
1051rgbaExtSwizSel_digit
1052 "0" .emit COMPONENT_0 .or "1" .emit COMPONENT_1;
1053rgbaExtSwizSel_alpha
1054 rgbaComponent_single;
1055
1056/*
1057vertex program
1058 <extSwizSel> ::= "0"
1059 | "1"
1060 | <component>
1061*/
1062extSwizSel
1063 "0" .emit COMPONENT_0 .or "1" .emit COMPONENT_1 .or vp_component_single;
1064
1065/*
1066fragment program
1067 <srcReg> ::= <fragmentAttribReg>
1068 | <temporaryReg>
1069 | <progParamReg>
1070
1071vertex program
1072 <srcReg> ::= <vertexAttribReg>
1073 | <temporaryReg>
1074 | <progParamReg>
1075*/
1076fp_srcReg
1077 fp_srcReg_1 .error SOURCE_REGISTER_EXPECTED;
1078vp_srcReg
1079 vp_srcReg_1 .error SOURCE_REGISTER_EXPECTED;
1080fp_srcReg_1
1081 fragmentAttribReg .emit REGISTER_ATTRIB .or
1082 fp_progParamReg .emit REGISTER_PARAM .or
1083 fp_temporaryReg .emit REGISTER_ESTABLISHED_NAME;
1084vp_srcReg_1
1085 vertexAttribReg .emit REGISTER_ATTRIB .or
1086 vp_progParamReg .emit REGISTER_PARAM .or
1087 vp_temporaryReg .emit REGISTER_ESTABLISHED_NAME;
1088
1089/*
1090fragment program
1091 <dstReg> ::= <temporaryReg>
1092 | <fragmentResultReg>
1093
1094vertex program
1095 <dstReg> ::= <temporaryReg>
1096 | <vertexResultReg>
1097*/
1098fp_dstReg
1099 fp_dstReg_1 .error DESTINATION_REGISTER_EXPECTED;
1100vp_dstReg
1101 vp_dstReg_1 .error DESTINATION_REGISTER_EXPECTED;
1102fp_dstReg_1
1103 fragmentResultReg .emit REGISTER_RESULT .or
1104 fp_temporaryReg .emit REGISTER_ESTABLISHED_NAME;
1105vp_dstReg_1
1106 vertexResultReg .emit REGISTER_RESULT .or
1107 vp_temporaryReg .emit REGISTER_ESTABLISHED_NAME;
1108
1109/*
1110fragment program
1111 <fragmentAttribReg> ::= <establishedName>
1112 | <fragAttribBinding>
1113
1114NOTE: <establishedName> is driven by <temporaryReg> rule at the end of <srcReg>
1115*/
1116fragmentAttribReg
1117 /*fp_establishedName .or */fragAttribBinding;
1118
1119/*
1120vertex program
1121 <vertexAttribReg> ::= <establishedName>
1122 | <vtxAttribBinding>
1123
1124NOTE: <establishedName> is driven by <temporaryReg> rule at the end of <srcReg>
1125*/
1126vertexAttribReg
1127 vtxAttribBinding;
1128
1129/*
1130 <temporaryReg> ::= <establishedName>
1131*/
1132fp_temporaryReg
1133 fp_establishedName_no_error_on_identifier;
1134vp_temporaryReg
1135 vp_establishedName_no_error_on_identifier;
1136
1137/*
1138fragment program
1139 <progParamReg> ::= <progParamSingle>
1140 | <progParamArray> "[" <progParamArrayAbs> "]"
1141 | <paramSingleItemUse>
1142
1143vertex program
1144 <progParamReg> ::= <progParamSingle>
1145 | <progParamArray> "[" <progParamArrayMem> "]"
1146 | <paramSingleItemUse>
1147*/
1148fp_progParamReg
1149 fp_paramSingleItemUse .or fp_progParamReg_1 .or fp_progParamSingle;
1150vp_progParamReg
1151 vp_paramSingleItemUse .or vp_progParamReg_1 .or vp_progParamSingle;
1152fp_progParamReg_1
1153 fp_progParamArray .emit PARAM_ARRAY_ELEMENT .and lbracket_ne .and progParamArrayAbs .and
1154 rbracket;
1155vp_progParamReg_1
1156 vp_progParamArray .emit PARAM_ARRAY_ELEMENT .and lbracket_ne .and progParamArrayMem .and
1157 rbracket;
1158
1159/*
1160 <progParamSingle> ::= <establishedName>
1161
1162NOTE: <establishedName> is driven by <temporaryReg> rule at the end of <srcReg>
1163*/
1164fp_progParamSingle
1165 .false;
1166vp_progParamSingle
1167 .false;
1168
1169/*
1170 <progParamArray> ::= <establishedName>
1171*/
1172fp_progParamArray
1173 fp_establishedName_no_error_on_identifier;
1174vp_progParamArray
1175 vp_establishedName_no_error_on_identifier;
1176
1177/*
1178vertex program
1179 <progParamArrayMem> ::= <progParamArrayAbs>
1180 | <progParamArrayRel>
1181*/
1182progParamArrayMem
1183 progParamArrayAbs .or progParamArrayRel;
1184
1185/*
1186 <progParamArrayAbs> ::= <integer>
1187*/
1188progParamArrayAbs
1189 integer_ne .emit ARRAY_INDEX_ABSOLUTE;
1190
1191/*
1192vertex program
1193 <progParamArrayRel> ::= <addrReg> <addrComponent> <addrRegRelOffset>
1194*/
1195progParamArrayRel
1196 addrReg .error ADDRESS_REGISTER_OR_INTEGER_EXPECTED .emit ARRAY_INDEX_RELATIVE .and
1197 addrComponent .and addrRegRelOffset;
1198
1199/*
1200vertex program
1201 <addrRegRelOffset> ::= ""
1202 | "+" <addrRegPosOffset>
1203 | "-" <addrRegNegOffset>
1204*/
1205addrRegRelOffset
1206 addrRegRelOffset_1 .or addrRegRelOffset_2 .or .true .emit 0x00;
1207addrRegRelOffset_1
1208 plus_ne .and addrRegPosOffset;
1209addrRegRelOffset_2
1210 minus_ne .and addrRegNegOffset;
1211
1212/*
1213vertex program
1214 <addrRegPosOffset> ::= <integer> from 0 to 63
1215*/
1216addrRegPosOffset
1217 integer_0_63;
1218
1219/*
1220vertex program
1221 <addrRegNegOffset> ::= <integer> from 0 to 64
1222*/
1223addrRegNegOffset
1224 integer_0_64;
1225
1226/*
1227fragment program
1228 <fragmentResultReg> ::= <establishedName>
1229 | <resultBinding>
1230
1231NOTE: <establishedName> is driven by <temporaryReg> rule at the end of <dstReg>
1232*/
1233fragmentResultReg
1234 fp_resultBinding;
1235
1236/*
1237vertex program
1238 <vertexResultReg> ::= <establishedName>
1239 | <resultBinding>
1240
1241NOTE: <establishedName> is driven by <temporaryReg> rule at the end of <dstReg>
1242*/
1243vertexResultReg
1244 vp_resultBinding;
1245
1246/*
1247vertex program
1248 <addrReg> ::= <establishedName>
1249*/
1250addrReg
1251 vp_establishedName_no_error_on_identifier;
1252
1253/*
1254vertex program
1255 <addrComponent> ::= "." "x"
1256*/
1257addrComponent
1258 dot .and "x" .error INVALID_ADDRESS_COMPONENT .emit COMPONENT_X .emit COMPONENT_X
1259 .emit COMPONENT_X .emit COMPONENT_X;
1260
1261/*
1262vertex program
1263 <addrWriteMask> ::= "." "x"
1264*/
1265addrWriteMask
1266 dot .and "x" .error INVALID_ADDRESS_WRITEMASK .emit 0x08;
1267
1268/*
1269 <scalarSuffix> ::= "." <component>
1270*/
1271fp_scalarSuffix
1272 dot .and fp_component_single .error INVALID_COMPONENT;
1273vp_scalarSuffix
1274 dot .and vp_component_single .error INVALID_COMPONENT;
1275
1276/*
1277vertex program
1278 <swizzleSuffix> ::= ""
1279 | "." <component>
1280 | "." <component> <component>
1281 <component> <component>
1282*/
1283swizzleSuffix
1284 swizzleSuffix_1 .or
1285 .true .emit COMPONENT_X .emit COMPONENT_Y .emit COMPONENT_Z .emit COMPONENT_W;
1286swizzleSuffix_1
1287 dot_ne .and swizzleSuffix_2 .error INVALID_SUFFIX;
1288swizzleSuffix_2
1289 swizzleSuffix_3 .or swizzleSuffix_4;
1290swizzleSuffix_3
1291 vp_component_multi .and vp_component_multi .and vp_component_multi .error INVALID_COMPONENT .and
1292 vp_component_multi .error INVALID_COMPONENT;
1293swizzleSuffix_4
1294 "x" .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .or
1295 "y" .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .or
1296 "z" .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .or
1297 "w" .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W;
1298
1299/*
1300fragment program
1301 <optionalSuffix> ::= ""
1302 | "." <component>
1303 | "." <xyzwComponent> <xyzwComponent>
1304 <xyzwComponent> <xyzwComponent>
1305 | "." <rgbaComponent> <rgbaComponent>
1306 <rgbaComponent> <rgbaComponent>
1307*/
1308optionalSuffix
1309 optionalSuffix_1 .or
1310 .true .emit COMPONENT_X .emit COMPONENT_Y .emit COMPONENT_Z .emit COMPONENT_W;
1311optionalSuffix_1
1312 dot_ne .and optionalSuffix_2 .error INVALID_SUFFIX;
1313optionalSuffix_2
1314 optionalSuffix_3 .or optionalSuffix_4 .or optionalSuffix_5;
1315optionalSuffix_3
1316 xyzwComponent_multi .and xyzwComponent_multi .and
1317 xyzwComponent_multi .error INVALID_COMPONENT .and xyzwComponent_multi .error INVALID_COMPONENT;
1318optionalSuffix_4
1319 rgbaComponent_multi .and rgbaComponent_multi .and
1320 rgbaComponent_multi .error INVALID_COMPONENT .and rgbaComponent_multi .error INVALID_COMPONENT;
1321optionalSuffix_5
1322 "x" .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .or
1323 "y" .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .or
1324 "z" .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .or
1325 "w" .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W .or
1326 "r" .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .emit COMPONENT_X .or
1327 "g" .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .emit COMPONENT_Y .or
1328 "b" .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .emit COMPONENT_Z .or
1329 "a" .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W .emit COMPONENT_W;
1330
1331/*
1332fragment program
1333 <component> ::= <xyzwComponent>
1334 | <rgbaComponent>
1335
1336vertex program
1337 <component> ::= "x"
1338 | "y"
1339 | "z"
1340 | "w"
1341*/
1342fp_component_single
1343 xyzwComponent_single .or rgbaComponent_single;
1344vp_component_multi
1345 'x' .emit COMPONENT_X .or 'y' .emit COMPONENT_Y .or 'z' .emit COMPONENT_Z .or
1346 'w' .emit COMPONENT_W;
1347vp_component_single
1348 "x" .emit COMPONENT_X .or "y" .emit COMPONENT_Y .or "z" .emit COMPONENT_Z .or
1349 "w" .emit COMPONENT_W;
1350
1351/*
1352fragment program
1353 <xyzwComponent> ::= "x" | "y" | "z" | "w"
1354*/
1355xyzwComponent_multi
1356 'x' .emit COMPONENT_X .or 'y' .emit COMPONENT_Y .or 'z' .emit COMPONENT_Z .or
1357 'w' .emit COMPONENT_W;
1358xyzwComponent_single
1359 "x" .emit COMPONENT_X .or "y" .emit COMPONENT_Y .or "z" .emit COMPONENT_Z .or
1360 "w" .emit COMPONENT_W;
1361
1362/*
1363fragment program
1364 <rgbaComponent> ::= "r" | "g" | "b" | "a"
1365*/
1366rgbaComponent_multi
1367 'r' .emit COMPONENT_X .or 'g' .emit COMPONENT_Y .or 'b' .emit COMPONENT_Z .or
1368 'a' .emit COMPONENT_W;
1369rgbaComponent_single
1370 "r" .emit COMPONENT_X .or "g" .emit COMPONENT_Y .or "b" .emit COMPONENT_Z .or
1371 "a" .emit COMPONENT_W;
1372
1373/*
1374fragment program
1375 <optionalMask> ::= ""
1376 | <xyzwMask>
1377 | <rgbaMask>
1378
1379vertex program
1380 <optionalMask> ::= ""
1381 | "." "x"
1382 | "." "y"
1383 | "." "xy"
1384 | "." "z"
1385 | "." "xz"
1386 | "." "yz"
1387 | "." "xyz"
1388 | "." "w"
1389 | "." "xw"
1390 | "." "yw"
1391 | "." "xyw"
1392 | "." "zw"
1393 | "." "xzw"
1394 | "." "yzw"
1395 | "." "xyzw"
1396
1397NOTE: do NOT change the order of <rgbaMask> and <xyzwMask> rulez
1398*/
1399fp_optionalMask
1400 rgbaMask .or xyzwMask .or .true .emit 0x0F;
1401vp_optionalMask
1402 xyzwMask .or .true .emit 0x0F;
1403
1404/*
1405fragment program
1406 <xyzwMask> ::= "." "x"
1407 | "." "y"
1408 | "." "xy"
1409 | "." "z"
1410 | "." "xz"
1411 | "." "yz"
1412 | "." "xyz"
1413 | "." "w"
1414 | "." "xw"
1415 | "." "yw"
1416 | "." "xyw"
1417 | "." "zw"
1418 | "." "xzw"
1419 | "." "yzw"
1420 | "." "xyzw"
1421
1422NOTE: <xyzwMask> is also referenced by the vertex program symbol <optionalMask>.
1423*/
1424xyzwMask
1425 dot_ne .and xyzwMask_1 .error INVALID_WRITEMASK;
1426xyzwMask_1
1427 "xyzw" .emit 0x0F .or "xyz" .emit 0x0E .or "xyw" .emit 0x0D .or "xy" .emit 0x0C .or
1428 "xzw" .emit 0x0B .or "xz" .emit 0x0A .or "xw" .emit 0x09 .or "x" .emit 0x08 .or
1429 "yzw" .emit 0x07 .or "yz" .emit 0x06 .or "yw" .emit 0x05 .or "y" .emit 0x04 .or
1430 "zw" .emit 0x03 .or "z" .emit 0x02 .or "w" .emit 0x01;
1431
1432/*
1433fragment program
1434 <rgbaMask> ::= "." "r"
1435 | "." "g"
1436 | "." "rg"
1437 | "." "b"
1438 | "." "rb"
1439 | "." "gb"
1440 | "." "rgb"
1441 | "." "a"
1442 | "." "ra"
1443 | "." "ga"
1444 | "." "rga"
1445 | "." "ba"
1446 | "." "rba"
1447 | "." "gba"
1448 | "." "rgba"
1449*/
1450rgbaMask
1451 dot_ne .and rgbaMask_1;
1452rgbaMask_1
1453 "rgba" .emit 0x0F .or "rgb" .emit 0x0E .or "rga" .emit 0x0D .or "rg" .emit 0x0C .or
1454 "rba" .emit 0x0B .or "rb" .emit 0x0A .or "ra" .emit 0x09 .or "r" .emit 0x08 .or
1455 "gba" .emit 0x07 .or "gb" .emit 0x06 .or "ga" .emit 0x05 .or "g" .emit 0x04 .or
1456 "ba" .emit 0x03 .or "b" .emit 0x02 .or "a" .emit 0x01;
1457
1458/*
1459fragment program
1460 <namingStatement> ::= <ATTRIB_statement>
1461 | <PARAM_statement>
1462 | <TEMP_statement>
1463 | <OUTPUT_statement>
1464 | <ALIAS_statement>
1465
1466vertex program
1467 <namingStatement> ::= <ATTRIB_statement>
1468 | <PARAM_statement>
1469 | <TEMP_statement>
1470 | <ADDRESS_statement>
1471 | <OUTPUT_statement>
1472 | <ALIAS_statement>
1473*/
1474fp_namingStatement
1475 fp_ATTRIB_statement .emit ATTRIB .or
1476 fp_PARAM_statement .emit PARAM .or
1477 fp_TEMP_statement .emit TEMP .or
1478 fp_OUTPUT_statement .emit OUTPUT .or
1479 fp_ALIAS_statement .emit ALIAS;
1480vp_namingStatement
1481 vp_ATTRIB_statement .emit ATTRIB .or
1482 vp_PARAM_statement .emit PARAM .or
1483 vp_TEMP_statement .emit TEMP .or
1484 ADDRESS_statement .emit ADDRESS .or
1485 vp_OUTPUT_statement .emit OUTPUT .or
1486 vp_ALIAS_statement .emit ALIAS;
1487
1488/*
1489fragment program
1490 <ATTRIB_statement> ::= "ATTRIB" <establishName> "="
1491 <fragAttribBinding>
1492
1493vertex program
1494 <ATTRIB_statement> ::= "ATTRIB" <establishName> "="
1495 <vtxAttribBinding>
1496*/
1497fp_ATTRIB_statement
1498 "ATTRIB" .and space .and fp_establishName .and equal .and
1499 fragAttribBinding .error FRAGMENT_EXPECTED;
1500vp_ATTRIB_statement
1501 "ATTRIB" .and space .and vp_establishName .and equal .and
1502 vtxAttribBinding .error VERTEX_EXPECTED;
1503
1504/*
1505fragment program
1506 <fragAttribBinding> ::= "fragment" "." <fragAttribItem>
1507*/
1508fragAttribBinding
1509 "fragment" .and dot .and fragAttribItem .error INVALID_FRAGMENT_PROPERTY;
1510
1511/*
1512vertex program
1513 <vtxAttribBinding> ::= "vertex" "." <vtxAttribItem>
1514*/
1515vtxAttribBinding
1516 "vertex" .and dot .and vtxAttribItem .error INVALID_VERTEX_PROPERTY;
1517
1518/*
1519fragment program
1520 <fragAttribItem> ::= "color" <optColorType>
1521 | "texcoord" <optTexCoordNum>
1522 | "fogcoord"
1523 | "position"
1524*/
1525fragAttribItem
1526 fragAttribItem_1 .emit FRAGMENT_ATTRIB_COLOR .or
1527 fragAttribItem_2 .emit FRAGMENT_ATTRIB_TEXCOORD .or
1528 .if (fog_coord != 0x00) "fogcoord" .emit FRAGMENT_ATTRIB_FOGCOORD .or
1529 "position" .emit FRAGMENT_ATTRIB_POSITION;
1530fragAttribItem_1
1531 "color" .and optColorType;
1532fragAttribItem_2
1533 "texcoord" .and optTexCoordNum;
1534
1535/*
1536vertex program
1537 <vtxAttribItem> ::= "position"
1538 | "weight" <vtxOptWeightNum>
1539 | "normal"
1540 | "color" <optColorType>
1541 | "fogcoord"
1542 | "texcoord" <optTexCoordNum>
1543 | "matrixindex" "[" <vtxWeightNum> "]"
1544 | "attrib" "[" <vtxAttribNum> "]"
1545*/
1546vtxAttribItem
1547 "position" .emit VERTEX_ATTRIB_POSITION .or
1548 .if (vertex_blend != 0x00) vtxAttribItem_1 .emit VERTEX_ATTRIB_WEIGHT .or
1549 "normal" .emit VERTEX_ATTRIB_NORMAL .or
1550 vtxAttribItem_2 .emit VERTEX_ATTRIB_COLOR .or
1551 "fogcoord" .emit VERTEX_ATTRIB_FOGCOORD .or
1552 vtxAttribItem_3 .emit VERTEX_ATTRIB_TEXCOORD .or
1553 .if (matrix_palette != 0x00) vtxAttribItem_4 .emit VERTEX_ATTRIB_MATRIXINDEX .or
1554 vtxAttribItem_5 .emit VERTEX_ATTRIB_GENERIC;
1555vtxAttribItem_1
1556 "weight" .and vtxOptWeightNum;
1557vtxAttribItem_2
1558 "color" .and optColorType;
1559vtxAttribItem_3
1560 "texcoord" .and optTexCoordNum;
1561vtxAttribItem_4
1562 "matrixindex" .and lbracket .and vtxWeightNum .and rbracket;
1563vtxAttribItem_5
1564 "attrib" .and lbracket .and vtxAttribNum .and rbracket;
1565
1566/*
1567vertex program
1568 <vtxAttribNum> ::= <integer> from 0 to MAX_VERTEX_ATTRIBS_ARB-1
1569*/
1570vtxAttribNum
1571 integer;
1572
1573/*
1574vertex program
1575 <vtxOptWeightNum> ::= ""
1576 | "[" <vtxWeightNum> "]"
1577*/
1578vtxOptWeightNum
1579 vtxOptWeightNum_1 .or .true .emit 0x00;
1580vtxOptWeightNum_1
1581 lbracket_ne .and vtxWeightNum .and rbracket;
1582
1583/*
1584vertex program
1585 <vtxWeightNum> ::= <integer> from 0 to MAX_VERTEX_UNITS_ARB-1,
1586 must be divisible by four
1587*/
1588vtxWeightNum
1589 integer;
1590
1591/*
1592 <PARAM_statement> ::= <PARAM_singleStmt>
1593 | <PARAM_multipleStmt>
1594*/
1595fp_PARAM_statement
1596 fp_PARAM_multipleStmt .or fp_PARAM_singleStmt;
1597vp_PARAM_statement
1598 vp_PARAM_multipleStmt .or vp_PARAM_singleStmt;
1599
1600/*
1601 <PARAM_singleStmt> ::= "PARAM" <establishName> <paramSingleInit>
1602*/
1603fp_PARAM_singleStmt
1604 "PARAM" .and space .and fp_establishName .and .true .emit 0x00 .and fp_paramSingleInit .and
1605 .true .emit PARAM_NULL;
1606vp_PARAM_singleStmt
1607 "PARAM" .and space .and vp_establishName .and .true .emit 0x00 .and vp_paramSingleInit .and
1608 .true .emit PARAM_NULL;
1609
1610/*
1611 <PARAM_multipleStmt> ::= "PARAM" <establishName> "[" <optArraySize> "]"
1612 <paramMultipleInit>
1613*/
1614fp_PARAM_multipleStmt
1615 "PARAM" .and space .and fp_establishName .and lbracket_ne .and optArraySize .and rbracket .and
1616 fp_paramMultipleInit .and .true .emit PARAM_NULL;
1617vp_PARAM_multipleStmt
1618 "PARAM" .and space .and vp_establishName .and lbracket_ne .and optArraySize .and rbracket .and
1619 vp_paramMultipleInit .and .true .emit PARAM_NULL;
1620
1621/*
1622 <optArraySize> ::= ""
1623 | <integer> from 1 to MAX_PROGRAM_PARAMETERS_ARB
1624 (maximum number of allowed program
1625 parameter bindings)
1626*/
1627optArraySize
1628 optional_integer;
1629
1630/*
1631 <paramSingleInit> ::= "=" <paramSingleItemDecl>
1632*/
1633fp_paramSingleInit
1634 equal .and fp_paramSingleItemDecl;
1635vp_paramSingleInit
1636 equal .and vp_paramSingleItemDecl;
1637
1638/*
1639 <paramMultipleInit> ::= "=" "{" <paramMultInitList> "}"
1640*/
1641fp_paramMultipleInit
1642 equal .and lbrace .and fp_paramMultInitList .and rbrace;
1643vp_paramMultipleInit
1644 equal .and lbrace .and vp_paramMultInitList .and rbrace;
1645
1646/*
1647 <paramMultInitList> ::= <paramMultipleItem>
1648 | <paramMultipleItem> "," <paramMultiInitList>
1649*/
1650fp_paramMultInitList
1651 fp_paramMultInitList_1 .or fp_paramMultipleItem;
1652vp_paramMultInitList
1653 vp_paramMultInitList_1 .or vp_paramMultipleItem;
1654fp_paramMultInitList_1
1655 fp_paramMultipleItem .and comma_ne .and fp_paramMultInitList;
1656vp_paramMultInitList_1
1657 vp_paramMultipleItem .and comma_ne .and vp_paramMultInitList;
1658
1659/*
1660 <paramSingleItemDecl> ::= <stateSingleItem>
1661 | <programSingleItem>
1662 | <paramConstDecl>
1663*/
1664fp_paramSingleItemDecl
1665 fp_stateSingleItem .emit PARAM_STATE_ELEMENT .or
1666 programSingleItem .emit PARAM_PROGRAM_ELEMENT .or
1667 paramConstDecl .emit PARAM_CONSTANT;
1668vp_paramSingleItemDecl
1669 vp_stateSingleItem .emit PARAM_STATE_ELEMENT .or
1670 programSingleItem .emit PARAM_PROGRAM_ELEMENT .or
1671 paramConstDecl .emit PARAM_CONSTANT;
1672
1673/*
1674 <paramSingleItemUse> ::= <stateSingleItem>
1675 | <programSingleItem>
1676 | <paramConstUse>
1677*/
1678fp_paramSingleItemUse
1679 fp_stateSingleItem .emit PARAM_STATE_ELEMENT .or
1680 programSingleItem .emit PARAM_PROGRAM_ELEMENT .or
1681 paramConstUse .emit PARAM_CONSTANT;
1682vp_paramSingleItemUse
1683 vp_stateSingleItem .emit PARAM_STATE_ELEMENT .or
1684 programSingleItem .emit PARAM_PROGRAM_ELEMENT .or
1685 paramConstUse .emit PARAM_CONSTANT;
1686
1687/*
1688 <paramMultipleItem> ::= <stateMultipleItem>
1689 | <programMultipleItem>
1690 | <paramConstDecl>
1691*/
1692fp_paramMultipleItem
1693 fp_stateMultipleItem .emit PARAM_STATE_ELEMENT .or
1694 programMultipleItem .emit PARAM_PROGRAM_ELEMENT .or
1695 paramConstDecl .emit PARAM_CONSTANT;
1696vp_paramMultipleItem
1697 vp_stateMultipleItem .emit PARAM_STATE_ELEMENT .or
1698 programMultipleItem .emit PARAM_PROGRAM_ELEMENT .or
1699 paramConstDecl .emit PARAM_CONSTANT;
1700
1701/*
1702 <stateMultipleItem> ::= <stateSingleItem>
1703 | "state" "." <stateMatrixRows>
1704*/
1705fp_stateMultipleItem
1706 stateMultipleItem_1 .or fp_stateSingleItem;
1707vp_stateMultipleItem
1708 stateMultipleItem_1 .or vp_stateSingleItem;
1709stateMultipleItem_1
1710 "state" .and dot .and stateMatrixRows .emit STATE_MATRIX_ROWS;
1711
1712/*
1713fragment program
1714 <stateSingleItem> ::= "state" "." <stateMaterialItem>
1715 | "state" "." <stateLightItem>
1716 | "state" "." <stateLightModelItem>
1717 | "state" "." <stateLightProdItem>
1718 | "state" "." <stateTexEnvItem>
1719 | "state" "." <stateFogItem>
1720 | "state" "." <stateDepthItem>
1721 | "state" "." <stateMatrixRow>
1722
1723vertex program
1724 <stateSingleItem> ::= "state" "." <stateMaterialItem>
1725 | "state" "." <stateLightItem>
1726 | "state" "." <stateLightModelItem>
1727 | "state" "." <stateLightProdItem>
1728 | "state" "." <stateTexGenItem>
1729 | "state" "." <stateFogItem>
1730 | "state" "." <stateClipPlaneItem>
1731 | "state" "." <statePointItem>
1732 | "state" "." <stateMatrixRow>
1733*/
1734fp_stateSingleItem
1735 "state" .and dot .and fp_stateSingleItem_1 .error INVALID_STATE_PROPERTY;
1736vp_stateSingleItem
1737 "state" .and dot .and vp_stateSingleItem_1 .error INVALID_STATE_PROPERTY;
1738fp_stateSingleItem_1
1739 stateSingleItem_1 .or stateSingleItem_2 .or stateSingleItem_3 .or stateSingleItem_4 .or
1740 stateSingleItem_5 .or stateSingleItem_7 .or stateSingleItem_8 .or stateSingleItem_11;
1741vp_stateSingleItem_1
1742 stateSingleItem_1 .or stateSingleItem_2 .or stateSingleItem_3 .or stateSingleItem_4 .or
1743 stateSingleItem_6 .or stateSingleItem_7 .or stateSingleItem_9 .or stateSingleItem_10 .or
1744 stateSingleItem_11;
1745stateSingleItem_1
1746 stateMaterialItem .emit STATE_MATERIAL;
1747stateSingleItem_2
1748 stateLightItem .emit STATE_LIGHT;
1749stateSingleItem_3
1750 stateLightModelItem .emit STATE_LIGHT_MODEL;
1751stateSingleItem_4
1752 stateLightProdItem .emit STATE_LIGHT_PROD;
1753stateSingleItem_5
1754 stateTexEnvItem .emit STATE_TEX_ENV;
1755stateSingleItem_6
1756 stateTexGenItem .emit STATE_TEX_GEN;
1757stateSingleItem_7
1758 stateFogItem .emit STATE_FOG;
1759stateSingleItem_8
1760 stateDepthItem .emit STATE_DEPTH;
1761stateSingleItem_9
1762 stateClipPlaneItem .emit STATE_CLIP_PLANE;
1763stateSingleItem_10
1764 statePointItem .emit STATE_POINT;
1765stateSingleItem_11
1766 stateMatrixRow .emit STATE_MATRIX_ROWS;
1767
1768/*
1769 <stateMaterialItem> ::= "material" <optFaceType> "." <stateMatProperty>
1770*/
1771stateMaterialItem
1772 "material" .and optFaceType .and dot .and stateMatProperty .error INVALID_MATERIAL_PROPERTY;
1773
1774/*
1775 <stateMatProperty> ::= "ambient"
1776 | "diffuse"
1777 | "specular"
1778 | "emission"
1779 | "shininess"
1780*/
1781stateMatProperty
1782 "ambient" .emit MATERIAL_AMBIENT .or
1783 "diffuse" .emit MATERIAL_DIFFUSE .or
1784 "specular" .emit MATERIAL_SPECULAR .or
1785 "emission" .emit MATERIAL_EMISSION .or
1786 "shininess" .emit MATERIAL_SHININESS;
1787
1788/*
1789 <stateLightItem> ::= "light" "[" <stateLightNumber> "]" "."
1790 <stateLightProperty>
1791*/
1792stateLightItem
1793 "light" .and lbracket .and stateLightNumber .and rbracket .and dot .and
1794 stateLightProperty .error INVALID_LIGHT_PROPERTY;
1795
1796/*
1797 <stateLightProperty> ::= "ambient"
1798 | "diffuse"
1799 | "specular"
1800 | "position"
1801 | "attenuation"
1802 | "spot" "." <stateSpotProperty>
1803 | "half"
1804*/
1805stateLightProperty
1806 "ambient" .emit LIGHT_AMBIENT .or
1807 "diffuse" .emit LIGHT_DIFFUSE .or
1808 "specular" .emit LIGHT_SPECULAR .or
1809 "position" .emit LIGHT_POSITION .or
1810 "attenuation" .emit LIGHT_ATTENUATION .or
1811 stateLightProperty_1 .emit LIGHT_SPOT_DIRECTION .or
1812 "half" .emit LIGHT_HALF;
1813stateLightProperty_1
1814 "spot" .and dot .and stateSpotProperty .error INVALID_SPOT_PROPERTY;
1815
1816/*
1817 <stateSpotProperty> ::= "direction"
1818*/
1819stateSpotProperty
1820 "direction";
1821
1822/*
1823 <stateLightModelItem> ::= "lightmodel" <stateLModProperty>
1824*/
1825stateLightModelItem
1826 "lightmodel" .and stateLModProperty .error INVALID_LIGHTMODEL_PROPERTY;
1827
1828/*
1829 <stateLModProperty> ::= "." "ambient"
1830 | <optFaceType> "." "scenecolor"
1831*/
1832stateLModProperty
1833 stateLModProperty_1 .or stateLModProperty_2;
1834stateLModProperty_1
1835 dot .and "ambient" .emit LIGHT_MODEL_AMBIENT;
1836stateLModProperty_2
1837 stateLModProperty_3 .emit LIGHT_MODEL_SCENECOLOR;
1838stateLModProperty_3
1839 optFaceType .and dot .and "scenecolor";
1840
1841/*
1842 <stateLightProdItem> ::= "lightprod" "[" <stateLightNumber> "]"
1843 <optFaceType> "." <stateLProdProperty>
1844*/
1845stateLightProdItem
1846 "lightprod" .and lbracket .and stateLightNumber .and rbracket .and optFaceType .and dot .and
1847 stateLProdProperty .error INVALID_LIGHTPROD_PROPERTY;
1848
1849/*
1850 <stateLProdProperty> ::= "ambient"
1851 | "diffuse"
1852 | "specular"
1853*/
1854stateLProdProperty
1855 "ambient" .emit LIGHT_PROD_AMBIENT .or
1856 "diffuse" .emit LIGHT_PROD_DIFFUSE .or
1857 "specular" .emit LIGHT_PROD_SPECULAR;
1858
1859/*
1860 <stateLightNumber> ::= <integer> from 0 to MAX_LIGHTS-1
1861*/
1862stateLightNumber
1863 integer;
1864
1865/*
1866fragment program
1867 <stateTexEnvItem> ::= "texenv" <optLegacyTexUnitNum> "."
1868 <stateTexEnvProperty>
1869*/
1870stateTexEnvItem
1871 "texenv" .and optLegacyTexUnitNum .and dot .and
1872 stateTexEnvProperty .error INVALID_TEXENV_PROPERTY;
1873
1874/*
1875fragment program
1876 <stateTexEnvProperty> ::= "color"
1877*/
1878stateTexEnvProperty
1879 "color" .emit TEX_ENV_COLOR;
1880
1881/*
1882fragment program
1883 <optLegacyTexUnitNum> ::= ""
1884 | "[" <legacyTexUnitNum> "]"
1885
1886NOTE: <optLegaceTexUnitNum> is not optional.
1887*/
1888optLegacyTexUnitNum
1889 lbracket_ne .and legacyTexUnitNum .and rbracket;
1890
1891/*
1892fragment program
1893 <legacyTexUnitNum> ::= <integer> from 0 to MAX_TEXTURE_UNITS-1
1894*/
1895legacyTexUnitNum
1896 integer;
1897
1898/*
1899vertex program
1900 <stateTexGenItem> ::= "texgen" <optTexCoordNum> "."
1901 <stateTexGenType> "." <stateTexGenCoord>
1902*/
1903stateTexGenItem
1904 "texgen" .and optTexCoordNum .and dot .and stateTexGenType .error INVALID_TEXGEN_PROPERTY .and
1905 dot .and stateTexGenCoord .error INVALID_TEXGEN_COORD;
1906
1907/*
1908vertex program
1909 <stateTexGenType> ::= "eye"
1910 | "object"
1911*/
1912stateTexGenType
1913 "eye" .emit TEX_GEN_EYE .or
1914 "object" .emit TEX_GEN_OBJECT;
1915
1916/*
1917vertex program
1918 <stateTexGenCoord> ::= "s"
1919 | "t"
1920 | "r"
1921 | "q"
1922*/
1923stateTexGenCoord
1924 "s" .emit COMPONENT_X .or
1925 "t" .emit COMPONENT_Y .or
1926 "r" .emit COMPONENT_Z .or
1927 "q" .emit COMPONENT_W;
1928
1929/*
1930 <stateFogItem> ::= "fog" "." <stateFogProperty>
1931*/
1932stateFogItem
1933 "fog" .and dot .and stateFogProperty .error INVALID_FOG_PROPERTY;
1934
1935/*
1936 <stateFogProperty> ::= "color"
1937 | "params"
1938*/
1939stateFogProperty
1940 "color" .emit FOG_COLOR .or
1941 "params" .emit FOG_PARAMS;
1942
1943/*
1944fragment program
1945 <stateDepthItem> ::= "depth" "." <stateDepthProperty>
1946*/
1947stateDepthItem
1948 "depth" .and dot .and stateDepthProperty .error INVALID_DEPTH_PROPERTY;
1949
1950/*
1951fragment program
1952 <stateDepthProperty> ::= "range"
1953*/
1954stateDepthProperty
1955 "range" .emit DEPTH_RANGE;
1956
1957/*
1958vertex program
1959 <stateClipPlaneItem> ::= "clip" "[" <stateClipPlaneNum> "]" "." "plane"
1960*/
1961stateClipPlaneItem
1962 "clip" .and lbracket .and stateClipPlaneNum .and rbracket .and dot .and
1963 "plane" .error INVALID_CLIPPLANE_PROPERTY;
1964
1965/*
1966vertex program
1967 <stateClipPlaneNum> ::= <integer> from 0 to MAX_CLIP_PLANES-1
1968*/
1969stateClipPlaneNum
1970 integer;
1971
1972/*
1973vertex program
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]1974 <statePointItem> ::= "point" "." <statePointProperty>
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]1975*/
1976statePointItem
1977 "point" .and dot .and statePointProperty .error INVALID_POINT_PROPERTY;
1978
1979/*
1980vertex program
1981 <statePointProperty> ::= "size"
1982 | "attenuation"
1983*/
1984statePointProperty
1985 "size" .emit POINT_SIZE .or
1986 .if (point_parameters != 0x00) "attenuation" .emit POINT_ATTENUATION;
1987
1988/*
1989 <stateMatrixRow> ::= <stateMatrixItem> "." "row" "["
1990 <stateMatrixRowNum> "]"
1991*/
1992stateMatrixRow
1993 stateMatrixItem .and dot .and "row" .error MATRIX_ROW_SELECTOR_OR_MODIFIER_EXPECTED .and
1994 lbracket .and stateMatrixRowNum .and rbracket .emit 0x0;
1995
1996/*
1997 <stateMatrixRows> ::= <stateMatrixItem> <optMatrixRows>
1998*/
1999stateMatrixRows
2000 stateMatrixItem .and optMatrixRows;
2001
2002/*
2003 <optMatrixRows> ::= ""
2004 | "." "row" "[" <stateMatrixRowNum> ".."
2005 <stateMatrixRowNum> "]"
2006*/
2007optMatrixRows
2008 optMatrixRows_1 .or .true .emit 0x0 .emit '3' .emit 0x0 .emit $;
2009optMatrixRows_1
2010 dot_ne .and "row" .error MATRIX_ROW_SELECTOR_OR_MODIFIER_EXPECTED .and lbracket .and
2011 stateMatrixRowNum .and dotdot .and stateMatrixRowNum .and rbracket;
2012
2013/*
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]2014 <stateMatrixItem> ::= "matrix" "." <stateMatrixName>
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]2015 <stateOptMatModifier>
2016*/
2017stateMatrixItem
2018 "matrix" .and dot .and stateMatrixName .error INVALID_MATRIX_NAME .and stateOptMatModifier;
2019
2020/*
2021 <stateOptMatModifier> ::= ""
2022 | "." <stateMatModifier>
2023*/
2024stateOptMatModifier
2025 stateOptMatModifier_1 .or .true .emit MATRIX_MODIFIER_IDENTITY;
2026stateOptMatModifier_1
2027 dot_ne .and stateMatModifier;
2028
2029/*
2030 <stateMatModifier> ::= "inverse"
2031 | "transpose"
2032 | "invtrans"
2033*/
2034stateMatModifier
2035 "inverse" .emit MATRIX_MODIFIER_INVERSE .or
2036 "transpose" .emit MATRIX_MODIFIER_TRANSPOSE .or
2037 "invtrans" .emit MATRIX_MODIFIER_INVTRANS;
2038
2039/*
2040 <stateMatrixRowNum> ::= <integer> from 0 to 3
2041*/
2042stateMatrixRowNum
2043 integer_0_3;
2044
2045/*
2046 <stateMatrixName> ::= "modelview" <stateOptModMatNum>
2047 | "projection"
2048 | "mvp"
2049 | "texture" <optTexCoordNum>
2050 | "palette" "[" <statePaletteMatNum> "]"
2051 | "program" "[" <stateProgramMatNum> "]"
2052*/
2053stateMatrixName
2054 stateMatrixName_1_1 .emit MATRIX_MODELVIEW .or
2055 "projection" .emit MATRIX_PROJECTION .or
2056 "mvp" .emit MATRIX_MVP .or
2057 stateMatrixName_1_2 .emit MATRIX_TEXTURE .or
2058 .if (matrix_palette != 0x00) stateMatrixName_1_3 .emit MATRIX_PALETTE .or
2059 stateMatrixName_1_4 .emit MATRIX_PROGRAM;
2060stateMatrixName_1_1
2061 "modelview" .and stateOptModMatNum;
2062stateMatrixName_1_2
2063 "texture" .and optTexCoordNum;
2064stateMatrixName_1_3
2065 "palette" .and lbracket .and statePaletteMatNum .and rbracket;
2066stateMatrixName_1_4
2067 "program" .and lbracket .and stateProgramMatNum .and rbracket;
2068
2069/*
2070 <stateOptModMatNum> ::= ""
2071 | "[" <stateModMatNum> "]"
2072*/
2073stateOptModMatNum
2074 .if (vertex_blend != 0x00) stateOptModMatNum_1 .or
2075 .true .emit 0x00;
2076stateOptModMatNum_1
2077 lbracket_ne .and stateModMatNum .and rbracket;
2078
2079/*
2080 <stateModMatNum> ::= <integer> from 0 to MAX_VERTEX_UNITS_ARB-1
2081*/
2082stateModMatNum
2083 integer;
2084
2085/*
2086 <optTexCoordNum> ::= ""
2087 | "[" <texCoordNum> "]"
2088*/
2089optTexCoordNum
2090 optTexCoordNum_1 .or .true .emit 0x00;
2091optTexCoordNum_1
2092 lbracket_ne .and texCoordNum .and rbracket;
2093
2094/*
2095 <texCoordNum> ::= <integer> from 0 to MAX_TEXTURE_COORDS_ARB-1
2096*/
2097texCoordNum
2098 integer;
2099
2100/*
2101 <statePaletteMatNum> ::= <integer> from 0 to MAX_PALETTE_MATRICES_ARB-1
2102*/
2103statePaletteMatNum
2104 integer;
2105
2106/*
2107 <stateProgramMatNum> ::= <integer> from 0 to MAX_PROGRAM_MATRICES_ARB-1
2108*/
2109stateProgramMatNum
2110 integer;
2111
2112/*
2113 <programSingleItem> ::= <progEnvParam>
2114 | <progLocalParam>
2115
2116NOTE: <programSingleItem> has been modified for correct error handling. If program property
2117 is neither "env" nor "local" INVALID_PROGRAM_PROPERTY is generated.
2118*/
2119programSingleItem
2120 "program" .and dot .and programSingleItem_1 .error INVALID_PROGRAM_PROPERTY;
2121programSingleItem_1
2122 progEnvParam .or progLocalParam;
2123
2124/*
2125 <programMultipleItem> ::= <progEnvParams>
2126 | <progLocalParams>
2127
2128NOTE: <programMultipleItem> has been modified for correct error handling. If program property
2129 is neither "env" nor "local" INVALID_PROGRAM_PROPERTY is generated.
2130*/
2131programMultipleItem
2132 "program" .and dot .and programMultipleItem_1 .error INVALID_PROGRAM_PROPERTY;
2133programMultipleItem_1
2134 progEnvParams .or progLocalParams;
2135
2136/*
2137 <progEnvParams> ::= "program" "." "env"
2138 "[" <progEnvParamNums> "]"
2139
2140NOTE: "program" "." has been moved to <programMultipleItem>.
2141*/
2142progEnvParams
2143 "env" .emit PROGRAM_PARAM_ENV .and lbracket .and progEnvParamNums .and rbracket;
2144
2145/*
2146 <progEnvParamNums> ::= <progEnvParamNum>
2147 | <progEnvParamNum> ".." <progEnvParamNum>
2148*/
2149progEnvParamNums
2150 progEnvParamNums_1 .or progEnvParamNums_2;
2151progEnvParamNums_1
2152 progEnvParamNum .and dotdot_ne .and progEnvParamNum;
2153progEnvParamNums_2
2154 progEnvParamNum .and .true .emit 0x00;
2155
2156/*
2157 <progEnvParam> ::= "program" "." "env"
2158 "[" <progEnvParamNum> "]"
2159
2160NOTE: "program" "." has been moved to <programSingleItem>.
2161*/
2162progEnvParam
2163 "env" .emit PROGRAM_PARAM_ENV .and lbracket .and progEnvParamNum .and rbracket .emit 0x00;
2164
2165/*
2166 <progLocalParams> ::= "program" "." "local"
2167 "[" <progLocalParamNums> "]"
2168
2169NOTE: "program" "." has been moved to <programMultipleItem>.
2170*/
2171progLocalParams
2172 "local" .emit PROGRAM_PARAM_LOCAL .and lbracket .and progLocalParamNums .and rbracket;
2173
2174/*
2175 <progLocalParamNums> ::= <progLocalParamNum>
2176 | <progLocalParamNum> ".." <progLocalParamNum>
2177*/
2178progLocalParamNums
2179 progLocalParamNums_1 .or progLocalParamNums_2;
2180progLocalParamNums_1
2181 progLocalParamNum .and dotdot_ne .and progLocalParamNum;
2182progLocalParamNums_2
2183 progLocalParamNum .and .true .emit 0x00;
2184
2185/*
2186 <progLocalParam> ::= "program" "." "local"
2187 "[" <progLocalParamNum> "]"
2188
2189NOTE: "program" "." has been moved to <programSingleItem>.
2190*/
2191progLocalParam
2192 "local" .emit PROGRAM_PARAM_LOCAL .and lbracket .and progLocalParamNum .and rbracket .emit 0x00;
2193
2194/*
2195 <progEnvParamNum> ::= <integer> from 0 to
2196 MAX_PROGRAM_ENV_PARAMETERS_ARB - 1
2197*/
2198progEnvParamNum
2199 integer;
2200
2201/*
2202 <progLocalParamNum> ::= <integer> from 0 to
2203 MAX_PROGRAM_LOCAL_PARAMETERS_ARB - 1
2204*/
2205progLocalParamNum
2206 integer;
2207
2208/*
2209 <paramConstDecl> ::= <paramConstScalarDecl>
2210 | <paramConstVector>
2211*/
2212paramConstDecl
2213 paramConstScalarDecl .emit CONSTANT_SCALAR .or paramConstVector .emit CONSTANT_VECTOR;
2214
2215/*
2216 <paramConstUse> ::= <paramConstScalarUse>
2217 | <paramConstVector>
2218*/
2219paramConstUse
2220 paramConstScalarUse .emit CONSTANT_SCALAR .or paramConstVector .emit CONSTANT_VECTOR;
2221
2222/*
2223 <paramConstScalarDecl> ::= <signedFloatConstant>
2224*/
2225paramConstScalarDecl
2226 signedFloatConstant;
2227
2228/*
2229 <paramConstScalarUse> ::= <floatConstant>
2230*/
2231paramConstScalarUse
2232 floatConstant;
2233
2234/*
2235 <paramConstVector> ::= "{" <signedFloatConstant> "}"
2236 | "{" <signedFloatConstant> ","
2237 <signedFloatConstant> "}"
2238 | "{" <signedFloatConstant> ","
2239 <signedFloatConstant> ","
2240 <signedFloatConstant> "}"
2241 | "{" <signedFloatConstant> ","
2242 <signedFloatConstant> ","
2243 <signedFloatConstant> ","
2244 <signedFloatConstant> "}"
2245*/
2246paramConstVector
2247 paramConstVector_4 .emit 0x04 .or paramConstVector_3 .emit 0x03 .or
2248 paramConstVector_2 .emit 0x02 .or paramConstVector_1 .emit 0x01;
2249paramConstVector_1
2250 lbrace_ne .and signedFloatConstant .and rbrace;
2251paramConstVector_2
2252 lbrace_ne .and signedFloatConstant .and comma_ne .and signedFloatConstant .and rbrace;
2253paramConstVector_3
2254 lbrace_ne .and signedFloatConstant .and comma_ne .and signedFloatConstant .and comma_ne .and
2255 signedFloatConstant .and rbrace;
2256paramConstVector_4
2257 lbrace_ne .and signedFloatConstant .and comma_ne .and signedFloatConstant .and comma_ne .and
2258 signedFloatConstant .and comma_ne .and signedFloatConstant .and rbrace;
2259
2260/*
2261 <signedFloatConstant> ::= <optionalSign> <floatConstant>
2262*/
2263signedFloatConstant
2264 optionalSign .and floatConstant;
2265
2266/*
2267 <floatConstant> ::= see text
2268 The <floatConstant> rule matches a floating-point constant consisting
2269 of an integer part, a decimal point, a fraction part, an "e" or
2270 "E", and an optionally signed integer exponent. The integer and
2271 fraction parts both consist of a sequence of one or more digits ("0"
2272 through "9"). Either the integer part or the fraction parts (not
2273 both) may be missing; either the decimal point or the "e" (or "E")
2274 and the exponent (not both) may be missing.
2275*/
2276floatConstant
2277 float;
2278
2279/*
2280 <optionalSign> ::= ""
2281 | "-"
2282 | "+"
2283*/
2284optionalSign
2285 optional_sign_ne;
2286
2287/*
2288 <TEMP_statement> ::= "TEMP" <varNameList>
2289*/
2290fp_TEMP_statement
2291 "TEMP" .and space .and fp_varNameList .and .true .emit 0x00;
2292vp_TEMP_statement
2293 "TEMP" .and space .and vp_varNameList .and .true .emit 0x00;
2294
2295/*
2296vertex program
2297 <ADDRESS_statement> ::= "ADDRESS" <varNameList>
2298*/
2299ADDRESS_statement
2300 "ADDRESS" .and space .and vp_varNameList .and .true .emit 0x00;
2301
2302/*
2303 <varNameList> ::= <establishName>
2304 | <establishName> "," <varNameList>
2305*/
2306fp_varNameList
2307 fp_varNameList_1 .or fp_establishName;
2308vp_varNameList
2309 vp_varNameList_1 .or vp_establishName;
2310fp_varNameList_1
2311 fp_establishName .and comma_ne .and fp_varNameList;
2312vp_varNameList_1
2313 vp_establishName .and comma_ne .and vp_varNameList;
2314
2315/*
2316 <OUTPUT_statement> ::= "OUTPUT" <establishName> "="
2317 <resultBinding>
2318*/
2319fp_OUTPUT_statement
2320 "OUTPUT" .and space .and fp_establishName .and equal .and
2321 fp_resultBinding .error RESULT_EXPECTED;
2322vp_OUTPUT_statement
2323 "OUTPUT" .and space .and vp_establishName .and equal .and
2324 vp_resultBinding .error RESULT_EXPECTED;
2325
2326/*
2327fragment program
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]2328 <resultBinding> ::= "result" "." "color"
2329 | "result" "." "color" <optOutputColorNum> (if option ARB_draw_buffers present)
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]2330 | "result" "." "depth"
2331
2332vertex program
2333 <resultBinding> ::= "result" "." "position"
2334 | "result" "." <resultColBinding>
2335 | "result" "." "fogcoord"
2336 | "result" "." "pointsize"
2337 | "result" "." "texcoord" <optTexCoordNum>
2338*/
2339fp_resultBinding
2340 "result" .and dot .and fp_resultBinding_1 .error INVALID_RESULT_PROPERTY;
2341vp_resultBinding
2342 "result" .and dot .and vp_resultBinding_1 .error INVALID_RESULT_PROPERTY;
2343fp_resultBinding_1
Brian Paulbe76b7f2004-10-04 14:40:05 +0000[diff] [blame]2344 fp_resultBinding_2 .emit FRAGMENT_RESULT_COLOR .or
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]2345 "depth" .emit FRAGMENT_RESULT_DEPTH;
Brian Paulbe76b7f2004-10-04 14:40:05 +0000[diff] [blame]2346fp_resultBinding_2
2347 "color" .and optOutputColorNum;
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]2348vp_resultBinding_1
2349 .if (ARB_position_invariant == 0x00) "position" .emit VERTEX_RESULT_POSITION .or
2350 resultColBinding .emit VERTEX_RESULT_COLOR .or
2351 "fogcoord" .emit VERTEX_RESULT_FOGCOORD .or
2352 "pointsize" .emit VERTEX_RESULT_POINTSIZE .or
2353 vp_resultBinding_2 .emit VERTEX_RESULT_TEXCOORD;
2354vp_resultBinding_2
2355 "texcoord" .and optTexCoordNum;
2356
2357/*
Brian Paulfb170c82004-10-06 15:56:38 +0000[diff] [blame^]2358GL_ARB_draw_buffers
2359 <optOutputColorNum> ::= ""
2360 | "[" <outputColorNum> "]"
2361*/
2362optOutputColorNum
2363 .if (ARB_draw_buffers != 0x00) optOutputColorNum_1 .or .true .emit 0x00;
2364optOutputColorNum_1
2365 lbracket_ne .and outputColorNum .and rbracket;
2366
2367/*
2368GL_ARB_draw_buffers
2369 <outputColorNum> ::= <integer> from 0 to MAX_DRAW_BUFFERS_ARB-1
2370*/
2371outputColorNum
2372 integer;
2373
2374/*
Michal Krola904b492004-03-04 13:07:52 +0000[diff] [blame]2375vertex program
2376 <resultColBinding> ::= "color" <optFaceType> <optColorType>
2377*/
2378resultColBinding
2379 "color" .and optFaceType .and optColorType;
2380
2381/*
2382 <optFaceType> ::= ""
2383 | "." "front"
2384 | "." "back"
2385*/
2386optFaceType
2387 FaceType .or .true .emit FACE_FRONT;
2388FaceType
2389 dot_ne .and FaceProperty;
2390FaceProperty
2391 "front" .emit FACE_FRONT .or "back" .emit FACE_BACK;
2392
2393/*
2394 <optColorType> ::= ""
2395 | "." "primary"
2396 | "." "secondary"
2397*/
2398optColorType
2399 ColorType .or .true .emit COLOR_PRIMARY;
2400ColorType
2401 dot_ne .and ColorProperty;
2402ColorProperty
2403 "primary" .emit COLOR_PRIMARY .or
2404 .if (secondary_color != 0x00) "secondary" .emit COLOR_SECONDARY;
2405
2406/*
2407 <ALIAS_statement> ::= "ALIAS" <establishName> "="
2408 <establishedName>
2409*/
2410fp_ALIAS_statement
2411 "ALIAS" .and fp_ALIAS_statement_1 .error IDENTIFIER_EXPECTED .and equal .and fp_establishedName;
2412vp_ALIAS_statement
2413 "ALIAS" .and vp_ALIAS_statement_1 .error IDENTIFIER_EXPECTED .and equal .and vp_establishedName;
2414fp_ALIAS_statement_1
2415 space .and fp_establishName;
2416vp_ALIAS_statement_1
2417 space .and vp_establishName;
2418
2419/*
2420 <establishName> ::= <identifier>
2421*/
2422fp_establishName
2423 fp_identifier;
2424vp_establishName
2425 vp_identifier;
2426
2427/*
2428 <establishedName> ::= <identifier>
2429*/
2430fp_establishedName
2431 fp_identifier;
2432vp_establishedName
2433 vp_identifier;
2434fp_establishedName_no_error_on_identifier
2435 fp_identifier_ne;
2436vp_establishedName_no_error_on_identifier
2437 vp_identifier_ne;
2438
2439/*
2440fragment program
2441 <identifier> ::= see text
2442 The <identifier> rule matches a sequence of one or more letters ("A"
2443 through "Z", "a" through "z"), digits ("0" through "9), underscores
2444 ("_"), or dollar signs ("$"); the first character must not be a
2445 number. Upper and lower case letters are considered different
2446 (names are case-sensitive). The following strings are reserved
2447 keywords and may not be used as identifiers:
2448
2449 ABS, ABS_SAT, ADD, ADD_SAT, ALIAS, ATTRIB, CMP, CMP_SAT, COS,
2450 COS_SAT, DP3, DP3_SAT, DP4, DP4_SAT, DPH, DPH_SAT, DST, DST_SAT,
2451 END, EX2, EX2_SAT, FLR, FLR_SAT, FRC, FRC_SAT, KIL, LG2,
2452 LG2_SAT, LIT, LIT_SAT, LRP, LRP_SAT, MAD, MAD_SAT, MAX, MAX_SAT,
2453 MIN, MIN_SAT, MOV, MOV_SAT, MUL, MUL_SAT, OPTION, OUTPUT, PARAM,
2454 POW, POW_SAT, RCP, RCP_SAT, RSQ, RSQ_SAT, SIN, SIN_SAT, SCS,
2455 SCS_SAT, SGE, SGE_SAT, SLT, SLT_SAT, SUB, SUB_SAT, SWZ, SWZ_SAT,
2456 TEMP, TEX, TEX_SAT, TXB, TXB_SAT, TXP, TXP_SAT, XPD, XPD_SAT,
2457 fragment, program, result, state, and texture.
2458
2459vertex program
2460 <identifier> ::= see text
2461 The <identifier> rule matches a sequence of one or more letters ("A"
2462 through "Z", "a" through "z"), digits ("0" through "9), underscores ("_"),
2463 or dollar signs ("$"); the first character must not be a number. Upper
2464 and lower case letters are considered different (names are
2465 case-sensitive). The following strings are reserved keywords and may not
2466 be used as identifiers:
2467
2468 ABS, ADD, ADDRESS, ALIAS, ARL, ATTRIB, DP3, DP4, DPH, DST, END, EX2,
2469 EXP, FLR, FRC, LG2, LIT, LOG, MAD, MAX, MIN, MOV, MUL, OPTION, OUTPUT,
2470 PARAM, POW, RCP, RSQ, SGE, SLT, SUB, SWZ, TEMP, XPD, program, result,
2471 state, and vertex.
2472*/
2473fp_identifier
2474 fp_identifier_ne .error IDENTIFIER_EXPECTED;
2475vp_identifier
2476 vp_identifier_ne .error IDENTIFIER_EXPECTED;
2477fp_identifier_ne
2478 fp_not_reserved_identifier .and identifier_ne;
2479vp_identifier_ne
2480 vp_not_reserved_identifier .and identifier_ne;
2481
2482fp_not_reserved_identifier
2483 fp_not_reserved_identifier_1 .or .true;
2484fp_not_reserved_identifier_1
2485 fp_reserved_identifier .and .false .error RESERVED_KEYWORD;
2486vp_not_reserved_identifier
2487 vp_not_reserved_identifier_1 .or .true;
2488vp_not_reserved_identifier_1
2489 vp_reserved_identifier .and .false .error RESERVED_KEYWORD;
2490
2491fp_reserved_identifier
2492 "ABS" .or "ABS_SAT" .or "ADD" .or "ADD_SAT" .or "ALIAS" .or "ATTRIB" .or "CMP" .or "CMP_SAT" .or
2493 "COS" .or "COS_SAT" .or "DP3" .or "DP3_SAT" .or "DP4" .or "DP4_SAT" .or "DPH" .or "DPH_SAT" .or
2494 "DST" .or "DST_SAT" .or "END" .or "EX2" .or "EX2_SAT" .or "FLR" .or "FLR_SAT" .or "FRC" .or
2495 "FRC_SAT" .or "KIL" .or "LG2" .or "LG2_SAT" .or "LIT" .or "LIT_SAT" .or "LRP" .or "LRP_SAT" .or
2496 "MAD" .or "MAD_SAT" .or "MAX" .or "MAX_SAT" .or "MIN" .or "MIN_SAT" .or "MOV" .or "MOV_SAT" .or
2497 "MUL" .or "MUL_SAT" .or "OPTION" .or "OUTPUT" .or "PARAM" .or "POW" .or "POW_SAT" .or "RCP" .or
2498 "RCP_SAT" .or "RSQ" .or "RSQ_SAT" .or "SIN" .or "SIN_SAT" .or "SCS" .or "SCS_SAT" .or "SGE" .or
2499 "SGE_SAT" .or "SLT" .or "SLT_SAT" .or "SUB" .or "SUB_SAT" .or "SWZ" .or "SWZ_SAT" .or "TEMP" .or
2500 "TEX" .or "TEX_SAT" .or "TXB" .or "TXB_SAT" .or "TXP" .or "TXP_SAT" .or "XPD" .or "XPD_SAT" .or
2501 "fragment" .or "program" .or "result" .or "state" .or "texture";
2502vp_reserved_identifier
2503 "ABS" .or "ADD" .or "ADDRESS" .or "ALIAS" .or "ARL" .or "ATTRIB" .or "DP3" .or "DP4" .or
2504 "DPH" .or "DST" .or "END" .or "EX2" .or "EXP" .or "FLR" .or "FRC" .or "LG2" .or "LIT" .or
2505 "LOG" .or "MAD" .or "MAX" .or "MIN" .or "MOV" .or "MUL" .or "OPTION" .or "OUTPUT" .or
2506 "PARAM" .or "POW" .or "RCP" .or "RSQ" .or "SGE" .or "SLT" .or "SUB" .or "SWZ" .or "TEMP" .or
2507 "XPD" .or "program" .or "result" .or "state" .or "vertex";
2508
2509/*
2510 The <integer> rule matches an integer constant. The integer consists
2511 of a sequence of one or more digits ("0" through "9").
2512*/
2513integer
2514 integer_ne .error INTEGER_EXPECTED;
2515
2516zero
2517 '0';
2518
2519leading_zeroes
2520 .loop zero;
2521
2522no_digit
2523 no_digit_1 .or .true;
2524no_digit_1
2525 digit10 .and .false .error INTEGER_OUT_OF_RANGE;
2526
2527all_zeroes
2528 all_zeroes_1 .or no_digit_1;
2529all_zeroes_1
2530 '0' .and .loop zero .and no_digit;
2531
2532integer_0_3
2533 integer_0_3_1 .error INTEGER_EXPECTED .and .true .emit 0x00 .emit $;
2534integer_0_3_1
2535 integer_0_3_2 .or all_zeroes .emit '0';
2536integer_0_3_2 /* [1, 3] */
2537 leading_zeroes .and '1'-'3' .emit * .and no_digit;
2538
2539integer_0_63
2540 integer_0_63_1 .error INTEGER_EXPECTED .and .true .emit 0x00 .emit $;
2541integer_0_63_1
2542 integer_0_63_2 .or integer_0_63_3 .or integer_0_63_4 .or integer_0_63_5 .or
2543 all_zeroes .emit '0';
2544integer_0_63_2 /* [7, 9] */
2545 leading_zeroes .and '7'-'9' .emit * .and no_digit;
2546integer_0_63_3 /* [10, 59] */
2547 leading_zeroes .and '1'-'5' .emit * .and '0'-'9' .emit * .and no_digit;
2548integer_0_63_4 /* [60, 63] */
2549 leading_zeroes .and '6' .emit * .and '0'-'3' .emit * .and no_digit;
2550integer_0_63_5 /* [1, 6] */
2551 leading_zeroes .and '1'-'6' .emit * .and no_digit;
2552
2553integer_0_64
2554 integer_0_64_1 .error INTEGER_EXPECTED .and .true .emit 0x00 .emit $;
2555integer_0_64_1
2556 integer_0_64_2 .or integer_0_64_3 .or integer_0_64_4 .or integer_0_64_5 .or
2557 all_zeroes .emit '0';
2558integer_0_64_2 /* [7, 9] */
2559 leading_zeroes .and '7'-'9' .emit * .and no_digit;
2560integer_0_64_3 /* [10, 59] */
2561 leading_zeroes .and '1'-'5' .emit * .and '0'-'9' .emit * .and no_digit;
2562integer_0_64_4 /* [60, 64] */
2563 leading_zeroes .and '6' .emit * .and '0'-'4' .emit * .and no_digit;
2564integer_0_64_5 /* [1, 6] */
2565 leading_zeroes .and '1'-'6' .emit * .and no_digit;
2566
2567optional_space
2568 space .or .true;
2569
2570space_dst
2571 space .error OPERATION_NEEDS_DESTINATION_VARIABLE;
2572
2573space_src
2574 space .error OPERATION_NEEDS_SOURCE_VARIABLE;
2575
2576space
2577 single_space .and .loop single_space;
2578
2579single_space
2580 white_char .or comment_block;
2581
2582white_char
2583 ' ' .or '\t' .or '\n' .or '\r';
2584
2585comment_block
2586 '#' .and .loop comment_char .and new_line;
2587
2588/* All ASCII characters except '\r', '\n' and '\0' */
2589comment_char
2590 '\x0E'-'\xFF' .or '\x01'-'\x09' .or '\x0B'-'\x0C';
2591
2592new_line
2593 '\n' .or crlf .or '\0';
2594
2595crlf
2596 '\r' .and '\n';
2597
2598semicolon
2599 optional_space .and ';' .error MISSING_SEMICOLON .and optional_space;
2600
2601comma
2602 optional_space .and ',' .error MISSING_COMMA .and optional_space;
2603
2604comma_ne
2605 optional_space .and ',' .and optional_space;
2606
2607lbracket
2608 optional_space .and '[' .error MISSING_LBRACKET .and optional_space;
2609
2610lbracket_ne
2611 optional_space .and '[' .and optional_space;
2612
2613rbracket
2614 optional_space .and ']' .error MISSING_RBRACKET .and optional_space;
2615
2616dot
2617 optional_space .and '.' .error MISSING_DOT .and optional_space;
2618
2619dot_ne
2620 optional_space .and '.' .and optional_space;
2621
2622equal
2623 optional_space .and '=' .error MISSING_EQUAL .and optional_space;
2624
2625lbrace
2626 optional_space .and '{' .error MISSING_LBRACE .and optional_space;
2627
2628lbrace_ne
2629 optional_space .and '{' .and optional_space;
2630
2631rbrace
2632 optional_space .and '}' .error MISSING_RBRACE .and optional_space;
2633
2634dotdot
2635 optional_space .and '.' .and '.' .error MISSING_DOTDOT .and optional_space;
2636
2637dotdot_ne
2638 optional_space .and '.' .and '.' .and optional_space;
2639
2640/*
2641 The definition below accepts the following floating point number formats:
2642 .99 .99e99 99. 99.99 99.99e99 99.e99 99e99
2643 Also 99 format was considered and accepted because of a large number of existing program
2644 strings with such a format.
2645*/
2646float
2647 float_1 .or float_2 .or float_legacy;
2648float_1
2649 '.' .emit 0x00 .and integer_ne .error MISSING_FRACTION_OR_EXPONENT .and optional_exponent;
2650float_2
2651 integer_ne .and float_3;
2652float_3
2653 float_4 .or float_5;
2654float_4
2655 '.' .and optional_integer .and optional_exponent;
2656float_5
2657 exponent .emit 0x00;
2658float_legacy
2659 integer_ne .and .true .emit 0x00 .emit 0x00;
2660
2661/*
2662 Below is a correct version of <float> definiton.
2663*/
2664/*
2665float
2666 float_1 .or float_2;
2667float_1
2668 '.' .emit 0x00 .and integer_ne .error MISSING_FRACTION_OR_EXPONENT .and optional_exponent;
2669float_2
2670 integer_ne .and float_3 .error MISSING_DOT_OR_EXPONENT;
2671float_3
2672 float_4 .or float_5;
2673float_4
2674 '.' .and optional_integer .and optional_exponent;
2675float_5
2676 exponent .emit 0x00;
2677*/
2678
2679integer_ne
2680 integer_ne_1 .and .true .emit 0x00 .emit $;
2681integer_ne_1
2682 digit10 .emit * .and .loop digit10 .emit *;
2683
2684optional_integer
2685 integer_ne .or .true .emit 0x00;
2686
2687/*
2688NOTE: If exponent part is omited we treat it as if it was "E+1".
2689*/
2690optional_exponent
2691 exponent .or .true .emit 0x00;
2692
2693exponent
2694 exponent_1 .and optional_sign_ne .and integer_ne .error EXPONENT_VALUE_EXPECTED;
2695exponent_1
2696 'e' .or 'E';
2697
2698optional_sign_ne
2699 minus_ne .or plus_ne .or .true;
2700
2701plus_ne
2702 optional_space .and '+' .and optional_space;
2703
2704minus_ne
2705 optional_space .and '-' .emit '-' .and optional_space;
2706
2707identifier_ne
2708 first_idchar .emit * .and .loop follow_idchar .emit * .and .true .emit 0x00 .emit $;
2709
2710follow_idchar
2711 first_idchar .or digit10;
2712
2713first_idchar
2714 'a'-'z' .or 'A'-'Z' .or '_' .or '$';
2715
2716digit10
2717 '0'-'9';
2718
2719/*
2720 string filtering - if a string is encountered in grammar ("blabla"), the symbol below is
2721 executed to create the string. The symbol must not throw any errors and emit bytes - it should
2722 stop if it encounters invalid character. After this the resulting string (from starting
2723 position up to the invalid character (but without it) is compared with the grammar string.
2724*/
2725.string __string_filter;
2726
2727__string_filter
2728 .loop __identifier_char;
2729
2730__identifier_char
2731 'a'-'z' .or 'A'-'Z' .or '_' .or '$' .or '0'-'9';
2732
2733/*
2734 error token filtering
2735*/
2736e_signature
2737 e_signature_char .and .loop e_signature_char;
2738e_signature_char
2739 '!' .or '.' .or 'A'-'Z' .or 'a'-'z' .or '0'-'9';
2740
2741e_statement
2742 .loop e_statement_not_term;
2743/* All ASCII characters to one of '\r', '\n', '\0' and ';' */
2744e_statement_not_term
2745 '\x3C'-'\xFF' .or '\x0E'-'\x3A' .or '\x01'-'\x09' .or '\x0B'-'\x0C';
2746
2747e_identifier
2748 e_identifier_first .and .loop e_identifier_next;
2749e_identifier_first
2750 'a'-'z' .or 'A'-'Z' .or '_' .or '$';
2751e_identifier_next
2752 e_identifier_first .or '0'-'9';
2753
2754e_token
2755 e_identifier .or e_token_number .or '[' .or ']' .or '.' .or '{' .or '}' .or '=' .or '+' .or
2756 '-' .or ',' .or ';';
2757e_token_number
2758 e_token_digit .and .loop e_token_digit;
2759e_token_digit
2760 '0'-'9';
2761
2762e_charordigit
2763 'A'-'Z' .or 'a'-'z' .or '0'-'9';
2764