+ virtual void visit(FunctionCall &);
+ virtual void visit(FunctionDeclaration &);
+ virtual void visit(Iteration &);
+};
+
+/** Inlines variables into expressions. Variables with trivial values (those
+consisting of a single literal or variable reference) are always inlined.
+Variables which are only referenced once are also inlined. */
+class ExpressionInliner: private TraversingVisitor
+{
+private:
+ struct ExpressionUse
+ {
+ RefPtr<Expression> *reference;
+ Block *ref_scope;
+ bool blocked;
+
+ ExpressionUse(): reference(0), ref_scope(0), blocked(false) { }
+ };
+
+ struct ExpressionInfo
+ {
+ Assignment::Target target;
+ RefPtr<Expression> expression;
+ Block *assign_scope;
+ std::vector<ExpressionUse> uses;
+ bool trivial;
+
+ ExpressionInfo(): expression(0), assign_scope(0), trivial(false) { }
+ };
+
+ std::list<ExpressionInfo> expressions;
+ std::map<Assignment::Target, ExpressionInfo *> assignments;
+ ExpressionInfo *r_ref_info;
+ bool r_trivial;
+ bool access_read;
+ bool access_write;
+ bool iteration_init;
+ Block *iteration_body;
+ const Operator *r_oper;
+
+public:
+ ExpressionInliner();
+
+ bool apply(Stage &);
+
+private:
+ virtual void visit(RefPtr<Expression> &);
+ virtual void visit(VariableReference &);
+ virtual void visit(MemberAccess &);
+ virtual void visit(Swizzle &);