X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fgenerate.h;h=b82bdca365bc02e7fd856c86f5011eb124517f92;hb=30465dd3b9f55ec42c4b19c3c2077eede7237a26;hp=72035b2c4869504199edda4df59e46958b41fed1;hpb=bf852bf402cf1cc6604816ae958c7dcf2655addc;p=libs%2Fgl.git diff --git a/source/glsl/generate.h b/source/glsl/generate.h index 72035b2c..b82bdca3 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: @@ -27,21 +28,42 @@ private: virtual void visit(VariableDeclaration &); }; -class BlockResolver: private TraversingVisitor +/** 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 &); +}; + +/** 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: + Stage *stage; Block *builtins; - StructDeclaration *type; + std::map *members; + RefPtr iface_ref; std::string block_interface; bool record_target; VariableDeclaration *assignment_target; @@ -57,6 +79,7 @@ private: virtual void enter(Block &); virtual void visit(VariableReference &); + virtual void visit(InterfaceBlockReference &); virtual void visit(MemberAccess &); virtual void visit(BinaryExpression &); virtual void visit(Assignment &); @@ -65,19 +88,29 @@ private: virtual void visit(InterfaceBlock &); }; +/** Resolves function declarations and calls. */ class FunctionResolver: private TraversingVisitor { private: + Stage *stage; std::map > functions; 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: @@ -85,6 +118,9 @@ private: std::string in_prefix; 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; @@ -99,13 +135,17 @@ 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 &); + virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &); virtual void visit(Passthrough &); }; +/** Reorders declarations to ensure that declarations always appear before +references. */ class DeclarationReorderer: private TraversingVisitor { private: