X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fprogramcompiler.h;h=8681d3638a032cabd389879922fe7378c4a45a76;hb=f1c6ef565577ac322693255d764eea1f2cab9e77;hp=2ef4aa7d9b77c5f853968da6e4e9dbc310c9abec;hpb=7434b80c452eb8f7ac8200a6f693a9eb668421f0;p=libs%2Fgl.git diff --git a/source/programcompiler.h b/source/programcompiler.h index 2ef4aa7d..8681d363 100644 --- a/source/programcompiler.h +++ b/source/programcompiler.h @@ -9,6 +9,7 @@ namespace Msp { namespace GL { class Program; +class Resources; class ProgramCompiler { @@ -48,6 +49,7 @@ private: virtual void visit(ProgramSyntax::Assignment &); virtual void visit(ProgramSyntax::FunctionCall &); virtual void visit(ProgramSyntax::ExpressionStatement &); + virtual void visit(ProgramSyntax::Import &); virtual void visit(ProgramSyntax::Layout &); virtual void visit(ProgramSyntax::StructDeclaration &); virtual void visit(ProgramSyntax::VariableDeclaration &); @@ -58,6 +60,31 @@ private: virtual void visit(ProgramSyntax::Return &); }; + template + struct NodeGatherer: Visitor + { + typedef std::list ResultType; + + std::list nodes; + + const ResultType &get_result() const { return nodes; } + virtual void visit(T &n) { nodes.push_back(&n); } + }; + + struct DeclarationCombiner: Visitor + { + bool toplevel; + std::map > functions; + std::map variables; + bool remove_node; + + DeclarationCombiner(); + + virtual void visit(ProgramSyntax::Block &); + virtual void visit(ProgramSyntax::FunctionDeclaration &); + virtual void visit(ProgramSyntax::VariableDeclaration &); + }; + struct VariableResolver: Visitor { std::vector blocks; @@ -81,6 +108,14 @@ private: virtual void visit(ProgramSyntax::InterfaceBlock &); }; + struct FunctionResolver: Visitor + { + std::map > functions; + + virtual void visit(ProgramSyntax::FunctionCall &); + virtual void visit(ProgramSyntax::FunctionDeclaration &); + }; + struct InterfaceGenerator: Visitor { std::string in_prefix; @@ -109,6 +144,39 @@ private: virtual void visit(ProgramSyntax::VariableDeclaration &); }; + struct ExpressionEvaluator: ProgramSyntax::NodeVisitor + { + typedef std::map ValueMap; + + const ValueMap *variable_values; + float result; + bool result_valid; + + ExpressionEvaluator(); + ExpressionEvaluator(const ValueMap &); + + virtual void visit(ProgramSyntax::Literal &); + virtual void visit(ProgramSyntax::VariableReference &); + virtual void visit(ProgramSyntax::UnaryExpression &); + virtual void visit(ProgramSyntax::BinaryExpression &); + }; + + struct ConstantConditionEliminator: Visitor + { + unsigned scope_level; + ExpressionEvaluator::ValueMap variable_values; + bool remove_node; + ProgramSyntax::Block *replacement_block; + + ConstantConditionEliminator(); + + virtual void visit(ProgramSyntax::Block &); + virtual void visit(ProgramSyntax::Assignment &); + virtual void visit(ProgramSyntax::VariableDeclaration &); + virtual void visit(ProgramSyntax::Conditional &); + virtual void visit(ProgramSyntax::Iteration &); + }; + struct UnusedVariableLocator: Visitor { struct AssignmentList @@ -147,6 +215,18 @@ private: virtual void visit(ProgramSyntax::Iteration &); }; + struct UnusedFunctionLocator: Visitor + { + typedef std::set ResultType; + + std::set unused_nodes; + std::set used_definitions; + + const ResultType &get_result() const { return unused_nodes; } + virtual void visit(ProgramSyntax::FunctionCall &); + virtual void visit(ProgramSyntax::FunctionDeclaration &); + }; + struct NodeRemover: Visitor { std::set to_remove; @@ -158,6 +238,7 @@ private: virtual void visit(ProgramSyntax::VariableDeclaration &); }; + Resources *resources; ProgramParser parser; ProgramSyntax::Module *module; @@ -165,7 +246,7 @@ public: ProgramCompiler(); void compile(const std::string &); - void compile(IO::Base &); + void compile(IO::Base &, Resources * = 0); void add_shaders(Program &); private: @@ -173,6 +254,7 @@ private: static ProgramSyntax::Module &get_builtins_module(); static ProgramSyntax::Stage *get_builtins(ProgramSyntax::StageType); void process(); + void import(const std::string &); void generate(ProgramSyntax::Stage &); bool optimize(ProgramSyntax::Stage &); static void inject_block(ProgramSyntax::Block &, const ProgramSyntax::Block &);