daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 1 | // |
shannonwoods@chromium.org | 298f907 | 2013-05-30 00:21:17 +0000 | [diff] [blame] | 2 | // Copyright (c) 2002-2013 The ANGLE Project Authors. All rights reserved. |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 3 | // Use of this source code is governed by a BSD-style license that can be |
| 4 | // found in the LICENSE file. |
| 5 | // |
| 6 | |
Geoff Lang | 1773282 | 2013-08-29 13:46:49 -0400 | [diff] [blame] | 7 | #include "compiler/translator/localintermediate.h" |
| 8 | #include "compiler/translator/SymbolTable.h" |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 9 | |
| 10 | // |
| 11 | // Two purposes: |
| 12 | // 1. Show an example of how to iterate tree. Functions can |
| 13 | // also directly call Traverse() on children themselves to |
| 14 | // have finer grained control over the process than shown here. |
| 15 | // See the last function for how to get started. |
| 16 | // 2. Print out a text based description of the tree. |
| 17 | // |
| 18 | |
| 19 | // |
| 20 | // Use this class to carry along data from node to node in |
| 21 | // the traversal |
| 22 | // |
| 23 | class TOutputTraverser : public TIntermTraverser { |
| 24 | public: |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 25 | TOutputTraverser(TInfoSinkBase& i) : sink(i) { } |
| 26 | TInfoSinkBase& sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 27 | |
| 28 | protected: |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 29 | void visitSymbol(TIntermSymbol*); |
| 30 | void visitConstantUnion(TIntermConstantUnion*); |
| 31 | bool visitBinary(Visit visit, TIntermBinary*); |
| 32 | bool visitUnary(Visit visit, TIntermUnary*); |
| 33 | bool visitSelection(Visit visit, TIntermSelection*); |
| 34 | bool visitAggregate(Visit visit, TIntermAggregate*); |
| 35 | bool visitLoop(Visit visit, TIntermLoop*); |
| 36 | bool visitBranch(Visit visit, TIntermBranch*); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 37 | }; |
| 38 | |
| 39 | TString TType::getCompleteString() const |
| 40 | { |
alokp@chromium.org | 4e4facd | 2010-06-02 15:21:22 +0000 | [diff] [blame] | 41 | TStringStream stream; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 42 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 43 | if (qualifier != EvqTemporary && qualifier != EvqGlobal) |
alokp@chromium.org | 4e4facd | 2010-06-02 15:21:22 +0000 | [diff] [blame] | 44 | stream << getQualifierString() << " " << getPrecisionString() << " "; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 45 | if (array) |
daniel@transgaming.com | 4167cc9 | 2013-01-11 04:11:53 +0000 | [diff] [blame] | 46 | stream << "array[" << getArraySize() << "] of "; |
shannonwoods@chromium.org | 09e0988 | 2013-05-30 00:18:25 +0000 | [diff] [blame] | 47 | if (isMatrix()) |
| 48 | stream << getCols() << "X" << getRows() << " matrix of "; |
| 49 | else if (isVector()) |
| 50 | stream << getNominalSize() << "-component vector of "; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 51 | |
alokp@chromium.org | 4e4facd | 2010-06-02 15:21:22 +0000 | [diff] [blame] | 52 | stream << getBasicString(); |
| 53 | return stream.str(); |
| 54 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 55 | |
| 56 | // |
| 57 | // Helper functions for printing, not part of traversing. |
| 58 | // |
| 59 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 60 | void OutputTreeText(TInfoSinkBase& sink, TIntermNode* node, const int depth) |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 61 | { |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 62 | int i; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 63 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 64 | sink.location(node->getLine()); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 65 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 66 | for (i = 0; i < depth; ++i) |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 67 | sink << " "; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | // |
| 71 | // The rest of the file are the traversal functions. The last one |
| 72 | // is the one that starts the traversal. |
| 73 | // |
| 74 | // Return true from interior nodes to have the external traversal |
| 75 | // continue on to children. If you process children yourself, |
| 76 | // return false. |
| 77 | // |
| 78 | |
| 79 | void TOutputTraverser::visitSymbol(TIntermSymbol* node) |
| 80 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 81 | OutputTreeText(sink, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 82 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 83 | sink << "'" << node->getSymbol() << "' "; |
| 84 | sink << "(" << node->getCompleteString() << ")\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | bool TOutputTraverser::visitBinary(Visit visit, TIntermBinary* node) |
| 88 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 89 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 90 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 91 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 92 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 93 | switch (node->getOp()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 94 | case EOpAssign: out << "move second child to first child"; break; |
| 95 | case EOpInitialize: out << "initialize first child with second child"; break; |
| 96 | case EOpAddAssign: out << "add second child into first child"; break; |
| 97 | case EOpSubAssign: out << "subtract second child into first child"; break; |
| 98 | case EOpMulAssign: out << "multiply second child into first child"; break; |
| 99 | case EOpVectorTimesMatrixAssign: out << "matrix mult second child into first child"; break; |
| 100 | case EOpVectorTimesScalarAssign: out << "vector scale second child into first child"; break; |
| 101 | case EOpMatrixTimesScalarAssign: out << "matrix scale second child into first child"; break; |
| 102 | case EOpMatrixTimesMatrixAssign: out << "matrix mult second child into first child"; break; |
| 103 | case EOpDivAssign: out << "divide second child into first child"; break; |
| 104 | case EOpIndexDirect: out << "direct index"; break; |
| 105 | case EOpIndexIndirect: out << "indirect index"; break; |
| 106 | case EOpIndexDirectStruct: out << "direct index for structure"; break; |
shannonwoods@chromium.org | 4430b0d | 2013-05-30 00:12:34 +0000 | [diff] [blame] | 107 | case EOpIndexDirectInterfaceBlock: out << "direct index for interface block"; break; |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 108 | case EOpVectorSwizzle: out << "vector swizzle"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 109 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 110 | case EOpAdd: out << "add"; break; |
| 111 | case EOpSub: out << "subtract"; break; |
| 112 | case EOpMul: out << "component-wise multiply"; break; |
| 113 | case EOpDiv: out << "divide"; break; |
| 114 | case EOpEqual: out << "Compare Equal"; break; |
| 115 | case EOpNotEqual: out << "Compare Not Equal"; break; |
| 116 | case EOpLessThan: out << "Compare Less Than"; break; |
| 117 | case EOpGreaterThan: out << "Compare Greater Than"; break; |
| 118 | case EOpLessThanEqual: out << "Compare Less Than or Equal"; break; |
| 119 | case EOpGreaterThanEqual: out << "Compare Greater Than or Equal"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 120 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 121 | case EOpVectorTimesScalar: out << "vector-scale"; break; |
| 122 | case EOpVectorTimesMatrix: out << "vector-times-matrix"; break; |
| 123 | case EOpMatrixTimesVector: out << "matrix-times-vector"; break; |
| 124 | case EOpMatrixTimesScalar: out << "matrix-scale"; break; |
| 125 | case EOpMatrixTimesMatrix: out << "matrix-multiply"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 126 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 127 | case EOpLogicalOr: out << "logical-or"; break; |
| 128 | case EOpLogicalXor: out << "logical-xor"; break; |
| 129 | case EOpLogicalAnd: out << "logical-and"; break; |
| 130 | default: out << "<unknown op>"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 131 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 132 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 133 | out << " (" << node->getCompleteString() << ")"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 134 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 135 | out << "\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 136 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 137 | return true; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 138 | } |
| 139 | |
| 140 | bool TOutputTraverser::visitUnary(Visit visit, TIntermUnary* node) |
| 141 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 142 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 143 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 144 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 145 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 146 | switch (node->getOp()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 147 | case EOpNegative: out << "Negate value"; break; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 148 | case EOpVectorLogicalNot: |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 149 | case EOpLogicalNot: out << "Negate conditional"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 150 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 151 | case EOpPostIncrement: out << "Post-Increment"; break; |
| 152 | case EOpPostDecrement: out << "Post-Decrement"; break; |
| 153 | case EOpPreIncrement: out << "Pre-Increment"; break; |
| 154 | case EOpPreDecrement: out << "Pre-Decrement"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 155 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 156 | case EOpConvIntToBool: out << "Convert int to bool"; break; |
Nicolas Capens | ab60b93 | 2013-06-05 10:31:21 -0400 | [diff] [blame] | 157 | case EOpConvUIntToBool: out << "Convert uint to bool"; break; |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 158 | case EOpConvFloatToBool:out << "Convert float to bool";break; |
| 159 | case EOpConvBoolToFloat:out << "Convert bool to float";break; |
| 160 | case EOpConvIntToFloat: out << "Convert int to float"; break; |
Nicolas Capens | ab60b93 | 2013-06-05 10:31:21 -0400 | [diff] [blame] | 161 | case EOpConvUIntToFloat:out << "Convert uint to float";break; |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 162 | case EOpConvFloatToInt: out << "Convert float to int"; break; |
| 163 | case EOpConvBoolToInt: out << "Convert bool to int"; break; |
Nicolas Capens | ab60b93 | 2013-06-05 10:31:21 -0400 | [diff] [blame] | 164 | case EOpConvIntToUInt: out << "Convert int to uint"; break; |
| 165 | case EOpConvFloatToUInt:out << "Convert float to uint";break; |
| 166 | case EOpConvBoolToUInt: out << "Convert bool to uint"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 167 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 168 | case EOpRadians: out << "radians"; break; |
| 169 | case EOpDegrees: out << "degrees"; break; |
| 170 | case EOpSin: out << "sine"; break; |
| 171 | case EOpCos: out << "cosine"; break; |
| 172 | case EOpTan: out << "tangent"; break; |
| 173 | case EOpAsin: out << "arc sine"; break; |
| 174 | case EOpAcos: out << "arc cosine"; break; |
| 175 | case EOpAtan: out << "arc tangent"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 176 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 177 | case EOpExp: out << "exp"; break; |
| 178 | case EOpLog: out << "log"; break; |
| 179 | case EOpExp2: out << "exp2"; break; |
| 180 | case EOpLog2: out << "log2"; break; |
| 181 | case EOpSqrt: out << "sqrt"; break; |
| 182 | case EOpInverseSqrt: out << "inverse sqrt"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 183 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 184 | case EOpAbs: out << "Absolute value"; break; |
| 185 | case EOpSign: out << "Sign"; break; |
| 186 | case EOpFloor: out << "Floor"; break; |
| 187 | case EOpCeil: out << "Ceiling"; break; |
| 188 | case EOpFract: out << "Fraction"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 189 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 190 | case EOpLength: out << "length"; break; |
| 191 | case EOpNormalize: out << "normalize"; break; |
| 192 | // case EOpDPdx: out << "dPdx"; break; |
| 193 | // case EOpDPdy: out << "dPdy"; break; |
| 194 | // case EOpFwidth: out << "fwidth"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 195 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 196 | case EOpAny: out << "any"; break; |
| 197 | case EOpAll: out << "all"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 198 | |
Jamie Madill | 075edd8 | 2013-07-08 13:30:19 -0400 | [diff] [blame] | 199 | default: |
| 200 | out.prefix(EPrefixError); |
| 201 | out << "Bad unary op"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 202 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 203 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 204 | out << " (" << node->getCompleteString() << ")"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 205 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 206 | out << "\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 207 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 208 | return true; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 209 | } |
| 210 | |
| 211 | bool TOutputTraverser::visitAggregate(Visit visit, TIntermAggregate* node) |
| 212 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 213 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 214 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 215 | if (node->getOp() == EOpNull) { |
Jamie Madill | 075edd8 | 2013-07-08 13:30:19 -0400 | [diff] [blame] | 216 | out.prefix(EPrefixError); |
| 217 | out << "node is still EOpNull!"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 218 | return true; |
| 219 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 220 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 221 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 222 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 223 | switch (node->getOp()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 224 | case EOpSequence: out << "Sequence\n"; return true; |
| 225 | case EOpComma: out << "Comma\n"; return true; |
| 226 | case EOpFunction: out << "Function Definition: " << node->getName(); break; |
| 227 | case EOpFunctionCall: out << "Function Call: " << node->getName(); break; |
| 228 | case EOpParameters: out << "Function Parameters: "; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 229 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 230 | case EOpConstructFloat: out << "Construct float"; break; |
| 231 | case EOpConstructVec2: out << "Construct vec2"; break; |
| 232 | case EOpConstructVec3: out << "Construct vec3"; break; |
| 233 | case EOpConstructVec4: out << "Construct vec4"; break; |
| 234 | case EOpConstructBool: out << "Construct bool"; break; |
| 235 | case EOpConstructBVec2: out << "Construct bvec2"; break; |
| 236 | case EOpConstructBVec3: out << "Construct bvec3"; break; |
| 237 | case EOpConstructBVec4: out << "Construct bvec4"; break; |
| 238 | case EOpConstructInt: out << "Construct int"; break; |
| 239 | case EOpConstructIVec2: out << "Construct ivec2"; break; |
| 240 | case EOpConstructIVec3: out << "Construct ivec3"; break; |
| 241 | case EOpConstructIVec4: out << "Construct ivec4"; break; |
Nicolas Capens | ab60b93 | 2013-06-05 10:31:21 -0400 | [diff] [blame] | 242 | case EOpConstructUInt: out << "Construct uint"; break; |
Nicolas Capens | c0f7c61 | 2013-06-05 11:46:09 -0400 | [diff] [blame] | 243 | case EOpConstructUVec2: out << "Construct uvec2"; break; |
| 244 | case EOpConstructUVec3: out << "Construct uvec3"; break; |
| 245 | case EOpConstructUVec4: out << "Construct uvec4"; break; |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 246 | case EOpConstructMat2: out << "Construct mat2"; break; |
| 247 | case EOpConstructMat3: out << "Construct mat3"; break; |
| 248 | case EOpConstructMat4: out << "Construct mat4"; break; |
| 249 | case EOpConstructStruct: out << "Construct structure"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 250 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 251 | case EOpLessThan: out << "Compare Less Than"; break; |
| 252 | case EOpGreaterThan: out << "Compare Greater Than"; break; |
| 253 | case EOpLessThanEqual: out << "Compare Less Than or Equal"; break; |
| 254 | case EOpGreaterThanEqual: out << "Compare Greater Than or Equal"; break; |
| 255 | case EOpVectorEqual: out << "Equal"; break; |
| 256 | case EOpVectorNotEqual: out << "NotEqual"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 257 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 258 | case EOpMod: out << "mod"; break; |
| 259 | case EOpPow: out << "pow"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 260 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 261 | case EOpAtan: out << "arc tangent"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 262 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 263 | case EOpMin: out << "min"; break; |
| 264 | case EOpMax: out << "max"; break; |
| 265 | case EOpClamp: out << "clamp"; break; |
| 266 | case EOpMix: out << "mix"; break; |
| 267 | case EOpStep: out << "step"; break; |
| 268 | case EOpSmoothStep: out << "smoothstep"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 269 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 270 | case EOpDistance: out << "distance"; break; |
| 271 | case EOpDot: out << "dot-product"; break; |
| 272 | case EOpCross: out << "cross-product"; break; |
| 273 | case EOpFaceForward: out << "face-forward"; break; |
| 274 | case EOpReflect: out << "reflect"; break; |
| 275 | case EOpRefract: out << "refract"; break; |
| 276 | case EOpMul: out << "component-wise multiply"; break; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 277 | |
daniel@transgaming.com | a9ae4aa | 2011-10-19 13:29:27 +0000 | [diff] [blame] | 278 | case EOpDeclaration: out << "Declaration: "; break; |
| 279 | |
Jamie Madill | 075edd8 | 2013-07-08 13:30:19 -0400 | [diff] [blame] | 280 | default: |
| 281 | out.prefix(EPrefixError); |
| 282 | out << "Bad aggregation op"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 283 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 284 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 285 | if (node->getOp() != EOpSequence && node->getOp() != EOpParameters) |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 286 | out << " (" << node->getCompleteString() << ")"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 287 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 288 | out << "\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 289 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 290 | return true; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 291 | } |
| 292 | |
| 293 | bool TOutputTraverser::visitSelection(Visit visit, TIntermSelection* node) |
| 294 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 295 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 296 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 297 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 298 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 299 | out << "Test condition and select"; |
| 300 | out << " (" << node->getCompleteString() << ")\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 301 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 302 | ++depth; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 303 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 304 | OutputTreeText(sink, node, depth); |
| 305 | out << "Condition\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 306 | node->getCondition()->traverse(this); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 307 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 308 | OutputTreeText(sink, node, depth); |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 309 | if (node->getTrueBlock()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 310 | out << "true case\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 311 | node->getTrueBlock()->traverse(this); |
| 312 | } else |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 313 | out << "true case is null\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 314 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 315 | if (node->getFalseBlock()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 316 | OutputTreeText(sink, node, depth); |
| 317 | out << "false case\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 318 | node->getFalseBlock()->traverse(this); |
| 319 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 320 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 321 | --depth; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 322 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 323 | return false; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 324 | } |
| 325 | |
| 326 | void TOutputTraverser::visitConstantUnion(TIntermConstantUnion* node) |
| 327 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 328 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 329 | |
Jamie Madill | 94bf7f2 | 2013-07-08 13:31:15 -0400 | [diff] [blame] | 330 | size_t size = node->getType().getObjectSize(); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 331 | |
Jamie Madill | 94bf7f2 | 2013-07-08 13:31:15 -0400 | [diff] [blame] | 332 | for (size_t i = 0; i < size; i++) { |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 333 | OutputTreeText(out, node, depth); |
| 334 | switch (node->getUnionArrayPointer()[i].getType()) { |
| 335 | case EbtBool: |
| 336 | if (node->getUnionArrayPointer()[i].getBConst()) |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 337 | out << "true"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 338 | else |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 339 | out << "false"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 340 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 341 | out << " (" << "const bool" << ")"; |
| 342 | out << "\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 343 | break; |
| 344 | case EbtFloat: |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 345 | out << node->getUnionArrayPointer()[i].getFConst(); |
| 346 | out << " (const float)\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 347 | break; |
| 348 | case EbtInt: |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 349 | out << node->getUnionArrayPointer()[i].getIConst(); |
| 350 | out << " (const int)\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 351 | break; |
shannonwoods@chromium.org | 6b70991 | 2013-05-30 00:20:04 +0000 | [diff] [blame] | 352 | case EbtUInt: |
| 353 | out << node->getUnionArrayPointer()[i].getUConst(); |
| 354 | out << " (const uint)\n"; |
| 355 | break; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 356 | default: |
Jamie Madill | 075edd8 | 2013-07-08 13:30:19 -0400 | [diff] [blame] | 357 | out.message(EPrefixInternalError, node->getLine(), "Unknown constant"); |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 358 | break; |
| 359 | } |
| 360 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 361 | } |
| 362 | |
| 363 | bool TOutputTraverser::visitLoop(Visit visit, TIntermLoop* node) |
| 364 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 365 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 366 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 367 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 368 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 369 | out << "Loop with condition "; |
alokp@chromium.org | 5281355 | 2010-11-16 18:36:09 +0000 | [diff] [blame] | 370 | if (node->getType() == ELoopDoWhile) |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 371 | out << "not "; |
| 372 | out << "tested first\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 373 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 374 | ++depth; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 375 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 376 | OutputTreeText(sink, node, depth); |
alokp@chromium.org | 5281355 | 2010-11-16 18:36:09 +0000 | [diff] [blame] | 377 | if (node->getCondition()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 378 | out << "Loop Condition\n"; |
alokp@chromium.org | 5281355 | 2010-11-16 18:36:09 +0000 | [diff] [blame] | 379 | node->getCondition()->traverse(this); |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 380 | } else |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 381 | out << "No loop condition\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 382 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 383 | OutputTreeText(sink, node, depth); |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 384 | if (node->getBody()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 385 | out << "Loop Body\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 386 | node->getBody()->traverse(this); |
| 387 | } else |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 388 | out << "No loop body\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 389 | |
alokp@chromium.org | 5281355 | 2010-11-16 18:36:09 +0000 | [diff] [blame] | 390 | if (node->getExpression()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 391 | OutputTreeText(sink, node, depth); |
| 392 | out << "Loop Terminal Expression\n"; |
alokp@chromium.org | 5281355 | 2010-11-16 18:36:09 +0000 | [diff] [blame] | 393 | node->getExpression()->traverse(this); |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 394 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 395 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 396 | --depth; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 397 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 398 | return false; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 399 | } |
| 400 | |
| 401 | bool TOutputTraverser::visitBranch(Visit visit, TIntermBranch* node) |
| 402 | { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 403 | TInfoSinkBase& out = sink; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 404 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 405 | OutputTreeText(out, node, depth); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 406 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 407 | switch (node->getFlowOp()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 408 | case EOpKill: out << "Branch: Kill"; break; |
| 409 | case EOpBreak: out << "Branch: Break"; break; |
| 410 | case EOpContinue: out << "Branch: Continue"; break; |
| 411 | case EOpReturn: out << "Branch: Return"; break; |
| 412 | default: out << "Branch: Unknown Branch"; break; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 413 | } |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 414 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 415 | if (node->getExpression()) { |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 416 | out << " with expression\n"; |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 417 | ++depth; |
| 418 | node->getExpression()->traverse(this); |
| 419 | --depth; |
| 420 | } else |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 421 | out << "\n"; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 422 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 423 | return false; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 424 | } |
| 425 | |
| 426 | // |
| 427 | // This function is the one to call externally to start the traversal. |
| 428 | // Individual functions can be initialized to 0 to skip processing of that |
| 429 | // type of node. It's children will still be processed. |
| 430 | // |
| 431 | void TIntermediate::outputTree(TIntermNode* root) |
| 432 | { |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 433 | if (root == 0) |
| 434 | return; |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 435 | |
alokp@chromium.org | 7beea40 | 2010-09-15 21:18:34 +0000 | [diff] [blame] | 436 | TOutputTraverser it(infoSink.info); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 437 | |
alokp@chromium.org | 76b8208 | 2010-03-24 17:59:39 +0000 | [diff] [blame] | 438 | root->traverse(&it); |
daniel@transgaming.com | 4f39fd9 | 2010-03-08 20:26:45 +0000 | [diff] [blame] | 439 | } |