X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=source%2Fglsl%2Fgenerate.h;h=fc58b2db16134108cf4e7fa653d6c1a6258b9ce3;hp=d4e570ab9908b239ceb291c4eafff8765afd39da;hb=38712d8ecc57d043a2419ffbaeeb57f7a6586f14;hpb=d80750e7c20ea061f210b756196cc844b762b852 diff --git a/source/glsl/generate.h b/source/glsl/generate.h index d4e570ab..fc58b2db 100644 --- a/source/glsl/generate.h +++ b/source/glsl/generate.h @@ -11,115 +11,20 @@ namespace Msp { namespace GL { namespace SL { -/** Combines multiple declarations of the same identifier into one. */ -class DeclarationCombiner: private TraversingVisitor +/** Assigns IDs to specialization constants with an automatic ID. */ +class ConstantIdAssigner: private TraversingVisitor { private: - std::map > functions; - std::map variables; - std::set nodes_to_remove; - -public: - void apply(Stage &); - -private: - virtual void visit(Block &); - 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; + std::set used_ids; + std::vector auto_constants; public: - ConstantSpecializer(); - - void apply(Stage &, const std::map *); + void apply(Module &, const Features &); 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 &); -}; - -/** Resolves types of variables and base types of other types. */ -class TypeResolver: private TraversingVisitor -{ -private: - Stage *stage; - -public: - TypeResolver(); - - void apply(Stage &); - -private: - virtual void visit(BasicTypeDeclaration &); - virtual void visit(ImageTypeDeclaration &); - virtual void visit(StructDeclaration &); - virtual void visit(VariableDeclaration &); - virtual void visit(FunctionDeclaration &); -}; - -/** 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; - std::map *r_members; - RefPtr r_iface_ref; - std::string block_interface; - bool record_target; - bool r_self_referencing; - VariableDeclaration *r_assignment_target; - -public: - VariableResolver(); - - void apply(Stage &); - -private: - virtual void enter(Block &); - virtual void visit(VariableReference &); - virtual void visit(InterfaceBlockReference &); - virtual void visit(MemberAccess &); - virtual void visit(UnaryExpression &); - virtual void visit(BinaryExpression &); - virtual void visit(Assignment &); - virtual void visit(FunctionCall &); - virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); -}; - -/** Resolves function declarations and calls. */ -class FunctionResolver: private TraversingVisitor -{ -private: - Stage *stage; - std::map > declarations; - -public: - 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. @@ -131,20 +36,18 @@ Unresolved variables are looked up in the previous stage's out variables. */ class InterfaceGenerator: private TraversingVisitor { private: - Stage *stage; + Stage *stage = 0; std::string in_prefix; std::string out_prefix; - bool function_scope; - InterfaceBlock *iface_block; - bool copy_block; - Block *iface_target_block; + bool function_scope = false; + bool copy_block = false; + std::vector declared_inputs; + Block *iface_target_block = 0; NodeList::iterator iface_insert_point; NodeList::iterator assignment_insert_point; std::set nodes_to_remove; public: - InterfaceGenerator(); - void apply(Stage &); private: