X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fgenerate.h;h=977ed156f4490ab9e282b328d59c6c88074db3f2;hb=9ec831710f64a62ad5f2e896a55ae82a3519f29e;hp=4968297635c074e975af19e42934c57fe1da78a7;hpb=bd8816692056230c36504dcccd76c6946dff47b1;p=libs%2Fgl.git diff --git a/source/glsl/generate.h b/source/glsl/generate.h index 49682976..977ed156 100644 --- a/source/glsl/generate.h +++ b/source/glsl/generate.h @@ -11,6 +11,7 @@ namespace Msp { namespace GL { namespace SL { +/** Combines multiple declarations of the same identifier into one. */ class DeclarationCombiner: private TraversingVisitor { private: @@ -23,24 +24,43 @@ public: private: virtual void visit(Block &); - virtual void visit(FunctionDeclaration &); + virtual void visit(VariableDeclaration &); + virtual void visit(FunctionDeclaration &) { } +}; + +/** Manipulates specialization constants. If values are specified, turns +specialization constants into normal constants. Without values assigns +automatic constant_ids to specialization constants. */ +class ConstantSpecializer: private TraversingVisitor +{ +private: + const std::map *values; + +public: + ConstantSpecializer(); + + void apply(Stage &, const std::map *); + +private: virtual void visit(VariableDeclaration &); }; -class BlockResolver: private TraversingVisitor +/** Forms links between nested blocks in the syntax tree. */ +class BlockHierarchyResolver: private TraversingVisitor { public: void apply(Stage &s) { s.content.visit(*this); } private: virtual void enter(Block &); - virtual void visit(InterfaceBlock &); }; +/** Resolves variable references. Variable references which match the name +of an interface block are turned into interface block references. */ class VariableResolver: private TraversingVisitor { private: - Block *builtins; + Stage *stage; std::map *members; RefPtr iface_ref; std::string block_interface; @@ -54,8 +74,6 @@ public: void apply(Stage &); private: - Block *next_block(Block &); - virtual void enter(Block &); virtual void visit(VariableReference &); virtual void visit(InterfaceBlockReference &); @@ -67,19 +85,29 @@ private: virtual void visit(InterfaceBlock &); }; +/** Resolves function declarations and calls. */ class FunctionResolver: private TraversingVisitor { private: - std::map > functions; + Stage *stage; + std::map > declarations; public: - void apply(Stage &s) { s.content.visit(*this); } + void apply(Stage &); private: virtual void visit(FunctionCall &); virtual void visit(FunctionDeclaration &); }; +/** Materializes implicitly declared interfaces. + +Out variable declarations inside functions are moved to the global scope. + +Passthrough statements are processed, generating out variables to match in +variables and copying values. + +Unresolved variables are looked up in the previous stage's out variables. */ class InterfaceGenerator: private TraversingVisitor { private: @@ -88,6 +116,8 @@ private: std::string out_prefix; bool function_scope; InterfaceBlock *iface_block; + bool copy_block; + Block *iface_target_block; NodeList::iterator iface_insert_point; NodeList::iterator assignment_insert_point; std::set nodes_to_remove; @@ -102,6 +132,7 @@ private: std::string change_prefix(const std::string &, const std::string &) const; virtual void visit(Block &); bool generate_interface(VariableDeclaration &, const std::string &, const std::string &); + bool generate_interface(InterfaceBlock &); ExpressionStatement &insert_assignment(const std::string &, Expression *); virtual void visit(VariableReference &); virtual void visit(VariableDeclaration &); @@ -110,6 +141,8 @@ private: virtual void visit(Passthrough &); }; +/** Reorders declarations to ensure that declarations always appear before +references. */ class DeclarationReorderer: private TraversingVisitor { private: