2 * Mesa 3-D graphics library
4 * Copyright (C) 2005-2008 Brian Paul All Rights Reserved.
5 * Copyright (C) 2009 VMware, Inc. 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 * Mesa GLSL Intermediate Representation tree types and constants.
36 #include "main/imports.h"
37 #include "slang_compile.h"
38 #include "slang_label.h"
39 #include "main/mtypes.h"
43 * Intermediate Representation opcodes
48 IR_SEQ
, /* sequence (eval left, then right) */
49 IR_SCOPE
, /* new variable scope (one child) */
51 IR_LABEL
, /* target of a jump or cjump */
53 IR_COND
, /* conditional expression/predicate */
55 IR_IF
, /* high-level IF/then/else */
56 /* Children[0] = conditional expression */
57 /* Children[1] = if-true part */
58 /* Children[2] = if-else part, or NULL */
60 IR_BEGIN_SUB
, /* begin subroutine */
61 IR_END_SUB
, /* end subroutine */
62 IR_RETURN
, /* return from subroutine */
63 IR_CALL
, /* call subroutine */
65 IR_LOOP
, /* high-level loop-begin / loop-end */
66 /* Children[0] = loop body */
67 /* Children[1] = loop tail code, or NULL */
69 IR_CONT
, /* continue loop */
70 /* n->Parent = ptr to parent IR_LOOP Node */
71 IR_BREAK
, /* break loop */
73 IR_BREAK_IF_TRUE
, /**< Children[0] = the condition expression */
76 IR_COPY
, /**< assignment/copy */
77 IR_MOVE
, /**< assembly MOV instruction */
80 IR_ADD
, /**< assembly ADD instruction */
89 IR_CROSS
, /* vec3 cross product */
94 IR_CMP
, /* = (op0 < 0) ? op1 : op2 */
95 IR_SEQUAL
, /* Set if args are equal (vector) */
96 IR_SNEQUAL
, /* Set if args are not equal (vector) */
97 IR_SGE
, /* Set if greater or equal (vector) */
98 IR_SGT
, /* Set if greater than (vector) */
99 IR_SLE
, /* Set if less or equal (vector) */
100 IR_SLT
, /* Set if less than (vector) */
104 IR_LOG2
, /* log base 2 */
105 IR_RSQ
, /* 1/sqrt() */
106 IR_RCP
, /* reciprocol */
109 IR_ABS
, /* absolute value */
111 IR_DDX
, /* derivative w.r.t. X */
112 IR_DDY
, /* derivative w.r.t. Y */
115 IR_NOISE1
, /* noise(x) */
116 IR_NOISE2
, /* noise(x, y) */
117 IR_NOISE3
, /* noise(x, y, z) */
118 IR_NOISE4
, /* noise(x, y, z, w) */
120 IR_EQUAL
, /* boolean equality */
121 IR_NOTEQUAL
,/* boolean inequality */
122 IR_NOT
, /* boolean not */
124 IR_VAR
, /* variable reference */
125 IR_VAR_DECL
,/* var declaration */
127 IR_ELEMENT
, /* array element */
128 IR_FIELD
, /* struct field */
129 IR_SWIZZLE
, /* swizzled storage access */
131 IR_TEX
, /* texture lookup */
132 IR_TEXB
, /* texture lookup with LOD bias */
133 IR_TEXP
, /* texture lookup with projection */
135 IR_TEX_SH
, /* texture lookup, shadow compare */
136 IR_TEXB_SH
, /* texture lookup with LOD bias, shadow compare */
137 IR_TEXP_SH
, /* texture lookup with projection, shadow compare */
140 IR_I_TO_F
, /* int[4] to float[4] conversion */
141 IR_F_TO_I
, /* float[4] to int[4] conversion */
143 IR_KILL
/* fragment kill/discard */
148 * Describes where data/variables are stored in the various register files.
150 * In the simple case, the File, Index and Size fields indicate where
151 * a variable is stored. For example, a vec3 variable may be stored
152 * as (File=PROGRAM_TEMPORARY, Index=6, Size=3). Or, File[Index].
153 * Or, a program input like color may be stored as
154 * (File=PROGRAM_INPUT,Index=3,Size=4);
156 * For single-float values, the Swizzle field indicates which component
157 * of the vector contains the float.
159 * If IsIndirect is set, the storage is accessed through an indirect
160 * register lookup. The value in question will be located at:
161 * File[Index + IndirectFile[IndirectIndex]]
163 * This is primary used for indexing arrays. For example, consider this
169 * here, storage for a[i] would be described by (File=PROGRAM_TEMPORAY,
170 * Index=aPos, IndirectFile=PROGRAM_UNIFORM, IndirectIndex=iPos), which
171 * would mean TEMP[aPos + UNIFORM[iPos]]
173 struct slang_ir_storage_
175 gl_register_file File
; /**< PROGRAM_TEMPORARY, PROGRAM_INPUT, etc */
176 GLint Index
; /**< -1 means unallocated */
177 GLint Size
; /**< number of floats or ints */
178 GLuint Swizzle
; /**< Swizzle AND writemask info */
179 GLint RefCount
; /**< Used during IR tree delete */
181 GLboolean RelAddr
; /* we'll remove this eventually */
183 GLboolean IsIndirect
;
184 gl_register_file IndirectFile
;
186 GLuint IndirectSwizzle
;
187 GLuint TexTarget
; /**< If File==PROGRAM_SAMPLER, one of TEXTURE_x_INDEX */
189 /** If Parent is non-null, Index is relative to parent.
190 * The other fields are ignored.
192 struct slang_ir_storage_
*Parent
;
195 typedef struct slang_ir_storage_ slang_ir_storage
;
199 * Intermediate Representation (IR) tree node
200 * Basically a binary tree, but IR_LRP and IR_CLAMP have three children.
202 typedef struct slang_ir_node_
204 slang_ir_opcode Opcode
;
205 struct slang_ir_node_
*Children
[3];
206 slang_ir_storage
*Store
; /**< location of result of this operation */
207 GLint InstLocation
; /**< Location of instruction emitted for this node */
209 /** special fields depending on Opcode: */
210 const char *Field
; /**< If Opcode == IR_FIELD */
211 GLfloat Value
[4]; /**< If Opcode == IR_FLOAT */
212 slang_variable
*Var
; /**< If Opcode == IR_VAR or IR_VAR_DECL */
213 struct slang_ir_node_
*List
; /**< For various linked lists */
214 struct slang_ir_node_
*Parent
; /**< Pointer to logical parent (ie. loop) */
215 slang_label
*Label
; /**< Used for branches */
216 const char *Comment
; /**< If Opcode == IR_COMMENT */
222 * Assembly and IR info
226 slang_ir_opcode IrOpcode
;
228 gl_inst_opcode InstOpcode
;
229 GLuint ResultSize
, NumParams
;
234 extern const slang_ir_info
*
235 _slang_ir_info(slang_ir_opcode opcode
);
239 _slang_init_ir_storage(slang_ir_storage
*st
,
240 gl_register_file file
, GLint index
, GLint size
,
243 extern slang_ir_storage
*
244 _slang_new_ir_storage(gl_register_file file
, GLint index
, GLint size
);
247 extern slang_ir_storage
*
248 _slang_new_ir_storage_swz(gl_register_file file
, GLint index
, GLint size
,
251 extern slang_ir_storage
*
252 _slang_new_ir_storage_relative(GLint index
, GLint size
,
253 slang_ir_storage
*parent
);
256 extern slang_ir_storage
*
257 _slang_new_ir_storage_indirect(gl_register_file file
,
260 gl_register_file indirectFile
,
262 GLuint indirectSwizzle
);
264 extern slang_ir_storage
*
265 _slang_new_ir_storage_sampler(GLint sampNum
, GLuint texTarget
, GLint size
);
269 _slang_copy_ir_storage(slang_ir_storage
*dst
, const slang_ir_storage
*src
);
273 _slang_free_ir_tree(slang_ir_node
*n
);
277 _slang_print_ir_tree(const slang_ir_node
*n
, int indent
);
280 #endif /* SLANG_IR_H */