src/mesa/shader/slang/slang_ir.h

   1 /*
   2  * Mesa 3-D graphics library
   3  * Version:  6.5.3
   4  *
   5  * Copyright (C) 2005-2007  Brian Paul   All Rights Reserved.
   6  *
   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:
  13  *
  14  * The above copyright notice and this permission notice shall be included
  15  * in all copies or substantial portions of the Software.
  16  *
  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.
  23  */
  24
  25 /**
  26  * \file slang_ir.h
  27  * Mesa GLSL Intermediate Representation tree types and constants.
  28  * \author Brian Paul
  29  */
  30
  31
  32 #ifndef SLANG_IR_H
  33 #define SLANG_IR_H
  34
  35
  36 #include "imports.h"
  37 #include "slang_compile.h"
  38 #include "slang_label.h"
  39 #include "mtypes.h"
  40
  41
  42 /**
  43  * Intermediate Representation opcodes
  44  */
  45 typedef enum
  46 {
  47    IR_NOP = 0,
  48    IR_SEQ,     /* sequence (eval left, then right) */
  49    IR_SCOPE,   /* new variable scope (one child) */
  50
  51    IR_LABEL,   /* target of a jump or cjump */
  52
  53    IR_COND,    /* conditional expression/predicate */
  54
  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 */
  59
  60    IR_BEGIN_SUB, /* begin subroutine */
  61    IR_END_SUB,   /* end subroutine */
  62    IR_RETURN,    /* return from subroutine */
  63    IR_CALL,      /* call subroutine */
  64
  65    IR_FUNC,      /* inlined function code */
  66
  67    IR_LOOP,      /* high-level loop-begin / loop-end */
  68                  /* Children[0] = loop body */
  69                  /* Children[1] = loop tail code, or NULL */
  70
  71    IR_CONT,      /* continue loop */
  72                  /* n->Parent = ptr to parent IR_LOOP Node */
  73    IR_BREAK,     /* break loop */
  74
  75    IR_BREAK_IF_TRUE,
  76    IR_CONT_IF_TRUE,
  77                  /* Children[0] = the condition expression */
  78
  79    IR_MOVE,
  80
  81    /* vector ops: */
  82    IR_ADD,
  83    IR_SUB,
  84    IR_MUL,
  85    IR_DIV,
  86    IR_DOT4,
  87    IR_DOT3,
  88    IR_CROSS,   /* vec3 cross product */
  89    IR_LRP,
  90    IR_CLAMP,
  91    IR_MIN,
  92    IR_MAX,
  93    IR_SEQUAL,  /* Set if args are equal (vector) */
  94    IR_SNEQUAL, /* Set if args are not equal (vector) */
  95    IR_SGE,     /* Set if greater or equal (vector) */
  96    IR_SGT,     /* Set if greater than (vector) */
  97    IR_SLE,     /* Set if less or equal (vector) */
  98    IR_SLT,     /* Set if less than (vector) */
  99    IR_POW,     /* x^y */
 100    IR_EXP,     /* e^x */
 101    IR_EXP2,    /* 2^x */
 102    IR_LOG2,    /* log base 2 */
 103    IR_RSQ,     /* 1/sqrt() */
 104    IR_RCP,     /* reciprocol */
 105    IR_FLOOR,
 106    IR_FRAC,
 107    IR_ABS,     /* absolute value */
 108    IR_NEG,     /* negate */
 109    IR_DDX,     /* derivative w.r.t. X */
 110    IR_DDY,     /* derivative w.r.t. Y */
 111    IR_SIN,     /* sine */
 112    IR_COS,     /* cosine */
 113    IR_NOISE1,  /* noise(x) */
 114    IR_NOISE2,  /* noise(x, y) */
 115    IR_NOISE3,  /* noise(x, y, z) */
 116    IR_NOISE4,  /* noise(x, y, z, w) */
 117
 118    IR_EQUAL,   /* boolean equality */
 119    IR_NOTEQUAL,/* boolean inequality */
 120    IR_NOT,     /* boolean not */
 121
 122    IR_VAR,     /* variable reference */
 123    IR_VAR_DECL,/* var declaration */
 124
 125    IR_ELEMENT, /* array element */
 126    IR_FIELD,   /* struct field */
 127    IR_SWIZZLE, /* swizzled storage access */
 128
 129    IR_TEX,     /* texture lookup */
 130    IR_TEXB,    /* texture lookup with LOD bias */
 131    IR_TEXP,    /* texture lookup with projection */
 132
 133    IR_FLOAT,
 134    IR_I_TO_F,  /* int[4] to float[4] conversion */
 135    IR_F_TO_I,  /* float[4] to int[4] conversion */
 136
 137    IR_KILL     /* fragment kill/discard */
 138 } slang_ir_opcode;
 139
 140
 141 /**
 142  * Describes where data storage is allocated.
 143  */
 144 struct _slang_ir_storage
 145 {
 146    enum register_file File;  /**< PROGRAM_TEMPORARY, PROGRAM_INPUT, etc */
 147    GLint Index;  /**< -1 means unallocated */
 148    GLint Size;  /**< number of floats */
 149    GLuint Swizzle;
 150    GLint RefCount; /**< Used during IR tree delete */
 151 };
 152
 153 typedef struct _slang_ir_storage slang_ir_storage;
 154
 155
 156 /**
 157  * Intermediate Representation (IR) tree node
 158  * Basically a binary tree, but IR_LRP and IR_CLAMP have three children.
 159  */
 160 typedef struct slang_ir_node_
 161 {
 162    slang_ir_opcode Opcode;
 163    struct slang_ir_node_ *Children[3];
 164    slang_ir_storage *Store;  /**< location of result of this operation */
 165    GLint InstLocation;  /**< Location of instruction emitted for this node */
 166
 167    /** special fields depending on Opcode: */
 168    const char *Field;  /**< If Opcode == IR_FIELD */
 169    int FieldOffset;  /**< If Opcode == IR_FIELD */
 170    GLuint Writemask;  /**< If Opcode == IR_MOVE */
 171    GLfloat Value[4];    /**< If Opcode == IR_FLOAT */
 172    slang_variable *Var;  /**< If Opcode == IR_VAR or IR_VAR_DECL */
 173    struct slang_ir_node_ *List;  /**< For various linked lists */
 174    struct slang_ir_node_ *Parent;  /**< Pointer to logical parent (ie. loop) */
 175    slang_label *Label;  /**< Used for branches */
 176 } slang_ir_node;
 177
 178
 179
 180 /**
 181  * Assembly and IR info
 182  */
 183 typedef struct
 184 {
 185    slang_ir_opcode IrOpcode;
 186    const char *IrName;
 187    gl_inst_opcode InstOpcode;
 188    GLuint ResultSize, NumParams;
 189 } slang_ir_info;
 190
 191
 192
 193 extern const slang_ir_info *
 194 _slang_ir_info(slang_ir_opcode opcode);
 195
 196
 197 extern void
 198 _slang_free_ir_tree(slang_ir_node *n);
 199
 200
 201 extern void
 202 _slang_print_ir_tree(const slang_ir_node *n, int indent);
 203
 204
 205 #endif /* SLANG_IR_H */