mirror of
https://github.com/KhronosGroup/glslang
synced 2024-11-10 12:30:05 +00:00
e18fd20d5c
- make it sharable with GLSL - correct the case insensitivity - remove the map; queries are not needed, all entries need processing - make it easier to build bottom up (will help GLSL parsing) - support semantic checking and reporting - allow front-end dependent semantics and attribute name mapping
141 lines
6.4 KiB
C++
Executable File
141 lines
6.4 KiB
C++
Executable File
//
|
|
// Copyright (C) 2016 Google, Inc.
|
|
// Copyright (C) 2016 LunarG, Inc.
|
|
//
|
|
// All rights reserved.
|
|
//
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions
|
|
// are met:
|
|
//
|
|
// Redistributions of source code must retain the above copyright
|
|
// notice, this list of conditions and the following disclaimer.
|
|
//
|
|
// Redistributions in binary form must reproduce the above
|
|
// copyright notice, this list of conditions and the following
|
|
// disclaimer in the documentation and/or other materials provided
|
|
// with the distribution.
|
|
//
|
|
// Neither the name of Google, Inc., nor the names of its
|
|
// contributors may be used to endorse or promote products derived
|
|
// from this software without specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
// COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
// POSSIBILITY OF SUCH DAMAGE.
|
|
//
|
|
|
|
#ifndef HLSLGRAMMAR_H_
|
|
#define HLSLGRAMMAR_H_
|
|
|
|
#include "hlslParseHelper.h"
|
|
#include "hlslOpMap.h"
|
|
#include "hlslTokenStream.h"
|
|
|
|
namespace glslang {
|
|
|
|
class TFunctionDeclarator;
|
|
|
|
// Should just be the grammar aspect of HLSL.
|
|
// Described in more detail in hlslGrammar.cpp.
|
|
|
|
class HlslGrammar : public HlslTokenStream {
|
|
public:
|
|
HlslGrammar(HlslScanContext& scanner, HlslParseContext& parseContext)
|
|
: HlslTokenStream(scanner), parseContext(parseContext), intermediate(parseContext.intermediate),
|
|
typeIdentifiers(false) { }
|
|
virtual ~HlslGrammar() { }
|
|
|
|
bool parse();
|
|
|
|
protected:
|
|
HlslGrammar();
|
|
HlslGrammar& operator=(const HlslGrammar&);
|
|
|
|
void expected(const char*);
|
|
void unimplemented(const char*);
|
|
bool acceptIdentifier(HlslToken&);
|
|
bool acceptCompilationUnit();
|
|
bool acceptDeclarationList(TIntermNode*&);
|
|
bool acceptDeclaration(TIntermNode*&);
|
|
bool acceptControlDeclaration(TIntermNode*& node);
|
|
bool acceptSamplerDeclarationDX9(TType&);
|
|
bool acceptSamplerState();
|
|
bool acceptFullySpecifiedType(TType&, const TAttributes&);
|
|
bool acceptFullySpecifiedType(TType&, TIntermNode*& nodeList, const TAttributes&, bool forbidDeclarators = false);
|
|
bool acceptQualifier(TQualifier&);
|
|
bool acceptLayoutQualifierList(TQualifier&);
|
|
bool acceptType(TType&);
|
|
bool acceptType(TType&, TIntermNode*& nodeList);
|
|
bool acceptTemplateVecMatBasicType(TBasicType&);
|
|
bool acceptVectorTemplateType(TType&);
|
|
bool acceptMatrixTemplateType(TType&);
|
|
bool acceptTessellationDeclType(TBuiltInVariable&);
|
|
bool acceptTessellationPatchTemplateType(TType&);
|
|
bool acceptStreamOutTemplateType(TType&, TLayoutGeometry&);
|
|
bool acceptOutputPrimitiveGeometry(TLayoutGeometry&);
|
|
bool acceptAnnotations(TQualifier&);
|
|
bool acceptSamplerType(TType&);
|
|
bool acceptTextureType(TType&);
|
|
bool acceptSubpassInputType(TType&);
|
|
bool acceptStructBufferType(TType&);
|
|
bool acceptTextureBufferType(TType&);
|
|
bool acceptConstantBufferType(TType&);
|
|
bool acceptStruct(TType&, TIntermNode*& nodeList);
|
|
bool acceptStructDeclarationList(TTypeList*&, TIntermNode*& nodeList, TVector<TFunctionDeclarator>&);
|
|
bool acceptMemberFunctionDefinition(TIntermNode*& nodeList, const TType&, TString& memberName,
|
|
TFunctionDeclarator&);
|
|
bool acceptFunctionParameters(TFunction&);
|
|
bool acceptParameterDeclaration(TFunction&);
|
|
bool acceptFunctionDefinition(TFunctionDeclarator&, TIntermNode*& nodeList, TVector<HlslToken>* deferredTokens);
|
|
bool acceptFunctionBody(TFunctionDeclarator& declarator, TIntermNode*& nodeList);
|
|
bool acceptParenExpression(TIntermTyped*&);
|
|
bool acceptExpression(TIntermTyped*&);
|
|
bool acceptInitializer(TIntermTyped*&);
|
|
bool acceptAssignmentExpression(TIntermTyped*&);
|
|
bool acceptConditionalExpression(TIntermTyped*&);
|
|
bool acceptBinaryExpression(TIntermTyped*&, PrecedenceLevel);
|
|
bool acceptUnaryExpression(TIntermTyped*&);
|
|
bool acceptPostfixExpression(TIntermTyped*&);
|
|
bool acceptConstructor(TIntermTyped*&);
|
|
bool acceptFunctionCall(const TSourceLoc&, TString& name, TIntermTyped*&, TIntermTyped* objectBase);
|
|
bool acceptArguments(TFunction*, TIntermTyped*&);
|
|
bool acceptLiteral(TIntermTyped*&);
|
|
bool acceptSimpleStatement(TIntermNode*&);
|
|
bool acceptCompoundStatement(TIntermNode*&);
|
|
bool acceptScopedStatement(TIntermNode*&);
|
|
bool acceptScopedCompoundStatement(TIntermNode*&);
|
|
bool acceptStatement(TIntermNode*&);
|
|
bool acceptNestedStatement(TIntermNode*&);
|
|
void acceptAttributes(TAttributes&);
|
|
bool acceptSelectionStatement(TIntermNode*&, const TAttributes&);
|
|
bool acceptSwitchStatement(TIntermNode*&, const TAttributes&);
|
|
bool acceptIterationStatement(TIntermNode*&, const TAttributes&);
|
|
bool acceptJumpStatement(TIntermNode*&);
|
|
bool acceptCaseLabel(TIntermNode*&);
|
|
bool acceptDefaultLabel(TIntermNode*&);
|
|
void acceptArraySpecifier(TArraySizes*&);
|
|
bool acceptPostDecls(TQualifier&);
|
|
bool acceptDefaultParameterDeclaration(const TType&, TIntermTyped*&);
|
|
|
|
bool captureBlockTokens(TVector<HlslToken>& tokens);
|
|
const char* getTypeString(EHlslTokenClass tokenClass) const;
|
|
|
|
HlslParseContext& parseContext; // state of parsing and helper functions for building the intermediate
|
|
TIntermediate& intermediate; // the final product, the intermediate representation, includes the AST
|
|
bool typeIdentifiers; // shader uses some types as identifiers
|
|
};
|
|
|
|
} // end namespace glslang
|
|
|
|
#endif // HLSLGRAMMAR_H_
|