2 // Copyright (C) 2002-2005 3Dlabs Inc. Ltd.
3 // Copyright (C) 2012-2016 LunarG, Inc.
5 // All rights reserved.
7 // Redistribution and use in source and binary forms, with or without
8 // modification, are permitted provided that the following conditions
11 // Redistributions of source code must retain the above copyright
12 // notice, this list of conditions and the following disclaimer.
14 // Redistributions in binary form must reproduce the above
15 // copyright notice, this list of conditions and the following
16 // disclaimer in the documentation and/or other materials provided
17 // with the distribution.
19 // Neither the name of 3Dlabs Inc. Ltd. nor the names of its
20 // contributors may be used to endorse or promote products derived
21 // from this software without specific prior written permission.
23 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
24 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
25 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
26 // FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
27 // COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
28 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
29 // BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
30 // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
31 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
32 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
33 // ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
34 // POSSIBILITY OF SUCH DAMAGE.
37 #include "localintermediate.h"
38 #include "../Include/InfoSink.h"
48 bool IsInfinity(double x) {
50 switch (_fpclass(x)) {
62 bool IsNan(double x) {
64 switch (_fpclass(x)) {
82 // 1. Show an example of how to iterate tree. Functions can
83 // also directly call Traverse() on children themselves to
84 // have finer grained control over the process than shown here.
85 // See the last function for how to get started.
86 // 2. Print out a text based description of the tree.
90 // Use this class to carry along data from node to node in
93 class TOutputTraverser : public TIntermTraverser {
95 TOutputTraverser(TInfoSink& i) : infoSink(i) { }
97 virtual bool visitBinary(TVisit, TIntermBinary* node);
98 virtual bool visitUnary(TVisit, TIntermUnary* node);
99 virtual bool visitAggregate(TVisit, TIntermAggregate* node);
100 virtual bool visitSelection(TVisit, TIntermSelection* node);
101 virtual void visitConstantUnion(TIntermConstantUnion* node);
102 virtual void visitSymbol(TIntermSymbol* node);
103 virtual bool visitLoop(TVisit, TIntermLoop* node);
104 virtual bool visitBranch(TVisit, TIntermBranch* node);
105 virtual bool visitSwitch(TVisit, TIntermSwitch* node);
109 TOutputTraverser(TOutputTraverser&);
110 TOutputTraverser& operator=(TOutputTraverser&);
114 // Helper functions for printing, not part of traversing.
117 static void OutputTreeText(TInfoSink& infoSink, const TIntermNode* node, const int depth)
121 infoSink.debug << node->getLoc().string << ":";
122 if (node->getLoc().line)
123 infoSink.debug << node->getLoc().line;
125 infoSink.debug << "? ";
127 for (i = 0; i < depth; ++i)
128 infoSink.debug << " ";
132 // The rest of the file are the traversal functions. The last one
133 // is the one that starts the traversal.
135 // Return true from interior nodes to have the external traversal
136 // continue on to children. If you process children yourself,
140 bool TOutputTraverser::visitBinary(TVisit /* visit */, TIntermBinary* node)
142 TInfoSink& out = infoSink;
144 OutputTreeText(out, node, depth);
146 switch (node->getOp()) {
147 case EOpAssign: out.debug << "move second child to first child"; break;
148 case EOpAddAssign: out.debug << "add second child into first child"; break;
149 case EOpSubAssign: out.debug << "subtract second child into first child"; break;
150 case EOpMulAssign: out.debug << "multiply second child into first child"; break;
151 case EOpVectorTimesMatrixAssign: out.debug << "matrix mult second child into first child"; break;
152 case EOpVectorTimesScalarAssign: out.debug << "vector scale second child into first child"; break;
153 case EOpMatrixTimesScalarAssign: out.debug << "matrix scale second child into first child"; break;
154 case EOpMatrixTimesMatrixAssign: out.debug << "matrix mult second child into first child"; break;
155 case EOpDivAssign: out.debug << "divide second child into first child"; break;
156 case EOpModAssign: out.debug << "mod second child into first child"; break;
157 case EOpAndAssign: out.debug << "and second child into first child"; break;
158 case EOpInclusiveOrAssign: out.debug << "or second child into first child"; break;
159 case EOpExclusiveOrAssign: out.debug << "exclusive or second child into first child"; break;
160 case EOpLeftShiftAssign: out.debug << "left shift second child into first child"; break;
161 case EOpRightShiftAssign: out.debug << "right shift second child into first child"; break;
163 case EOpIndexDirect: out.debug << "direct index"; break;
164 case EOpIndexIndirect: out.debug << "indirect index"; break;
165 case EOpIndexDirectStruct:
166 out.debug << (*node->getLeft()->getType().getStruct())[node->getRight()->getAsConstantUnion()->getConstArray()[0].getIConst()].type->getFieldName();
167 out.debug << ": direct index for structure"; break;
168 case EOpVectorSwizzle: out.debug << "vector swizzle"; break;
169 case EOpMatrixSwizzle: out.debug << "matrix swizzle"; break;
171 case EOpAdd: out.debug << "add"; break;
172 case EOpSub: out.debug << "subtract"; break;
173 case EOpMul: out.debug << "component-wise multiply"; break;
174 case EOpDiv: out.debug << "divide"; break;
175 case EOpMod: out.debug << "mod"; break;
176 case EOpRightShift: out.debug << "right-shift"; break;
177 case EOpLeftShift: out.debug << "left-shift"; break;
178 case EOpAnd: out.debug << "bitwise and"; break;
179 case EOpInclusiveOr: out.debug << "inclusive-or"; break;
180 case EOpExclusiveOr: out.debug << "exclusive-or"; break;
181 case EOpEqual: out.debug << "Compare Equal"; break;
182 case EOpNotEqual: out.debug << "Compare Not Equal"; break;
183 case EOpLessThan: out.debug << "Compare Less Than"; break;
184 case EOpGreaterThan: out.debug << "Compare Greater Than"; break;
185 case EOpLessThanEqual: out.debug << "Compare Less Than or Equal"; break;
186 case EOpGreaterThanEqual: out.debug << "Compare Greater Than or Equal"; break;
187 case EOpVectorEqual: out.debug << "Equal"; break;
188 case EOpVectorNotEqual: out.debug << "NotEqual"; break;
190 case EOpVectorTimesScalar: out.debug << "vector-scale"; break;
191 case EOpVectorTimesMatrix: out.debug << "vector-times-matrix"; break;
192 case EOpMatrixTimesVector: out.debug << "matrix-times-vector"; break;
193 case EOpMatrixTimesScalar: out.debug << "matrix-scale"; break;
194 case EOpMatrixTimesMatrix: out.debug << "matrix-multiply"; break;
196 case EOpLogicalOr: out.debug << "logical-or"; break;
197 case EOpLogicalXor: out.debug << "logical-xor"; break;
198 case EOpLogicalAnd: out.debug << "logical-and"; break;
199 default: out.debug << "<unknown op>";
202 out.debug << " (" << node->getCompleteString() << ")";
209 bool TOutputTraverser::visitUnary(TVisit /* visit */, TIntermUnary* node)
211 TInfoSink& out = infoSink;
213 OutputTreeText(out, node, depth);
215 switch (node->getOp()) {
216 case EOpNegative: out.debug << "Negate value"; break;
217 case EOpVectorLogicalNot:
218 case EOpLogicalNot: out.debug << "Negate conditional"; break;
219 case EOpBitwiseNot: out.debug << "Bitwise not"; break;
221 case EOpPostIncrement: out.debug << "Post-Increment"; break;
222 case EOpPostDecrement: out.debug << "Post-Decrement"; break;
223 case EOpPreIncrement: out.debug << "Pre-Increment"; break;
224 case EOpPreDecrement: out.debug << "Pre-Decrement"; break;
226 case EOpConvIntToBool: out.debug << "Convert int to bool"; break;
227 case EOpConvUintToBool: out.debug << "Convert uint to bool"; break;
228 case EOpConvFloatToBool: out.debug << "Convert float to bool"; break;
229 case EOpConvDoubleToBool: out.debug << "Convert double to bool"; break;
230 case EOpConvInt64ToBool: out.debug << "Convert int64 to bool"; break;
231 case EOpConvUint64ToBool: out.debug << "Convert uint64 to bool"; break;
232 case EOpConvIntToFloat: out.debug << "Convert int to float"; break;
233 case EOpConvUintToFloat: out.debug << "Convert uint to float"; break;
234 case EOpConvDoubleToFloat: out.debug << "Convert double to float"; break;
235 case EOpConvInt64ToFloat: out.debug << "Convert int64 to float"; break;
236 case EOpConvUint64ToFloat: out.debug << "Convert uint64 to float"; break;
237 case EOpConvBoolToFloat: out.debug << "Convert bool to float"; break;
238 case EOpConvUintToInt: out.debug << "Convert uint to int"; break;
239 case EOpConvFloatToInt: out.debug << "Convert float to int"; break;
240 case EOpConvDoubleToInt: out.debug << "Convert double to int"; break;
241 case EOpConvBoolToInt: out.debug << "Convert bool to int"; break;
242 case EOpConvInt64ToInt: out.debug << "Convert int64 to int"; break;
243 case EOpConvUint64ToInt: out.debug << "Convert uint64 to int"; break;
244 case EOpConvIntToUint: out.debug << "Convert int to uint"; break;
245 case EOpConvFloatToUint: out.debug << "Convert float to uint"; break;
246 case EOpConvDoubleToUint: out.debug << "Convert double to uint"; break;
247 case EOpConvBoolToUint: out.debug << "Convert bool to uint"; break;
248 case EOpConvInt64ToUint: out.debug << "Convert int64 to uint"; break;
249 case EOpConvUint64ToUint: out.debug << "Convert uint64 to uint"; break;
250 case EOpConvIntToDouble: out.debug << "Convert int to double"; break;
251 case EOpConvUintToDouble: out.debug << "Convert uint to double"; break;
252 case EOpConvFloatToDouble: out.debug << "Convert float to double"; break;
253 case EOpConvBoolToDouble: out.debug << "Convert bool to double"; break;
254 case EOpConvInt64ToDouble: out.debug << "Convert int64 to double"; break;
255 case EOpConvUint64ToDouble: out.debug << "Convert uint64 to double"; break;
256 case EOpConvBoolToInt64: out.debug << "Convert bool to int64"; break;
257 case EOpConvIntToInt64: out.debug << "Convert int to int64"; break;
258 case EOpConvUintToInt64: out.debug << "Convert uint to int64"; break;
259 case EOpConvFloatToInt64: out.debug << "Convert float to int64"; break;
260 case EOpConvDoubleToInt64: out.debug << "Convert double to int64"; break;
261 case EOpConvUint64ToInt64: out.debug << "Convert uint64 to int64"; break;
262 case EOpConvBoolToUint64: out.debug << "Convert bool to uint64"; break;
263 case EOpConvIntToUint64: out.debug << "Convert int to uint64"; break;
264 case EOpConvUintToUint64: out.debug << "Convert uint to uint64"; break;
265 case EOpConvFloatToUint64: out.debug << "Convert float to uint64"; break;
266 case EOpConvDoubleToUint64: out.debug << "Convert double to uint64"; break;
267 case EOpConvInt64ToUint64: out.debug << "Convert uint64 to uint64"; break;
269 case EOpRadians: out.debug << "radians"; break;
270 case EOpDegrees: out.debug << "degrees"; break;
271 case EOpSin: out.debug << "sine"; break;
272 case EOpCos: out.debug << "cosine"; break;
273 case EOpTan: out.debug << "tangent"; break;
274 case EOpAsin: out.debug << "arc sine"; break;
275 case EOpAcos: out.debug << "arc cosine"; break;
276 case EOpAtan: out.debug << "arc tangent"; break;
277 case EOpSinh: out.debug << "hyp. sine"; break;
278 case EOpCosh: out.debug << "hyp. cosine"; break;
279 case EOpTanh: out.debug << "hyp. tangent"; break;
280 case EOpAsinh: out.debug << "arc hyp. sine"; break;
281 case EOpAcosh: out.debug << "arc hyp. cosine"; break;
282 case EOpAtanh: out.debug << "arc hyp. tangent"; break;
284 case EOpExp: out.debug << "exp"; break;
285 case EOpLog: out.debug << "log"; break;
286 case EOpExp2: out.debug << "exp2"; break;
287 case EOpLog2: out.debug << "log2"; break;
288 case EOpSqrt: out.debug << "sqrt"; break;
289 case EOpInverseSqrt: out.debug << "inverse sqrt"; break;
291 case EOpAbs: out.debug << "Absolute value"; break;
292 case EOpSign: out.debug << "Sign"; break;
293 case EOpFloor: out.debug << "Floor"; break;
294 case EOpTrunc: out.debug << "trunc"; break;
295 case EOpRound: out.debug << "round"; break;
296 case EOpRoundEven: out.debug << "roundEven"; break;
297 case EOpCeil: out.debug << "Ceiling"; break;
298 case EOpFract: out.debug << "Fraction"; break;
300 case EOpIsNan: out.debug << "isnan"; break;
301 case EOpIsInf: out.debug << "isinf"; break;
303 case EOpFloatBitsToInt: out.debug << "floatBitsToInt"; break;
304 case EOpFloatBitsToUint:out.debug << "floatBitsToUint"; break;
305 case EOpIntBitsToFloat: out.debug << "intBitsToFloat"; break;
306 case EOpUintBitsToFloat:out.debug << "uintBitsToFloat"; break;
307 case EOpDoubleBitsToInt64: out.debug << "doubleBitsToInt64"; break;
308 case EOpDoubleBitsToUint64: out.debug << "doubleBitsToUint64"; break;
309 case EOpInt64BitsToDouble: out.debug << "int64BitsToDouble"; break;
310 case EOpUint64BitsToDouble: out.debug << "uint64BitsToDouble"; break;
311 #ifdef AMD_EXTENSIONS
312 case EOpFloat16BitsToInt16: out.debug << "float16BitsToInt16"; break;
313 case EOpFloat16BitsToUint16: out.debug << "float16BitsToUint16"; break;
314 case EOpInt16BitsToFloat16: out.debug << "int16BitsToFloat16"; break;
315 case EOpUint16BitsToFloat16: out.debug << "uint16BitsToFloat16"; break;
318 case EOpPackSnorm2x16: out.debug << "packSnorm2x16"; break;
319 case EOpUnpackSnorm2x16:out.debug << "unpackSnorm2x16"; break;
320 case EOpPackUnorm2x16: out.debug << "packUnorm2x16"; break;
321 case EOpUnpackUnorm2x16:out.debug << "unpackUnorm2x16"; break;
322 case EOpPackHalf2x16: out.debug << "packHalf2x16"; break;
323 case EOpUnpackHalf2x16: out.debug << "unpackHalf2x16"; break;
325 case EOpPackSnorm4x8: out.debug << "PackSnorm4x8"; break;
326 case EOpUnpackSnorm4x8: out.debug << "UnpackSnorm4x8"; break;
327 case EOpPackUnorm4x8: out.debug << "PackUnorm4x8"; break;
328 case EOpUnpackUnorm4x8: out.debug << "UnpackUnorm4x8"; break;
329 case EOpPackDouble2x32: out.debug << "PackDouble2x32"; break;
330 case EOpUnpackDouble2x32: out.debug << "UnpackDouble2x32"; break;
332 case EOpPackInt2x32: out.debug << "packInt2x32"; break;
333 case EOpUnpackInt2x32: out.debug << "unpackInt2x32"; break;
334 case EOpPackUint2x32: out.debug << "packUint2x32"; break;
335 case EOpUnpackUint2x32: out.debug << "unpackUint2x32"; break;
337 #ifdef AMD_EXTENSIONS
338 case EOpPackInt2x16: out.debug << "packInt2x16"; break;
339 case EOpUnpackInt2x16: out.debug << "unpackInt2x16"; break;
340 case EOpPackUint2x16: out.debug << "packUint2x16"; break;
341 case EOpUnpackUint2x16: out.debug << "unpackUint2x16"; break;
343 case EOpPackInt4x16: out.debug << "packInt4x16"; break;
344 case EOpUnpackInt4x16: out.debug << "unpackInt4x16"; break;
345 case EOpPackUint4x16: out.debug << "packUint4x16"; break;
346 case EOpUnpackUint4x16: out.debug << "unpackUint4x16"; break;
348 case EOpPackFloat2x16: out.debug << "packFloat2x16"; break;
349 case EOpUnpackFloat2x16: out.debug << "unpackFloat2x16"; break;
352 case EOpLength: out.debug << "length"; break;
353 case EOpNormalize: out.debug << "normalize"; break;
354 case EOpDPdx: out.debug << "dPdx"; break;
355 case EOpDPdy: out.debug << "dPdy"; break;
356 case EOpFwidth: out.debug << "fwidth"; break;
357 case EOpDPdxFine: out.debug << "dPdxFine"; break;
358 case EOpDPdyFine: out.debug << "dPdyFine"; break;
359 case EOpFwidthFine: out.debug << "fwidthFine"; break;
360 case EOpDPdxCoarse: out.debug << "dPdxCoarse"; break;
361 case EOpDPdyCoarse: out.debug << "dPdyCoarse"; break;
362 case EOpFwidthCoarse: out.debug << "fwidthCoarse"; break;
364 case EOpInterpolateAtCentroid: out.debug << "interpolateAtCentroid"; break;
366 case EOpDeterminant: out.debug << "determinant"; break;
367 case EOpMatrixInverse: out.debug << "inverse"; break;
368 case EOpTranspose: out.debug << "transpose"; break;
370 case EOpAny: out.debug << "any"; break;
371 case EOpAll: out.debug << "all"; break;
373 case EOpArrayLength: out.debug << "array length"; break;
375 case EOpEmitStreamVertex: out.debug << "EmitStreamVertex"; break;
376 case EOpEndStreamPrimitive: out.debug << "EndStreamPrimitive"; break;
378 case EOpAtomicCounterIncrement: out.debug << "AtomicCounterIncrement";break;
379 case EOpAtomicCounterDecrement: out.debug << "AtomicCounterDecrement";break;
380 case EOpAtomicCounter: out.debug << "AtomicCounter"; break;
382 case EOpTextureQuerySize: out.debug << "textureSize"; break;
383 case EOpTextureQueryLod: out.debug << "textureQueryLod"; break;
384 case EOpTextureQueryLevels: out.debug << "textureQueryLevels"; break;
385 case EOpTextureQuerySamples: out.debug << "textureSamples"; break;
386 case EOpImageQuerySize: out.debug << "imageQuerySize"; break;
387 case EOpImageQuerySamples: out.debug << "imageQuerySamples"; break;
388 case EOpImageLoad: out.debug << "imageLoad"; break;
390 case EOpBitFieldReverse: out.debug << "bitFieldReverse"; break;
391 case EOpBitCount: out.debug << "bitCount"; break;
392 case EOpFindLSB: out.debug << "findLSB"; break;
393 case EOpFindMSB: out.debug << "findMSB"; break;
395 case EOpNoise: out.debug << "noise"; break;
397 case EOpBallot: out.debug << "ballot"; break;
398 case EOpReadFirstInvocation: out.debug << "readFirstInvocation"; break;
400 case EOpAnyInvocation: out.debug << "anyInvocation"; break;
401 case EOpAllInvocations: out.debug << "allInvocations"; break;
402 case EOpAllInvocationsEqual: out.debug << "allInvocationsEqual"; break;
404 case EOpClip: out.debug << "clip"; break;
405 case EOpIsFinite: out.debug << "isfinite"; break;
406 case EOpLog10: out.debug << "log10"; break;
407 case EOpRcp: out.debug << "rcp"; break;
408 case EOpSaturate: out.debug << "saturate"; break;
410 case EOpSparseTexelsResident: out.debug << "sparseTexelsResident"; break;
412 #ifdef AMD_EXTENSIONS
413 case EOpMinInvocations: out.debug << "minInvocations"; break;
414 case EOpMaxInvocations: out.debug << "maxInvocations"; break;
415 case EOpAddInvocations: out.debug << "addInvocations"; break;
416 case EOpMinInvocationsNonUniform: out.debug << "minInvocationsNonUniform"; break;
417 case EOpMaxInvocationsNonUniform: out.debug << "maxInvocationsNonUniform"; break;
418 case EOpAddInvocationsNonUniform: out.debug << "addInvocationsNonUniform"; break;
420 case EOpMinInvocationsInclusiveScan: out.debug << "minInvocationsInclusiveScan"; break;
421 case EOpMaxInvocationsInclusiveScan: out.debug << "maxInvocationsInclusiveScan"; break;
422 case EOpAddInvocationsInclusiveScan: out.debug << "addInvocationsInclusiveScan"; break;
423 case EOpMinInvocationsInclusiveScanNonUniform: out.debug << "minInvocationsInclusiveScanNonUniform"; break;
424 case EOpMaxInvocationsInclusiveScanNonUniform: out.debug << "maxInvocationsInclusiveScanNonUniform"; break;
425 case EOpAddInvocationsInclusiveScanNonUniform: out.debug << "addInvocationsInclusiveScanNonUniform"; break;
427 case EOpMinInvocationsExclusiveScan: out.debug << "minInvocationsExclusiveScan"; break;
428 case EOpMaxInvocationsExclusiveScan: out.debug << "maxInvocationsExclusiveScan"; break;
429 case EOpAddInvocationsExclusiveScan: out.debug << "addInvocationsExclusiveScan"; break;
430 case EOpMinInvocationsExclusiveScanNonUniform: out.debug << "minInvocationsExclusiveScanNonUniform"; break;
431 case EOpMaxInvocationsExclusiveScanNonUniform: out.debug << "maxInvocationsExclusiveScanNonUniform"; break;
432 case EOpAddInvocationsExclusiveScanNonUniform: out.debug << "addInvocationsExclusiveScanNonUniform"; break;
434 case EOpMbcnt: out.debug << "mbcnt"; break;
436 case EOpCubeFaceIndex: out.debug << "cubeFaceIndex"; break;
437 case EOpCubeFaceCoord: out.debug << "cubeFaceCoord"; break;
439 case EOpFragmentMaskFetch: out.debug << "fragmentMaskFetchAMD"; break;
440 case EOpFragmentFetch: out.debug << "fragmentFetchAMD"; break;
442 case EOpConvBoolToFloat16: out.debug << "Convert bool to float16"; break;
443 case EOpConvIntToFloat16: out.debug << "Convert int to float16"; break;
444 case EOpConvUintToFloat16: out.debug << "Convert uint to float16"; break;
445 case EOpConvFloatToFloat16: out.debug << "Convert float to float16"; break;
446 case EOpConvDoubleToFloat16: out.debug << "Convert double to float16"; break;
447 case EOpConvInt64ToFloat16: out.debug << "Convert int64 to float16"; break;
448 case EOpConvUint64ToFloat16: out.debug << "Convert uint64 to float16"; break;
449 case EOpConvFloat16ToBool: out.debug << "Convert float16 to bool"; break;
450 case EOpConvFloat16ToInt: out.debug << "Convert float16 to int"; break;
451 case EOpConvFloat16ToUint: out.debug << "Convert float16 to uint"; break;
452 case EOpConvFloat16ToFloat: out.debug << "Convert float16 to float"; break;
453 case EOpConvFloat16ToDouble: out.debug << "Convert float16 to double"; break;
454 case EOpConvFloat16ToInt64: out.debug << "Convert float16 to int64"; break;
455 case EOpConvFloat16ToUint64: out.debug << "Convert float16 to uint64"; break;
457 case EOpConvBoolToInt16: out.debug << "Convert bool to int16"; break;
458 case EOpConvIntToInt16: out.debug << "Convert int to int16"; break;
459 case EOpConvUintToInt16: out.debug << "Convert uint to int16"; break;
460 case EOpConvFloatToInt16: out.debug << "Convert float to int16"; break;
461 case EOpConvDoubleToInt16: out.debug << "Convert double to int16"; break;
462 case EOpConvFloat16ToInt16: out.debug << "Convert float16 to int16"; break;
463 case EOpConvInt64ToInt16: out.debug << "Convert int64 to int16"; break;
464 case EOpConvUint64ToInt16: out.debug << "Convert uint64 to int16"; break;
465 case EOpConvUint16ToInt16: out.debug << "Convert uint16 to int16"; break;
466 case EOpConvInt16ToBool: out.debug << "Convert int16 to bool"; break;
467 case EOpConvInt16ToInt: out.debug << "Convert int16 to int"; break;
468 case EOpConvInt16ToUint: out.debug << "Convert int16 to uint"; break;
469 case EOpConvInt16ToFloat: out.debug << "Convert int16 to float"; break;
470 case EOpConvInt16ToDouble: out.debug << "Convert int16 to double"; break;
471 case EOpConvInt16ToFloat16: out.debug << "Convert int16 to float16"; break;
472 case EOpConvInt16ToInt64: out.debug << "Convert int16 to int64"; break;
473 case EOpConvInt16ToUint64: out.debug << "Convert int16 to uint64"; break;
475 case EOpConvBoolToUint16: out.debug << "Convert bool to uint16"; break;
476 case EOpConvIntToUint16: out.debug << "Convert int to uint16"; break;
477 case EOpConvUintToUint16: out.debug << "Convert uint to uint16"; break;
478 case EOpConvFloatToUint16: out.debug << "Convert float to uint16"; break;
479 case EOpConvDoubleToUint16: out.debug << "Convert double to uint16"; break;
480 case EOpConvFloat16ToUint16: out.debug << "Convert float16 to uint16"; break;
481 case EOpConvInt64ToUint16: out.debug << "Convert int64 to uint16"; break;
482 case EOpConvUint64ToUint16: out.debug << "Convert uint64 to uint16"; break;
483 case EOpConvInt16ToUint16: out.debug << "Convert int16 to uint16"; break;
484 case EOpConvUint16ToBool: out.debug << "Convert uint16 to bool"; break;
485 case EOpConvUint16ToInt: out.debug << "Convert uint16 to int"; break;
486 case EOpConvUint16ToUint: out.debug << "Convert uint16 to uint"; break;
487 case EOpConvUint16ToFloat: out.debug << "Convert uint16 to float"; break;
488 case EOpConvUint16ToDouble: out.debug << "Convert uint16 to double"; break;
489 case EOpConvUint16ToFloat16: out.debug << "Convert uint16 to float16"; break;
490 case EOpConvUint16ToInt64: out.debug << "Convert uint16 to int64"; break;
491 case EOpConvUint16ToUint64: out.debug << "Convert uint16 to uint64"; break;
494 default: out.debug.message(EPrefixError, "Bad unary op");
497 out.debug << " (" << node->getCompleteString() << ")";
504 bool TOutputTraverser::visitAggregate(TVisit /* visit */, TIntermAggregate* node)
506 TInfoSink& out = infoSink;
508 if (node->getOp() == EOpNull) {
509 out.debug.message(EPrefixError, "node is still EOpNull!");
513 OutputTreeText(out, node, depth);
515 switch (node->getOp()) {
516 case EOpSequence: out.debug << "Sequence\n"; return true;
517 case EOpLinkerObjects: out.debug << "Linker Objects\n"; return true;
518 case EOpComma: out.debug << "Comma"; break;
519 case EOpFunction: out.debug << "Function Definition: " << node->getName(); break;
520 case EOpFunctionCall: out.debug << "Function Call: " << node->getName(); break;
521 case EOpParameters: out.debug << "Function Parameters: "; break;
523 case EOpConstructFloat: out.debug << "Construct float"; break;
524 case EOpConstructDouble:out.debug << "Construct double"; break;
526 case EOpConstructVec2: out.debug << "Construct vec2"; break;
527 case EOpConstructVec3: out.debug << "Construct vec3"; break;
528 case EOpConstructVec4: out.debug << "Construct vec4"; break;
529 case EOpConstructDVec2: out.debug << "Construct dvec2"; break;
530 case EOpConstructDVec3: out.debug << "Construct dvec3"; break;
531 case EOpConstructDVec4: out.debug << "Construct dvec4"; break;
532 case EOpConstructBool: out.debug << "Construct bool"; break;
533 case EOpConstructBVec2: out.debug << "Construct bvec2"; break;
534 case EOpConstructBVec3: out.debug << "Construct bvec3"; break;
535 case EOpConstructBVec4: out.debug << "Construct bvec4"; break;
536 case EOpConstructInt: out.debug << "Construct int"; break;
537 case EOpConstructIVec2: out.debug << "Construct ivec2"; break;
538 case EOpConstructIVec3: out.debug << "Construct ivec3"; break;
539 case EOpConstructIVec4: out.debug << "Construct ivec4"; break;
540 case EOpConstructUint: out.debug << "Construct uint"; break;
541 case EOpConstructUVec2: out.debug << "Construct uvec2"; break;
542 case EOpConstructUVec3: out.debug << "Construct uvec3"; break;
543 case EOpConstructUVec4: out.debug << "Construct uvec4"; break;
544 case EOpConstructInt64: out.debug << "Construct int64_t"; break;
545 case EOpConstructI64Vec2: out.debug << "Construct i64vec2"; break;
546 case EOpConstructI64Vec3: out.debug << "Construct i64vec3"; break;
547 case EOpConstructI64Vec4: out.debug << "Construct i64vec4"; break;
548 case EOpConstructUint64: out.debug << "Construct uint64_t"; break;
549 case EOpConstructU64Vec2: out.debug << "Construct u64vec2"; break;
550 case EOpConstructU64Vec3: out.debug << "Construct u64vec3"; break;
551 case EOpConstructU64Vec4: out.debug << "Construct u64vec4"; break;
552 #ifdef AMD_EXTENSIONS
553 case EOpConstructInt16: out.debug << "Construct int16_t"; break;
554 case EOpConstructI16Vec2: out.debug << "Construct i16vec2"; break;
555 case EOpConstructI16Vec3: out.debug << "Construct i16vec3"; break;
556 case EOpConstructI16Vec4: out.debug << "Construct i16vec4"; break;
557 case EOpConstructUint16: out.debug << "Construct uint16_t"; break;
558 case EOpConstructU16Vec2: out.debug << "Construct u16vec2"; break;
559 case EOpConstructU16Vec3: out.debug << "Construct u16vec3"; break;
560 case EOpConstructU16Vec4: out.debug << "Construct u16vec4"; break;
562 case EOpConstructMat2x2: out.debug << "Construct mat2"; break;
563 case EOpConstructMat2x3: out.debug << "Construct mat2x3"; break;
564 case EOpConstructMat2x4: out.debug << "Construct mat2x4"; break;
565 case EOpConstructMat3x2: out.debug << "Construct mat3x2"; break;
566 case EOpConstructMat3x3: out.debug << "Construct mat3"; break;
567 case EOpConstructMat3x4: out.debug << "Construct mat3x4"; break;
568 case EOpConstructMat4x2: out.debug << "Construct mat4x2"; break;
569 case EOpConstructMat4x3: out.debug << "Construct mat4x3"; break;
570 case EOpConstructMat4x4: out.debug << "Construct mat4"; break;
571 case EOpConstructDMat2x2: out.debug << "Construct dmat2"; break;
572 case EOpConstructDMat2x3: out.debug << "Construct dmat2x3"; break;
573 case EOpConstructDMat2x4: out.debug << "Construct dmat2x4"; break;
574 case EOpConstructDMat3x2: out.debug << "Construct dmat3x2"; break;
575 case EOpConstructDMat3x3: out.debug << "Construct dmat3"; break;
576 case EOpConstructDMat3x4: out.debug << "Construct dmat3x4"; break;
577 case EOpConstructDMat4x2: out.debug << "Construct dmat4x2"; break;
578 case EOpConstructDMat4x3: out.debug << "Construct dmat4x3"; break;
579 case EOpConstructDMat4x4: out.debug << "Construct dmat4"; break;
580 case EOpConstructIMat2x2: out.debug << "Construct imat2"; break;
581 case EOpConstructIMat2x3: out.debug << "Construct imat2x3"; break;
582 case EOpConstructIMat2x4: out.debug << "Construct imat2x4"; break;
583 case EOpConstructIMat3x2: out.debug << "Construct imat3x2"; break;
584 case EOpConstructIMat3x3: out.debug << "Construct imat3"; break;
585 case EOpConstructIMat3x4: out.debug << "Construct imat3x4"; break;
586 case EOpConstructIMat4x2: out.debug << "Construct imat4x2"; break;
587 case EOpConstructIMat4x3: out.debug << "Construct imat4x3"; break;
588 case EOpConstructIMat4x4: out.debug << "Construct imat4"; break;
589 case EOpConstructUMat2x2: out.debug << "Construct umat2"; break;
590 case EOpConstructUMat2x3: out.debug << "Construct umat2x3"; break;
591 case EOpConstructUMat2x4: out.debug << "Construct umat2x4"; break;
592 case EOpConstructUMat3x2: out.debug << "Construct umat3x2"; break;
593 case EOpConstructUMat3x3: out.debug << "Construct umat3"; break;
594 case EOpConstructUMat3x4: out.debug << "Construct umat3x4"; break;
595 case EOpConstructUMat4x2: out.debug << "Construct umat4x2"; break;
596 case EOpConstructUMat4x3: out.debug << "Construct umat4x3"; break;
597 case EOpConstructUMat4x4: out.debug << "Construct umat4"; break;
598 case EOpConstructBMat2x2: out.debug << "Construct bmat2"; break;
599 case EOpConstructBMat2x3: out.debug << "Construct bmat2x3"; break;
600 case EOpConstructBMat2x4: out.debug << "Construct bmat2x4"; break;
601 case EOpConstructBMat3x2: out.debug << "Construct bmat3x2"; break;
602 case EOpConstructBMat3x3: out.debug << "Construct bmat3"; break;
603 case EOpConstructBMat3x4: out.debug << "Construct bmat3x4"; break;
604 case EOpConstructBMat4x2: out.debug << "Construct bmat4x2"; break;
605 case EOpConstructBMat4x3: out.debug << "Construct bmat4x3"; break;
606 case EOpConstructBMat4x4: out.debug << "Construct bmat4"; break;
607 #ifdef AMD_EXTENSIONS
608 case EOpConstructFloat16: out.debug << "Construct float16_t"; break;
609 case EOpConstructF16Vec2: out.debug << "Construct f16vec2"; break;
610 case EOpConstructF16Vec3: out.debug << "Construct f16vec3"; break;
611 case EOpConstructF16Vec4: out.debug << "Construct f16vec4"; break;
612 case EOpConstructF16Mat2x2: out.debug << "Construct f16mat2"; break;
613 case EOpConstructF16Mat2x3: out.debug << "Construct f16mat2x3"; break;
614 case EOpConstructF16Mat2x4: out.debug << "Construct f16mat2x4"; break;
615 case EOpConstructF16Mat3x2: out.debug << "Construct f16mat3x2"; break;
616 case EOpConstructF16Mat3x3: out.debug << "Construct f16mat3"; break;
617 case EOpConstructF16Mat3x4: out.debug << "Construct f16mat3x4"; break;
618 case EOpConstructF16Mat4x2: out.debug << "Construct f16mat4x2"; break;
619 case EOpConstructF16Mat4x3: out.debug << "Construct f16mat4x3"; break;
620 case EOpConstructF16Mat4x4: out.debug << "Construct f16mat4"; break;
622 case EOpConstructStruct: out.debug << "Construct structure"; break;
623 case EOpConstructTextureSampler: out.debug << "Construct combined texture-sampler"; break;
625 case EOpLessThan: out.debug << "Compare Less Than"; break;
626 case EOpGreaterThan: out.debug << "Compare Greater Than"; break;
627 case EOpLessThanEqual: out.debug << "Compare Less Than or Equal"; break;
628 case EOpGreaterThanEqual: out.debug << "Compare Greater Than or Equal"; break;
629 case EOpVectorEqual: out.debug << "Equal"; break;
630 case EOpVectorNotEqual: out.debug << "NotEqual"; break;
632 case EOpMod: out.debug << "mod"; break;
633 case EOpModf: out.debug << "modf"; break;
634 case EOpPow: out.debug << "pow"; break;
636 case EOpAtan: out.debug << "arc tangent"; break;
638 case EOpMin: out.debug << "min"; break;
639 case EOpMax: out.debug << "max"; break;
640 case EOpClamp: out.debug << "clamp"; break;
641 case EOpMix: out.debug << "mix"; break;
642 case EOpStep: out.debug << "step"; break;
643 case EOpSmoothStep: out.debug << "smoothstep"; break;
645 case EOpDistance: out.debug << "distance"; break;
646 case EOpDot: out.debug << "dot-product"; break;
647 case EOpCross: out.debug << "cross-product"; break;
648 case EOpFaceForward: out.debug << "face-forward"; break;
649 case EOpReflect: out.debug << "reflect"; break;
650 case EOpRefract: out.debug << "refract"; break;
651 case EOpMul: out.debug << "component-wise multiply"; break;
652 case EOpOuterProduct: out.debug << "outer product"; break;
654 case EOpEmitVertex: out.debug << "EmitVertex"; break;
655 case EOpEndPrimitive: out.debug << "EndPrimitive"; break;
657 case EOpBarrier: out.debug << "Barrier"; break;
658 case EOpMemoryBarrier: out.debug << "MemoryBarrier"; break;
659 case EOpMemoryBarrierAtomicCounter: out.debug << "MemoryBarrierAtomicCounter"; break;
660 case EOpMemoryBarrierBuffer: out.debug << "MemoryBarrierBuffer"; break;
661 case EOpMemoryBarrierImage: out.debug << "MemoryBarrierImage"; break;
662 case EOpMemoryBarrierShared: out.debug << "MemoryBarrierShared"; break;
663 case EOpGroupMemoryBarrier: out.debug << "GroupMemoryBarrier"; break;
665 case EOpReadInvocation: out.debug << "readInvocation"; break;
667 #ifdef AMD_EXTENSIONS
668 case EOpSwizzleInvocations: out.debug << "swizzleInvocations"; break;
669 case EOpSwizzleInvocationsMasked: out.debug << "swizzleInvocationsMasked"; break;
670 case EOpWriteInvocation: out.debug << "writeInvocation"; break;
672 case EOpMin3: out.debug << "min3"; break;
673 case EOpMax3: out.debug << "max3"; break;
674 case EOpMid3: out.debug << "mid3"; break;
676 case EOpTime: out.debug << "time"; break;
679 case EOpAtomicAdd: out.debug << "AtomicAdd"; break;
680 case EOpAtomicMin: out.debug << "AtomicMin"; break;
681 case EOpAtomicMax: out.debug << "AtomicMax"; break;
682 case EOpAtomicAnd: out.debug << "AtomicAnd"; break;
683 case EOpAtomicOr: out.debug << "AtomicOr"; break;
684 case EOpAtomicXor: out.debug << "AtomicXor"; break;
685 case EOpAtomicExchange: out.debug << "AtomicExchange"; break;
686 case EOpAtomicCompSwap: out.debug << "AtomicCompSwap"; break;
688 case EOpAtomicCounterAdd: out.debug << "AtomicCounterAdd"; break;
689 case EOpAtomicCounterSubtract: out.debug << "AtomicCounterSubtract"; break;
690 case EOpAtomicCounterMin: out.debug << "AtomicCounterMin"; break;
691 case EOpAtomicCounterMax: out.debug << "AtomicCounterMax"; break;
692 case EOpAtomicCounterAnd: out.debug << "AtomicCounterAnd"; break;
693 case EOpAtomicCounterOr: out.debug << "AtomicCounterOr"; break;
694 case EOpAtomicCounterXor: out.debug << "AtomicCounterXor"; break;
695 case EOpAtomicCounterExchange: out.debug << "AtomicCounterExchange"; break;
696 case EOpAtomicCounterCompSwap: out.debug << "AtomicCounterCompSwap"; break;
698 case EOpImageQuerySize: out.debug << "imageQuerySize"; break;
699 case EOpImageQuerySamples: out.debug << "imageQuerySamples"; break;
700 case EOpImageLoad: out.debug << "imageLoad"; break;
701 case EOpImageStore: out.debug << "imageStore"; break;
702 case EOpImageAtomicAdd: out.debug << "imageAtomicAdd"; break;
703 case EOpImageAtomicMin: out.debug << "imageAtomicMin"; break;
704 case EOpImageAtomicMax: out.debug << "imageAtomicMax"; break;
705 case EOpImageAtomicAnd: out.debug << "imageAtomicAnd"; break;
706 case EOpImageAtomicOr: out.debug << "imageAtomicOr"; break;
707 case EOpImageAtomicXor: out.debug << "imageAtomicXor"; break;
708 case EOpImageAtomicExchange: out.debug << "imageAtomicExchange"; break;
709 case EOpImageAtomicCompSwap: out.debug << "imageAtomicCompSwap"; break;
710 #ifdef AMD_EXTENSIONS
711 case EOpImageLoadLod: out.debug << "imageLoadLod"; break;
712 case EOpImageStoreLod: out.debug << "imageStoreLod"; break;
715 case EOpTextureQuerySize: out.debug << "textureSize"; break;
716 case EOpTextureQueryLod: out.debug << "textureQueryLod"; break;
717 case EOpTextureQueryLevels: out.debug << "textureQueryLevels"; break;
718 case EOpTextureQuerySamples: out.debug << "textureSamples"; break;
719 case EOpTexture: out.debug << "texture"; break;
720 case EOpTextureProj: out.debug << "textureProj"; break;
721 case EOpTextureLod: out.debug << "textureLod"; break;
722 case EOpTextureOffset: out.debug << "textureOffset"; break;
723 case EOpTextureFetch: out.debug << "textureFetch"; break;
724 case EOpTextureFetchOffset: out.debug << "textureFetchOffset"; break;
725 case EOpTextureProjOffset: out.debug << "textureProjOffset"; break;
726 case EOpTextureLodOffset: out.debug << "textureLodOffset"; break;
727 case EOpTextureProjLod: out.debug << "textureProjLod"; break;
728 case EOpTextureProjLodOffset: out.debug << "textureProjLodOffset"; break;
729 case EOpTextureGrad: out.debug << "textureGrad"; break;
730 case EOpTextureGradOffset: out.debug << "textureGradOffset"; break;
731 case EOpTextureProjGrad: out.debug << "textureProjGrad"; break;
732 case EOpTextureProjGradOffset: out.debug << "textureProjGradOffset"; break;
733 case EOpTextureGather: out.debug << "textureGather"; break;
734 case EOpTextureGatherOffset: out.debug << "textureGatherOffset"; break;
735 case EOpTextureGatherOffsets: out.debug << "textureGatherOffsets"; break;
736 case EOpTextureClamp: out.debug << "textureClamp"; break;
737 case EOpTextureOffsetClamp: out.debug << "textureOffsetClamp"; break;
738 case EOpTextureGradClamp: out.debug << "textureGradClamp"; break;
739 case EOpTextureGradOffsetClamp: out.debug << "textureGradOffsetClamp"; break;
740 #ifdef AMD_EXTENSIONS
741 case EOpTextureGatherLod: out.debug << "textureGatherLod"; break;
742 case EOpTextureGatherLodOffset: out.debug << "textureGatherLodOffset"; break;
743 case EOpTextureGatherLodOffsets: out.debug << "textureGatherLodOffsets"; break;
746 case EOpSparseTexture: out.debug << "sparseTexture"; break;
747 case EOpSparseTextureOffset: out.debug << "sparseTextureOffset"; break;
748 case EOpSparseTextureLod: out.debug << "sparseTextureLod"; break;
749 case EOpSparseTextureLodOffset: out.debug << "sparseTextureLodOffset"; break;
750 case EOpSparseTextureFetch: out.debug << "sparseTexelFetch"; break;
751 case EOpSparseTextureFetchOffset: out.debug << "sparseTexelFetchOffset"; break;
752 case EOpSparseTextureGrad: out.debug << "sparseTextureGrad"; break;
753 case EOpSparseTextureGradOffset: out.debug << "sparseTextureGradOffset"; break;
754 case EOpSparseTextureGather: out.debug << "sparseTextureGather"; break;
755 case EOpSparseTextureGatherOffset: out.debug << "sparseTextureGatherOffset"; break;
756 case EOpSparseTextureGatherOffsets: out.debug << "sparseTextureGatherOffsets"; break;
757 case EOpSparseImageLoad: out.debug << "sparseImageLoad"; break;
758 case EOpSparseTextureClamp: out.debug << "sparseTextureClamp"; break;
759 case EOpSparseTextureOffsetClamp: out.debug << "sparseTextureOffsetClamp"; break;
760 case EOpSparseTextureGradClamp: out.debug << "sparseTextureGradClamp"; break;
761 case EOpSparseTextureGradOffsetClamp: out.debug << "sparseTextureGradOffsetClam"; break;
762 #ifdef AMD_EXTENSIONS
763 case EOpSparseTextureGatherLod: out.debug << "sparseTextureGatherLod"; break;
764 case EOpSparseTextureGatherLodOffset: out.debug << "sparseTextureGatherLodOffset"; break;
765 case EOpSparseTextureGatherLodOffsets: out.debug << "sparseTextureGatherLodOffsets"; break;
766 case EOpSparseImageLoadLod: out.debug << "sparseImageLoadLod"; break;
769 case EOpAddCarry: out.debug << "addCarry"; break;
770 case EOpSubBorrow: out.debug << "subBorrow"; break;
771 case EOpUMulExtended: out.debug << "uMulExtended"; break;
772 case EOpIMulExtended: out.debug << "iMulExtended"; break;
773 case EOpBitfieldExtract: out.debug << "bitfieldExtract"; break;
774 case EOpBitfieldInsert: out.debug << "bitfieldInsert"; break;
776 case EOpFma: out.debug << "fma"; break;
777 case EOpFrexp: out.debug << "frexp"; break;
778 case EOpLdexp: out.debug << "ldexp"; break;
780 case EOpInterpolateAtSample: out.debug << "interpolateAtSample"; break;
781 case EOpInterpolateAtOffset: out.debug << "interpolateAtOffset"; break;
782 #ifdef AMD_EXTENSIONS
783 case EOpInterpolateAtVertex: out.debug << "interpolateAtVertex"; break;
786 case EOpSinCos: out.debug << "sincos"; break;
787 case EOpGenMul: out.debug << "mul"; break;
789 case EOpAllMemoryBarrierWithGroupSync: out.debug << "AllMemoryBarrierWithGroupSync"; break;
790 case EOpGroupMemoryBarrierWithGroupSync: out.debug << "GroupMemoryBarrierWithGroupSync"; break;
791 case EOpWorkgroupMemoryBarrier: out.debug << "WorkgroupMemoryBarrier"; break;
792 case EOpWorkgroupMemoryBarrierWithGroupSync: out.debug << "WorkgroupMemoryBarrierWithGroupSync"; break;
794 default: out.debug.message(EPrefixError, "Bad aggregation op");
797 if (node->getOp() != EOpSequence && node->getOp() != EOpParameters)
798 out.debug << " (" << node->getCompleteString() << ")";
805 bool TOutputTraverser::visitSelection(TVisit /* visit */, TIntermSelection* node)
807 TInfoSink& out = infoSink;
809 OutputTreeText(out, node, depth);
811 out.debug << "Test condition and select";
812 out.debug << " (" << node->getCompleteString() << ")\n";
816 OutputTreeText(out, node, depth);
817 out.debug << "Condition\n";
818 node->getCondition()->traverse(this);
820 OutputTreeText(out, node, depth);
821 if (node->getTrueBlock()) {
822 out.debug << "true case\n";
823 node->getTrueBlock()->traverse(this);
825 out.debug << "true case is null\n";
827 if (node->getFalseBlock()) {
828 OutputTreeText(out, node, depth);
829 out.debug << "false case\n";
830 node->getFalseBlock()->traverse(this);
838 static void OutputConstantUnion(TInfoSink& out, const TIntermTyped* node, const TConstUnionArray& constUnion, int depth)
840 int size = node->getType().computeNumComponents();
842 for (int i = 0; i < size; i++) {
843 OutputTreeText(out, node, depth);
844 switch (constUnion[i].getType()) {
846 if (constUnion[i].getBConst())
849 out.debug << "false";
851 out.debug << " (" << "const bool" << ")";
857 #ifdef AMD_EXTENSIONS
861 const double value = constUnion[i].getDConst();
862 // Print infinities and NaNs in a portable way.
863 if (IsInfinity(value)) {
865 out.debug << "-1.#INF\n";
867 out.debug << "+1.#INF\n";
868 } else if (IsNan(value))
869 out.debug << "1.#IND\n";
871 const int maxSize = 300;
873 snprintf(buf, maxSize, "%f", value);
875 out.debug << buf << "\n";
881 const int maxSize = 300;
883 snprintf(buf, maxSize, "%d (%s)", constUnion[i].getIConst(), "const int");
885 out.debug << buf << "\n";
890 const int maxSize = 300;
892 snprintf(buf, maxSize, "%u (%s)", constUnion[i].getUConst(), "const uint");
894 out.debug << buf << "\n";
899 const int maxSize = 300;
901 snprintf(buf, maxSize, "%lld (%s)", constUnion[i].getI64Const(), "const int64_t");
903 out.debug << buf << "\n";
908 const int maxSize = 300;
910 snprintf(buf, maxSize, "%llu (%s)", constUnion[i].getU64Const(), "const uint64_t");
912 out.debug << buf << "\n";
915 #ifdef AMD_EXTENSIONS
918 const int maxSize = 300;
920 snprintf(buf, maxSize, "%d (%s)", constUnion[i].getIConst(), "const int16_t");
922 out.debug << buf << "\n";
927 const int maxSize = 300;
929 snprintf(buf, maxSize, "%u (%s)", constUnion[i].getUConst(), "const uint16_t");
931 out.debug << buf << "\n";
936 out.info.message(EPrefixInternalError, "Unknown constant", node->getLoc());
942 void TOutputTraverser::visitConstantUnion(TIntermConstantUnion* node)
944 OutputTreeText(infoSink, node, depth);
945 infoSink.debug << "Constant:\n";
947 OutputConstantUnion(infoSink, node, node->getConstArray(), depth + 1);
950 void TOutputTraverser::visitSymbol(TIntermSymbol* node)
952 OutputTreeText(infoSink, node, depth);
954 infoSink.debug << "'" << node->getName() << "' (" << node->getCompleteString() << ")\n";
956 if (! node->getConstArray().empty())
957 OutputConstantUnion(infoSink, node, node->getConstArray(), depth + 1);
958 else if (node->getConstSubtree()) {
959 incrementDepth(node);
960 node->getConstSubtree()->traverse(this);
965 bool TOutputTraverser::visitLoop(TVisit /* visit */, TIntermLoop* node)
967 TInfoSink& out = infoSink;
969 OutputTreeText(out, node, depth);
971 out.debug << "Loop with condition ";
972 if (! node->testFirst())
974 out.debug << "tested first\n";
978 OutputTreeText(infoSink, node, depth);
979 if (node->getTest()) {
980 out.debug << "Loop Condition\n";
981 node->getTest()->traverse(this);
983 out.debug << "No loop condition\n";
985 OutputTreeText(infoSink, node, depth);
986 if (node->getBody()) {
987 out.debug << "Loop Body\n";
988 node->getBody()->traverse(this);
990 out.debug << "No loop body\n";
992 if (node->getTerminal()) {
993 OutputTreeText(infoSink, node, depth);
994 out.debug << "Loop Terminal Expression\n";
995 node->getTerminal()->traverse(this);
1003 bool TOutputTraverser::visitBranch(TVisit /* visit*/, TIntermBranch* node)
1005 TInfoSink& out = infoSink;
1007 OutputTreeText(out, node, depth);
1009 switch (node->getFlowOp()) {
1010 case EOpKill: out.debug << "Branch: Kill"; break;
1011 case EOpBreak: out.debug << "Branch: Break"; break;
1012 case EOpContinue: out.debug << "Branch: Continue"; break;
1013 case EOpReturn: out.debug << "Branch: Return"; break;
1014 case EOpCase: out.debug << "case: "; break;
1015 case EOpDefault: out.debug << "default: "; break;
1016 default: out.debug << "Branch: Unknown Branch"; break;
1019 if (node->getExpression()) {
1020 out.debug << " with expression\n";
1022 node->getExpression()->traverse(this);
1030 bool TOutputTraverser::visitSwitch(TVisit /* visit */, TIntermSwitch* node)
1032 TInfoSink& out = infoSink;
1034 OutputTreeText(out, node, depth);
1035 out.debug << "switch\n";
1037 OutputTreeText(out, node, depth);
1038 out.debug << "condition\n";
1040 node->getCondition()->traverse(this);
1043 OutputTreeText(out, node, depth);
1044 out.debug << "body\n";
1046 node->getBody()->traverse(this);
1054 // This function is the one to call externally to start the traversal.
1055 // Individual functions can be initialized to 0 to skip processing of that
1056 // type of node. It's children will still be processed.
1058 void TIntermediate::output(TInfoSink& infoSink, bool tree)
1060 infoSink.debug << "Shader version: " << version << "\n";
1061 if (requestedExtensions.size() > 0) {
1062 for (auto extIt = requestedExtensions.begin(); extIt != requestedExtensions.end(); ++extIt)
1063 infoSink.debug << "Requested " << *extIt << "\n";
1067 infoSink.debug << "in xfb mode\n";
1073 case EShLangTessControl:
1074 infoSink.debug << "vertices = " << vertices << "\n";
1076 if (inputPrimitive != ElgNone)
1077 infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1078 if (vertexSpacing != EvsNone)
1079 infoSink.debug << "vertex spacing = " << TQualifier::getVertexSpacingString(vertexSpacing) << "\n";
1080 if (vertexOrder != EvoNone)
1081 infoSink.debug << "triangle order = " << TQualifier::getVertexOrderString(vertexOrder) << "\n";
1084 case EShLangTessEvaluation:
1085 infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1086 infoSink.debug << "vertex spacing = " << TQualifier::getVertexSpacingString(vertexSpacing) << "\n";
1087 infoSink.debug << "triangle order = " << TQualifier::getVertexOrderString(vertexOrder) << "\n";
1089 infoSink.debug << "using point mode\n";
1092 case EShLangGeometry:
1093 infoSink.debug << "invocations = " << invocations << "\n";
1094 infoSink.debug << "max_vertices = " << vertices << "\n";
1095 infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1096 infoSink.debug << "output primitive = " << TQualifier::getGeometryString(outputPrimitive) << "\n";
1099 case EShLangFragment:
1100 if (pixelCenterInteger)
1101 infoSink.debug << "gl_FragCoord pixel center is integer\n";
1102 if (originUpperLeft)
1103 infoSink.debug << "gl_FragCoord origin is upper left\n";
1104 if (earlyFragmentTests)
1105 infoSink.debug << "using early_fragment_tests\n";
1106 if (postDepthCoverage)
1107 infoSink.debug << "using post_depth_coverage\n";
1108 if (depthLayout != EldNone)
1109 infoSink.debug << "using " << TQualifier::getLayoutDepthString(depthLayout) << "\n";
1110 if (blendEquations != 0) {
1111 infoSink.debug << "using";
1112 // blendEquations is a mask, decode it
1113 for (TBlendEquationShift be = (TBlendEquationShift)0; be < EBlendCount; be = (TBlendEquationShift)(be + 1)) {
1114 if (blendEquations & (1 << be))
1115 infoSink.debug << " " << TQualifier::getBlendEquationString(be);
1117 infoSink.debug << "\n";
1121 case EShLangCompute:
1122 infoSink.debug << "local_size = (" << localSize[0] << ", " << localSize[1] << ", " << localSize[2] << ")\n";
1124 if (localSizeSpecId[0] != TQualifier::layoutNotSet ||
1125 localSizeSpecId[1] != TQualifier::layoutNotSet ||
1126 localSizeSpecId[2] != TQualifier::layoutNotSet) {
1127 infoSink.debug << "local_size ids = (" <<
1128 localSizeSpecId[0] << ", " <<
1129 localSizeSpecId[1] << ", " <<
1130 localSizeSpecId[2] << ")\n";
1139 if (treeRoot == 0 || ! tree)
1142 TOutputTraverser it(infoSink);
1144 treeRoot->traverse(&it);
1147 } // end namespace glslang