From 3cc8341e5c1182e22c0d46563cbb57aa01420078 Mon Sep 17 00:00:00 2001
From: Roberto Raggi <roberto.raggi@nokia.com>
Date: Thu, 25 Nov 2010 10:29:57 +0100
Subject: [PATCH] Initial work on the semantic pass.
---
src/libs/glsl/glsl-lib.pri | 6 +-
src/libs/glsl/glslast.h | 2 +-
src/libs/glsl/glslsemantic.cpp | 353 +++++++++++++++++++++++++++++++++
src/libs/glsl/glslsemantic.h | 99 +++++++++
4 files changed, 457 insertions(+), 3 deletions(-)
create mode 100644 src/libs/glsl/glslsemantic.cpp
create mode 100644 src/libs/glsl/glslsemantic.h
diff --git a/src/libs/glsl/glsl-lib.pri b/src/libs/glsl/glsl-lib.pri
index 92beaaa4222..0682af49608 100644
--- a/src/libs/glsl/glsl-lib.pri
+++ b/src/libs/glsl/glsl-lib.pri
@@ -1,7 +1,9 @@
HEADERS += $$PWD/glsl.h $$PWD/glsllexer.h $$PWD/glslparser.h $$PWD/glslparsertable_p.h $$PWD/glslast.h \
- $$PWD/glslastvisitor.h $$PWD/glslengine.h $$PWD/glslmemorypool.h $$PWD/glslastdump.h
+ $$PWD/glslastvisitor.h $$PWD/glslengine.h $$PWD/glslmemorypool.h $$PWD/glslastdump.h \
+ $$PWD/glslsemantic.h
SOURCES += $$PWD/glslkeywords.cpp $$PWD/glslparser.cpp $$PWD/glslparsertable.cpp \
$$PWD/glsllexer.cpp $$PWD/glslast.cpp \
- $$PWD/glslastvisitor.cpp $$PWD/glslengine.cpp $$PWD/glslmemorypool.cpp $$PWD/glslastdump.cpp
+ $$PWD/glslastvisitor.cpp $$PWD/glslengine.cpp $$PWD/glslmemorypool.cpp $$PWD/glslastdump.cpp \
+ $$PWD/glslsemantic.cpp
OTHER_FILES = $$PWD/glsl.g
diff --git a/src/libs/glsl/glslast.h b/src/libs/glsl/glslast.h
index 8ee2b893447..dcea195f9b5 100644
--- a/src/libs/glsl/glslast.h
+++ b/src/libs/glsl/glslast.h
@@ -1004,7 +1004,7 @@ public: // attributes
List<Declaration *> *decls;
};
-class FunctionDeclaration : public Declaration
+class GLSL_EXPORT FunctionDeclaration : public Declaration
{
public:
FunctionDeclaration(Type *_returnType, const QString *_name)
diff --git a/src/libs/glsl/glslsemantic.cpp b/src/libs/glsl/glslsemantic.cpp
new file mode 100644
index 00000000000..8b7e01966d3
--- /dev/null
+++ b/src/libs/glsl/glslsemantic.cpp
@@ -0,0 +1,353 @@
+/**************************************************************************
+**
+** This file is part of Qt Creator
+**
+** Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies).
+**
+** Contact: Nokia Corporation (qt-info@nokia.com)
+**
+** Commercial Usage
+**
+** Licensees holding valid Qt Commercial licenses may use this file in
+** accordance with the Qt Commercial License Agreement provided with the
+** Software or, alternatively, in accordance with the terms contained in
+** a written agreement between you and Nokia.
+**
+** GNU Lesser General Public License Usage
+**
+** Alternatively, this file may be used under the terms of the GNU Lesser
+** General Public License version 2.1 as published by the Free Software
+** Foundation and appearing in the file LICENSE.LGPL included in the
+** packaging of this file. Please review the following information to
+** ensure the GNU Lesser General Public License version 2.1 requirements
+** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+**
+** If you are unsure which license is appropriate for your use, please
+** contact the sales department at http://qt.nokia.com/contact.
+**
+**************************************************************************/
+
+#include "glslsemantic.h"
+
+using namespace GLSL;
+
+Semantic::Semantic()
+{
+}
+
+Semantic::~Semantic()
+{
+}
+
+void Semantic::expression(Expression *ast)
+{
+ accept(ast);
+}
+
+void Semantic::statement(Statement *ast)
+{
+ accept(ast);
+}
+
+void Semantic::type(Type *ast)
+{
+ accept(ast);
+}
+
+void Semantic::declaration(Declaration *ast)
+{
+ accept(ast);
+}
+
+void Semantic::translationUnit(TranslationUnit *ast)
+{
+ accept(ast);
+}
+
+void Semantic::functionIdentifier(FunctionIdentifier *ast)
+{
+ accept(ast);
+}
+
+void Semantic::field(StructType::Field *ast)
+{
+ accept(ast);
+}
+
+bool Semantic::visit(TranslationUnit *ast)
+{
+ for (List<Declaration *> *it = ast->declarations; it; it = it->next) {
+ Declaration *decl = it->value;
+ declaration(decl);
+ }
+ return false;
+}
+
+bool Semantic::visit(FunctionIdentifier *ast)
+{
+ // ast->name
+ type(ast->type);
+ return false;
+}
+
+bool Semantic::visit(StructType::Field *ast)
+{
+ // ast->name
+ type(ast->type);
+ return false;
+}
+
+
+// expressions
+bool Semantic::visit(IdentifierExpression *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(LiteralExpression *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(BinaryExpression *ast)
+{
+ expression(ast->left);
+ expression(ast->right);
+ return false;
+}
+
+bool Semantic::visit(UnaryExpression *ast)
+{
+ expression(ast->expr);
+ return false;
+}
+
+bool Semantic::visit(TernaryExpression *ast)
+{
+ expression(ast->first);
+ expression(ast->second);
+ expression(ast->third);
+ return false;
+}
+
+bool Semantic::visit(AssignmentExpression *ast)
+{
+ expression(ast->variable);
+ expression(ast->value);
+ return false;
+}
+
+bool Semantic::visit(MemberAccessExpression *ast)
+{
+ expression(ast->expr);
+ // ast->field
+ return false;
+}
+
+bool Semantic::visit(FunctionCallExpression *ast)
+{
+ expression(ast->expr);
+ functionIdentifier(ast->id);
+ for (List<Expression *> *it = ast->arguments; it; it = it->next) {
+ Expression *arg = it->value;
+ expression(arg);
+ }
+
+ return false;
+}
+
+bool Semantic::visit(DeclarationExpression *ast)
+{
+ type(ast->type);
+ // ast->name
+ expression(ast->initializer);
+ return false;
+}
+
+
+// statements
+bool Semantic::visit(ExpressionStatement *ast)
+{
+ expression(ast->expr);
+ return false;
+}
+
+bool Semantic::visit(CompoundStatement *ast)
+{
+ for (List<Statement *> *it = ast->statements; it; it = it->next) {
+ Statement *stmt = it->value;
+ statement(stmt);
+ }
+ return false;
+}
+
+bool Semantic::visit(IfStatement *ast)
+{
+ expression(ast->condition);
+ statement(ast->thenClause);
+ statement(ast->elseClause);
+ return false;
+}
+
+bool Semantic::visit(WhileStatement *ast)
+{
+ expression(ast->condition);
+ statement(ast->body);
+ return false;
+}
+
+bool Semantic::visit(DoStatement *ast)
+{
+ statement(ast->body);
+ expression(ast->condition);
+ return false;
+}
+
+bool Semantic::visit(ForStatement *ast)
+{
+ statement(ast->init);
+ expression(ast->condition);
+ expression(ast->increment);
+ statement(ast->body);
+ return false;
+}
+
+bool Semantic::visit(JumpStatement *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(ReturnStatement *ast)
+{
+ expression(ast->expr);
+ return false;
+}
+
+bool Semantic::visit(SwitchStatement *ast)
+{
+ expression(ast->expr);
+ statement(ast->body);
+ return false;
+}
+
+bool Semantic::visit(CaseLabelStatement *ast)
+{
+ expression(ast->expr);
+ return false;
+}
+
+bool Semantic::visit(DeclarationStatement *ast)
+{
+ for (List<Declaration *> *it = ast->decls; it; it = it->next) {
+ Declaration *decl = it->value;
+ declaration(decl);
+ }
+ return false;
+}
+
+
+// types
+bool Semantic::visit(BasicType *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(NamedType *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(ArrayType *ast)
+{
+ type(ast->elementType);
+ expression(ast->size);
+ return false;
+}
+
+bool Semantic::visit(StructType *ast)
+{
+ // ast->name
+ for (List<StructType::Field *> *it = ast->fields; it; it = it->next) {
+ StructType::Field *f = it->value;
+ field(f);
+ }
+ return false;
+}
+
+bool Semantic::visit(QualifiedType *ast)
+{
+ accept(ast->type);
+ for (List<LayoutQualifier *> *it = ast->layout_list; it; it = it->next) {
+ LayoutQualifier *q = it->value;
+ // q->name;
+ // q->number;
+ Q_UNUSED(q);
+ }
+ return false;
+}
+
+
+// declarations
+bool Semantic::visit(PrecisionDeclaration *ast)
+{
+ type(ast->type);
+ return false;
+}
+
+bool Semantic::visit(ParameterDeclaration *ast)
+{
+ type(ast->type);
+ return false;
+}
+
+bool Semantic::visit(VariableDeclaration *ast)
+{
+ type(ast->type);
+ expression(ast->initializer);
+ return false;
+}
+
+bool Semantic::visit(TypeDeclaration *ast)
+{
+ type(ast->type);
+ return false;
+}
+
+bool Semantic::visit(TypeAndVariableDeclaration *ast)
+{
+ declaration(ast->typeDecl);
+ declaration(ast->varDecl);
+ return false;
+}
+
+bool Semantic::visit(InvariantDeclaration *ast)
+{
+ Q_UNUSED(ast);
+ return false;
+}
+
+bool Semantic::visit(InitDeclaration *ast)
+{
+ for (List<Declaration *> *it = ast->decls; it; it = it->next) {
+ Declaration *decl = it->value;
+ declaration(decl);
+ }
+ return false;
+}
+
+bool Semantic::visit(FunctionDeclaration *ast)
+{
+ type(ast->returnType);
+ for (List<ParameterDeclaration *> *it = ast->params; it; it = it->next) {
+ ParameterDeclaration *decl = it->value;
+ declaration(decl);
+ }
+ statement(ast->body);
+ return false;
+}
+
diff --git a/src/libs/glsl/glslsemantic.h b/src/libs/glsl/glslsemantic.h
new file mode 100644
index 00000000000..8d7cb77e8c3
--- /dev/null
+++ b/src/libs/glsl/glslsemantic.h
@@ -0,0 +1,99 @@
+/**************************************************************************
+**
+** This file is part of Qt Creator
+**
+** Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies).
+**
+** Contact: Nokia Corporation (qt-info@nokia.com)
+**
+** Commercial Usage
+**
+** Licensees holding valid Qt Commercial licenses may use this file in
+** accordance with the Qt Commercial License Agreement provided with the
+** Software or, alternatively, in accordance with the terms contained in
+** a written agreement between you and Nokia.
+**
+** GNU Lesser General Public License Usage
+**
+** Alternatively, this file may be used under the terms of the GNU Lesser
+** General Public License version 2.1 as published by the Free Software
+** Foundation and appearing in the file LICENSE.LGPL included in the
+** packaging of this file. Please review the following information to
+** ensure the GNU Lesser General Public License version 2.1 requirements
+** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+**
+** If you are unsure which license is appropriate for your use, please
+** contact the sales department at http://qt.nokia.com/contact.
+**
+**************************************************************************/
+#ifndef GLSLSEMANTIC_H
+#define GLSLSEMANTIC_H
+
+#include "glslastvisitor.h"
+
+namespace GLSL {
+
+class GLSL_EXPORT Semantic: protected Visitor
+{
+public:
+ Semantic();
+ virtual ~Semantic();
+
+ void expression(Expression *ast);
+ void statement(Statement *ast);
+ void type(Type *ast);
+ void declaration(Declaration *ast);
+ void translationUnit(TranslationUnit *ast);
+ void functionIdentifier(FunctionIdentifier *ast);
+ void field(StructType::Field *ast);
+
+protected:
+ virtual bool visit(TranslationUnit *ast);
+ virtual bool visit(FunctionIdentifier *ast);
+ virtual bool visit(StructType::Field *ast);
+
+ // expressions
+ virtual bool visit(IdentifierExpression *ast);
+ virtual bool visit(LiteralExpression *ast);
+ virtual bool visit(BinaryExpression *ast);
+ virtual bool visit(UnaryExpression *ast);
+ virtual bool visit(TernaryExpression *ast);
+ virtual bool visit(AssignmentExpression *ast);
+ virtual bool visit(MemberAccessExpression *ast);
+ virtual bool visit(FunctionCallExpression *ast);
+ virtual bool visit(DeclarationExpression *ast);
+
+ // statements
+ virtual bool visit(ExpressionStatement *ast);
+ virtual bool visit(CompoundStatement *ast);
+ virtual bool visit(IfStatement *ast);
+ virtual bool visit(WhileStatement *ast);
+ virtual bool visit(DoStatement *ast);
+ virtual bool visit(ForStatement *ast);
+ virtual bool visit(JumpStatement *ast);
+ virtual bool visit(ReturnStatement *ast);
+ virtual bool visit(SwitchStatement *ast);
+ virtual bool visit(CaseLabelStatement *ast);
+ virtual bool visit(DeclarationStatement *ast);
+
+ // types
+ virtual bool visit(BasicType *ast);
+ virtual bool visit(NamedType *ast);
+ virtual bool visit(ArrayType *ast);
+ virtual bool visit(StructType *ast);
+ virtual bool visit(QualifiedType *ast);
+
+ // declarations
+ virtual bool visit(PrecisionDeclaration *ast);
+ virtual bool visit(ParameterDeclaration *ast);
+ virtual bool visit(VariableDeclaration *ast);
+ virtual bool visit(TypeDeclaration *ast);
+ virtual bool visit(TypeAndVariableDeclaration *ast);
+ virtual bool visit(InvariantDeclaration *ast);
+ virtual bool visit(InitDeclaration *ast);
+ virtual bool visit(FunctionDeclaration *ast);
+};
+
+} // namespace GLSL
+
+#endif // GLSLSEMANTIC_H
--
GitLab