1// Copyright 2016 The SwiftShader Authors. All Rights Reserved. 2// 3// Licensed under the Apache License, Version 2.0 (the "License"); 4// you may not use this file except in compliance with the License. 5// You may obtain a copy of the License at 6// 7// http://www.apache.org/licenses/LICENSE-2.0 8// 9// Unless required by applicable law or agreed to in writing, software 10// distributed under the License is distributed on an "AS IS" BASIS, 11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12// See the License for the specific language governing permissions and 13// limitations under the License. 14 15#ifndef COMPILER_TRANSLATOR_VALIDATESWITCH_H_ 16#define COMPILER_TRANSLATOR_VALIDATESWITCH_H_ 17 18#include "intermediate.h" 19#include <set> 20 21class TParseContext; 22 23class ValidateSwitch : public TIntermTraverser 24{ 25public: 26 // Check for errors and output messages any remaining errors on the context. 27 // Returns true if there are no errors. 28 static bool validate(TBasicType switchType, TParseContext *context, 29 TIntermAggregate *statementList, const TSourceLoc &loc); 30 31 void visitSymbol(TIntermSymbol *) override; 32 void visitConstantUnion(TIntermConstantUnion *) override; 33 bool visitBinary(Visit, TIntermBinary *) override; 34 bool visitUnary(Visit, TIntermUnary *) override; 35 bool visitSelection(Visit visit, TIntermSelection *) override; 36 bool visitSwitch(Visit, TIntermSwitch *) override; 37 bool visitCase(Visit, TIntermCase *) override; 38 bool visitAggregate(Visit, TIntermAggregate *) override; 39 bool visitLoop(Visit visit, TIntermLoop *) override; 40 bool visitBranch(Visit, TIntermBranch *) override; 41 42private: 43 ValidateSwitch(TBasicType switchType, TParseContext *context); 44 45 bool validateInternal(const TSourceLoc &loc); 46 47 TBasicType mSwitchType; 48 TParseContext *mContext; 49 bool mCaseTypeMismatch; 50 bool mFirstCaseFound; 51 bool mStatementBeforeCase; 52 bool mLastStatementWasCase; 53 int mControlFlowDepth; 54 bool mCaseInsideControlFlow; 55 int mDefaultCount; 56 std::set<int> mCasesSigned; 57 std::set<unsigned int> mCasesUnsigned; 58 bool mDuplicateCases; 59}; 60 61#endif // COMPILER_TRANSLATOR_VALIDATESWITCH_H_ 62