1 #ifndef MSP_GL_SL_SYNTAX_H_
2 #define MSP_GL_SL_SYNTAX_H_
9 #include <msp/core/inttypes.h>
10 #include <msp/core/refptr.h>
11 #include <msp/core/variant.h>
13 #include "glsl_error.h"
14 #include "sourcemap.h"
16 #pragma push_macro("interface")
47 static const Operator operators[];
49 static const Operator &get_operator(const std::string &, Type);
66 Node(): source(GENERATED_SOURCE), line(1) { }
67 Node(const Node &n): source(n.source), line(n.line) { }
69 Node &operator=(const Node &);
73 virtual Node *clone() const = 0;
74 virtual void visit(NodeVisitor &) = 0;
78 class NodePtr: public RefPtr<T>
82 NodePtr(T *p): RefPtr<T>(p) { }
83 NodePtr(const NodePtr &p): RefPtr<T>(p ? p->clone() : 0) { }
84 NodePtr &operator=(const NodePtr &p) { RefPtr<T>::operator=(p); return *this; }
87 NodePtr(const RefPtr<U> &p): RefPtr<T>(p) { }
90 NodePtr(const NodePtr<U> &p): RefPtr<T>(p ? p->clone() : 0) { }
94 class NodeContainer: public C
98 NodeContainer(const NodeContainer &);
100 void push_back_nocopy(const typename C::value_type &v)
101 { C::push_back(0); C::back() = v; }
105 class NodeList: public NodeContainer<std::list<RefPtr<T> > >
109 class NodeArray: public NodeContainer<std::vector<RefPtr<T> > >
112 struct TypeDeclaration;
113 struct VariableDeclaration;
114 struct InterfaceBlock;
115 struct FunctionDeclaration;
117 struct Statement: Node
119 virtual Statement *clone() const = 0;
124 NodeList<Statement> body;
127 std::map<std::string, VariableDeclaration *> variables;
131 Block(const Block &);
133 virtual Block *clone() const { return new Block(*this); }
134 virtual void visit(NodeVisitor &);
137 struct Expression: Node
139 const Operator *oper;
141 TypeDeclaration *type;
146 virtual Expression *clone() const = 0;
149 struct Literal: Expression
154 virtual Literal *clone() const { return new Literal(*this); }
155 virtual void visit(NodeVisitor &);
158 struct VariableReference: Expression
162 VariableDeclaration *declaration;
165 VariableReference(const VariableReference &);
167 virtual VariableReference *clone() const { return new VariableReference(*this); }
168 virtual void visit(NodeVisitor &);
171 struct InterfaceBlockReference: Expression
175 InterfaceBlock *declaration;
177 InterfaceBlockReference();
178 InterfaceBlockReference(const InterfaceBlockReference &);
180 virtual InterfaceBlockReference *clone() const { return new InterfaceBlockReference(*this); }
181 virtual void visit(NodeVisitor &);
184 struct MemberAccess: Expression
186 NodePtr<Expression> left;
189 VariableDeclaration *declaration;
192 MemberAccess(const MemberAccess &);
194 virtual MemberAccess *clone() const { return new MemberAccess(*this); }
195 virtual void visit(NodeVisitor &);
198 struct Swizzle: Expression
200 NodePtr<Expression> left;
201 std::string component_group;
207 virtual Swizzle *clone() const { return new Swizzle(*this); }
208 virtual void visit(NodeVisitor &);
211 struct UnaryExpression: Expression
213 NodePtr<Expression> expression;
215 virtual UnaryExpression *clone() const { return new UnaryExpression(*this); }
216 virtual void visit(NodeVisitor &);
219 struct BinaryExpression: Expression
221 NodePtr<Expression> left;
222 NodePtr<Expression> right;
224 virtual BinaryExpression *clone() const { return new BinaryExpression(*this); }
225 virtual void visit(NodeVisitor &);
228 struct Assignment: BinaryExpression
239 Statement *declaration;
240 Msp::UInt8 chain_len;
243 Target(Statement * = 0);
245 bool operator<(const Target &) const;
248 bool self_referencing;
253 Assignment(const Assignment &);
255 virtual Assignment *clone() const { return new Assignment(*this); }
256 virtual void visit(NodeVisitor &);
259 struct TernaryExpression: Expression
261 NodePtr<Expression> condition;
262 NodePtr<Expression> true_expr;
263 NodePtr<Expression> false_expr;
265 virtual TernaryExpression *clone() const { return new TernaryExpression(*this); }
266 virtual void visit(NodeVisitor &);
269 struct FunctionCall: Expression
273 NodeArray<Expression> arguments;
275 FunctionDeclaration *declaration;
278 FunctionCall(const FunctionCall &);
280 virtual FunctionCall *clone() const { return new FunctionCall(*this); }
281 virtual void visit(NodeVisitor &);
284 struct ExpressionStatement: Statement
286 NodePtr<Expression> expression;
288 virtual ExpressionStatement *clone() const { return new ExpressionStatement(*this); }
289 virtual void visit(NodeVisitor &);
292 struct Import: Statement
296 virtual Import *clone() const { return new Import(*this); }
297 virtual void visit(NodeVisitor &);
300 struct Precision: Statement
302 std::string precision;
305 virtual Precision *clone() const { return new Precision(*this); }
306 virtual void visit(NodeVisitor &);
317 Qualifier(): has_value(false), value(0) { }
320 std::vector<Qualifier> qualifiers;
322 virtual Layout *clone() const { return new Layout(*this); }
323 virtual void visit(NodeVisitor &);
326 struct InterfaceLayout: Statement
328 std::string interface;
331 virtual InterfaceLayout *clone() const { return new InterfaceLayout(*this); }
332 virtual void visit(NodeVisitor &);
335 struct TypeDeclaration: Statement
339 virtual TypeDeclaration *clone() const = 0;
342 struct BasicTypeDeclaration: TypeDeclaration
360 TypeDeclaration *base_type;
362 BasicTypeDeclaration();
363 BasicTypeDeclaration(const BasicTypeDeclaration &);
365 virtual BasicTypeDeclaration *clone() const { return new BasicTypeDeclaration(*this); }
366 virtual void visit(NodeVisitor &);
369 struct ImageTypeDeclaration: TypeDeclaration
379 Dimensions dimensions;
385 TypeDeclaration *base_type;
387 ImageTypeDeclaration();
389 virtual ImageTypeDeclaration *clone() const { return new ImageTypeDeclaration(*this); }
390 virtual void visit(NodeVisitor &);
393 struct StructDeclaration: TypeDeclaration
397 InterfaceBlock *interface_block;
400 StructDeclaration(const StructDeclaration &);
401 ~StructDeclaration();
403 virtual StructDeclaration *clone() const { return new StructDeclaration(*this); }
404 virtual void visit(NodeVisitor &);
407 struct VariableDeclaration: Statement
409 NodePtr<Layout> layout;
411 std::string sampling;
412 std::string interpolation;
413 std::string interface;
414 std::string precision;
418 NodePtr<Expression> array_size;
419 NodePtr<Expression> init_expression;
421 TypeDeclaration *type_declaration;
422 VariableDeclaration *linked_declaration;
424 VariableDeclaration();
425 VariableDeclaration(const VariableDeclaration &);
426 ~VariableDeclaration();
428 virtual VariableDeclaration *clone() const { return new VariableDeclaration(*this); }
429 virtual void visit(NodeVisitor &);
432 struct InterfaceBlock: Statement
434 NodePtr<Layout> layout;
435 std::string interface;
436 std::string block_name;
437 NodePtr<Block> members;
438 std::string instance_name;
441 /* An interface block's ultimate base type is always a struct. The
442 immediate type may be either that same struct or an array of it. */
443 TypeDeclaration *type_declaration;
444 StructDeclaration *struct_declaration;
445 InterfaceBlock *linked_block;
448 InterfaceBlock(const InterfaceBlock &);
451 virtual InterfaceBlock *clone() const { return new InterfaceBlock(*this); }
452 virtual void visit(NodeVisitor &);
455 struct FunctionDeclaration: Statement
457 std::string return_type;
459 NodeArray<VariableDeclaration> parameters;
464 std::string signature;
465 FunctionDeclaration *definition;
466 TypeDeclaration *return_type_declaration;
468 FunctionDeclaration();
469 FunctionDeclaration(const FunctionDeclaration &);
471 virtual FunctionDeclaration *clone() const { return new FunctionDeclaration(*this); }
472 virtual void visit(NodeVisitor &);
475 struct Conditional: Statement
477 NodePtr<Expression> condition;
481 virtual Conditional *clone() const { return new Conditional(*this); }
482 virtual void visit(NodeVisitor &);
485 struct Iteration: Statement
487 NodePtr<Statement> init_statement;
488 NodePtr<Expression> condition;
489 NodePtr<Expression> loop_expression;
492 virtual Iteration *clone() const { return new Iteration(*this); }
493 virtual void visit(NodeVisitor &);
496 struct Passthrough: Statement
498 NodePtr<Expression> subscript;
500 virtual Passthrough *clone() const { return new Passthrough(*this); }
501 virtual void visit(NodeVisitor &);
504 struct Return: Statement
506 NodePtr<Expression> expression;
508 virtual Return *clone() const { return new Return(*this); }
509 virtual void visit(NodeVisitor &);
512 struct Jump: Statement
516 virtual Jump *clone() const { return new Jump(*this); }
517 virtual void visit(NodeVisitor &);
533 std::map<std::string, TypeDeclaration *> types;
534 std::map<std::string, InterfaceBlock *> interface_blocks;
535 std::map<std::string, FunctionDeclaration *> functions;
536 std::map<std::string, unsigned> locations;
537 std::map<std::string, unsigned> texture_bindings;
538 std::map<std::string, unsigned> uniform_block_bindings;
539 Features required_features;
540 std::vector<Diagnostic> diagnostics;
544 static const char *get_stage_name(Type);
549 SourceMap source_map;
551 std::list<Stage> stages;
556 std::string get_unused_variable_name(const Block &, const std::string &);
558 bool is_same_type(const TypeDeclaration &, const TypeDeclaration &);
559 int get_layout_value(const Layout &, const std::string &, int = -1);
565 #pragma pop_macro("interface")