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

• Show log

  Commit

• Hash : 6d40bbdd
  Author :
  Date : 2016-09-30T13:49:38
  

  Split TIntermBlock from TIntermAggregate
  
  The new TIntermBlock node class replaces TIntermAggregate nodes with
  the EOpSequence op. It represents the root node of the tree which is
  a list of declarations and function definitions, and any code blocks
  that can be denoted by curly braces. These include function and loop
  bodies, and if-else branches.
  
  This change enables a bunch of more compile-time type checking, and
  makes the AST code easier to understand and less error-prone.
  
  The PostProcess step that used to be done to ensure that the root node
  is TIntermAggregate is removed in favor of making sure that the root
  node is a TIntermBlock in the glslang.y parsing code.
  
  Intermediate output formatting is improved to print the EOpNull error
  in a clearer way.
  
  After this patch, TIntermAggregate is still used for function
  definitions, function prototypes, function parameter lists, function
  calls, variable and invariant declarations and the comma (sequence)
  operator.
  
  BUG=angleproject:1490
  TEST=angle_unittests, angle_end2end_tests
  
  Change-Id: I04044affff979a11577bc1fe75d747e538b799c8
  Reviewed-on: https://chromium-review.googlesource.com/393726
  Commit-Queue: Olli Etuaho <oetuaho@nvidia.com>
  Reviewed-by: Corentin Wallez <cwallez@chromium.org>
  

Download

• src/compiler/translator/ValidateSwitch.h

• //
  // Copyright (c) 2002-2015 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_VALIDATESWITCH_H_
  #define COMPILER_TRANSLATOR_VALIDATESWITCH_H_
  
  #include "compiler/translator/IntermNode.h"
  
  class TParseContext;
  
  class ValidateSwitch : public TIntermTraverser
  {
    public:
      // Check for errors and output messages any remaining errors on the context.
      // Returns true if there are no errors.
      static bool validate(TBasicType switchType,
                           TParseContext *context,
                           TIntermBlock *statementList,
                           const TSourceLoc &loc);
  
      void visitSymbol(TIntermSymbol *) override;
      void visitConstantUnion(TIntermConstantUnion *) override;
      bool visitBinary(Visit, TIntermBinary *) override;
      bool visitUnary(Visit, TIntermUnary *) override;
      bool visitTernary(Visit, TIntermTernary *) override;
      bool visitIfElse(Visit visit, TIntermIfElse *) override;
      bool visitSwitch(Visit, TIntermSwitch *) override;
      bool visitCase(Visit, TIntermCase *node) override;
      bool visitAggregate(Visit, TIntermAggregate *) override;
      bool visitLoop(Visit visit, TIntermLoop *) override;
      bool visitBranch(Visit, TIntermBranch *) override;
  
    private:
      ValidateSwitch(TBasicType switchType, TParseContext *context);
  
      bool validateInternal(const TSourceLoc &loc);
  
      TBasicType mSwitchType;
      TParseContext *mContext;
      bool mCaseTypeMismatch;
      bool mFirstCaseFound;
      bool mStatementBeforeCase;
      bool mLastStatementWasCase;
      int mControlFlowDepth;
      bool mCaseInsideControlFlow;
      int mDefaultCount;
      std::set<int> mCasesSigned;
      std::set<unsigned int> mCasesUnsigned;
      bool mDuplicateCases;
  };
  
  #endif // COMPILER_TRANSLATOR_VALIDATESWITCH_H_
  

Download