2 * Mesa 3-D graphics library
5 * Copyright (C) 2005-2007 Brian Paul All Rights Reserved.
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice shall be included
15 * in all copies or substantial portions of the Software.
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
18 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20 * BRIAN PAUL BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
21 * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
22 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
27 * 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_SEQUAL
, /* Set if args are equal (vector) */
95 IR_SNEQUAL
, /* Set if args are not equal (vector) */
96 IR_SGE
, /* Set if greater or equal (vector) */
97 IR_SGT
, /* Set if greater than (vector) */
98 IR_SLE
, /* Set if less or equal (vector) */
99 IR_SLT
, /* Set if less than (vector) */
103 IR_LOG2
, /* log base 2 */
104 IR_RSQ
, /* 1/sqrt() */
105 IR_RCP
, /* reciprocol */
108 IR_ABS
, /* absolute value */
110 IR_DDX
, /* derivative w.r.t. X */
111 IR_DDY
, /* derivative w.r.t. Y */
114 IR_NOISE1
, /* noise(x) */
115 IR_NOISE2
, /* noise(x, y) */
116 IR_NOISE3
, /* noise(x, y, z) */
117 IR_NOISE4
, /* noise(x, y, z, w) */
119 IR_EQUAL
, /* boolean equality */
120 IR_NOTEQUAL
,/* boolean inequality */
121 IR_NOT
, /* boolean not */
123 IR_VAR
, /* variable reference */
124 IR_VAR_DECL
,/* var declaration */
126 IR_ELEMENT
, /* array element */
127 IR_FIELD
, /* struct field */
128 IR_SWIZZLE
, /* swizzled storage access */
130 IR_TEX
, /* texture lookup */
131 IR_TEXB
, /* texture lookup with LOD bias */
132 IR_TEXP
, /* texture lookup with projection */
135 IR_I_TO_F
, /* int[4] to float[4] conversion */
136 IR_F_TO_I
, /* float[4] to int[4] conversion */
138 IR_KILL
/* fragment kill/discard */
143 * Describes where data/variables are stored in the various register files.
145 * In the simple case, the File, Index and Size fields indicate where
146 * a variable is stored. For example, a vec3 variable may be stored
147 * as (File=PROGRAM_TEMPORARY, Index=6, Size=3). Or, File[Index].
148 * Or, a program input like color may be stored as
149 * (File=PROGRAM_INPUT,Index=3,Size=4);
151 * For single-float values, the Swizzle field indicates which component
152 * of the vector contains the float.
154 * If IsIndirect is set, the storage is accessed through an indirect
155 * register lookup. The value in question will be located at:
156 * File[Index + IndirectFile[IndirectIndex]]
158 * This is primary used for indexing arrays. For example, consider this
164 * here, storage for a[i] would be described by (File=PROGRAM_TEMPORAY,
165 * Index=aPos, IndirectFile=PROGRAM_UNIFORM, IndirectIndex=iPos), which
166 * would mean TEMP[aPos + UNIFORM[iPos]]
168 struct slang_ir_storage_
170 enum register_file File
; /**< PROGRAM_TEMPORARY, PROGRAM_INPUT, etc */
171 GLint Index
; /**< -1 means unallocated */
172 GLint Size
; /**< number of floats */
173 GLuint Swizzle
; /**< Swizzle AND writemask info */
174 GLint RefCount
; /**< Used during IR tree delete */
176 GLboolean RelAddr
; /* we'll remove this eventually */
178 GLboolean IsIndirect
;
179 enum register_file IndirectFile
;
181 GLuint IndirectSwizzle
;
183 /** If Parent is non-null, Index is relative to parent.
184 * The other fields are ignored.
186 struct slang_ir_storage_
*Parent
;
189 typedef struct slang_ir_storage_ slang_ir_storage
;
193 * Intermediate Representation (IR) tree node
194 * Basically a binary tree, but IR_LRP and IR_CLAMP have three children.
196 typedef struct slang_ir_node_
198 slang_ir_opcode Opcode
;
199 struct slang_ir_node_
*Children
[3];
200 slang_ir_storage
*Store
; /**< location of result of this operation */
201 GLint InstLocation
; /**< Location of instruction emitted for this node */
203 /** special fields depending on Opcode: */
204 const char *Field
; /**< If Opcode == IR_FIELD */
205 GLfloat Value
[4]; /**< If Opcode == IR_FLOAT */
206 slang_variable
*Var
; /**< If Opcode == IR_VAR or IR_VAR_DECL */
207 struct slang_ir_node_
*List
; /**< For various linked lists */
208 struct slang_ir_node_
*Parent
; /**< Pointer to logical parent (ie. loop) */
209 slang_label
*Label
; /**< Used for branches */
215 * Assembly and IR info
219 slang_ir_opcode IrOpcode
;
221 gl_inst_opcode InstOpcode
;
222 GLuint ResultSize
, NumParams
;
227 extern const slang_ir_info
*
228 _slang_ir_info(slang_ir_opcode opcode
);
232 _slang_init_ir_storage(slang_ir_storage
*st
,
233 enum register_file file
, GLint index
, GLint size
,
236 extern slang_ir_storage
*
237 _slang_new_ir_storage(enum register_file file
, GLint index
, GLint size
);
240 extern slang_ir_storage
*
241 _slang_new_ir_storage_swz(enum register_file file
, GLint index
, GLint size
,
244 extern slang_ir_storage
*
245 _slang_new_ir_storage_relative(GLint index
, GLint size
,
246 slang_ir_storage
*parent
);
249 extern slang_ir_storage
*
250 _slang_new_ir_storage_indirect(enum register_file file
,
253 enum register_file indirectFile
,
255 GLuint indirectSwizzle
);
258 _slang_copy_ir_storage(slang_ir_storage
*dst
, const slang_ir_storage
*src
);
262 _slang_free_ir_tree(slang_ir_node
*n
);
266 _slang_print_ir_tree(const slang_ir_node
*n
, int indent
);
269 #endif /* SLANG_IR_H */