blob: 1eaf1e5b422bd8f106cddc29060c5ce0df79026a [file] [log] [blame]
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +00001//
Nicolas Capens16004fc2014-06-11 11:29:11 -04002// Copyright (c) 2002-2014 The ANGLE Project Authors. All rights reserved.
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +00003// Use of this source code is governed by a BSD-style license that can be
4// found in the LICENSE file.
5//
Geoff Lang0a73dd82014-11-19 16:18:08 -05006#ifndef COMPILER_TRANSLATOR_PARSECONTEXT_H_
7#define COMPILER_TRANSLATOR_PARSECONTEXT_H_
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +00008
Jamie Madilld4a3a312014-06-25 16:04:56 -04009#include "compiler/translator/Compiler.h"
Geoff Lang17732822013-08-29 13:46:49 -040010#include "compiler/translator/Diagnostics.h"
11#include "compiler/translator/DirectiveHandler.h"
Jamie Madillb1a85f42014-08-19 15:23:24 -040012#include "compiler/translator/Intermediate.h"
Geoff Lang17732822013-08-29 13:46:49 -040013#include "compiler/translator/SymbolTable.h"
daniel@transgaming.comb401a922012-10-26 18:58:24 +000014#include "compiler/preprocessor/Preprocessor.h"
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000015
Jamie Madill06145232015-05-13 13:10:01 -040016struct TMatrixFields
17{
daniel@transgaming.com0578f812010-05-17 09:58:39 +000018 bool wholeRow;
19 bool wholeCol;
20 int row;
21 int col;
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000022};
23
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +000024//
25// The following are extra variables needed during parsing, grouped together so
26// they can be passed to the parser without needing a global.
27//
Jamie Madill6e06b1f2015-05-14 10:01:17 -040028class TParseContext : angle::NonCopyable
Jamie Madill06145232015-05-13 13:10:01 -040029{
Jamie Madill6e06b1f2015-05-14 10:01:17 -040030 public:
Jamie Madill06145232015-05-13 13:10:01 -040031 TParseContext(TSymbolTable &symt,
32 TExtensionBehavior &ext,
33 TIntermediate &interm,
34 sh::GLenum type,
35 ShShaderSpec spec,
36 int options,
37 bool checksPrecErrors,
38 TInfoSink &is,
Olli Etuahoe1a94c62015-11-16 17:35:25 +020039 const ShBuiltInResources &resources)
Jamie Madill06145232015-05-13 13:10:01 -040040 : intermediate(interm),
41 symbolTable(symt),
Corentin Wallezbc99bb62015-05-14 17:42:20 -040042 mDeferredSingleDeclarationErrorCheck(false),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040043 mShaderType(type),
44 mShaderSpec(spec),
Corentin Wallezbc99bb62015-05-14 17:42:20 -040045 mShaderVersion(100),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040046 mTreeRoot(nullptr),
Jamie Madill06145232015-05-13 13:10:01 -040047 mLoopNestingLevel(0),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040048 mStructNestingLevel(0),
Jamie Madill06145232015-05-13 13:10:01 -040049 mSwitchNestingLevel(0),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040050 mCurrentFunctionType(nullptr),
Jamie Madill06145232015-05-13 13:10:01 -040051 mFunctionReturnsValue(false),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040052 mChecksPrecisionErrors(checksPrecErrors),
Olli Etuahoa6996682015-10-12 14:32:30 +030053 mFragmentPrecisionHighOnESSL1(false),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040054 mDefaultMatrixPacking(EmpColumnMajor),
55 mDefaultBlockStorage(EbsShared),
56 mDiagnostics(is),
Olli Etuahoe1a94c62015-11-16 17:35:25 +020057 mDirectiveHandler(ext,
58 mDiagnostics,
59 mShaderVersion,
Olli Etuaho5f80d012016-01-11 11:16:01 +020060 mShaderType,
Olli Etuahoe1a94c62015-11-16 17:35:25 +020061 resources.WEBGL_debug_shader_precision == 1),
Jamie Madill6e06b1f2015-05-14 10:01:17 -040062 mPreprocessor(&mDiagnostics, &mDirectiveHandler),
63 mScanner(nullptr),
Jamie Madill14e95b32015-05-07 10:10:41 -040064 mUsesFragData(false),
Kimmo Kinnunenb18609b2015-07-16 14:13:11 +030065 mUsesFragColor(false),
Olli Etuahoe1a94c62015-11-16 17:35:25 +020066 mUsesSecondaryOutputs(false),
67 mMinProgramTexelOffset(resources.MinProgramTexelOffset),
68 mMaxProgramTexelOffset(resources.MaxProgramTexelOffset)
Olli Etuahofa33d582015-04-09 14:33:12 +030069 {
70 }
Jamie Madill06145232015-05-13 13:10:01 -040071
Jamie Madill6e06b1f2015-05-14 10:01:17 -040072 const pp::Preprocessor &getPreprocessor() const { return mPreprocessor; }
73 pp::Preprocessor &getPreprocessor() { return mPreprocessor; }
74 void *getScanner() const { return mScanner; }
75 void setScanner(void *scanner) { mScanner = scanner; }
76 int getShaderVersion() const { return mShaderVersion; }
77 sh::GLenum getShaderType() const { return mShaderType; }
78 ShShaderSpec getShaderSpec() const { return mShaderSpec; }
79 int numErrors() const { return mDiagnostics.numErrors(); }
80 TInfoSink &infoSink() { return mDiagnostics.infoSink(); }
Jamie Madill06145232015-05-13 13:10:01 -040081 void error(const TSourceLoc &loc, const char *reason, const char *token,
82 const char *extraInfo="");
83 void warning(const TSourceLoc &loc, const char *reason, const char *token,
84 const char *extraInfo="");
Jamie Madill14e95b32015-05-07 10:10:41 -040085
Olli Etuaho7c3848e2015-11-04 13:19:17 +020086 // If isError is false, a warning will be reported instead.
87 void outOfRangeError(bool isError,
88 const TSourceLoc &loc,
89 const char *reason,
90 const char *token,
91 const char *extraInfo = "");
92
daniel@transgaming.com0578f812010-05-17 09:58:39 +000093 void recover();
Jamie Madill6e06b1f2015-05-14 10:01:17 -040094 TIntermNode *getTreeRoot() const { return mTreeRoot; }
95 void setTreeRoot(TIntermNode *treeRoot) { mTreeRoot = treeRoot; }
96
Olli Etuahoa6996682015-10-12 14:32:30 +030097 bool getFragmentPrecisionHigh() const
Jamie Madill6e06b1f2015-05-14 10:01:17 -040098 {
Olli Etuahoa6996682015-10-12 14:32:30 +030099 return mFragmentPrecisionHighOnESSL1 || mShaderVersion >= 300;
100 }
101 void setFragmentPrecisionHighOnESSL1(bool fragmentPrecisionHigh)
102 {
103 mFragmentPrecisionHighOnESSL1 = fragmentPrecisionHigh;
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400104 }
105
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400106 void setLoopNestingLevel(int loopNestintLevel)
107 {
108 mLoopNestingLevel = loopNestintLevel;
109 }
110
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400111 void incrLoopNestingLevel() { ++mLoopNestingLevel; }
112 void decrLoopNestingLevel() { --mLoopNestingLevel; }
113
114 void incrSwitchNestingLevel() { ++mSwitchNestingLevel; }
115 void decrSwitchNestingLevel() { --mSwitchNestingLevel; }
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +0000116
Jamie Madill5c097022014-08-20 16:38:32 -0400117 // This method is guaranteed to succeed, even if no variable with 'name' exists.
118 const TVariable *getNamedVariable(const TSourceLoc &location, const TString *name, const TSymbol *symbol);
Olli Etuaho82c29ed2015-11-03 13:06:54 +0200119 TIntermTyped *parseVariableIdentifier(const TSourceLoc &location,
120 const TString *name,
121 const TSymbol *symbol);
Jamie Madill5c097022014-08-20 16:38:32 -0400122
Jamie Madill06145232015-05-13 13:10:01 -0400123 bool parseVectorFields(const TString&, int vecSize, TVectorFields&, const TSourceLoc &line);
alokp@chromium.org75fe6b72011-08-14 05:31:22 +0000124
Jamie Madill06145232015-05-13 13:10:01 -0400125 bool reservedErrorCheck(const TSourceLoc &line, const TString &identifier);
126 void assignError(const TSourceLoc &line, const char *op, TString left, TString right);
127 void unaryOpError(const TSourceLoc &line, const char *op, TString operand);
128 void binaryOpError(const TSourceLoc &line, const char *op, TString left, TString right);
129 bool precisionErrorCheck(const TSourceLoc &line, TPrecision precision, TBasicType type);
130 bool lValueErrorCheck(const TSourceLoc &line, const char *op, TIntermTyped*);
131 bool constErrorCheck(TIntermTyped *node);
132 bool integerErrorCheck(TIntermTyped *node, const char *token);
133 bool globalErrorCheck(const TSourceLoc &line, bool global, const char *token);
Olli Etuaho15c2ac32015-11-09 15:51:43 +0200134 bool constructorErrorCheck(const TSourceLoc &line,
135 TIntermNode *argumentsNode,
136 TFunction &function,
137 TOperator op,
138 TType *type);
Jamie Madill06145232015-05-13 13:10:01 -0400139 bool arraySizeErrorCheck(const TSourceLoc &line, TIntermTyped *expr, int &size);
Olli Etuaho3739d232015-04-08 12:23:44 +0300140 bool arrayQualifierErrorCheck(const TSourceLoc &line, const TPublicType &type);
Jamie Madill06145232015-05-13 13:10:01 -0400141 bool arrayTypeErrorCheck(const TSourceLoc &line, const TPublicType &type);
Olli Etuaho6ed7bbe2015-04-07 18:08:46 +0300142 bool voidErrorCheck(const TSourceLoc &line, const TString &identifier, const TBasicType &type);
Jamie Madill075edd82013-07-08 13:30:19 -0400143 bool boolErrorCheck(const TSourceLoc&, const TIntermTyped*);
144 bool boolErrorCheck(const TSourceLoc&, const TPublicType&);
Jamie Madill06145232015-05-13 13:10:01 -0400145 bool samplerErrorCheck(const TSourceLoc &line, const TPublicType &pType, const char *reason);
146 bool locationDeclaratorListCheck(const TSourceLoc &line, const TPublicType &pType);
147 bool parameterSamplerErrorCheck(const TSourceLoc &line, TQualifier qualifier, const TType &type);
148 bool paramErrorCheck(const TSourceLoc &line, TQualifier qualifier, TQualifier paramQualifier, TType *type);
149 bool extensionErrorCheck(const TSourceLoc &line, const TString&);
150 bool singleDeclarationErrorCheck(const TPublicType &publicType, const TSourceLoc &identifierLocation);
151 bool layoutLocationErrorCheck(const TSourceLoc &location, const TLayoutQualifier &layoutQualifier);
Olli Etuahob6e07a62015-02-16 12:22:10 +0200152 bool functionCallLValueErrorCheck(const TFunction *fnCandidate, TIntermAggregate *);
Olli Etuaho37ad4742015-04-27 13:18:50 +0300153 void es3InvariantErrorCheck(const TQualifier qualifier, const TSourceLoc &invariantLocation);
Olli Etuahocc36b982015-07-10 14:14:18 +0300154 void es3InputOutputTypeCheck(const TQualifier qualifier,
155 const TPublicType &type,
156 const TSourceLoc &qualifierLocation);
alokp@chromium.org8b851c62012-06-15 16:25:11 +0000157
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400158 const TPragma &pragma() const { return mDirectiveHandler.pragma(); }
159 const TExtensionBehavior &extensionBehavior() const { return mDirectiveHandler.extensionBehavior(); }
Jamie Madill06145232015-05-13 13:10:01 -0400160 bool supportsExtension(const char *extension);
161 bool isExtensionEnabled(const char *extension) const;
162 void handleExtensionDirective(const TSourceLoc &loc, const char *extName, const char *behavior);
163 void handlePragmaDirective(const TSourceLoc &loc, const char *name, const char *value, bool stdgl);
alokp@chromium.org75fe6b72011-08-14 05:31:22 +0000164
Jamie Madill06145232015-05-13 13:10:01 -0400165 bool containsSampler(const TType &type);
Jamie Madill06145232015-05-13 13:10:01 -0400166 const TFunction* findFunction(
167 const TSourceLoc &line, TFunction *pfnCall, int inputShaderVersion, bool *builtIn = 0);
168 bool executeInitializer(const TSourceLoc &line,
169 const TString &identifier,
170 const TPublicType &pType,
171 TIntermTyped *initializer,
172 TIntermNode **intermNode);
alokp@chromium.org75fe6b72011-08-14 05:31:22 +0000173
Jamie Madill06145232015-05-13 13:10:01 -0400174 TPublicType addFullySpecifiedType(TQualifier qualifier,
175 bool invariant,
176 TLayoutQualifier layoutQualifier,
177 const TPublicType &typeSpecifier);
Olli Etuahoe7847b02015-03-16 11:56:12 +0200178
Olli Etuahofa33d582015-04-09 14:33:12 +0300179 TIntermAggregate *parseSingleDeclaration(TPublicType &publicType,
Jamie Madill06145232015-05-13 13:10:01 -0400180 const TSourceLoc &identifierOrTypeLocation,
181 const TString &identifier);
Olli Etuahoe7847b02015-03-16 11:56:12 +0200182 TIntermAggregate *parseSingleArrayDeclaration(TPublicType &publicType,
Jamie Madill06145232015-05-13 13:10:01 -0400183 const TSourceLoc &identifierLocation,
184 const TString &identifier,
185 const TSourceLoc &indexLocation,
186 TIntermTyped *indexExpression);
187 TIntermAggregate *parseSingleInitDeclaration(const TPublicType &publicType,
188 const TSourceLoc &identifierLocation,
189 const TString &identifier,
190 const TSourceLoc &initLocation,
191 TIntermTyped *initializer);
Jamie Madill47e3ec02014-08-20 16:38:33 -0400192
Olli Etuaho3875ffd2015-04-10 16:45:14 +0300193 // Parse a declaration like "type a[n] = initializer"
194 // Note that this does not apply to declarations like "type[n] a = initializer"
195 TIntermAggregate *parseSingleArrayInitDeclaration(TPublicType &publicType,
Jamie Madill06145232015-05-13 13:10:01 -0400196 const TSourceLoc &identifierLocation,
197 const TString &identifier,
198 const TSourceLoc &indexLocation,
199 TIntermTyped *indexExpression,
200 const TSourceLoc &initLocation,
201 TIntermTyped *initializer);
Olli Etuaho3875ffd2015-04-10 16:45:14 +0300202
Jamie Madill06145232015-05-13 13:10:01 -0400203 TIntermAggregate *parseInvariantDeclaration(const TSourceLoc &invariantLoc,
204 const TSourceLoc &identifierLoc,
205 const TString *identifier,
206 const TSymbol *symbol);
Olli Etuahoe7847b02015-03-16 11:56:12 +0200207
Jamie Madill06145232015-05-13 13:10:01 -0400208 TIntermAggregate *parseDeclarator(TPublicType &publicType,
209 TIntermAggregate *aggregateDeclaration,
210 const TSourceLoc &identifierLocation,
211 const TString &identifier);
212 TIntermAggregate *parseArrayDeclarator(TPublicType &publicType,
213 TIntermAggregate *aggregateDeclaration,
214 const TSourceLoc &identifierLocation,
215 const TString &identifier,
216 const TSourceLoc &arrayLocation,
217 TIntermTyped *indexExpression);
218 TIntermAggregate *parseInitDeclarator(const TPublicType &publicType,
219 TIntermAggregate *aggregateDeclaration,
220 const TSourceLoc &identifierLocation,
221 const TString &identifier,
222 const TSourceLoc &initLocation,
223 TIntermTyped *initializer);
Olli Etuahoe7847b02015-03-16 11:56:12 +0200224
Olli Etuaho3875ffd2015-04-10 16:45:14 +0300225 // Parse a declarator like "a[n] = initializer"
Jamie Madill06145232015-05-13 13:10:01 -0400226 TIntermAggregate *parseArrayInitDeclarator(const TPublicType &publicType,
227 TIntermAggregate *aggregateDeclaration,
228 const TSourceLoc &identifierLocation,
229 const TString &identifier,
230 const TSourceLoc &indexLocation,
231 TIntermTyped *indexExpression,
232 const TSourceLoc &initLocation,
233 TIntermTyped *initializer);
Olli Etuaho3875ffd2015-04-10 16:45:14 +0300234
Jamie Madilla295edf2013-06-06 11:56:48 -0400235 void parseGlobalLayoutQualifier(const TPublicType &typeQualifier);
Olli Etuahoee63f5d2016-01-04 11:34:54 +0200236 TIntermAggregate *addFunctionPrototypeDeclaration(const TFunction &function,
237 const TSourceLoc &location);
238 TIntermAggregate *addFunctionDefinition(const TFunction &function,
239 TIntermAggregate *functionPrototype,
240 TIntermAggregate *functionBody,
241 const TSourceLoc &location);
Jamie Madill185fb402015-06-12 15:48:48 -0400242 void parseFunctionPrototype(const TSourceLoc &location,
243 TFunction *function,
244 TIntermAggregate **aggregateOut);
245 TFunction *parseFunctionDeclarator(const TSourceLoc &location,
246 TFunction *function);
Jamie Madill06145232015-05-13 13:10:01 -0400247 TFunction *addConstructorFunc(const TPublicType &publicType);
248 TIntermTyped *addConstructor(TIntermNode *arguments,
249 TType *type,
250 TOperator op,
251 TFunction *fnCall,
252 const TSourceLoc &line);
Olli Etuaho7c3848e2015-11-04 13:19:17 +0200253 TIntermTyped *addConstVectorNode(TVectorFields &fields,
254 TIntermConstantUnion *node,
255 const TSourceLoc &line,
256 bool outOfRangeIndexIsError);
257 TIntermTyped *addConstMatrixNode(int index,
258 TIntermConstantUnion *node,
259 const TSourceLoc &line,
260 bool outOfRangeIndexIsError);
261 TIntermTyped *addConstArrayNode(int index,
262 TIntermConstantUnion *node,
263 const TSourceLoc &line,
264 bool outOfRangeIndexIsError);
Jamie Madill06145232015-05-13 13:10:01 -0400265 TIntermTyped *addConstStruct(
266 const TString &identifier, TIntermTyped *node, const TSourceLoc& line);
267 TIntermTyped *addIndexExpression(TIntermTyped *baseExpression,
268 const TSourceLoc& location,
269 TIntermTyped *indexExpression);
270 TIntermTyped* addFieldSelectionExpression(TIntermTyped *baseExpression,
271 const TSourceLoc &dotLocation,
272 const TString &fieldString,
273 const TSourceLoc &fieldLocation);
shannonwoods@chromium.orga9100882013-05-30 00:11:39 +0000274
Jamie Madill06145232015-05-13 13:10:01 -0400275 TFieldList *addStructDeclaratorList(const TPublicType &typeSpecifier, TFieldList *fieldList);
276 TPublicType addStructure(const TSourceLoc &structLine,
277 const TSourceLoc &nameLine,
278 const TString *structName,
279 TFieldList *fieldList);
kbr@chromium.org476541f2011-10-27 21:14:51 +0000280
Jamie Madill06145232015-05-13 13:10:01 -0400281 TIntermAggregate* addInterfaceBlock(const TPublicType &typeQualifier,
282 const TSourceLoc &nameLine,
283 const TString &blockName,
284 TFieldList *fieldList,
285 const TString *instanceName,
286 const TSourceLoc &instanceLine,
287 TIntermTyped *arrayIndex,
288 const TSourceLoc& arrayIndexLine);
shannonwoods@chromium.org5668c5d2013-05-30 00:11:48 +0000289
Jamie Madill06145232015-05-13 13:10:01 -0400290 TLayoutQualifier parseLayoutQualifier(
291 const TString &qualifierType, const TSourceLoc &qualifierTypeLine);
292 TLayoutQualifier parseLayoutQualifier(const TString &qualifierType,
293 const TSourceLoc &qualifierTypeLine,
294 const TString &intValueString,
295 int intValue,
296 const TSourceLoc &intValueLine);
Jamie Madilla5efff92013-06-06 11:56:47 -0400297 TLayoutQualifier joinLayoutQualifiers(TLayoutQualifier leftQualifier, TLayoutQualifier rightQualifier);
Jamie Madillf2e0f9b2013-08-26 16:39:42 -0400298 TPublicType joinInterpolationQualifiers(const TSourceLoc &interpolationLoc, TQualifier interpolationQualifier,
299 const TSourceLoc &storageLoc, TQualifier storageQualifier);
shannonwoods@chromium.org302adfe2013-05-30 00:21:06 +0000300
kbr@chromium.org476541f2011-10-27 21:14:51 +0000301 // Performs an error check for embedded struct declarations.
302 // Returns true if an error was raised due to the declaration of
303 // this struct.
Jamie Madill06145232015-05-13 13:10:01 -0400304 bool enterStructDeclaration(const TSourceLoc &line, const TString &identifier);
kbr@chromium.org476541f2011-10-27 21:14:51 +0000305 void exitStructDeclaration();
306
Jamie Madill06145232015-05-13 13:10:01 -0400307 bool structNestingErrorCheck(const TSourceLoc &line, const TField &field);
Olli Etuaho09b22472015-02-11 11:47:26 +0200308
Olli Etuahoa3a36662015-02-17 13:46:51 +0200309 TIntermSwitch *addSwitch(TIntermTyped *init, TIntermAggregate *statementList, const TSourceLoc &loc);
310 TIntermCase *addCase(TIntermTyped *condition, const TSourceLoc &loc);
311 TIntermCase *addDefault(const TSourceLoc &loc);
312
Jamie Madill06145232015-05-13 13:10:01 -0400313 TIntermTyped *addUnaryMath(TOperator op, TIntermTyped *child, const TSourceLoc &loc);
314 TIntermTyped *addUnaryMathLValue(TOperator op, TIntermTyped *child, const TSourceLoc &loc);
315 TIntermTyped *addBinaryMath(
316 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
317 TIntermTyped *addBinaryMathBooleanResult(
318 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
319 TIntermTyped *addAssign(
320 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
Olli Etuaho49300862015-02-20 14:54:49 +0200321
Olli Etuaho0b2d2dc2015-11-04 16:35:32 +0200322 TIntermTyped *addComma(TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
323
Olli Etuaho49300862015-02-20 14:54:49 +0200324 TIntermBranch *addBranch(TOperator op, const TSourceLoc &loc);
325 TIntermBranch *addBranch(TOperator op, TIntermTyped *returnValue, const TSourceLoc &loc);
Olli Etuahoc4ba3be2015-03-02 14:42:24 +0200326
Olli Etuahoe1a94c62015-11-16 17:35:25 +0200327 void checkTextureOffsetConst(TIntermAggregate *functionCall);
Jamie Madill06145232015-05-13 13:10:01 -0400328 TIntermTyped *addFunctionCallOrMethod(TFunction *fnCall,
329 TIntermNode *paramNode,
330 TIntermNode *thisNode,
331 const TSourceLoc &loc,
332 bool *fatalError);
Olli Etuahofc1806e2015-03-17 13:03:11 +0200333
Jamie Madill06145232015-05-13 13:10:01 -0400334 TIntermTyped *addTernarySelection(
335 TIntermTyped *cond, TIntermTyped *trueBlock, TIntermTyped *falseBlock, const TSourceLoc &line);
Olli Etuaho52901742015-04-15 13:42:45 +0300336
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400337 // TODO(jmadill): make these private
338 TIntermediate &intermediate; // to hold and build a parse tree
339 TSymbolTable &symbolTable; // symbol table that goes with the language currently being parsed
340
Olli Etuahofc1806e2015-03-17 13:03:11 +0200341 private:
Olli Etuaho2935c582015-04-08 14:32:06 +0300342 bool declareVariable(const TSourceLoc &line, const TString &identifier, const TType &type, TVariable **variable);
343
Olli Etuaho376f1b52015-04-13 13:23:41 +0300344 bool nonInitErrorCheck(const TSourceLoc &line, const TString &identifier, TPublicType *type);
345
Jamie Madill06145232015-05-13 13:10:01 -0400346 TIntermTyped *addBinaryMathInternal(
347 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
348 TIntermTyped *createAssign(
349 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
Olli Etuahof6c694b2015-03-26 14:50:53 +0200350 // The funcReturnType parameter is expected to be non-null when the operation is a built-in function.
351 // It is expected to be null for other unary operators.
Jamie Madill06145232015-05-13 13:10:01 -0400352 TIntermTyped *createUnaryMath(
353 TOperator op, TIntermTyped *child, const TSourceLoc &loc, const TType *funcReturnType);
Olli Etuahod6b14282015-03-17 14:31:35 +0200354
Olli Etuaho47fd36a2015-03-19 14:22:24 +0200355 // Return true if the checks pass
Jamie Madill06145232015-05-13 13:10:01 -0400356 bool binaryOpCommonCheck(
357 TOperator op, TIntermTyped *left, TIntermTyped *right, const TSourceLoc &loc);
Olli Etuahofa33d582015-04-09 14:33:12 +0300358
359 // Set to true when the last/current declarator list was started with an empty declaration.
360 bool mDeferredSingleDeclarationErrorCheck;
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400361
362 sh::GLenum mShaderType; // vertex or fragment language (future: pack or unpack)
363 ShShaderSpec mShaderSpec; // The language specification compiler conforms to - GLES2 or WebGL.
364 int mShaderVersion;
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400365 TIntermNode *mTreeRoot; // root of parse tree being created
366 int mLoopNestingLevel; // 0 if outside all loops
367 int mStructNestingLevel; // incremented while parsing a struct declaration
368 int mSwitchNestingLevel; // 0 if outside all switch statements
369 const TType *mCurrentFunctionType; // the return type of the function that's currently being parsed
370 bool mFunctionReturnsValue; // true if a non-void function has a return
371 bool mChecksPrecisionErrors; // true if an error will be generated when a variable is declared without precision, explicit or implicit.
Olli Etuahoa6996682015-10-12 14:32:30 +0300372 bool mFragmentPrecisionHighOnESSL1; // true if highp precision is supported when compiling
373 // ESSL1.
Jamie Madill6e06b1f2015-05-14 10:01:17 -0400374 TLayoutMatrixPacking mDefaultMatrixPacking;
375 TLayoutBlockStorage mDefaultBlockStorage;
376 TString mHashErrMsg;
377 TDiagnostics mDiagnostics;
378 TDirectiveHandler mDirectiveHandler;
379 pp::Preprocessor mPreprocessor;
380 void *mScanner;
Jamie Madill14e95b32015-05-07 10:10:41 -0400381 bool mUsesFragData; // track if we are using both gl_FragData and gl_FragColor
382 bool mUsesFragColor;
Kimmo Kinnunenb18609b2015-07-16 14:13:11 +0300383 bool mUsesSecondaryOutputs; // Track if we are using either gl_SecondaryFragData or
384 // gl_Secondary FragColor or both.
Olli Etuahoe1a94c62015-11-16 17:35:25 +0200385 int mMinProgramTexelOffset;
386 int mMaxProgramTexelOffset;
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +0000387};
388
Jamie Madill06145232015-05-13 13:10:01 -0400389int PaParseStrings(
390 size_t count, const char *const string[], const int length[], TParseContext *context);
daniel@transgaming.com4f39fd92010-03-08 20:26:45 +0000391
Geoff Lang0a73dd82014-11-19 16:18:08 -0500392#endif // COMPILER_TRANSLATOR_PARSECONTEXT_H_