glslang/MachineIndependent/intermOut.cpp

   1 //
   2 // Copyright (C) 2002-2005  3Dlabs Inc. Ltd.
   3 // Copyright (C) 2012-2016 LunarG, Inc.
   4 // Copyright (C) 2017 ARM Limited.
   5 // Modifications Copyright (C) 2020 Advanced Micro Devices, Inc. All rights reserved.
   6 //
   7 // All rights reserved.
   8 //
   9 // Redistribution and use in source and binary forms, with or without
  10 // modification, are permitted provided that the following conditions
  11 // are met:
  12 //
  13 //    Redistributions of source code must retain the above copyright
  14 //    notice, this list of conditions and the following disclaimer.
  15 //
  16 //    Redistributions in binary form must reproduce the above
  17 //    copyright notice, this list of conditions and the following
  18 //    disclaimer in the documentation and/or other materials provided
  19 //    with the distribution.
  20 //
  21 //    Neither the name of 3Dlabs Inc. Ltd. nor the names of its
  22 //    contributors may be used to endorse or promote products derived
  23 //    from this software without specific prior written permission.
  24 //
  25 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  26 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  27 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
  28 // FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  29 // COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
  30 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
  31 // BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  32 // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  33 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  34 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
  35 // ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  36 // POSSIBILITY OF SUCH DAMAGE.
  37 //
  38
  39 #if !defined(GLSLANG_WEB) && !defined(GLSLANG_ANGLE)
  40
  41 #include "localintermediate.h"
  42 #include "../Include/InfoSink.h"
  43
  44 #ifdef _MSC_VER
  45 #include <cfloat>
  46 #else
  47 #include <cmath>
  48 #endif
  49 #include <cstdint>
  50
  51
  52 namespace glslang {
  53
  54 //
  55 // Two purposes:
  56 // 1.  Show an example of how to iterate tree.  Functions can
  57 //     also directly call Traverse() on children themselves to
  58 //     have finer grained control over the process than shown here.
  59 //     See the last function for how to get started.
  60 // 2.  Print out a text based description of the tree.
  61 //
  62
  63 //
  64 // Use this class to carry along data from node to node in
  65 // the traversal
  66 //
  67 class TOutputTraverser : public TIntermTraverser {
  68 public:
  69     TOutputTraverser(TInfoSink& i) : infoSink(i), extraOutput(NoExtraOutput) { }
  70
  71     enum EExtraOutput {
  72         NoExtraOutput,
  73         BinaryDoubleOutput
  74     };
  75     void setDoubleOutput(EExtraOutput extra) { extraOutput = extra; }
  76
  77     virtual bool visitBinary(TVisit, TIntermBinary* node);
  78     virtual bool visitUnary(TVisit, TIntermUnary* node);
  79     virtual bool visitAggregate(TVisit, TIntermAggregate* node);
  80     virtual bool visitSelection(TVisit, TIntermSelection* node);
  81     virtual void visitConstantUnion(TIntermConstantUnion* node);
  82     virtual void visitSymbol(TIntermSymbol* node);
  83     virtual bool visitLoop(TVisit, TIntermLoop* node);
  84     virtual bool visitBranch(TVisit, TIntermBranch* node);
  85     virtual bool visitSwitch(TVisit, TIntermSwitch* node);
  86
  87     TInfoSink& infoSink;
  88 protected:
  89     TOutputTraverser(TOutputTraverser&);
  90     TOutputTraverser& operator=(TOutputTraverser&);
  91
  92     EExtraOutput extraOutput;
  93 };
  94
  95 //
  96 // Helper functions for printing, not part of traversing.
  97 //
  98
  99 static void OutputTreeText(TInfoSink& infoSink, const TIntermNode* node, const int depth)
 100 {
 101     int i;
 102
 103     infoSink.debug << node->getLoc().string << ":";
 104     if (node->getLoc().line)
 105         infoSink.debug << node->getLoc().line;
 106     else
 107         infoSink.debug << "? ";
 108
 109     for (i = 0; i < depth; ++i)
 110         infoSink.debug << "  ";
 111 }
 112
 113 //
 114 // The rest of the file are the traversal functions.  The last one
 115 // is the one that starts the traversal.
 116 //
 117 // Return true from interior nodes to have the external traversal
 118 // continue on to children.  If you process children yourself,
 119 // return false.
 120 //
 121
 122 bool TOutputTraverser::visitBinary(TVisit /* visit */, TIntermBinary* node)
 123 {
 124     TInfoSink& out = infoSink;
 125
 126     OutputTreeText(out, node, depth);
 127
 128     switch (node->getOp()) {
 129     case EOpAssign:                   out.debug << "move second child to first child";           break;
 130     case EOpAddAssign:                out.debug << "add second child into first child";          break;
 131     case EOpSubAssign:                out.debug << "subtract second child into first child";     break;
 132     case EOpMulAssign:                out.debug << "multiply second child into first child";     break;
 133     case EOpVectorTimesMatrixAssign:  out.debug << "matrix mult second child into first child";  break;
 134     case EOpVectorTimesScalarAssign:  out.debug << "vector scale second child into first child"; break;
 135     case EOpMatrixTimesScalarAssign:  out.debug << "matrix scale second child into first child"; break;
 136     case EOpMatrixTimesMatrixAssign:  out.debug << "matrix mult second child into first child";  break;
 137     case EOpDivAssign:                out.debug << "divide second child into first child";       break;
 138     case EOpModAssign:                out.debug << "mod second child into first child";          break;
 139     case EOpAndAssign:                out.debug << "and second child into first child";          break;
 140     case EOpInclusiveOrAssign:        out.debug << "or second child into first child";           break;
 141     case EOpExclusiveOrAssign:        out.debug << "exclusive or second child into first child"; break;
 142     case EOpLeftShiftAssign:          out.debug << "left shift second child into first child";   break;
 143     case EOpRightShiftAssign:         out.debug << "right shift second child into first child";  break;
 144
 145     case EOpIndexDirect:   out.debug << "direct index";   break;
 146     case EOpIndexIndirect: out.debug << "indirect index"; break;
 147     case EOpIndexDirectStruct:
 148         {
 149             bool reference = node->getLeft()->getType().isReference();
 150             const TTypeList *members = reference ? node->getLeft()->getType().getReferentType()->getStruct() : node->getLeft()->getType().getStruct();
 151             out.debug << (*members)[node->getRight()->getAsConstantUnion()->getConstArray()[0].getIConst()].type->getFieldName();
 152             out.debug << ": direct index for structure";      break;
 153         }
 154     case EOpVectorSwizzle: out.debug << "vector swizzle"; break;
 155     case EOpMatrixSwizzle: out.debug << "matrix swizzle"; break;
 156
 157     case EOpAdd:    out.debug << "add";                     break;
 158     case EOpSub:    out.debug << "subtract";                break;
 159     case EOpMul:    out.debug << "component-wise multiply"; break;
 160     case EOpDiv:    out.debug << "divide";                  break;
 161     case EOpMod:    out.debug << "mod";                     break;
 162     case EOpRightShift:  out.debug << "right-shift";  break;
 163     case EOpLeftShift:   out.debug << "left-shift";   break;
 164     case EOpAnd:         out.debug << "bitwise and";  break;
 165     case EOpInclusiveOr: out.debug << "inclusive-or"; break;
 166     case EOpExclusiveOr: out.debug << "exclusive-or"; break;
 167     case EOpEqual:            out.debug << "Compare Equal";                 break;
 168     case EOpNotEqual:         out.debug << "Compare Not Equal";             break;
 169     case EOpLessThan:         out.debug << "Compare Less Than";             break;
 170     case EOpGreaterThan:      out.debug << "Compare Greater Than";          break;
 171     case EOpLessThanEqual:    out.debug << "Compare Less Than or Equal";    break;
 172     case EOpGreaterThanEqual: out.debug << "Compare Greater Than or Equal"; break;
 173     case EOpVectorEqual:      out.debug << "Equal";                         break;
 174     case EOpVectorNotEqual:   out.debug << "NotEqual";                      break;
 175
 176     case EOpVectorTimesScalar: out.debug << "vector-scale";          break;
 177     case EOpVectorTimesMatrix: out.debug << "vector-times-matrix";   break;
 178     case EOpMatrixTimesVector: out.debug << "matrix-times-vector";   break;
 179     case EOpMatrixTimesScalar: out.debug << "matrix-scale";          break;
 180     case EOpMatrixTimesMatrix: out.debug << "matrix-multiply";       break;
 181
 182     case EOpLogicalOr:  out.debug << "logical-or";   break;
 183     case EOpLogicalXor: out.debug << "logical-xor"; break;
 184     case EOpLogicalAnd: out.debug << "logical-and"; break;
 185
 186     case EOpAbsDifference:          out.debug << "absoluteDifference";    break;
 187     case EOpAddSaturate:            out.debug << "addSaturate";           break;
 188     case EOpSubSaturate:            out.debug << "subtractSaturate";      break;
 189     case EOpAverage:                out.debug << "average";               break;
 190     case EOpAverageRounded:         out.debug << "averageRounded";        break;
 191     case EOpMul32x16:               out.debug << "multiply32x16";         break;
 192
 193     default: out.debug << "<unknown op>";
 194     }
 195
 196     out.debug << " (" << node->getCompleteString() << ")";
 197
 198     out.debug << "\n";
 199
 200     return true;
 201 }
 202
 203 bool TOutputTraverser::visitUnary(TVisit /* visit */, TIntermUnary* node)
 204 {
 205     TInfoSink& out = infoSink;
 206
 207     OutputTreeText(out, node, depth);
 208
 209     switch (node->getOp()) {
 210     case EOpNegative:       out.debug << "Negate value";         break;
 211     case EOpVectorLogicalNot:
 212     case EOpLogicalNot:     out.debug << "Negate conditional";   break;
 213     case EOpBitwiseNot:     out.debug << "Bitwise not";          break;
 214
 215     case EOpPostIncrement:  out.debug << "Post-Increment";       break;
 216     case EOpPostDecrement:  out.debug << "Post-Decrement";       break;
 217     case EOpPreIncrement:   out.debug << "Pre-Increment";        break;
 218     case EOpPreDecrement:   out.debug << "Pre-Decrement";        break;
 219     case EOpCopyObject:     out.debug << "copy object";          break;
 220
 221     // * -> bool
 222     case EOpConvInt8ToBool:    out.debug << "Convert int8_t to bool";  break;
 223     case EOpConvUint8ToBool:   out.debug << "Convert uint8_t to bool"; break;
 224     case EOpConvInt16ToBool:   out.debug << "Convert int16_t to bool"; break;
 225     case EOpConvUint16ToBool:  out.debug << "Convert uint16_t to bool";break;
 226     case EOpConvIntToBool:     out.debug << "Convert int to bool";     break;
 227     case EOpConvUintToBool:    out.debug << "Convert uint to bool";    break;
 228     case EOpConvInt64ToBool:   out.debug << "Convert int64 to bool";   break;
 229     case EOpConvUint64ToBool:  out.debug << "Convert uint64 to bool";  break;
 230     case EOpConvFloat16ToBool: out.debug << "Convert float16_t to bool";   break;
 231     case EOpConvFloatToBool:   out.debug << "Convert float to bool";   break;
 232     case EOpConvDoubleToBool:  out.debug << "Convert double to bool";  break;
 233
 234     // bool -> *
 235     case EOpConvBoolToInt8:    out.debug << "Convert bool to int8_t";  break;
 236     case EOpConvBoolToUint8:   out.debug << "Convert bool to uint8_t"; break;
 237     case EOpConvBoolToInt16:   out.debug << "Convert bool to in16t_t"; break;
 238     case EOpConvBoolToUint16:  out.debug << "Convert bool to uint16_t";break;
 239     case EOpConvBoolToInt:     out.debug << "Convert bool to int"  ;   break;
 240     case EOpConvBoolToUint:    out.debug << "Convert bool to uint";    break;
 241     case EOpConvBoolToInt64:   out.debug << "Convert bool to int64"; break;
 242     case EOpConvBoolToUint64:  out.debug << "Convert bool to uint64";break;
 243     case EOpConvBoolToFloat16: out.debug << "Convert bool to float16_t";   break;
 244     case EOpConvBoolToFloat:   out.debug << "Convert bool to float";   break;
 245     case EOpConvBoolToDouble:  out.debug << "Convert bool to double";   break;
 246
 247     // int8_t -> (u)int*
 248     case EOpConvInt8ToInt16:   out.debug << "Convert int8_t to int16_t";break;
 249     case EOpConvInt8ToInt:     out.debug << "Convert int8_t to int";    break;
 250     case EOpConvInt8ToInt64:   out.debug << "Convert int8_t to int64";   break;
 251     case EOpConvInt8ToUint8:   out.debug << "Convert int8_t to uint8_t";break;
 252     case EOpConvInt8ToUint16:  out.debug << "Convert int8_t to uint16_t";break;
 253     case EOpConvInt8ToUint:    out.debug << "Convert int8_t to uint";    break;
 254     case EOpConvInt8ToUint64:  out.debug << "Convert int8_t to uint64";   break;
 255
 256     // uint8_t -> (u)int*
 257     case EOpConvUint8ToInt8:    out.debug << "Convert uint8_t to int8_t";break;
 258     case EOpConvUint8ToInt16:   out.debug << "Convert uint8_t to int16_t";break;
 259     case EOpConvUint8ToInt:     out.debug << "Convert uint8_t to int";    break;
 260     case EOpConvUint8ToInt64:   out.debug << "Convert uint8_t to int64";   break;
 261     case EOpConvUint8ToUint16:  out.debug << "Convert uint8_t to uint16_t";break;
 262     case EOpConvUint8ToUint:    out.debug << "Convert uint8_t to uint";    break;
 263     case EOpConvUint8ToUint64:  out.debug << "Convert uint8_t to uint64";   break;
 264
 265     // int8_t -> float*
 266     case EOpConvInt8ToFloat16:  out.debug << "Convert int8_t to float16_t";break;
 267     case EOpConvInt8ToFloat:    out.debug << "Convert int8_t to float";    break;
 268     case EOpConvInt8ToDouble:   out.debug << "Convert int8_t to double";   break;
 269
 270     // uint8_t -> float*
 271     case EOpConvUint8ToFloat16: out.debug << "Convert uint8_t to float16_t";break;
 272     case EOpConvUint8ToFloat:   out.debug << "Convert uint8_t to float";    break;
 273     case EOpConvUint8ToDouble:  out.debug << "Convert uint8_t to double";   break;
 274
 275     // int16_t -> (u)int*
 276     case EOpConvInt16ToInt8:    out.debug << "Convert int16_t to int8_t";break;
 277     case EOpConvInt16ToInt:     out.debug << "Convert int16_t to int";    break;
 278     case EOpConvInt16ToInt64:   out.debug << "Convert int16_t to int64";   break;
 279     case EOpConvInt16ToUint8:   out.debug << "Convert int16_t to uint8_t";break;
 280     case EOpConvInt16ToUint16:  out.debug << "Convert int16_t to uint16_t";break;
 281     case EOpConvInt16ToUint:    out.debug << "Convert int16_t to uint";    break;
 282     case EOpConvInt16ToUint64:  out.debug << "Convert int16_t to uint64";   break;
 283
 284     // int16_t -> float*
 285     case EOpConvInt16ToFloat16:  out.debug << "Convert int16_t to float16_t";break;
 286     case EOpConvInt16ToFloat:    out.debug << "Convert int16_t to float";    break;
 287     case EOpConvInt16ToDouble:   out.debug << "Convert int16_t to double";   break;
 288
 289     // uint16_t -> (u)int*
 290     case EOpConvUint16ToInt8:    out.debug << "Convert uint16_t to int8_t";break;
 291     case EOpConvUint16ToInt16:   out.debug << "Convert uint16_t to int16_t";break;
 292     case EOpConvUint16ToInt:     out.debug << "Convert uint16_t to int";    break;
 293     case EOpConvUint16ToInt64:   out.debug << "Convert uint16_t to int64";   break;
 294     case EOpConvUint16ToUint8:   out.debug << "Convert uint16_t to uint8_t";break;
 295     case EOpConvUint16ToUint:    out.debug << "Convert uint16_t to uint";    break;
 296     case EOpConvUint16ToUint64:  out.debug << "Convert uint16_t to uint64";   break;
 297
 298     // uint16_t -> float*
 299     case EOpConvUint16ToFloat16: out.debug << "Convert uint16_t to float16_t";break;
 300     case EOpConvUint16ToFloat:   out.debug << "Convert uint16_t to float";    break;
 301     case EOpConvUint16ToDouble:  out.debug << "Convert uint16_t to double";   break;
 302
 303     // int32_t -> (u)int*
 304     case EOpConvIntToInt8:    out.debug << "Convert int to int8_t";break;
 305     case EOpConvIntToInt16:   out.debug << "Convert int to int16_t";break;
 306     case EOpConvIntToInt64:   out.debug << "Convert int to int64";   break;
 307     case EOpConvIntToUint8:   out.debug << "Convert int to uint8_t";break;
 308     case EOpConvIntToUint16:  out.debug << "Convert int to uint16_t";break;
 309     case EOpConvIntToUint:    out.debug << "Convert int to uint";    break;
 310     case EOpConvIntToUint64:  out.debug << "Convert int to uint64";   break;
 311
 312     // int32_t -> float*
 313     case EOpConvIntToFloat16:  out.debug << "Convert int to float16_t";break;
 314     case EOpConvIntToFloat:    out.debug << "Convert int to float";    break;
 315     case EOpConvIntToDouble:   out.debug << "Convert int to double";   break;
 316
 317     // uint32_t -> (u)int*
 318     case EOpConvUintToInt8:    out.debug << "Convert uint to int8_t";break;
 319     case EOpConvUintToInt16:   out.debug << "Convert uint to int16_t";break;
 320     case EOpConvUintToInt:     out.debug << "Convert uint to int";break;
 321     case EOpConvUintToInt64:   out.debug << "Convert uint to int64";   break;
 322     case EOpConvUintToUint8:   out.debug << "Convert uint to uint8_t";break;
 323     case EOpConvUintToUint16:  out.debug << "Convert uint to uint16_t";break;
 324     case EOpConvUintToUint64:  out.debug << "Convert uint to uint64";   break;
 325
 326     // uint32_t -> float*
 327     case EOpConvUintToFloat16: out.debug << "Convert uint to float16_t";break;
 328     case EOpConvUintToFloat:   out.debug << "Convert uint to float";    break;
 329     case EOpConvUintToDouble:  out.debug << "Convert uint to double";   break;
 330
 331     // int64 -> (u)int*
 332     case EOpConvInt64ToInt8:    out.debug << "Convert int64 to int8_t";  break;
 333     case EOpConvInt64ToInt16:   out.debug << "Convert int64 to int16_t"; break;
 334     case EOpConvInt64ToInt:     out.debug << "Convert int64 to int";   break;
 335     case EOpConvInt64ToUint8:   out.debug << "Convert int64 to uint8_t";break;
 336     case EOpConvInt64ToUint16:  out.debug << "Convert int64 to uint16_t";break;
 337     case EOpConvInt64ToUint:    out.debug << "Convert int64 to uint";    break;
 338     case EOpConvInt64ToUint64:  out.debug << "Convert int64 to uint64";   break;
 339
 340      // int64 -> float*
 341     case EOpConvInt64ToFloat16:  out.debug << "Convert int64 to float16_t";break;
 342     case EOpConvInt64ToFloat:    out.debug << "Convert int64 to float";    break;
 343     case EOpConvInt64ToDouble:   out.debug << "Convert int64 to double";   break;
 344
 345     // uint64 -> (u)int*
 346     case EOpConvUint64ToInt8:    out.debug << "Convert uint64 to int8_t";break;
 347     case EOpConvUint64ToInt16:   out.debug << "Convert uint64 to int16_t";break;
 348     case EOpConvUint64ToInt:     out.debug << "Convert uint64 to int";    break;
 349     case EOpConvUint64ToInt64:   out.debug << "Convert uint64 to int64";   break;
 350     case EOpConvUint64ToUint8:   out.debug << "Convert uint64 to uint8_t";break;
 351     case EOpConvUint64ToUint16:  out.debug << "Convert uint64 to uint16";    break;
 352     case EOpConvUint64ToUint:    out.debug << "Convert uint64 to uint";   break;
 353
 354     // uint64 -> float*
 355     case EOpConvUint64ToFloat16: out.debug << "Convert uint64 to float16_t";break;
 356     case EOpConvUint64ToFloat:   out.debug << "Convert uint64 to float";    break;
 357     case EOpConvUint64ToDouble:  out.debug << "Convert uint64 to double";   break;
 358
 359     // float16_t -> int*
 360     case EOpConvFloat16ToInt8:  out.debug << "Convert float16_t to int8_t"; break;
 361     case EOpConvFloat16ToInt16: out.debug << "Convert float16_t to int16_t"; break;
 362     case EOpConvFloat16ToInt:   out.debug << "Convert float16_t to int"; break;
 363     case EOpConvFloat16ToInt64: out.debug << "Convert float16_t to int64"; break;
 364
 365     // float16_t -> uint*
 366     case EOpConvFloat16ToUint8:  out.debug << "Convert float16_t to uint8_t"; break;
 367     case EOpConvFloat16ToUint16: out.debug << "Convert float16_t to uint16_t"; break;
 368     case EOpConvFloat16ToUint:   out.debug << "Convert float16_t to uint"; break;
 369     case EOpConvFloat16ToUint64: out.debug << "Convert float16_t to uint64"; break;
 370
 371     // float16_t -> float*
 372     case EOpConvFloat16ToFloat:  out.debug << "Convert float16_t to float"; break;
 373     case EOpConvFloat16ToDouble: out.debug << "Convert float16_t to double"; break;
 374
 375     // float32 -> float*
 376     case EOpConvFloatToFloat16: out.debug << "Convert float to float16_t"; break;
 377     case EOpConvFloatToDouble:  out.debug << "Convert float to double"; break;
 378
 379     // float32_t -> int*
 380     case EOpConvFloatToInt8:  out.debug << "Convert float to int8_t"; break;
 381     case EOpConvFloatToInt16: out.debug << "Convert float to int16_t"; break;
 382     case EOpConvFloatToInt:   out.debug << "Convert float to int"; break;
 383     case EOpConvFloatToInt64: out.debug << "Convert float to int64"; break;
 384
 385     // float32_t -> uint*
 386     case EOpConvFloatToUint8:  out.debug << "Convert float to uint8_t"; break;
 387     case EOpConvFloatToUint16: out.debug << "Convert float to uint16_t"; break;
 388     case EOpConvFloatToUint:   out.debug << "Convert float to uint"; break;
 389     case EOpConvFloatToUint64: out.debug << "Convert float to uint64"; break;
 390
 391     // double -> float*
 392     case EOpConvDoubleToFloat16: out.debug << "Convert double to float16_t"; break;
 393     case EOpConvDoubleToFloat:   out.debug << "Convert double to float"; break;
 394
 395     // double -> int*
 396     case EOpConvDoubleToInt8:  out.debug << "Convert double to int8_t"; break;
 397     case EOpConvDoubleToInt16: out.debug << "Convert double to int16_t"; break;
 398     case EOpConvDoubleToInt:   out.debug << "Convert double to int"; break;
 399     case EOpConvDoubleToInt64: out.debug << "Convert double to int64"; break;
 400
 401     // float32_t -> uint*
 402     case EOpConvDoubleToUint8:  out.debug << "Convert double to uint8_t"; break;
 403     case EOpConvDoubleToUint16: out.debug << "Convert double to uint16_t"; break;
 404     case EOpConvDoubleToUint:   out.debug << "Convert double to uint"; break;
 405     case EOpConvDoubleToUint64: out.debug << "Convert double to uint64"; break;
 406
 407     case EOpConvUint64ToPtr:  out.debug << "Convert uint64_t to pointer";   break;
 408     case EOpConvPtrToUint64:  out.debug << "Convert pointer to uint64_t";   break;
 409
 410     case EOpConvUint64ToAccStruct: out.debug << "Convert uint64_t to acceleration structure"; break;
 411     case EOpConvUvec2ToAccStruct:  out.debug << "Convert uvec2 to acceleration strucuture "; break;
 412
 413     case EOpRadians:        out.debug << "radians";              break;
 414     case EOpDegrees:        out.debug << "degrees";              break;
 415     case EOpSin:            out.debug << "sine";                 break;
 416     case EOpCos:            out.debug << "cosine";               break;
 417     case EOpTan:            out.debug << "tangent";              break;
 418     case EOpAsin:           out.debug << "arc sine";             break;
 419     case EOpAcos:           out.debug << "arc cosine";           break;
 420     case EOpAtan:           out.debug << "arc tangent";          break;
 421     case EOpSinh:           out.debug << "hyp. sine";            break;
 422     case EOpCosh:           out.debug << "hyp. cosine";          break;
 423     case EOpTanh:           out.debug << "hyp. tangent";         break;
 424     case EOpAsinh:          out.debug << "arc hyp. sine";        break;
 425     case EOpAcosh:          out.debug << "arc hyp. cosine";      break;
 426     case EOpAtanh:          out.debug << "arc hyp. tangent";     break;
 427
 428     case EOpExp:            out.debug << "exp";                  break;
 429     case EOpLog:            out.debug << "log";                  break;
 430     case EOpExp2:           out.debug << "exp2";                 break;
 431     case EOpLog2:           out.debug << "log2";                 break;
 432     case EOpSqrt:           out.debug << "sqrt";                 break;
 433     case EOpInverseSqrt:    out.debug << "inverse sqrt";         break;
 434
 435     case EOpAbs:            out.debug << "Absolute value";       break;
 436     case EOpSign:           out.debug << "Sign";                 break;
 437     case EOpFloor:          out.debug << "Floor";                break;
 438     case EOpTrunc:          out.debug << "trunc";                break;
 439     case EOpRound:          out.debug << "round";                break;
 440     case EOpRoundEven:      out.debug << "roundEven";            break;
 441     case EOpCeil:           out.debug << "Ceiling";              break;
 442     case EOpFract:          out.debug << "Fraction";             break;
 443
 444     case EOpIsNan:          out.debug << "isnan";                break;
 445     case EOpIsInf:          out.debug << "isinf";                break;
 446
 447     case EOpFloatBitsToInt: out.debug << "floatBitsToInt";       break;
 448     case EOpFloatBitsToUint:out.debug << "floatBitsToUint";      break;
 449     case EOpIntBitsToFloat: out.debug << "intBitsToFloat";       break;
 450     case EOpUintBitsToFloat:out.debug << "uintBitsToFloat";      break;
 451     case EOpDoubleBitsToInt64:  out.debug << "doubleBitsToInt64";  break;
 452     case EOpDoubleBitsToUint64: out.debug << "doubleBitsToUint64"; break;
 453     case EOpInt64BitsToDouble:  out.debug << "int64BitsToDouble";  break;
 454     case EOpUint64BitsToDouble: out.debug << "uint64BitsToDouble"; break;
 455     case EOpFloat16BitsToInt16:  out.debug << "float16BitsToInt16";  break;
 456     case EOpFloat16BitsToUint16: out.debug << "float16BitsToUint16"; break;
 457     case EOpInt16BitsToFloat16:  out.debug << "int16BitsToFloat16";  break;
 458     case EOpUint16BitsToFloat16: out.debug << "uint16BitsToFloat16"; break;
 459
 460     case EOpPackSnorm2x16:  out.debug << "packSnorm2x16";        break;
 461     case EOpUnpackSnorm2x16:out.debug << "unpackSnorm2x16";      break;
 462     case EOpPackUnorm2x16:  out.debug << "packUnorm2x16";        break;
 463     case EOpUnpackUnorm2x16:out.debug << "unpackUnorm2x16";      break;
 464     case EOpPackHalf2x16:   out.debug << "packHalf2x16";         break;
 465     case EOpUnpackHalf2x16: out.debug << "unpackHalf2x16";       break;
 466     case EOpPack16:           out.debug << "pack16";                 break;
 467     case EOpPack32:           out.debug << "pack32";                 break;
 468     case EOpPack64:           out.debug << "pack64";                 break;
 469     case EOpUnpack32:         out.debug << "unpack32";               break;
 470     case EOpUnpack16:         out.debug << "unpack16";               break;
 471     case EOpUnpack8:          out.debug << "unpack8";               break;
 472
 473     case EOpPackSnorm4x8:     out.debug << "PackSnorm4x8";       break;
 474     case EOpUnpackSnorm4x8:   out.debug << "UnpackSnorm4x8";     break;
 475     case EOpPackUnorm4x8:     out.debug << "PackUnorm4x8";       break;
 476     case EOpUnpackUnorm4x8:   out.debug << "UnpackUnorm4x8";     break;
 477     case EOpPackDouble2x32:   out.debug << "PackDouble2x32";     break;
 478     case EOpUnpackDouble2x32: out.debug << "UnpackDouble2x32";   break;
 479
 480     case EOpPackInt2x32:      out.debug << "packInt2x32";        break;
 481     case EOpUnpackInt2x32:    out.debug << "unpackInt2x32";      break;
 482     case EOpPackUint2x32:     out.debug << "packUint2x32";       break;
 483     case EOpUnpackUint2x32:   out.debug << "unpackUint2x32";     break;
 484
 485     case EOpPackInt2x16:      out.debug << "packInt2x16";        break;
 486     case EOpUnpackInt2x16:    out.debug << "unpackInt2x16";      break;
 487     case EOpPackUint2x16:     out.debug << "packUint2x16";       break;
 488     case EOpUnpackUint2x16:   out.debug << "unpackUint2x16";     break;
 489
 490     case EOpPackInt4x16:      out.debug << "packInt4x16";        break;
 491     case EOpUnpackInt4x16:    out.debug << "unpackInt4x16";      break;
 492     case EOpPackUint4x16:     out.debug << "packUint4x16";       break;
 493     case EOpUnpackUint4x16:   out.debug << "unpackUint4x16";     break;
 494     case EOpPackFloat2x16:    out.debug << "packFloat2x16";      break;
 495     case EOpUnpackFloat2x16:  out.debug << "unpackFloat2x16";    break;
 496
 497     case EOpLength:         out.debug << "length";               break;
 498     case EOpNormalize:      out.debug << "normalize";            break;
 499     case EOpDPdx:           out.debug << "dPdx";                 break;
 500     case EOpDPdy:           out.debug << "dPdy";                 break;
 501     case EOpFwidth:         out.debug << "fwidth";               break;
 502     case EOpDPdxFine:       out.debug << "dPdxFine";             break;
 503     case EOpDPdyFine:       out.debug << "dPdyFine";             break;
 504     case EOpFwidthFine:     out.debug << "fwidthFine";           break;
 505     case EOpDPdxCoarse:     out.debug << "dPdxCoarse";           break;
 506     case EOpDPdyCoarse:     out.debug << "dPdyCoarse";           break;
 507     case EOpFwidthCoarse:   out.debug << "fwidthCoarse";         break;
 508
 509     case EOpInterpolateAtCentroid: out.debug << "interpolateAtCentroid";  break;
 510
 511     case EOpDeterminant:    out.debug << "determinant";          break;
 512     case EOpMatrixInverse:  out.debug << "inverse";              break;
 513     case EOpTranspose:      out.debug << "transpose";            break;
 514
 515     case EOpAny:            out.debug << "any";                  break;
 516     case EOpAll:            out.debug << "all";                  break;
 517
 518     case EOpArrayLength:    out.debug << "array length";         break;
 519
 520     case EOpEmitStreamVertex:   out.debug << "EmitStreamVertex";   break;
 521     case EOpEndStreamPrimitive: out.debug << "EndStreamPrimitive"; break;
 522
 523     case EOpAtomicCounterIncrement: out.debug << "AtomicCounterIncrement";break;
 524     case EOpAtomicCounterDecrement: out.debug << "AtomicCounterDecrement";break;
 525     case EOpAtomicCounter:          out.debug << "AtomicCounter";         break;
 526
 527     case EOpTextureQuerySize:       out.debug << "textureSize";           break;
 528     case EOpTextureQueryLod:        out.debug << "textureQueryLod";       break;
 529     case EOpTextureQueryLevels:     out.debug << "textureQueryLevels";    break;
 530     case EOpTextureQuerySamples:    out.debug << "textureSamples";        break;
 531     case EOpImageQuerySize:         out.debug << "imageQuerySize";        break;
 532     case EOpImageQuerySamples:      out.debug << "imageQuerySamples";     break;
 533     case EOpImageLoad:              out.debug << "imageLoad";             break;
 534
 535     case EOpBitFieldReverse:        out.debug << "bitFieldReverse";       break;
 536     case EOpBitCount:               out.debug << "bitCount";              break;
 537     case EOpFindLSB:                out.debug << "findLSB";               break;
 538     case EOpFindMSB:                out.debug << "findMSB";               break;
 539
 540     case EOpCountLeadingZeros:      out.debug << "countLeadingZeros";     break;
 541     case EOpCountTrailingZeros:     out.debug << "countTrailingZeros";    break;
 542
 543     case EOpNoise:                  out.debug << "noise";                 break;
 544
 545     case EOpBallot:                 out.debug << "ballot";                break;
 546     case EOpReadFirstInvocation:    out.debug << "readFirstInvocation";   break;
 547
 548     case EOpAnyInvocation:          out.debug << "anyInvocation";         break;
 549     case EOpAllInvocations:         out.debug << "allInvocations";        break;
 550     case EOpAllInvocationsEqual:    out.debug << "allInvocationsEqual";   break;
 551
 552     case EOpSubgroupElect:                   out.debug << "subgroupElect";                   break;
 553     case EOpSubgroupAll:                     out.debug << "subgroupAll";                     break;
 554     case EOpSubgroupAny:                     out.debug << "subgroupAny";                     break;
 555     case EOpSubgroupAllEqual:                out.debug << "subgroupAllEqual";                break;
 556     case EOpSubgroupBroadcast:               out.debug << "subgroupBroadcast";               break;
 557     case EOpSubgroupBroadcastFirst:          out.debug << "subgroupBroadcastFirst";          break;
 558     case EOpSubgroupBallot:                  out.debug << "subgroupBallot";                  break;
 559     case EOpSubgroupInverseBallot:           out.debug << "subgroupInverseBallot";           break;
 560     case EOpSubgroupBallotBitExtract:        out.debug << "subgroupBallotBitExtract";        break;
 561     case EOpSubgroupBallotBitCount:          out.debug << "subgroupBallotBitCount";          break;
 562     case EOpSubgroupBallotInclusiveBitCount: out.debug << "subgroupBallotInclusiveBitCount"; break;
 563     case EOpSubgroupBallotExclusiveBitCount: out.debug << "subgroupBallotExclusiveBitCount"; break;
 564     case EOpSubgroupBallotFindLSB:           out.debug << "subgroupBallotFindLSB";           break;
 565     case EOpSubgroupBallotFindMSB:           out.debug << "subgroupBallotFindMSB";           break;
 566     case EOpSubgroupShuffle:                 out.debug << "subgroupShuffle";                 break;
 567     case EOpSubgroupShuffleXor:              out.debug << "subgroupShuffleXor";              break;
 568     case EOpSubgroupShuffleUp:               out.debug << "subgroupShuffleUp";               break;
 569     case EOpSubgroupShuffleDown:             out.debug << "subgroupShuffleDown";             break;
 570     case EOpSubgroupAdd:                     out.debug << "subgroupAdd";                     break;
 571     case EOpSubgroupMul:                     out.debug << "subgroupMul";                     break;
 572     case EOpSubgroupMin:                     out.debug << "subgroupMin";                     break;
 573     case EOpSubgroupMax:                     out.debug << "subgroupMax";                     break;
 574     case EOpSubgroupAnd:                     out.debug << "subgroupAnd";                     break;
 575     case EOpSubgroupOr:                      out.debug << "subgroupOr";                      break;
 576     case EOpSubgroupXor:                     out.debug << "subgroupXor";                     break;
 577     case EOpSubgroupInclusiveAdd:            out.debug << "subgroupInclusiveAdd";            break;
 578     case EOpSubgroupInclusiveMul:            out.debug << "subgroupInclusiveMul";            break;
 579     case EOpSubgroupInclusiveMin:            out.debug << "subgroupInclusiveMin";            break;
 580     case EOpSubgroupInclusiveMax:            out.debug << "subgroupInclusiveMax";            break;
 581     case EOpSubgroupInclusiveAnd:            out.debug << "subgroupInclusiveAnd";            break;
 582     case EOpSubgroupInclusiveOr:             out.debug << "subgroupInclusiveOr";             break;
 583     case EOpSubgroupInclusiveXor:            out.debug << "subgroupInclusiveXor";            break;
 584     case EOpSubgroupExclusiveAdd:            out.debug << "subgroupExclusiveAdd";            break;
 585     case EOpSubgroupExclusiveMul:            out.debug << "subgroupExclusiveMul";            break;
 586     case EOpSubgroupExclusiveMin:            out.debug << "subgroupExclusiveMin";            break;
 587     case EOpSubgroupExclusiveMax:            out.debug << "subgroupExclusiveMax";            break;
 588     case EOpSubgroupExclusiveAnd:            out.debug << "subgroupExclusiveAnd";            break;
 589     case EOpSubgroupExclusiveOr:             out.debug << "subgroupExclusiveOr";             break;
 590     case EOpSubgroupExclusiveXor:            out.debug << "subgroupExclusiveXor";            break;
 591     case EOpSubgroupClusteredAdd:            out.debug << "subgroupClusteredAdd";            break;
 592     case EOpSubgroupClusteredMul:            out.debug << "subgroupClusteredMul";            break;
 593     case EOpSubgroupClusteredMin:            out.debug << "subgroupClusteredMin";            break;
 594     case EOpSubgroupClusteredMax:            out.debug << "subgroupClusteredMax";            break;
 595     case EOpSubgroupClusteredAnd:            out.debug << "subgroupClusteredAnd";            break;
 596     case EOpSubgroupClusteredOr:             out.debug << "subgroupClusteredOr";             break;
 597     case EOpSubgroupClusteredXor:            out.debug << "subgroupClusteredXor";            break;
 598     case EOpSubgroupQuadBroadcast:           out.debug << "subgroupQuadBroadcast";           break;
 599     case EOpSubgroupQuadSwapHorizontal:      out.debug << "subgroupQuadSwapHorizontal";      break;
 600     case EOpSubgroupQuadSwapVertical:        out.debug << "subgroupQuadSwapVertical";        break;
 601     case EOpSubgroupQuadSwapDiagonal:        out.debug << "subgroupQuadSwapDiagonal";        break;
 602
 603     case EOpSubgroupPartition:                          out.debug << "subgroupPartitionNV";                          break;
 604     case EOpSubgroupPartitionedAdd:                     out.debug << "subgroupPartitionedAddNV";                     break;
 605     case EOpSubgroupPartitionedMul:                     out.debug << "subgroupPartitionedMulNV";                     break;
 606     case EOpSubgroupPartitionedMin:                     out.debug << "subgroupPartitionedMinNV";                     break;
 607     case EOpSubgroupPartitionedMax:                     out.debug << "subgroupPartitionedMaxNV";                     break;
 608     case EOpSubgroupPartitionedAnd:                     out.debug << "subgroupPartitionedAndNV";                     break;
 609     case EOpSubgroupPartitionedOr:                      out.debug << "subgroupPartitionedOrNV";                      break;
 610     case EOpSubgroupPartitionedXor:                     out.debug << "subgroupPartitionedXorNV";                     break;
 611     case EOpSubgroupPartitionedInclusiveAdd:            out.debug << "subgroupPartitionedInclusiveAddNV";            break;
 612     case EOpSubgroupPartitionedInclusiveMul:            out.debug << "subgroupPartitionedInclusiveMulNV";            break;
 613     case EOpSubgroupPartitionedInclusiveMin:            out.debug << "subgroupPartitionedInclusiveMinNV";            break;
 614     case EOpSubgroupPartitionedInclusiveMax:            out.debug << "subgroupPartitionedInclusiveMaxNV";            break;
 615     case EOpSubgroupPartitionedInclusiveAnd:            out.debug << "subgroupPartitionedInclusiveAndNV";            break;
 616     case EOpSubgroupPartitionedInclusiveOr:             out.debug << "subgroupPartitionedInclusiveOrNV";             break;
 617     case EOpSubgroupPartitionedInclusiveXor:            out.debug << "subgroupPartitionedInclusiveXorNV";            break;
 618     case EOpSubgroupPartitionedExclusiveAdd:            out.debug << "subgroupPartitionedExclusiveAddNV";            break;
 619     case EOpSubgroupPartitionedExclusiveMul:            out.debug << "subgroupPartitionedExclusiveMulNV";            break;
 620     case EOpSubgroupPartitionedExclusiveMin:            out.debug << "subgroupPartitionedExclusiveMinNV";            break;
 621     case EOpSubgroupPartitionedExclusiveMax:            out.debug << "subgroupPartitionedExclusiveMaxNV";            break;
 622     case EOpSubgroupPartitionedExclusiveAnd:            out.debug << "subgroupPartitionedExclusiveAndNV";            break;
 623     case EOpSubgroupPartitionedExclusiveOr:             out.debug << "subgroupPartitionedExclusiveOrNV";             break;
 624     case EOpSubgroupPartitionedExclusiveXor:            out.debug << "subgroupPartitionedExclusiveXorNV";            break;
 625
 626     case EOpClip:                   out.debug << "clip";                  break;
 627     case EOpIsFinite:               out.debug << "isfinite";              break;
 628     case EOpLog10:                  out.debug << "log10";                 break;
 629     case EOpRcp:                    out.debug << "rcp";                   break;
 630     case EOpSaturate:               out.debug << "saturate";              break;
 631
 632     case EOpSparseTexelsResident:   out.debug << "sparseTexelsResident";  break;
 633
 634     case EOpMinInvocations:             out.debug << "minInvocations";              break;
 635     case EOpMaxInvocations:             out.debug << "maxInvocations";              break;
 636     case EOpAddInvocations:             out.debug << "addInvocations";              break;
 637     case EOpMinInvocationsNonUniform:   out.debug << "minInvocationsNonUniform";    break;
 638     case EOpMaxInvocationsNonUniform:   out.debug << "maxInvocationsNonUniform";    break;
 639     case EOpAddInvocationsNonUniform:   out.debug << "addInvocationsNonUniform";    break;
 640
 641     case EOpMinInvocationsInclusiveScan:            out.debug << "minInvocationsInclusiveScan";             break;
 642     case EOpMaxInvocationsInclusiveScan:            out.debug << "maxInvocationsInclusiveScan";             break;
 643     case EOpAddInvocationsInclusiveScan:            out.debug << "addInvocationsInclusiveScan";             break;
 644     case EOpMinInvocationsInclusiveScanNonUniform:  out.debug << "minInvocationsInclusiveScanNonUniform";   break;
 645     case EOpMaxInvocationsInclusiveScanNonUniform:  out.debug << "maxInvocationsInclusiveScanNonUniform";   break;
 646     case EOpAddInvocationsInclusiveScanNonUniform:  out.debug << "addInvocationsInclusiveScanNonUniform";   break;
 647
 648     case EOpMinInvocationsExclusiveScan:            out.debug << "minInvocationsExclusiveScan";             break;
 649     case EOpMaxInvocationsExclusiveScan:            out.debug << "maxInvocationsExclusiveScan";             break;
 650     case EOpAddInvocationsExclusiveScan:            out.debug << "addInvocationsExclusiveScan";             break;
 651     case EOpMinInvocationsExclusiveScanNonUniform:  out.debug << "minInvocationsExclusiveScanNonUniform";   break;
 652     case EOpMaxInvocationsExclusiveScanNonUniform:  out.debug << "maxInvocationsExclusiveScanNonUniform";   break;
 653     case EOpAddInvocationsExclusiveScanNonUniform:  out.debug << "addInvocationsExclusiveScanNonUniform";   break;
 654
 655     case EOpMbcnt:                  out.debug << "mbcnt";                       break;
 656
 657     case EOpFragmentMaskFetch:      out.debug << "fragmentMaskFetchAMD";        break;
 658     case EOpFragmentFetch:          out.debug << "fragmentFetchAMD";            break;
 659
 660     case EOpCubeFaceIndex:          out.debug << "cubeFaceIndex";               break;
 661     case EOpCubeFaceCoord:          out.debug << "cubeFaceCoord";               break;
 662
 663     case EOpSubpassLoad:   out.debug << "subpassLoad";   break;
 664     case EOpSubpassLoadMS: out.debug << "subpassLoadMS"; break;
 665
 666     case EOpConstructReference: out.debug << "Construct reference type"; break;
 667
 668     case EOpDeclare: out.debug << "Declare"; break;
 669
 670 #ifndef GLSLANG_WEB
 671     case EOpSpirvInst: out.debug << "spirv_instruction"; break;
 672 #endif
 673
 674     default: out.debug.message(EPrefixError, "Bad unary op");
 675     }
 676
 677     out.debug << " (" << node->getCompleteString() << ")";
 678
 679     out.debug << "\n";
 680
 681     return true;
 682 }
 683
 684 bool TOutputTraverser::visitAggregate(TVisit /* visit */, TIntermAggregate* node)
 685 {
 686     TInfoSink& out = infoSink;
 687
 688     if (node->getOp() == EOpNull) {
 689         out.debug.message(EPrefixError, "node is still EOpNull!");
 690         return true;
 691     }
 692
 693     OutputTreeText(out, node, depth);
 694
 695     switch (node->getOp()) {
 696     case EOpSequence:      out.debug << "Sequence\n";       return true;
 697     case EOpScope:         out.debug << "Scope\n";       return true;
 698     case EOpLinkerObjects: out.debug << "Linker Objects\n"; return true;
 699     case EOpComma:         out.debug << "Comma";            break;
 700     case EOpFunction:      out.debug << "Function Definition: " << node->getName(); break;
 701     case EOpFunctionCall:  out.debug << "Function Call: "       << node->getName(); break;
 702     case EOpParameters:    out.debug << "Function Parameters: ";                    break;
 703
 704     case EOpConstructFloat: out.debug << "Construct float"; break;
 705     case EOpConstructDouble:out.debug << "Construct double"; break;
 706
 707     case EOpConstructVec2:  out.debug << "Construct vec2";  break;
 708     case EOpConstructVec3:  out.debug << "Construct vec3";  break;
 709     case EOpConstructVec4:  out.debug << "Construct vec4";  break;
 710     case EOpConstructDVec2: out.debug << "Construct dvec2";  break;
 711     case EOpConstructDVec3: out.debug << "Construct dvec3";  break;
 712     case EOpConstructDVec4: out.debug << "Construct dvec4";  break;
 713     case EOpConstructBool:  out.debug << "Construct bool";  break;
 714     case EOpConstructBVec2: out.debug << "Construct bvec2"; break;
 715     case EOpConstructBVec3: out.debug << "Construct bvec3"; break;
 716     case EOpConstructBVec4: out.debug << "Construct bvec4"; break;
 717     case EOpConstructInt8:   out.debug << "Construct int8_t";   break;
 718     case EOpConstructI8Vec2: out.debug << "Construct i8vec2"; break;
 719     case EOpConstructI8Vec3: out.debug << "Construct i8vec3"; break;
 720     case EOpConstructI8Vec4: out.debug << "Construct i8vec4"; break;
 721     case EOpConstructInt:   out.debug << "Construct int";   break;
 722     case EOpConstructIVec2: out.debug << "Construct ivec2"; break;
 723     case EOpConstructIVec3: out.debug << "Construct ivec3"; break;
 724     case EOpConstructIVec4: out.debug << "Construct ivec4"; break;
 725     case EOpConstructUint8:    out.debug << "Construct uint8_t";    break;
 726     case EOpConstructU8Vec2:   out.debug << "Construct u8vec2";   break;
 727     case EOpConstructU8Vec3:   out.debug << "Construct u8vec3";   break;
 728     case EOpConstructU8Vec4:   out.debug << "Construct u8vec4";   break;
 729     case EOpConstructUint:    out.debug << "Construct uint";    break;
 730     case EOpConstructUVec2:   out.debug << "Construct uvec2";   break;
 731     case EOpConstructUVec3:   out.debug << "Construct uvec3";   break;
 732     case EOpConstructUVec4:   out.debug << "Construct uvec4";   break;
 733     case EOpConstructInt64:   out.debug << "Construct int64"; break;
 734     case EOpConstructI64Vec2: out.debug << "Construct i64vec2"; break;
 735     case EOpConstructI64Vec3: out.debug << "Construct i64vec3"; break;
 736     case EOpConstructI64Vec4: out.debug << "Construct i64vec4"; break;
 737     case EOpConstructUint64:  out.debug << "Construct uint64"; break;
 738     case EOpConstructU64Vec2: out.debug << "Construct u64vec2"; break;
 739     case EOpConstructU64Vec3: out.debug << "Construct u64vec3"; break;
 740     case EOpConstructU64Vec4: out.debug << "Construct u64vec4"; break;
 741     case EOpConstructInt16:   out.debug << "Construct int16_t"; break;
 742     case EOpConstructI16Vec2: out.debug << "Construct i16vec2"; break;
 743     case EOpConstructI16Vec3: out.debug << "Construct i16vec3"; break;
 744     case EOpConstructI16Vec4: out.debug << "Construct i16vec4"; break;
 745     case EOpConstructUint16:  out.debug << "Construct uint16_t"; break;
 746     case EOpConstructU16Vec2: out.debug << "Construct u16vec2"; break;
 747     case EOpConstructU16Vec3: out.debug << "Construct u16vec3"; break;
 748     case EOpConstructU16Vec4: out.debug << "Construct u16vec4"; break;
 749     case EOpConstructMat2x2:  out.debug << "Construct mat2";    break;
 750     case EOpConstructMat2x3:  out.debug << "Construct mat2x3";  break;
 751     case EOpConstructMat2x4:  out.debug << "Construct mat2x4";  break;
 752     case EOpConstructMat3x2:  out.debug << "Construct mat3x2";  break;
 753     case EOpConstructMat3x3:  out.debug << "Construct mat3";    break;
 754     case EOpConstructMat3x4:  out.debug << "Construct mat3x4";  break;
 755     case EOpConstructMat4x2:  out.debug << "Construct mat4x2";  break;
 756     case EOpConstructMat4x3:  out.debug << "Construct mat4x3";  break;
 757     case EOpConstructMat4x4:  out.debug << "Construct mat4";    break;
 758     case EOpConstructDMat2x2: out.debug << "Construct dmat2";   break;
 759     case EOpConstructDMat2x3: out.debug << "Construct dmat2x3"; break;
 760     case EOpConstructDMat2x4: out.debug << "Construct dmat2x4"; break;
 761     case EOpConstructDMat3x2: out.debug << "Construct dmat3x2"; break;
 762     case EOpConstructDMat3x3: out.debug << "Construct dmat3";   break;
 763     case EOpConstructDMat3x4: out.debug << "Construct dmat3x4"; break;
 764     case EOpConstructDMat4x2: out.debug << "Construct dmat4x2"; break;
 765     case EOpConstructDMat4x3: out.debug << "Construct dmat4x3"; break;
 766     case EOpConstructDMat4x4: out.debug << "Construct dmat4";   break;
 767     case EOpConstructIMat2x2: out.debug << "Construct imat2";   break;
 768     case EOpConstructIMat2x3: out.debug << "Construct imat2x3"; break;
 769     case EOpConstructIMat2x4: out.debug << "Construct imat2x4"; break;
 770     case EOpConstructIMat3x2: out.debug << "Construct imat3x2"; break;
 771     case EOpConstructIMat3x3: out.debug << "Construct imat3";   break;
 772     case EOpConstructIMat3x4: out.debug << "Construct imat3x4"; break;
 773     case EOpConstructIMat4x2: out.debug << "Construct imat4x2"; break;
 774     case EOpConstructIMat4x3: out.debug << "Construct imat4x3"; break;
 775     case EOpConstructIMat4x4: out.debug << "Construct imat4";   break;
 776     case EOpConstructUMat2x2: out.debug << "Construct umat2";   break;
 777     case EOpConstructUMat2x3: out.debug << "Construct umat2x3"; break;
 778     case EOpConstructUMat2x4: out.debug << "Construct umat2x4"; break;
 779     case EOpConstructUMat3x2: out.debug << "Construct umat3x2"; break;
 780     case EOpConstructUMat3x3: out.debug << "Construct umat3";   break;
 781     case EOpConstructUMat3x4: out.debug << "Construct umat3x4"; break;
 782     case EOpConstructUMat4x2: out.debug << "Construct umat4x2"; break;
 783     case EOpConstructUMat4x3: out.debug << "Construct umat4x3"; break;
 784     case EOpConstructUMat4x4: out.debug << "Construct umat4";   break;
 785     case EOpConstructBMat2x2: out.debug << "Construct bmat2";   break;
 786     case EOpConstructBMat2x3: out.debug << "Construct bmat2x3"; break;
 787     case EOpConstructBMat2x4: out.debug << "Construct bmat2x4"; break;
 788     case EOpConstructBMat3x2: out.debug << "Construct bmat3x2"; break;
 789     case EOpConstructBMat3x3: out.debug << "Construct bmat3";   break;
 790     case EOpConstructBMat3x4: out.debug << "Construct bmat3x4"; break;
 791     case EOpConstructBMat4x2: out.debug << "Construct bmat4x2"; break;
 792     case EOpConstructBMat4x3: out.debug << "Construct bmat4x3"; break;
 793     case EOpConstructBMat4x4: out.debug << "Construct bmat4";   break;
 794     case EOpConstructFloat16:   out.debug << "Construct float16_t"; break;
 795     case EOpConstructF16Vec2:   out.debug << "Construct f16vec2";   break;
 796     case EOpConstructF16Vec3:   out.debug << "Construct f16vec3";   break;
 797     case EOpConstructF16Vec4:   out.debug << "Construct f16vec4";   break;
 798     case EOpConstructF16Mat2x2: out.debug << "Construct f16mat2";   break;
 799     case EOpConstructF16Mat2x3: out.debug << "Construct f16mat2x3"; break;
 800     case EOpConstructF16Mat2x4: out.debug << "Construct f16mat2x4"; break;
 801     case EOpConstructF16Mat3x2: out.debug << "Construct f16mat3x2"; break;
 802     case EOpConstructF16Mat3x3: out.debug << "Construct f16mat3";   break;
 803     case EOpConstructF16Mat3x4: out.debug << "Construct f16mat3x4"; break;
 804     case EOpConstructF16Mat4x2: out.debug << "Construct f16mat4x2"; break;
 805     case EOpConstructF16Mat4x3: out.debug << "Construct f16mat4x3"; break;
 806     case EOpConstructF16Mat4x4: out.debug << "Construct f16mat4";   break;
 807     case EOpConstructStruct:  out.debug << "Construct structure";  break;
 808     case EOpConstructTextureSampler: out.debug << "Construct combined texture-sampler"; break;
 809     case EOpConstructReference:  out.debug << "Construct reference";  break;
 810     case EOpConstructCooperativeMatrix:  out.debug << "Construct cooperative matrix";  break;
 811     case EOpConstructAccStruct: out.debug << "Construct acceleration structure"; break;
 812
 813     case EOpLessThan:         out.debug << "Compare Less Than";             break;
 814     case EOpGreaterThan:      out.debug << "Compare Greater Than";          break;
 815     case EOpLessThanEqual:    out.debug << "Compare Less Than or Equal";    break;
 816     case EOpGreaterThanEqual: out.debug << "Compare Greater Than or Equal"; break;
 817     case EOpVectorEqual:      out.debug << "Equal";                         break;
 818     case EOpVectorNotEqual:   out.debug << "NotEqual";                      break;
 819
 820     case EOpMod:           out.debug << "mod";         break;
 821     case EOpModf:          out.debug << "modf";        break;
 822     case EOpPow:           out.debug << "pow";         break;
 823
 824     case EOpAtan:          out.debug << "arc tangent"; break;
 825
 826     case EOpMin:           out.debug << "min";         break;
 827     case EOpMax:           out.debug << "max";         break;
 828     case EOpClamp:         out.debug << "clamp";       break;
 829     case EOpMix:           out.debug << "mix";         break;
 830     case EOpStep:          out.debug << "step";        break;
 831     case EOpSmoothStep:    out.debug << "smoothstep";  break;
 832
 833     case EOpDistance:      out.debug << "distance";                break;
 834     case EOpDot:           out.debug << "dot-product";             break;
 835     case EOpCross:         out.debug << "cross-product";           break;
 836     case EOpFaceForward:   out.debug << "face-forward";            break;
 837     case EOpReflect:       out.debug << "reflect";                 break;
 838     case EOpRefract:       out.debug << "refract";                 break;
 839     case EOpMul:           out.debug << "component-wise multiply"; break;
 840     case EOpOuterProduct:  out.debug << "outer product";           break;
 841
 842     case EOpEmitVertex:    out.debug << "EmitVertex";              break;
 843     case EOpEndPrimitive:  out.debug << "EndPrimitive";            break;
 844
 845     case EOpBarrier:                    out.debug << "Barrier";                    break;
 846     case EOpMemoryBarrier:              out.debug << "MemoryBarrier";              break;
 847     case EOpMemoryBarrierAtomicCounter: out.debug << "MemoryBarrierAtomicCounter"; break;
 848     case EOpMemoryBarrierBuffer:        out.debug << "MemoryBarrierBuffer";        break;
 849     case EOpMemoryBarrierImage:         out.debug << "MemoryBarrierImage";         break;
 850     case EOpMemoryBarrierShared:        out.debug << "MemoryBarrierShared";        break;
 851     case EOpGroupMemoryBarrier:         out.debug << "GroupMemoryBarrier";         break;
 852
 853     case EOpReadInvocation:             out.debug << "readInvocation";        break;
 854
 855     case EOpSwizzleInvocations:         out.debug << "swizzleInvocations";       break;
 856     case EOpSwizzleInvocationsMasked:   out.debug << "swizzleInvocationsMasked"; break;
 857     case EOpWriteInvocation:            out.debug << "writeInvocation";          break;
 858
 859     case EOpMin3:                       out.debug << "min3";                  break;
 860     case EOpMax3:                       out.debug << "max3";                  break;
 861     case EOpMid3:                       out.debug << "mid3";                  break;
 862     case EOpTime:                       out.debug << "time";                  break;
 863
 864     case EOpAtomicAdd:                  out.debug << "AtomicAdd";             break;
 865     case EOpAtomicSubtract:             out.debug << "AtomicSubtract";        break;
 866     case EOpAtomicMin:                  out.debug << "AtomicMin";             break;
 867     case EOpAtomicMax:                  out.debug << "AtomicMax";             break;
 868     case EOpAtomicAnd:                  out.debug << "AtomicAnd";             break;
 869     case EOpAtomicOr:                   out.debug << "AtomicOr";              break;
 870     case EOpAtomicXor:                  out.debug << "AtomicXor";             break;
 871     case EOpAtomicExchange:             out.debug << "AtomicExchange";        break;
 872     case EOpAtomicCompSwap:             out.debug << "AtomicCompSwap";        break;
 873     case EOpAtomicLoad:                 out.debug << "AtomicLoad";            break;
 874     case EOpAtomicStore:                out.debug << "AtomicStore";           break;
 875
 876     case EOpAtomicCounterAdd:           out.debug << "AtomicCounterAdd";      break;
 877     case EOpAtomicCounterSubtract:      out.debug << "AtomicCounterSubtract"; break;
 878     case EOpAtomicCounterMin:           out.debug << "AtomicCounterMin";      break;
 879     case EOpAtomicCounterMax:           out.debug << "AtomicCounterMax";      break;
 880     case EOpAtomicCounterAnd:           out.debug << "AtomicCounterAnd";      break;
 881     case EOpAtomicCounterOr:            out.debug << "AtomicCounterOr";       break;
 882     case EOpAtomicCounterXor:           out.debug << "AtomicCounterXor";      break;
 883     case EOpAtomicCounterExchange:      out.debug << "AtomicCounterExchange"; break;
 884     case EOpAtomicCounterCompSwap:      out.debug << "AtomicCounterCompSwap"; break;
 885
 886     case EOpImageQuerySize:             out.debug << "imageQuerySize";        break;
 887     case EOpImageQuerySamples:          out.debug << "imageQuerySamples";     break;
 888     case EOpImageLoad:                  out.debug << "imageLoad";             break;
 889     case EOpImageStore:                 out.debug << "imageStore";            break;
 890     case EOpImageAtomicAdd:             out.debug << "imageAtomicAdd";        break;
 891     case EOpImageAtomicMin:             out.debug << "imageAtomicMin";        break;
 892     case EOpImageAtomicMax:             out.debug << "imageAtomicMax";        break;
 893     case EOpImageAtomicAnd:             out.debug << "imageAtomicAnd";        break;
 894     case EOpImageAtomicOr:              out.debug << "imageAtomicOr";         break;
 895     case EOpImageAtomicXor:             out.debug << "imageAtomicXor";        break;
 896     case EOpImageAtomicExchange:        out.debug << "imageAtomicExchange";   break;
 897     case EOpImageAtomicCompSwap:        out.debug << "imageAtomicCompSwap";   break;
 898     case EOpImageAtomicLoad:            out.debug << "imageAtomicLoad";       break;
 899     case EOpImageAtomicStore:           out.debug << "imageAtomicStore";      break;
 900     case EOpImageLoadLod:               out.debug << "imageLoadLod";          break;
 901     case EOpImageStoreLod:              out.debug << "imageStoreLod";         break;
 902
 903     case EOpTextureQuerySize:           out.debug << "textureSize";           break;
 904     case EOpTextureQueryLod:            out.debug << "textureQueryLod";       break;
 905     case EOpTextureQueryLevels:         out.debug << "textureQueryLevels";    break;
 906     case EOpTextureQuerySamples:        out.debug << "textureSamples";        break;
 907     case EOpTexture:                    out.debug << "texture";               break;
 908     case EOpTextureProj:                out.debug << "textureProj";           break;
 909     case EOpTextureLod:                 out.debug << "textureLod";            break;
 910     case EOpTextureOffset:              out.debug << "textureOffset";         break;
 911     case EOpTextureFetch:               out.debug << "textureFetch";          break;
 912     case EOpTextureFetchOffset:         out.debug << "textureFetchOffset";    break;
 913     case EOpTextureProjOffset:          out.debug << "textureProjOffset";     break;
 914     case EOpTextureLodOffset:           out.debug << "textureLodOffset";      break;
 915     case EOpTextureProjLod:             out.debug << "textureProjLod";        break;
 916     case EOpTextureProjLodOffset:       out.debug << "textureProjLodOffset";  break;
 917     case EOpTextureGrad:                out.debug << "textureGrad";           break;
 918     case EOpTextureGradOffset:          out.debug << "textureGradOffset";     break;
 919     case EOpTextureProjGrad:            out.debug << "textureProjGrad";       break;
 920     case EOpTextureProjGradOffset:      out.debug << "textureProjGradOffset"; break;
 921     case EOpTextureGather:              out.debug << "textureGather";         break;
 922     case EOpTextureGatherOffset:        out.debug << "textureGatherOffset";   break;
 923     case EOpTextureGatherOffsets:       out.debug << "textureGatherOffsets";  break;
 924     case EOpTextureClamp:               out.debug << "textureClamp";          break;
 925     case EOpTextureOffsetClamp:         out.debug << "textureOffsetClamp";    break;
 926     case EOpTextureGradClamp:           out.debug << "textureGradClamp";      break;
 927     case EOpTextureGradOffsetClamp:     out.debug << "textureGradOffsetClamp";  break;
 928     case EOpTextureGatherLod:           out.debug << "textureGatherLod";        break;
 929     case EOpTextureGatherLodOffset:     out.debug << "textureGatherLodOffset";  break;
 930     case EOpTextureGatherLodOffsets:    out.debug << "textureGatherLodOffsets"; break;
 931
 932     case EOpSparseTexture:                  out.debug << "sparseTexture";                   break;
 933     case EOpSparseTextureOffset:            out.debug << "sparseTextureOffset";             break;
 934     case EOpSparseTextureLod:               out.debug << "sparseTextureLod";                break;
 935     case EOpSparseTextureLodOffset:         out.debug << "sparseTextureLodOffset";          break;
 936     case EOpSparseTextureFetch:             out.debug << "sparseTexelFetch";                break;
 937     case EOpSparseTextureFetchOffset:       out.debug << "sparseTexelFetchOffset";          break;
 938     case EOpSparseTextureGrad:              out.debug << "sparseTextureGrad";               break;
 939     case EOpSparseTextureGradOffset:        out.debug << "sparseTextureGradOffset";         break;
 940     case EOpSparseTextureGather:            out.debug << "sparseTextureGather";             break;
 941     case EOpSparseTextureGatherOffset:      out.debug << "sparseTextureGatherOffset";       break;
 942     case EOpSparseTextureGatherOffsets:     out.debug << "sparseTextureGatherOffsets";      break;
 943     case EOpSparseImageLoad:                out.debug << "sparseImageLoad";                 break;
 944     case EOpSparseTextureClamp:             out.debug << "sparseTextureClamp";              break;
 945     case EOpSparseTextureOffsetClamp:       out.debug << "sparseTextureOffsetClamp";        break;
 946     case EOpSparseTextureGradClamp:         out.debug << "sparseTextureGradClamp";          break;
 947     case EOpSparseTextureGradOffsetClamp:   out.debug << "sparseTextureGradOffsetClam";     break;
 948     case EOpSparseTextureGatherLod:         out.debug << "sparseTextureGatherLod";          break;
 949     case EOpSparseTextureGatherLodOffset:   out.debug << "sparseTextureGatherLodOffset";    break;
 950     case EOpSparseTextureGatherLodOffsets:  out.debug << "sparseTextureGatherLodOffsets";   break;
 951     case EOpSparseImageLoadLod:             out.debug << "sparseImageLoadLod";              break;
 952     case EOpImageSampleFootprintNV:             out.debug << "imageSampleFootprintNV";          break;
 953     case EOpImageSampleFootprintClampNV:        out.debug << "imageSampleFootprintClampNV";     break;
 954     case EOpImageSampleFootprintLodNV:          out.debug << "imageSampleFootprintLodNV";       break;
 955     case EOpImageSampleFootprintGradNV:         out.debug << "imageSampleFootprintGradNV";      break;
 956     case EOpImageSampleFootprintGradClampNV:    out.debug << "mageSampleFootprintGradClampNV";  break;
 957     case EOpAddCarry:                   out.debug << "addCarry";              break;
 958     case EOpSubBorrow:                  out.debug << "subBorrow";             break;
 959     case EOpUMulExtended:               out.debug << "uMulExtended";          break;
 960     case EOpIMulExtended:               out.debug << "iMulExtended";          break;
 961     case EOpBitfieldExtract:            out.debug << "bitfieldExtract";       break;
 962     case EOpBitfieldInsert:             out.debug << "bitfieldInsert";        break;
 963
 964     case EOpFma:                        out.debug << "fma";                   break;
 965     case EOpFrexp:                      out.debug << "frexp";                 break;
 966     case EOpLdexp:                      out.debug << "ldexp";                 break;
 967
 968     case EOpInterpolateAtSample:   out.debug << "interpolateAtSample";    break;
 969     case EOpInterpolateAtOffset:   out.debug << "interpolateAtOffset";    break;
 970     case EOpInterpolateAtVertex:   out.debug << "interpolateAtVertex";    break;
 971
 972     case EOpSinCos:                     out.debug << "sincos";                break;
 973     case EOpGenMul:                     out.debug << "mul";                   break;
 974
 975     case EOpAllMemoryBarrierWithGroupSync:    out.debug << "AllMemoryBarrierWithGroupSync";    break;
 976     case EOpDeviceMemoryBarrier:              out.debug << "DeviceMemoryBarrier";              break;
 977     case EOpDeviceMemoryBarrierWithGroupSync: out.debug << "DeviceMemoryBarrierWithGroupSync"; break;
 978     case EOpWorkgroupMemoryBarrier:           out.debug << "WorkgroupMemoryBarrier";           break;
 979     case EOpWorkgroupMemoryBarrierWithGroupSync: out.debug << "WorkgroupMemoryBarrierWithGroupSync"; break;
 980
 981     case EOpSubgroupBarrier:                 out.debug << "subgroupBarrier"; break;
 982     case EOpSubgroupMemoryBarrier:           out.debug << "subgroupMemoryBarrier"; break;
 983     case EOpSubgroupMemoryBarrierBuffer:     out.debug << "subgroupMemoryBarrierBuffer"; break;
 984     case EOpSubgroupMemoryBarrierImage:      out.debug << "subgroupMemoryBarrierImage";   break;
 985     case EOpSubgroupMemoryBarrierShared:     out.debug << "subgroupMemoryBarrierShared"; break;
 986     case EOpSubgroupElect:                   out.debug << "subgroupElect"; break;
 987     case EOpSubgroupAll:                     out.debug << "subgroupAll"; break;
 988     case EOpSubgroupAny:                     out.debug << "subgroupAny"; break;
 989     case EOpSubgroupAllEqual:                out.debug << "subgroupAllEqual"; break;
 990     case EOpSubgroupBroadcast:               out.debug << "subgroupBroadcast"; break;
 991     case EOpSubgroupBroadcastFirst:          out.debug << "subgroupBroadcastFirst"; break;
 992     case EOpSubgroupBallot:                  out.debug << "subgroupBallot"; break;
 993     case EOpSubgroupInverseBallot:           out.debug << "subgroupInverseBallot"; break;
 994     case EOpSubgroupBallotBitExtract:        out.debug << "subgroupBallotBitExtract"; break;
 995     case EOpSubgroupBallotBitCount:          out.debug << "subgroupBallotBitCount"; break;
 996     case EOpSubgroupBallotInclusiveBitCount: out.debug << "subgroupBallotInclusiveBitCount"; break;
 997     case EOpSubgroupBallotExclusiveBitCount: out.debug << "subgroupBallotExclusiveBitCount"; break;
 998     case EOpSubgroupBallotFindLSB:           out.debug << "subgroupBallotFindLSB"; break;
 999     case EOpSubgroupBallotFindMSB:           out.debug << "subgroupBallotFindMSB"; break;
1000     case EOpSubgroupShuffle:                 out.debug << "subgroupShuffle"; break;
1001     case EOpSubgroupShuffleXor:              out.debug << "subgroupShuffleXor"; break;
1002     case EOpSubgroupShuffleUp:               out.debug << "subgroupShuffleUp"; break;
1003     case EOpSubgroupShuffleDown:             out.debug << "subgroupShuffleDown"; break;
1004     case EOpSubgroupAdd:                     out.debug << "subgroupAdd"; break;
1005     case EOpSubgroupMul:                     out.debug << "subgroupMul"; break;
1006     case EOpSubgroupMin:                     out.debug << "subgroupMin"; break;
1007     case EOpSubgroupMax:                     out.debug << "subgroupMax"; break;
1008     case EOpSubgroupAnd:                     out.debug << "subgroupAnd"; break;
1009     case EOpSubgroupOr:                      out.debug << "subgroupOr"; break;
1010     case EOpSubgroupXor:                     out.debug << "subgroupXor"; break;
1011     case EOpSubgroupInclusiveAdd:            out.debug << "subgroupInclusiveAdd"; break;
1012     case EOpSubgroupInclusiveMul:            out.debug << "subgroupInclusiveMul"; break;
1013     case EOpSubgroupInclusiveMin:            out.debug << "subgroupInclusiveMin"; break;
1014     case EOpSubgroupInclusiveMax:            out.debug << "subgroupInclusiveMax"; break;
1015     case EOpSubgroupInclusiveAnd:            out.debug << "subgroupInclusiveAnd"; break;
1016     case EOpSubgroupInclusiveOr:             out.debug << "subgroupInclusiveOr"; break;
1017     case EOpSubgroupInclusiveXor:            out.debug << "subgroupInclusiveXor"; break;
1018     case EOpSubgroupExclusiveAdd:            out.debug << "subgroupExclusiveAdd"; break;
1019     case EOpSubgroupExclusiveMul:            out.debug << "subgroupExclusiveMul"; break;
1020     case EOpSubgroupExclusiveMin:            out.debug << "subgroupExclusiveMin"; break;
1021     case EOpSubgroupExclusiveMax:            out.debug << "subgroupExclusiveMax"; break;
1022     case EOpSubgroupExclusiveAnd:            out.debug << "subgroupExclusiveAnd"; break;
1023     case EOpSubgroupExclusiveOr:             out.debug << "subgroupExclusiveOr"; break;
1024     case EOpSubgroupExclusiveXor:            out.debug << "subgroupExclusiveXor"; break;
1025     case EOpSubgroupClusteredAdd:            out.debug << "subgroupClusteredAdd"; break;
1026     case EOpSubgroupClusteredMul:            out.debug << "subgroupClusteredMul"; break;
1027     case EOpSubgroupClusteredMin:            out.debug << "subgroupClusteredMin"; break;
1028     case EOpSubgroupClusteredMax:            out.debug << "subgroupClusteredMax"; break;
1029     case EOpSubgroupClusteredAnd:            out.debug << "subgroupClusteredAnd"; break;
1030     case EOpSubgroupClusteredOr:             out.debug << "subgroupClusteredOr"; break;
1031     case EOpSubgroupClusteredXor:            out.debug << "subgroupClusteredXor"; break;
1032     case EOpSubgroupQuadBroadcast:           out.debug << "subgroupQuadBroadcast"; break;
1033     case EOpSubgroupQuadSwapHorizontal:      out.debug << "subgroupQuadSwapHorizontal"; break;
1034     case EOpSubgroupQuadSwapVertical:        out.debug << "subgroupQuadSwapVertical"; break;
1035     case EOpSubgroupQuadSwapDiagonal:        out.debug << "subgroupQuadSwapDiagonal"; break;
1036
1037     case EOpSubgroupPartition:                          out.debug << "subgroupPartitionNV";                          break;
1038     case EOpSubgroupPartitionedAdd:                     out.debug << "subgroupPartitionedAddNV";                     break;
1039     case EOpSubgroupPartitionedMul:                     out.debug << "subgroupPartitionedMulNV";                     break;
1040     case EOpSubgroupPartitionedMin:                     out.debug << "subgroupPartitionedMinNV";                     break;
1041     case EOpSubgroupPartitionedMax:                     out.debug << "subgroupPartitionedMaxNV";                     break;
1042     case EOpSubgroupPartitionedAnd:                     out.debug << "subgroupPartitionedAndNV";                     break;
1043     case EOpSubgroupPartitionedOr:                      out.debug << "subgroupPartitionedOrNV";                      break;
1044     case EOpSubgroupPartitionedXor:                     out.debug << "subgroupPartitionedXorNV";                     break;
1045     case EOpSubgroupPartitionedInclusiveAdd:            out.debug << "subgroupPartitionedInclusiveAddNV";            break;
1046     case EOpSubgroupPartitionedInclusiveMul:            out.debug << "subgroupPartitionedInclusiveMulNV";            break;
1047     case EOpSubgroupPartitionedInclusiveMin:            out.debug << "subgroupPartitionedInclusiveMinNV";            break;
1048     case EOpSubgroupPartitionedInclusiveMax:            out.debug << "subgroupPartitionedInclusiveMaxNV";            break;
1049     case EOpSubgroupPartitionedInclusiveAnd:            out.debug << "subgroupPartitionedInclusiveAndNV";            break;
1050     case EOpSubgroupPartitionedInclusiveOr:             out.debug << "subgroupPartitionedInclusiveOrNV";             break;
1051     case EOpSubgroupPartitionedInclusiveXor:            out.debug << "subgroupPartitionedInclusiveXorNV";            break;
1052     case EOpSubgroupPartitionedExclusiveAdd:            out.debug << "subgroupPartitionedExclusiveAddNV";            break;
1053     case EOpSubgroupPartitionedExclusiveMul:            out.debug << "subgroupPartitionedExclusiveMulNV";            break;
1054     case EOpSubgroupPartitionedExclusiveMin:            out.debug << "subgroupPartitionedExclusiveMinNV";            break;
1055     case EOpSubgroupPartitionedExclusiveMax:            out.debug << "subgroupPartitionedExclusiveMaxNV";            break;
1056     case EOpSubgroupPartitionedExclusiveAnd:            out.debug << "subgroupPartitionedExclusiveAndNV";            break;
1057     case EOpSubgroupPartitionedExclusiveOr:             out.debug << "subgroupPartitionedExclusiveOrNV";             break;
1058     case EOpSubgroupPartitionedExclusiveXor:            out.debug << "subgroupPartitionedExclusiveXorNV";            break;
1059
1060     case EOpSubpassLoad:   out.debug << "subpassLoad";   break;
1061     case EOpSubpassLoadMS: out.debug << "subpassLoadMS"; break;
1062
1063     case EOpTraceNV:                          out.debug << "traceNV"; break;
1064     case EOpTraceRayMotionNV:                 out.debug << "traceRayMotionNV"; break;
1065     case EOpTraceKHR:                         out.debug << "traceRayKHR"; break;
1066     case EOpReportIntersection:               out.debug << "reportIntersectionNV"; break;
1067     case EOpIgnoreIntersectionNV:             out.debug << "ignoreIntersectionNV"; break;
1068     case EOpIgnoreIntersectionKHR:            out.debug << "ignoreIntersectionKHR"; break;
1069     case EOpTerminateRayNV:                   out.debug << "terminateRayNV"; break;
1070     case EOpTerminateRayKHR:                  out.debug << "terminateRayKHR"; break;
1071     case EOpExecuteCallableNV:                out.debug << "executeCallableNV"; break;
1072     case EOpExecuteCallableKHR:               out.debug << "executeCallableKHR"; break;
1073     case EOpWritePackedPrimitiveIndices4x8NV: out.debug << "writePackedPrimitiveIndices4x8NV"; break;
1074     case EOpEmitMeshTasksEXT:                 out.debug << "EmitMeshTasksEXT"; break;
1075     case EOpSetMeshOutputsEXT:                out.debug << "SetMeshOutputsEXT"; break;
1076
1077     case EOpRayQueryInitialize:                                            out.debug << "rayQueryInitializeEXT"; break;
1078     case EOpRayQueryTerminate:                                             out.debug << "rayQueryTerminateEXT"; break;
1079     case EOpRayQueryGenerateIntersection:                                  out.debug << "rayQueryGenerateIntersectionEXT"; break;
1080     case EOpRayQueryConfirmIntersection:                                   out.debug << "rayQueryConfirmIntersectionEXT"; break;
1081     case EOpRayQueryProceed:                                               out.debug << "rayQueryProceedEXT"; break;
1082     case EOpRayQueryGetIntersectionType:                                   out.debug << "rayQueryGetIntersectionTypeEXT"; break;
1083     case EOpRayQueryGetRayTMin:                                            out.debug << "rayQueryGetRayTMinEXT"; break;
1084     case EOpRayQueryGetRayFlags:                                           out.debug << "rayQueryGetRayFlagsEXT"; break;
1085     case EOpRayQueryGetIntersectionT:                                      out.debug << "rayQueryGetIntersectionTEXT"; break;
1086     case EOpRayQueryGetIntersectionInstanceCustomIndex:                    out.debug << "rayQueryGetIntersectionInstanceCustomIndexEXT"; break;
1087     case EOpRayQueryGetIntersectionInstanceId:                             out.debug << "rayQueryGetIntersectionInstanceIdEXT"; break;
1088     case EOpRayQueryGetIntersectionInstanceShaderBindingTableRecordOffset: out.debug << "rayQueryGetIntersectionInstanceShaderBindingTableRecordOffsetEXT"; break;
1089     case EOpRayQueryGetIntersectionGeometryIndex:                          out.debug << "rayQueryGetIntersectionGeometryIndexEXT"; break;
1090     case EOpRayQueryGetIntersectionPrimitiveIndex:                         out.debug << "rayQueryGetIntersectionPrimitiveIndexEXT"; break;
1091     case EOpRayQueryGetIntersectionBarycentrics:                           out.debug << "rayQueryGetIntersectionBarycentricsEXT"; break;
1092     case EOpRayQueryGetIntersectionFrontFace:                              out.debug << "rayQueryGetIntersectionFrontFaceEXT"; break;
1093     case EOpRayQueryGetIntersectionCandidateAABBOpaque:                    out.debug << "rayQueryGetIntersectionCandidateAABBOpaqueEXT"; break;
1094     case EOpRayQueryGetIntersectionObjectRayDirection:                     out.debug << "rayQueryGetIntersectionObjectRayDirectionEXT"; break;
1095     case EOpRayQueryGetIntersectionObjectRayOrigin:                        out.debug << "rayQueryGetIntersectionObjectRayOriginEXT"; break;
1096     case EOpRayQueryGetWorldRayDirection:                                  out.debug << "rayQueryGetWorldRayDirectionEXT"; break;
1097     case EOpRayQueryGetWorldRayOrigin:                                     out.debug << "rayQueryGetWorldRayOriginEXT"; break;
1098     case EOpRayQueryGetIntersectionObjectToWorld:                          out.debug << "rayQueryGetIntersectionObjectToWorldEXT"; break;
1099     case EOpRayQueryGetIntersectionWorldToObject:                          out.debug << "rayQueryGetIntersectionWorldToObjectEXT"; break;
1100
1101     case EOpCooperativeMatrixLoad:  out.debug << "Load cooperative matrix";  break;
1102     case EOpCooperativeMatrixStore:  out.debug << "Store cooperative matrix";  break;
1103     case EOpCooperativeMatrixMulAdd: out.debug << "MulAdd cooperative matrices"; break;
1104
1105     case EOpIsHelperInvocation: out.debug << "IsHelperInvocation"; break;
1106     case EOpDebugPrintf:  out.debug << "Debug printf";  break;
1107
1108 #ifndef GLSLANG_WEB
1109     case EOpSpirvInst: out.debug << "spirv_instruction"; break;
1110 #endif
1111
1112     default: out.debug.message(EPrefixError, "Bad aggregation op");
1113     }
1114
1115     if (node->getOp() != EOpSequence && node->getOp() != EOpScope && node->getOp() != EOpParameters)
1116         out.debug << " (" << node->getCompleteString() << ")";
1117
1118     out.debug << "\n";
1119
1120     return true;
1121 }
1122
1123 bool TOutputTraverser::visitSelection(TVisit /* visit */, TIntermSelection* node)
1124 {
1125     TInfoSink& out = infoSink;
1126
1127     OutputTreeText(out, node, depth);
1128
1129     out.debug << "Test condition and select";
1130     out.debug << " (" << node->getCompleteString() << ")";
1131
1132     if (node->getShortCircuit() == false)
1133         out.debug << ": no shortcircuit";
1134     if (node->getFlatten())
1135         out.debug << ": Flatten";
1136     if (node->getDontFlatten())
1137         out.debug << ": DontFlatten";
1138     out.debug << "\n";
1139
1140     ++depth;
1141
1142     OutputTreeText(out, node, depth);
1143     out.debug << "Condition\n";
1144     node->getCondition()->traverse(this);
1145
1146     OutputTreeText(out, node, depth);
1147     if (node->getTrueBlock()) {
1148         out.debug << "true case\n";
1149         node->getTrueBlock()->traverse(this);
1150     } else
1151         out.debug << "true case is null\n";
1152
1153     if (node->getFalseBlock()) {
1154         OutputTreeText(out, node, depth);
1155         out.debug << "false case\n";
1156         node->getFalseBlock()->traverse(this);
1157     }
1158
1159     --depth;
1160
1161     return false;
1162 }
1163
1164 // Print infinities and NaNs, and numbers in a portable way.
1165 // Goals:
1166 //   - portable (across IEEE 754 platforms)
1167 //   - shows all possible IEEE values
1168 //   - shows simple numbers in a simple way, e.g., no leading/trailing 0s
1169 //   - shows all digits, no premature rounding
1170 static void OutputDouble(TInfoSink& out, double value, TOutputTraverser::EExtraOutput extra)
1171 {
1172     if (IsInfinity(value)) {
1173         if (value < 0)
1174             out.debug << "-1.#INF";
1175         else
1176             out.debug << "+1.#INF";
1177     } else if (IsNan(value))
1178         out.debug << "1.#IND";
1179     else {
1180         const int maxSize = 340;
1181         char buf[maxSize];
1182         const char* format = "%f";
1183         if (fabs(value) > 0.0 && (fabs(value) < 1e-5 || fabs(value) > 1e12))
1184             format = "%-.13e";
1185         int len = snprintf(buf, maxSize, format, value);
1186         assert(len < maxSize);
1187
1188         // remove a leading zero in the 100s slot in exponent; it is not portable
1189         // pattern:   XX...XXXe+0XX or XX...XXXe-0XX
1190         if (len > 5) {
1191             if (buf[len-5] == 'e' && (buf[len-4] == '+' || buf[len-4] == '-') && buf[len-3] == '0') {
1192                 buf[len-3] = buf[len-2];
1193                 buf[len-2] = buf[len-1];
1194                 buf[len-1] = '\0';
1195             }
1196         }
1197
1198         out.debug << buf;
1199
1200         switch (extra) {
1201         case TOutputTraverser::BinaryDoubleOutput:
1202         {
1203             uint64_t b;
1204             static_assert(sizeof(b) == sizeof(value), "sizeof(uint64_t) != sizeof(double)");
1205             memcpy(&b, &value, sizeof(b));
1206
1207             out.debug << " : ";
1208             for (size_t i = 0; i < 8 * sizeof(value); ++i, ++b) {
1209                 out.debug << ((b & 0x8000000000000000) != 0 ? "1" : "0");
1210                 b <<= 1;
1211             }
1212             break;
1213         }
1214         default:
1215             break;
1216         }
1217     }
1218 }
1219
1220 static void OutputConstantUnion(TInfoSink& out, const TIntermTyped* node, const TConstUnionArray& constUnion,
1221     TOutputTraverser::EExtraOutput extra, int depth)
1222 {
1223     int size = node->getType().computeNumComponents();
1224
1225     for (int i = 0; i < size; i++) {
1226         OutputTreeText(out, node, depth);
1227         switch (constUnion[i].getType()) {
1228         case EbtBool:
1229             if (constUnion[i].getBConst())
1230                 out.debug << "true";
1231             else
1232                 out.debug << "false";
1233
1234             out.debug << " (" << "const bool" << ")";
1235
1236             out.debug << "\n";
1237             break;
1238         case EbtFloat:
1239         case EbtDouble:
1240         case EbtFloat16:
1241             OutputDouble(out, constUnion[i].getDConst(), extra);
1242             out.debug << "\n";
1243             break;
1244         case EbtInt8:
1245             {
1246                 const int maxSize = 300;
1247                 char buf[maxSize];
1248                 snprintf(buf, maxSize, "%d (%s)", constUnion[i].getI8Const(), "const int8_t");
1249
1250                 out.debug << buf << "\n";
1251             }
1252             break;
1253         case EbtUint8:
1254             {
1255                 const int maxSize = 300;
1256                 char buf[maxSize];
1257                 snprintf(buf, maxSize, "%u (%s)", constUnion[i].getU8Const(), "const uint8_t");
1258
1259                 out.debug << buf << "\n";
1260             }
1261             break;
1262         case EbtInt16:
1263             {
1264                 const int maxSize = 300;
1265                 char buf[maxSize];
1266                 snprintf(buf, maxSize, "%d (%s)", constUnion[i].getI16Const(), "const int16_t");
1267
1268                 out.debug << buf << "\n";
1269             }
1270             break;
1271         case EbtUint16:
1272             {
1273                 const int maxSize = 300;
1274                 char buf[maxSize];
1275                 snprintf(buf, maxSize, "%u (%s)", constUnion[i].getU16Const(), "const uint16_t");
1276
1277                 out.debug << buf << "\n";
1278             }
1279             break;
1280         case EbtInt:
1281             {
1282                 const int maxSize = 300;
1283                 char buf[maxSize];
1284                 snprintf(buf, maxSize, "%d (%s)", constUnion[i].getIConst(), "const int");
1285
1286                 out.debug << buf << "\n";
1287             }
1288             break;
1289         case EbtUint:
1290             {
1291                 const int maxSize = 300;
1292                 char buf[maxSize];
1293                 snprintf(buf, maxSize, "%u (%s)", constUnion[i].getUConst(), "const uint");
1294
1295                 out.debug << buf << "\n";
1296             }
1297             break;
1298         case EbtInt64:
1299             {
1300                 const int maxSize = 300;
1301                 char buf[maxSize];
1302                 snprintf(buf, maxSize, "%lld (%s)", constUnion[i].getI64Const(), "const int64_t");
1303
1304                 out.debug << buf << "\n";
1305             }
1306             break;
1307         case EbtUint64:
1308             {
1309                 const int maxSize = 300;
1310                 char buf[maxSize];
1311                 snprintf(buf, maxSize, "%llu (%s)", constUnion[i].getU64Const(), "const uint64_t");
1312
1313                 out.debug << buf << "\n";
1314             }
1315             break;
1316         case EbtString:
1317             out.debug << "\"" << constUnion[i].getSConst()->c_str() << "\"\n";
1318             break;
1319         default:
1320             out.info.message(EPrefixInternalError, "Unknown constant", node->getLoc());
1321             break;
1322         }
1323     }
1324 }
1325
1326 void TOutputTraverser::visitConstantUnion(TIntermConstantUnion* node)
1327 {
1328     OutputTreeText(infoSink, node, depth);
1329     infoSink.debug << "Constant:\n";
1330
1331     OutputConstantUnion(infoSink, node, node->getConstArray(), extraOutput, depth + 1);
1332 }
1333
1334 void TOutputTraverser::visitSymbol(TIntermSymbol* node)
1335 {
1336     OutputTreeText(infoSink, node, depth);
1337
1338     infoSink.debug << "'" << node->getName() << "' (" << node->getCompleteString() << ")\n";
1339
1340     if (! node->getConstArray().empty())
1341         OutputConstantUnion(infoSink, node, node->getConstArray(), extraOutput, depth + 1);
1342     else if (node->getConstSubtree()) {
1343         incrementDepth(node);
1344         node->getConstSubtree()->traverse(this);
1345         decrementDepth();
1346     }
1347 }
1348
1349 bool TOutputTraverser::visitLoop(TVisit /* visit */, TIntermLoop* node)
1350 {
1351     TInfoSink& out = infoSink;
1352
1353     OutputTreeText(out, node, depth);
1354
1355     out.debug << "Loop with condition ";
1356     if (! node->testFirst())
1357         out.debug << "not ";
1358     out.debug << "tested first";
1359
1360     if (node->getUnroll())
1361         out.debug << ": Unroll";
1362     if (node->getDontUnroll())
1363         out.debug << ": DontUnroll";
1364     if (node->getLoopDependency()) {
1365         out.debug << ": Dependency ";
1366         out.debug << node->getLoopDependency();
1367     }
1368     out.debug << "\n";
1369
1370     ++depth;
1371
1372     OutputTreeText(infoSink, node, depth);
1373     if (node->getTest()) {
1374         out.debug << "Loop Condition\n";
1375         node->getTest()->traverse(this);
1376     } else
1377         out.debug << "No loop condition\n";
1378
1379     OutputTreeText(infoSink, node, depth);
1380     if (node->getBody()) {
1381         out.debug << "Loop Body\n";
1382         node->getBody()->traverse(this);
1383     } else
1384         out.debug << "No loop body\n";
1385
1386     if (node->getTerminal()) {
1387         OutputTreeText(infoSink, node, depth);
1388         out.debug << "Loop Terminal Expression\n";
1389         node->getTerminal()->traverse(this);
1390     }
1391
1392     --depth;
1393
1394     return false;
1395 }
1396
1397 bool TOutputTraverser::visitBranch(TVisit /* visit*/, TIntermBranch* node)
1398 {
1399     TInfoSink& out = infoSink;
1400
1401     OutputTreeText(out, node, depth);
1402
1403     switch (node->getFlowOp()) {
1404     case EOpKill:                   out.debug << "Branch: Kill";                  break;
1405     case EOpTerminateInvocation:    out.debug << "Branch: TerminateInvocation";   break;
1406     case EOpIgnoreIntersectionKHR:  out.debug << "Branch: IgnoreIntersectionKHR"; break;
1407     case EOpTerminateRayKHR:        out.debug << "Branch: TerminateRayKHR";       break;
1408     case EOpBreak:                  out.debug << "Branch: Break";                 break;
1409     case EOpContinue:               out.debug << "Branch: Continue";              break;
1410     case EOpReturn:                 out.debug << "Branch: Return";                break;
1411     case EOpCase:                   out.debug << "case: ";                        break;
1412     case EOpDemote:                 out.debug << "Demote";                        break;
1413     case EOpDefault:                out.debug << "default: ";                     break;
1414     default:                        out.debug << "Branch: Unknown Branch";        break;
1415     }
1416
1417     if (node->getExpression()) {
1418         out.debug << " with expression\n";
1419         ++depth;
1420         node->getExpression()->traverse(this);
1421         --depth;
1422     } else
1423         out.debug << "\n";
1424
1425     return false;
1426 }
1427
1428 bool TOutputTraverser::visitSwitch(TVisit /* visit */, TIntermSwitch* node)
1429 {
1430     TInfoSink& out = infoSink;
1431
1432     OutputTreeText(out, node, depth);
1433     out.debug << "switch";
1434
1435     if (node->getFlatten())
1436         out.debug << ": Flatten";
1437     if (node->getDontFlatten())
1438         out.debug << ": DontFlatten";
1439     out.debug << "\n";
1440
1441     OutputTreeText(out, node, depth);
1442     out.debug << "condition\n";
1443     ++depth;
1444     node->getCondition()->traverse(this);
1445
1446     --depth;
1447     OutputTreeText(out, node, depth);
1448     out.debug << "body\n";
1449     ++depth;
1450     node->getBody()->traverse(this);
1451
1452     --depth;
1453
1454     return false;
1455 }
1456
1457 //
1458 // This function is the one to call externally to start the traversal.
1459 // Individual functions can be initialized to 0 to skip processing of that
1460 // type of node.  It's children will still be processed.
1461 //
1462 void TIntermediate::output(TInfoSink& infoSink, bool tree)
1463 {
1464     infoSink.debug << "Shader version: " << version << "\n";
1465     if (requestedExtensions.size() > 0) {
1466         for (auto extIt = requestedExtensions.begin(); extIt != requestedExtensions.end(); ++extIt)
1467             infoSink.debug << "Requested " << *extIt << "\n";
1468     }
1469
1470     if (xfbMode)
1471         infoSink.debug << "in xfb mode\n";
1472
1473     if (getSubgroupUniformControlFlow())
1474         infoSink.debug << "subgroup_uniform_control_flow\n";
1475
1476     switch (language) {
1477     case EShLangVertex:
1478         break;
1479
1480     case EShLangTessControl:
1481         infoSink.debug << "vertices = " << vertices << "\n";
1482
1483         if (inputPrimitive != ElgNone)
1484             infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1485         if (vertexSpacing != EvsNone)
1486             infoSink.debug << "vertex spacing = " << TQualifier::getVertexSpacingString(vertexSpacing) << "\n";
1487         if (vertexOrder != EvoNone)
1488             infoSink.debug << "triangle order = " << TQualifier::getVertexOrderString(vertexOrder) << "\n";
1489         break;
1490
1491     case EShLangTessEvaluation:
1492         infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1493         infoSink.debug << "vertex spacing = " << TQualifier::getVertexSpacingString(vertexSpacing) << "\n";
1494         infoSink.debug << "triangle order = " << TQualifier::getVertexOrderString(vertexOrder) << "\n";
1495         if (pointMode)
1496             infoSink.debug << "using point mode\n";
1497         break;
1498
1499     case EShLangGeometry:
1500         infoSink.debug << "invocations = " << invocations << "\n";
1501         infoSink.debug << "max_vertices = " << vertices << "\n";
1502         infoSink.debug << "input primitive = " << TQualifier::getGeometryString(inputPrimitive) << "\n";
1503         infoSink.debug << "output primitive = " << TQualifier::getGeometryString(outputPrimitive) << "\n";
1504         break;
1505
1506     case EShLangFragment:
1507         if (pixelCenterInteger)
1508             infoSink.debug << "gl_FragCoord pixel center is integer\n";
1509         if (originUpperLeft)
1510             infoSink.debug << "gl_FragCoord origin is upper left\n";
1511         if (earlyFragmentTests)
1512             infoSink.debug << "using early_fragment_tests\n";
1513         if (postDepthCoverage)
1514             infoSink.debug << "using post_depth_coverage\n";
1515         if (depthLayout != EldNone)
1516             infoSink.debug << "using " << TQualifier::getLayoutDepthString(depthLayout) << "\n";
1517         if (blendEquations != 0) {
1518             infoSink.debug << "using";
1519             // blendEquations is a mask, decode it
1520             for (TBlendEquationShift be = (TBlendEquationShift)0; be < EBlendCount; be = (TBlendEquationShift)(be + 1)) {
1521                 if (blendEquations & (1 << be))
1522                     infoSink.debug << " " << TQualifier::getBlendEquationString(be);
1523             }
1524             infoSink.debug << "\n";
1525         }
1526         if (interlockOrdering != EioNone)
1527             infoSink.debug << "interlock ordering = " << TQualifier::getInterlockOrderingString(interlockOrdering) << "\n";
1528         break;
1529
1530     case EShLangMesh:
1531         infoSink.debug << "max_vertices = " << vertices << "\n";
1532         infoSink.debug << "max_primitives = " << primitives << "\n";
1533         infoSink.debug << "output primitive = " << TQualifier::getGeometryString(outputPrimitive) << "\n";
1534         // Fall through
1535     case EShLangTask:
1536         // Fall through
1537     case EShLangCompute:
1538         infoSink.debug << "local_size = (" << localSize[0] << ", " << localSize[1] << ", " << localSize[2] << ")\n";
1539         {
1540             if (localSizeSpecId[0] != TQualifier::layoutNotSet ||
1541                 localSizeSpecId[1] != TQualifier::layoutNotSet ||
1542                 localSizeSpecId[2] != TQualifier::layoutNotSet) {
1543                 infoSink.debug << "local_size ids = (" <<
1544                     localSizeSpecId[0] << ", " <<
1545                     localSizeSpecId[1] << ", " <<
1546                     localSizeSpecId[2] << ")\n";
1547             }
1548         }
1549         break;
1550
1551     default:
1552         break;
1553     }
1554
1555     if (treeRoot == 0 || ! tree)
1556         return;
1557
1558     TOutputTraverser it(infoSink);
1559     if (getBinaryDoubleOutput())
1560         it.setDoubleOutput(TOutputTraverser::BinaryDoubleOutput);
1561     treeRoot->traverse(&it);
1562 }
1563
1564 } // end namespace glslang
1565
1566 #endif // !GLSLANG_WEB && !GLSLANG_ANGLE