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