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