private:
struct Visitor: ProgramSyntax::TraversingVisitor
{
+ typedef void ResultType;
+
ProgramSyntax::Stage *stage;
Visitor();
virtual void apply(ProgramSyntax::Stage &);
+ void get_result() const { }
};
struct Formatter: Visitor
{
+ typedef std::string ResultType;
+
std::string formatted;
unsigned indent;
bool parameter_list;
- bool else_if;
+ unsigned else_if;
std::string block_interface;
Formatter();
+ const std::string &get_result() const { return formatted; }
virtual void visit(ProgramSyntax::Block &);
virtual void visit(ProgramSyntax::Literal &);
virtual void visit(ProgramSyntax::ParenthesizedExpression &);
virtual void visit(ProgramSyntax::MemberAccess &);
virtual void visit(ProgramSyntax::UnaryExpression &);
virtual void visit(ProgramSyntax::BinaryExpression &);
+ virtual void visit(ProgramSyntax::Assignment &);
virtual void visit(ProgramSyntax::FunctionCall &);
virtual void visit(ProgramSyntax::ExpressionStatement &);
virtual void visit(ProgramSyntax::Layout &);
ProgramSyntax::StructDeclaration *type;
bool anonymous;
std::string block_interface;
+ bool record_target;
+ ProgramSyntax::VariableDeclaration *assignment_target;
+ bool self_referencing;
VariableResolver();
virtual void visit(ProgramSyntax::VariableReference &);
virtual void visit(ProgramSyntax::MemberAccess &);
virtual void visit(ProgramSyntax::BinaryExpression &);
+ virtual void visit(ProgramSyntax::Assignment &);
virtual void visit(ProgramSyntax::StructDeclaration &);
virtual void visit(ProgramSyntax::VariableDeclaration &);
virtual void visit(ProgramSyntax::InterfaceBlock &);
struct UnusedVariableLocator: Visitor
{
+ struct AssignmentList
+ {
+ std::vector<ProgramSyntax::Node *> nodes;
+ bool conditional;
+ bool self_referencing;
+ };
+
+ typedef std::set<ProgramSyntax::Node *> ResultType;
+ typedef std::map<ProgramSyntax::VariableDeclaration *, AssignmentList> BlockAssignmentMap;
+
std::set<ProgramSyntax::Node *> unused_nodes;
std::map<ProgramSyntax::VariableDeclaration *, ProgramSyntax::Node *> aggregates;
ProgramSyntax::Node *aggregate;
- std::map<ProgramSyntax::VariableDeclaration *, ProgramSyntax::Node *> assignments;
- bool assignment;
- bool record_target;
- ProgramSyntax::VariableDeclaration *assignment_target;
- bool indeterminate_target;
- bool self_referencing;
+ std::vector<BlockAssignmentMap> assignments;
+ ProgramSyntax::Assignment *assignment;
+ bool assignment_target;
UnusedVariableLocator();
+ virtual void apply(ProgramSyntax::Stage &);
+ const ResultType &get_result() const { return unused_nodes; }
virtual void visit(ProgramSyntax::VariableReference &);
virtual void visit(ProgramSyntax::MemberAccess &);
virtual void visit(ProgramSyntax::BinaryExpression &);
+ virtual void visit(ProgramSyntax::Assignment &);
+ void record_assignment(ProgramSyntax::VariableDeclaration &, ProgramSyntax::Node &, bool);
virtual void visit(ProgramSyntax::ExpressionStatement &);
virtual void visit(ProgramSyntax::StructDeclaration &);
virtual void visit(ProgramSyntax::VariableDeclaration &);
virtual void visit(ProgramSyntax::InterfaceBlock &);
+ virtual void visit(ProgramSyntax::FunctionDeclaration &);
+ void merge_down_assignments();
+ virtual void visit(ProgramSyntax::Conditional &);
+ virtual void visit(ProgramSyntax::Iteration &);
};
struct NodeRemover: Visitor
{
std::set<ProgramSyntax::Node *> to_remove;
+ NodeRemover() { }
+ NodeRemover(const std::set<ProgramSyntax::Node *> &);
+
virtual void visit(ProgramSyntax::Block &);
virtual void visit(ProgramSyntax::VariableDeclaration &);
};
bool optimize(ProgramSyntax::Stage &);
static void inject_block(ProgramSyntax::Block &, const ProgramSyntax::Block &);
template<typename T>
- static void apply(ProgramSyntax::Stage &);
- std::string create_source(ProgramSyntax::Stage &);
+ static typename T::ResultType apply(ProgramSyntax::Stage &);
+ template<typename T, typename A>
+ static typename T::ResultType apply(ProgramSyntax::Stage &, const A &);
};
} // namespace GL