kc3-lang/angle/src/compiler/translator/ValidateLimitations.h

• Show log

  Commit

• Hash : 8a76dcc7
  Author :
  Date : 2015-12-10T20:25:12
  

  Don't try to apply ForLoopUnroll to loops it can't handle
  
  ForLoopUnroll should only mark loops that fit the limitations in ESSL
  1.00 Appendix A.
  
  BUG=angleproject:1253
  TEST=angle_unittests, WebGL conformance tests
  
  Change-Id: I00b0a7d29cd42efea9611d020aa1f873ac04773f
  Reviewed-on: https://chromium-review.googlesource.com/317551
  Tested-by: Olli Etuaho <oetuaho@nvidia.com>
  Reviewed-by: Zhenyao Mo <zmo@chromium.org>
  

Download

• src/compiler/translator/ValidateLimitations.h

• //
  // Copyright (c) 2010 The ANGLE Project Authors. All rights reserved.
  // Use of this source code is governed by a BSD-style license that can be
  // found in the LICENSE file.
  //
  
  #ifndef COMPILER_TRANSLATOR_VALIDATELIMITATIONS_H_
  #define COMPILER_TRANSLATOR_VALIDATELIMITATIONS_H_
  
  #include "compiler/translator/IntermNode.h"
  #include "compiler/translator/LoopInfo.h"
  
  class TInfoSinkBase;
  
  // Traverses intermediate tree to ensure that the shader does not exceed the
  // minimum functionality mandated in GLSL 1.0 spec, Appendix A.
  class ValidateLimitations : public TIntermTraverser
  {
    public:
      ValidateLimitations(sh::GLenum shaderType, TInfoSinkBase *sink);
  
      int numErrors() const { return mNumErrors; }
  
      bool visitBinary(Visit, TIntermBinary *) override;
      bool visitUnary(Visit, TIntermUnary *) override;
      bool visitAggregate(Visit, TIntermAggregate *) override;
      bool visitLoop(Visit, TIntermLoop *) override;
  
      static bool IsLimitedForLoop(TIntermLoop *node);
  
    private:
      void error(TSourceLoc loc, const char *reason, const char *token);
  
      bool withinLoopBody() const;
      bool isLoopIndex(TIntermSymbol *symbol);
      bool validateLoopType(TIntermLoop *node);
  
      bool validateForLoopHeader(TIntermLoop *node);
      // If valid, return the index symbol id; Otherwise, return -1.
      int validateForLoopInit(TIntermLoop *node);
      bool validateForLoopCond(TIntermLoop *node, int indexSymbolId);
      bool validateForLoopExpr(TIntermLoop *node, int indexSymbolId);
  
      // Returns true if none of the loop indices is used as the argument to
      // the given function out or inout parameter.
      bool validateFunctionCall(TIntermAggregate *node);
      bool validateOperation(TIntermOperator *node, TIntermNode *operand);
  
      // Returns true if indexing does not exceed the minimum functionality
      // mandated in GLSL 1.0 spec, Appendix A, Section 5.
      bool isConstExpr(TIntermNode *node);
      bool isConstIndexExpr(TIntermNode *node);
      bool validateIndexing(TIntermBinary *node);
  
      sh::GLenum mShaderType;
      TInfoSinkBase *mSink;
      int mNumErrors;
      TLoopStack mLoopStack;
      bool mValidateIndexing;
      bool mValidateInnerLoops;
  };
  
  #endif // COMPILER_TRANSLATOR_VALIDATELIMITATIONS_H_
  

Download