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 */
75 /* Children[0] = the condition expression */
86 IR_CROSS
, /* vec3 cross product */
91 IR_SEQUAL
, /* Set if args are equal (vector) */
92 IR_SNEQUAL
, /* Set if args are not equal (vector) */
93 IR_SGE
, /* Set if greater or equal (vector) */
94 IR_SGT
, /* Set if greater than (vector) */
95 IR_SLE
, /* Set if less or equal (vector) */
96 IR_SLT
, /* Set if less than (vector) */
100 IR_LOG2
, /* log base 2 */
101 IR_RSQ
, /* 1/sqrt() */
102 IR_RCP
, /* reciprocol */
105 IR_ABS
, /* absolute value */
107 IR_DDX
, /* derivative w.r.t. X */
108 IR_DDY
, /* derivative w.r.t. Y */
111 IR_NOISE1
, /* noise(x) */
112 IR_NOISE2
, /* noise(x, y) */
113 IR_NOISE3
, /* noise(x, y, z) */
114 IR_NOISE4
, /* noise(x, y, z, w) */
116 IR_EQUAL
, /* boolean equality */
117 IR_NOTEQUAL
,/* boolean inequality */
118 IR_NOT
, /* boolean not */
120 IR_VAR
, /* variable reference */
121 IR_VAR_DECL
,/* var declaration */
123 IR_ELEMENT
, /* array element */
124 IR_FIELD
, /* struct field */
125 IR_SWIZZLE
, /* swizzled storage access */
127 IR_TEX
, /* texture lookup */
128 IR_TEXB
, /* texture lookup with LOD bias */
129 IR_TEXP
, /* texture lookup with projection */
132 IR_I_TO_F
, /* int[4] to float[4] conversion */
133 IR_F_TO_I
, /* float[4] to int[4] conversion */
135 IR_KILL
/* fragment kill/discard */
140 * Describes where data storage is allocated.
142 struct _slang_ir_storage
144 enum register_file File
; /**< PROGRAM_TEMPORARY, PROGRAM_INPUT, etc */
145 GLint Index
; /**< -1 means unallocated */
146 GLint Size
; /**< number of floats */
148 GLint RefCount
; /**< Used during IR tree delete */
151 /** If Parent is non-null, Index is relative to parent.
152 * The other fields are ignored.
154 struct _slang_ir_storage
*Parent
;
157 typedef struct _slang_ir_storage slang_ir_storage
;
161 * Intermediate Representation (IR) tree node
162 * Basically a binary tree, but IR_LRP and IR_CLAMP have three children.
164 typedef struct slang_ir_node_
166 slang_ir_opcode Opcode
;
167 struct slang_ir_node_
*Children
[3];
168 slang_ir_storage
*Store
; /**< location of result of this operation */
169 GLint InstLocation
; /**< Location of instruction emitted for this node */
171 /** special fields depending on Opcode: */
172 const char *Field
; /**< If Opcode == IR_FIELD */
173 GLuint Writemask
; /**< If Opcode == IR_MOVE */
174 GLfloat Value
[4]; /**< If Opcode == IR_FLOAT */
175 slang_variable
*Var
; /**< If Opcode == IR_VAR or IR_VAR_DECL */
176 struct slang_ir_node_
*List
; /**< For various linked lists */
177 struct slang_ir_node_
*Parent
; /**< Pointer to logical parent (ie. loop) */
178 slang_label
*Label
; /**< Used for branches */
184 * Assembly and IR info
188 slang_ir_opcode IrOpcode
;
190 gl_inst_opcode InstOpcode
;
191 GLuint ResultSize
, NumParams
;
196 extern const slang_ir_info
*
197 _slang_ir_info(slang_ir_opcode opcode
);
200 extern slang_ir_storage
*
201 _slang_new_ir_storage(enum register_file file
, GLint index
, GLint size
);
204 extern slang_ir_storage
*
205 _slang_new_ir_storage_swz(enum register_file file
, GLint index
, GLint size
,
208 extern slang_ir_storage
*
209 _slang_new_ir_storage_relative(GLint index
, GLint size
,
210 slang_ir_storage
*parent
);
215 _slang_free_ir_tree(slang_ir_node
*n
);
219 _slang_print_ir_tree(const slang_ir_node
*n
, int indent
);
222 #endif /* SLANG_IR_H */