X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fgenerate.h;h=ef8ca10e35b198b5da4a38abc09708b08455f267;hb=bbe2fb7bc1384d7683f1795b5cfa9168df18c580;hp=a09c552f1fd9f05c5329edabae112ece237017b0;hpb=7a16308e72aef363727b21348779673edf8e5c07;p=libs%2Fgl.git diff --git a/source/glsl/generate.h b/source/glsl/generate.h index a09c552f..ef8ca10e 100644 --- a/source/glsl/generate.h +++ b/source/glsl/generate.h @@ -11,110 +11,62 @@ namespace Msp { namespace GL { namespace SL { -class DeclarationCombiner: public BlockModifier +/** 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: - bool toplevel; - std::map > functions; - std::map variables; + const std::map *values; public: - DeclarationCombiner(); + ConstantSpecializer(); - using StageVisitor::visit; - virtual void visit(Block &); - virtual void visit(FunctionDeclaration &); - virtual void visit(VariableDeclaration &); -}; + void apply(Stage &, const std::map *); -class VariableResolver: public StageVisitor -{ private: - std::vector blocks; - StructDeclaration *type; - bool anonymous; - std::string block_interface; - bool record_target; - VariableDeclaration *assignment_target; - bool self_referencing; - -public: - VariableResolver(); - - virtual void apply(Stage &); - using StageVisitor::visit; - virtual void visit(Block &); - virtual void visit(VariableReference &); - virtual void visit(MemberAccess &); - virtual void visit(BinaryExpression &); - virtual void visit(Assignment &); - virtual void visit(StructDeclaration &); virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &); }; -class FunctionResolver: public StageVisitor -{ -private: - std::map > functions; +/** Materializes implicitly declared interfaces. -public: - using StageVisitor::visit; - virtual void visit(FunctionCall &); - virtual void visit(FunctionDeclaration &); -}; +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. -class InterfaceGenerator: public BlockModifier +Unresolved variables are looked up in the previous stage's out variables. */ +class InterfaceGenerator: private TraversingVisitor { private: + Stage *stage; std::string in_prefix; std::string out_prefix; - unsigned scope_level; - std::map > iface_declarations; + bool function_scope; + bool copy_block; + std::vector declared_inputs; + Block *iface_target_block; + NodeList::iterator iface_insert_point; + NodeList::iterator assignment_insert_point; + std::set nodes_to_remove; public: InterfaceGenerator(); + void apply(Stage &); + +private: static std::string get_out_prefix(Stage::Type); - virtual void apply(Stage &); - using StageVisitor::visit; - virtual void visit(Block &); std::string change_prefix(const std::string &, const std::string &) const; - bool generate_interface(VariableDeclaration &, const std::string &, const std::string &); + virtual void visit(Block &); + VariableDeclaration *generate_interface(VariableDeclaration &, const std::string &, const std::string &); + InterfaceBlock *generate_interface(InterfaceBlock &); ExpressionStatement &insert_assignment(const std::string &, Expression *); virtual void visit(VariableReference &); virtual void visit(VariableDeclaration &); - virtual void visit(Passthrough &); -}; - -class DeclarationReorderer: public StageVisitor -{ -private: - enum DeclarationKind - { - NO_DECLARATION, - LAYOUT, - STRUCT, - VARIABLE, - FUNCTION - }; - - unsigned scope_level; - DeclarationKind kind; - std::set ordered_funcs; - std::set needed_funcs; - -public: - DeclarationReorderer(); - - using StageVisitor::visit; - virtual void visit(Block &); - virtual void visit(FunctionCall &); - virtual void visit(InterfaceLayout &) { kind = LAYOUT; } - virtual void visit(StructDeclaration &) { kind = STRUCT; } - virtual void visit(VariableDeclaration &); - virtual void visit(InterfaceBlock &) { kind = VARIABLE; } + virtual void visit(InterfaceBlock &); virtual void visit(FunctionDeclaration &); + virtual void visit(Passthrough &); }; } // namespace SL