1 // 2 // Copyright (c) 2002-2013 The ANGLE Project Authors. All rights reserved. 3 // Use of this source code is governed by a BSD-style license that can be 4 // found in the LICENSE file. 5 // 6 #ifndef _PARSER_HELPER_INCLUDED_ 7 #define _PARSER_HELPER_INCLUDED_ 8 9 #include "compiler/Diagnostics.h" 10 #include "compiler/DirectiveHandler.h" 11 #include "compiler/localintermediate.h" 12 #include "compiler/preprocessor/Preprocessor.h" 13 #include "compiler/ShHandle.h" 14 #include "compiler/SymbolTable.h" 15 16 struct TMatrixFields { 17 bool wholeRow; 18 bool wholeCol; 19 int row; 20 int col; 21 }; 22 23 // 24 // The following are extra variables needed during parsing, grouped together so 25 // they can be passed to the parser without needing a global. 26 // 27 struct TParseContext { 28 TParseContext(TSymbolTable& symt, TExtensionBehavior& ext, TIntermediate& interm, ShShaderType type, ShShaderSpec spec, int options, bool checksPrecErrors, const char* sourcePath, TInfoSink& is) : 29 intermediate(interm), 30 symbolTable(symt), 31 shaderType(type), 32 shaderSpec(spec), 33 compileOptions(options), 34 sourcePath(sourcePath), 35 treeRoot(0), 36 loopNestingLevel(0), 37 structNestingLevel(0), 38 currentFunctionType(NULL), 39 functionReturnsValue(false), 40 checksPrecisionErrors(checksPrecErrors), 41 diagnostics(is), 42 directiveHandler(ext, diagnostics), 43 preprocessor(&diagnostics, &directiveHandler), 44 scanner(NULL) { } 45 TIntermediate& intermediate; // to hold and build a parse tree 46 TSymbolTable& symbolTable; // symbol table that goes with the language currently being parsed 47 ShShaderType shaderType; // vertex or fragment language (future: pack or unpack) 48 ShShaderSpec shaderSpec; // The language specification compiler conforms to - GLES2 or WebGL. 49 int compileOptions; 50 const char* sourcePath; // Path of source file or NULL. 51 TIntermNode* treeRoot; // root of parse tree being created 52 int loopNestingLevel; // 0 if outside all loops 53 int structNestingLevel; // incremented while parsing a struct declaration 54 const TType* currentFunctionType; // the return type of the function that's currently being parsed 55 bool functionReturnsValue; // true if a non-void function has a return 56 bool checksPrecisionErrors; // true if an error will be generated when a variable is declared without precision, explicit or implicit. 57 bool fragmentPrecisionHigh; // true if highp precision is supported in the fragment language. 58 TString HashErrMsg; 59 TDiagnostics diagnostics; 60 TDirectiveHandler directiveHandler; 61 pp::Preprocessor preprocessor; 62 void* scanner; 63 64 int numErrors() const { return diagnostics.numErrors(); } 65 TInfoSink& infoSink() { return diagnostics.infoSink(); } 66 void error(const TSourceLoc& loc, const char *reason, const char* token, 67 const char* extraInfo=""); 68 void warning(const TSourceLoc& loc, const char* reason, const char* token, 69 const char* extraInfo=""); 70 void trace(const char* str); 71 void recover(); 72 73 bool parseVectorFields(const TString&, int vecSize, TVectorFields&, const TSourceLoc& line); 74 bool parseMatrixFields(const TString&, int matSize, TMatrixFields&, const TSourceLoc& line); 75 76 bool reservedErrorCheck(const TSourceLoc& line, const TString& identifier); 77 void assignError(const TSourceLoc& line, const char* op, TString left, TString right); 78 void unaryOpError(const TSourceLoc& line, const char* op, TString operand); 79 void binaryOpError(const TSourceLoc& line, const char* op, TString left, TString right); 80 bool precisionErrorCheck(const TSourceLoc& line, TPrecision precision, TBasicType type); 81 bool lValueErrorCheck(const TSourceLoc& line, const char* op, TIntermTyped*); 82 bool constErrorCheck(TIntermTyped* node); 83 bool integerErrorCheck(TIntermTyped* node, const char* token); 84 bool globalErrorCheck(const TSourceLoc& line, bool global, const char* token); 85 bool constructorErrorCheck(const TSourceLoc& line, TIntermNode*, TFunction&, TOperator, TType*); 86 bool arraySizeErrorCheck(const TSourceLoc& line, TIntermTyped* expr, int& size); 87 bool arrayQualifierErrorCheck(const TSourceLoc& line, TPublicType type); 88 bool arrayTypeErrorCheck(const TSourceLoc& line, TPublicType type); 89 bool arrayErrorCheck(const TSourceLoc& line, TString& identifier, TPublicType type, TVariable*& variable); 90 bool voidErrorCheck(const TSourceLoc&, const TString&, const TPublicType&); 91 bool boolErrorCheck(const TSourceLoc&, const TIntermTyped*); 92 bool boolErrorCheck(const TSourceLoc&, const TPublicType&); 93 bool samplerErrorCheck(const TSourceLoc& line, const TPublicType& pType, const char* reason); 94 bool structQualifierErrorCheck(const TSourceLoc& line, const TPublicType& pType); 95 bool parameterSamplerErrorCheck(const TSourceLoc& line, TQualifier qualifier, const TType& type); 96 bool nonInitConstErrorCheck(const TSourceLoc& line, TString& identifier, TPublicType& type, bool array); 97 bool nonInitErrorCheck(const TSourceLoc& line, TString& identifier, TPublicType& type, TVariable*& variable); 98 bool paramErrorCheck(const TSourceLoc& line, TQualifier qualifier, TQualifier paramQualifier, TType* type); 99 bool extensionErrorCheck(const TSourceLoc& line, const TString&); 100 101 const TPragma& pragma() const { return directiveHandler.pragma(); } 102 const TExtensionBehavior& extensionBehavior() const { return directiveHandler.extensionBehavior(); } 103 bool supportsExtension(const char* extension); 104 bool isExtensionEnabled(const char* extension) const; 105 106 bool containsSampler(TType& type); 107 bool areAllChildConst(TIntermAggregate* aggrNode); 108 const TFunction* findFunction(const TSourceLoc& line, TFunction* pfnCall, bool *builtIn = 0); 109 bool executeInitializer(const TSourceLoc& line, TString& identifier, TPublicType& pType, 110 TIntermTyped* initializer, TIntermNode*& intermNode, TVariable* variable = 0); 111 112 TIntermTyped* addConstructor(TIntermNode*, const TType*, TOperator, TFunction*, const TSourceLoc&); 113 TIntermTyped* foldConstConstructor(TIntermAggregate* aggrNode, const TType& type); 114 TIntermTyped* constructStruct(TIntermNode*, TType*, int, const TSourceLoc&, bool subset); 115 TIntermTyped* constructBuiltIn(const TType*, TOperator, TIntermNode*, const TSourceLoc&, bool subset); 116 TIntermTyped* addConstVectorNode(TVectorFields&, TIntermTyped*, const TSourceLoc&); 117 TIntermTyped* addConstMatrixNode(int , TIntermTyped*, const TSourceLoc&); 118 TIntermTyped* addConstArrayNode(int index, TIntermTyped* node, const TSourceLoc& line); 119 TIntermTyped* addConstStruct(TString& , TIntermTyped*, const TSourceLoc&); 120 TIntermTyped* addIndexExpression(TIntermTyped *baseExpression, const TSourceLoc& location, TIntermTyped *indexExpression); 121 122 // Performs an error check for embedded struct declarations. 123 // Returns true if an error was raised due to the declaration of 124 // this struct. 125 bool enterStructDeclaration(const TSourceLoc& line, const TString& identifier); 126 void exitStructDeclaration(); 127 128 bool structNestingErrorCheck(const TSourceLoc& line, const TField& field); 129 }; 130 131 int PaParseStrings(size_t count, const char* const string[], const int length[], 132 TParseContext* context); 133 134 #endif // _PARSER_HELPER_INCLUDED_ 135
