#include <list>
#include <map>
+#include <set>
#include <string>
#include <vector>
+#include <cstdint>
#include <msp/core/refptr.h>
+#include <msp/core/variant.h>
#include "features.h"
+#include "glsl_error.h"
#include "sourcemap.h"
#pragma push_macro("interface")
NO_OPERATOR,
BINARY,
PREFIX,
- POSTFIX
+ POSTFIX,
+ TERNARY
};
enum Associativity
{
LEFT_TO_RIGHT,
- RIGHT_TO_LEFT
+ RIGHT_TO_LEFT,
+ ASSOCIATIVE
};
char token[4];
- unsigned precedence;
+ char token2[2];
+ std::uint8_t precedence;
Type type;
Associativity assoc;
static const Operator operators[];
+
+ static const Operator &get_operator(const std::string &, Type);
+};
+
+enum
+{
+ INTERNAL_SOURCE = -2,
+ BUILTIN_SOURCE = -1,
+ GENERATED_SOURCE = 0
};
struct NodeVisitor;
struct Node
{
-protected:
- Node() { }
- Node(const Node &) { }
+ int source = GENERATED_SOURCE;
+ unsigned line = 1;
+
+ Node() = default;
+ Node(const Node &) = default;
private:
Node &operator=(const Node &);
public:
- virtual ~Node() { }
+ virtual ~Node() = default;
virtual Node *clone() const = 0;
virtual void visit(NodeVisitor &) = 0;
class NodePtr: public RefPtr<T>
{
public:
- NodePtr() { }
+ NodePtr() = default;
NodePtr(T *p): RefPtr<T>(p) { }
NodePtr(const NodePtr &p): RefPtr<T>(p ? p->clone() : 0) { }
- NodePtr &operator=(const NodePtr &p) { RefPtr<T>::operator=(p); return *this; }
+ NodePtr &operator=(const NodePtr &p) = default;
template<typename U>
NodePtr(const RefPtr<U> &p): RefPtr<T>(p) { }
class NodeContainer: public C
{
public:
- NodeContainer() { }
+ NodeContainer() = default;
NodeContainer(const NodeContainer &);
+
+ void push_back_nocopy(const typename C::value_type &v)
+ { C::push_back(0); C::back() = v; }
};
template<typename T>
class NodeArray: public NodeContainer<std::vector<RefPtr<T> > >
{ };
-struct StructDeclaration;
+struct TypeDeclaration;
struct VariableDeclaration;
+struct InterfaceBlock;
struct FunctionDeclaration;
struct Statement: Node
{
- unsigned source;
- unsigned line;
-
- Statement();
-
virtual Statement *clone() const = 0;
};
struct Block: Node
{
NodeList<Statement> body;
- bool use_braces;
- bool anonymous;
- std::map<std::string, StructDeclaration *> types;
+ bool use_braces = false;
+
std::map<std::string, VariableDeclaration *> variables;
- Block *parent;
+ Block *parent = 0;
- Block();
+ Block() = default;
Block(const Block &);
virtual Block *clone() const { return new Block(*this); }
struct Expression: Node
{
+ const Operator *oper = 0;
+
+ TypeDeclaration *type = 0;
+ bool lvalue = false;
+
virtual Expression *clone() const = 0;
};
struct Literal: Expression
{
std::string token;
+ Variant value;
virtual Literal *clone() const { return new Literal(*this); }
virtual void visit(NodeVisitor &);
};
-struct ParenthesizedExpression: Expression
+struct VariableReference: Expression
{
- NodePtr<Expression> expression;
+ std::string name;
+
+ VariableDeclaration *declaration = 0;
- virtual ParenthesizedExpression *clone() const { return new ParenthesizedExpression(*this); }
+ VariableReference() = default;
+ VariableReference(const VariableReference &);
+
+ virtual VariableReference *clone() const { return new VariableReference(*this); }
virtual void visit(NodeVisitor &);
};
-struct VariableReference: Expression
+struct InterfaceBlockReference: Expression
{
std::string name;
- VariableDeclaration *declaration;
- VariableReference();
- VariableReference(const VariableReference &);
+ InterfaceBlock *declaration = 0;
- virtual VariableReference *clone() const { return new VariableReference(*this); }
+ InterfaceBlockReference() = default;
+ InterfaceBlockReference(const InterfaceBlockReference &);
+
+ virtual InterfaceBlockReference *clone() const { return new InterfaceBlockReference(*this); }
virtual void visit(NodeVisitor &);
};
{
NodePtr<Expression> left;
std::string member;
- VariableDeclaration *declaration;
- MemberAccess();
+ VariableDeclaration *declaration = 0;
+ int index = -1;
+
+ MemberAccess() = default;
MemberAccess(const MemberAccess &);
virtual MemberAccess *clone() const { return new MemberAccess(*this); }
virtual void visit(NodeVisitor &);
};
+struct Swizzle: Expression
+{
+ NodePtr<Expression> left;
+ std::string component_group;
+ unsigned count = 0;
+ std::uint8_t components[4] = { 0, 0, 0, 0 };
+
+ virtual Swizzle *clone() const { return new Swizzle(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
struct UnaryExpression: Expression
{
- std::string oper;
NodePtr<Expression> expression;
- bool prefix;
-
- UnaryExpression();
virtual UnaryExpression *clone() const { return new UnaryExpression(*this); }
virtual void visit(NodeVisitor &);
struct BinaryExpression: Expression
{
NodePtr<Expression> left;
- std::string oper;
NodePtr<Expression> right;
- std::string after;
virtual BinaryExpression *clone() const { return new BinaryExpression(*this); }
virtual void visit(NodeVisitor &);
struct Assignment: BinaryExpression
{
- bool self_referencing;
- VariableDeclaration *target_declaration;
+ struct Target
+ {
+ enum ChainType
+ {
+ MEMBER = 0x40,
+ SWIZZLE = 0x80,
+ ARRAY = 0xC0
+ };
+
+ Statement *declaration = 0;
+ std::uint8_t chain_len = 0;
+ std::uint8_t chain[7] = { };
+
+ Target(Statement *d = 0): declaration(d) { }
+
+ bool operator<(const Target &) const;
+ };
- Assignment();
+ bool self_referencing = false;
+
+ Target target;
+
+ Assignment() = default;
Assignment(const Assignment &);
virtual Assignment *clone() const { return new Assignment(*this); }
virtual void visit(NodeVisitor &);
};
+struct TernaryExpression: Expression
+{
+ NodePtr<Expression> condition;
+ NodePtr<Expression> true_expr;
+ NodePtr<Expression> false_expr;
+
+ virtual TernaryExpression *clone() const { return new TernaryExpression(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
struct FunctionCall: Expression
{
std::string name;
- FunctionDeclaration *declaration;
- bool constructor;
+ bool constructor = false;
NodeArray<Expression> arguments;
- FunctionCall();
+ FunctionDeclaration *declaration = 0;
+
+ FunctionCall() = default;
FunctionCall(const FunctionCall &);
virtual FunctionCall *clone() const { return new FunctionCall(*this); }
std::string name;
bool has_value;
int value;
+
+ Qualifier(const std::string &n = std::string()): name(n), has_value(false), value(0) { }
+ Qualifier(const std::string &n, int v): name(n), has_value(true), value(v) { }
};
std::vector<Qualifier> qualifiers;
virtual void visit(NodeVisitor &);
};
-struct StructDeclaration: Statement
+struct TypeDeclaration: Statement
{
std::string name;
+
+ virtual TypeDeclaration *clone() const = 0;
+};
+
+struct BasicTypeDeclaration: TypeDeclaration
+{
+ enum Kind
+ {
+ ALIAS,
+ VOID,
+ BOOL,
+ INT,
+ FLOAT,
+ VECTOR,
+ MATRIX,
+ ARRAY
+ };
+
+ Kind kind = ALIAS;
+ unsigned size = 0;
+ bool sign = true;
+ std::string base;
+
+ TypeDeclaration *base_type = 0;
+
+ BasicTypeDeclaration() = default;
+ BasicTypeDeclaration(const BasicTypeDeclaration &);
+
+ virtual BasicTypeDeclaration *clone() const { return new BasicTypeDeclaration(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
+struct ImageTypeDeclaration: TypeDeclaration
+{
+ enum Dimensions
+ {
+ ONE = 1,
+ TWO,
+ THREE,
+ CUBE
+ };
+
+ Dimensions dimensions = TWO;
+ bool array = false;
+ bool sampled = true;
+ bool shadow = false;
+ std::string base;
+
+ TypeDeclaration *base_type = 0;
+
+ virtual ImageTypeDeclaration *clone() const { return new ImageTypeDeclaration(*this); }
+ virtual void visit(NodeVisitor &);
+};
+
+struct StructDeclaration: TypeDeclaration
+{
Block members;
+ InterfaceBlock *interface_block = 0;
+
StructDeclaration();
+ StructDeclaration(const StructDeclaration &);
+ ~StructDeclaration();
virtual StructDeclaration *clone() const { return new StructDeclaration(*this); }
virtual void visit(NodeVisitor &);
struct VariableDeclaration: Statement
{
- bool constant;
+ NodePtr<Layout> layout;
+ bool constant = false;
std::string sampling;
std::string interpolation;
std::string interface;
std::string precision;
std::string type;
- StructDeclaration *type_declaration;
std::string name;
- bool array;
+ bool array = false;
NodePtr<Expression> array_size;
NodePtr<Expression> init_expression;
- VariableDeclaration *linked_declaration;
- NodePtr<Layout> layout;
- VariableDeclaration();
+ TypeDeclaration *type_declaration = 0;
+ VariableDeclaration *linked_declaration = 0;
+
+ VariableDeclaration() = default;
VariableDeclaration(const VariableDeclaration &);
+ ~VariableDeclaration();
virtual VariableDeclaration *clone() const { return new VariableDeclaration(*this); }
virtual void visit(NodeVisitor &);
struct InterfaceBlock: Statement
{
+ NodePtr<Layout> layout;
std::string interface;
- std::string name;
- Block members;
+ std::string block_name;
+ NodePtr<Block> members;
std::string instance_name;
- bool array;
+ bool array = false;
- InterfaceBlock();
+ /* An interface block's ultimate base type is always a struct. The
+ immediate type may be either that same struct or an array of it. */
+ TypeDeclaration *type_declaration = 0;
+ StructDeclaration *struct_declaration = 0;
+ InterfaceBlock *linked_block = 0;
+
+ InterfaceBlock() = default;
+ InterfaceBlock(const InterfaceBlock &);
+ ~InterfaceBlock();
virtual InterfaceBlock *clone() const { return new InterfaceBlock(*this); }
virtual void visit(NodeVisitor &);
std::string return_type;
std::string name;
NodeArray<VariableDeclaration> parameters;
- FunctionDeclaration *definition;
+ bool virtua = false;
+ bool overrd = false;
Block body;
- FunctionDeclaration();
+ std::string signature;
+ FunctionDeclaration *definition = 0;
+ TypeDeclaration *return_type_declaration = 0;
+
+ FunctionDeclaration() = default;
FunctionDeclaration(const FunctionDeclaration &);
virtual FunctionDeclaration *clone() const { return new FunctionDeclaration(*this); }
struct Iteration: Statement
{
- NodePtr<Node> init_statement;
+ NodePtr<Statement> init_statement;
NodePtr<Expression> condition;
NodePtr<Expression> loop_expression;
Block body;
};
Type type;
- Stage *previous;
+ Stage *previous = 0;
Block content;
- std::map<std::string, VariableDeclaration *> in_variables;
- std::map<std::string, VariableDeclaration *> out_variables;
+ std::map<std::string, TypeDeclaration *> types;
+ std::map<std::string, InterfaceBlock *> interface_blocks;
+ std::map<std::string, FunctionDeclaration *> functions;
std::map<std::string, unsigned> locations;
+ std::map<std::string, unsigned> texture_bindings;
+ std::map<std::string, unsigned> uniform_block_bindings;
+ unsigned n_clip_distances = 0;
Features required_features;
+ std::vector<Diagnostic> diagnostics;
Stage(Type);
Module();
};
+std::string get_unused_variable_name(const Block &, const std::string &);
+
+int get_layout_value(const Layout &, const std::string &, int = -1);
+void add_to_chain(Assignment::Target &, Assignment::Target::ChainType, unsigned);
+
} // namespace SL
} // namespace GL
} // namespace Msp