]> git.tdb.fi Git - libs/gl.git/blob - source/glsl/visitor.cpp
Refactor block management in NodeRemover
[libs/gl.git] / source / glsl / visitor.cpp
1 #include <msp/core/raii.h>
2 #include "visitor.h"
3
4 using namespace std;
5
6 namespace Msp {
7 namespace GL {
8 namespace SL {
9
10 void NodeVisitor::visit(Assignment &assign)
11 {
12         visit(static_cast<BinaryExpression &>(assign));
13 }
14
15
16 void TraversingVisitor::visit(Block &block)
17 {
18         if(&block!=current_block)
19                 enter(block);
20         SetForScope<Block *> set_block(current_block, &block);
21         for(NodeList<Statement>::iterator i=block.body.begin(); i!=block.body.end(); ++i)
22                 (*i)->visit(*this);
23 }
24
25 void TraversingVisitor::visit(ParenthesizedExpression &parexpr)
26 {
27         parexpr.expression->visit(*this);
28 }
29
30 void TraversingVisitor::visit(MemberAccess &memacc)
31 {
32         memacc.left->visit(*this);
33 }
34
35 void TraversingVisitor::visit(UnaryExpression &unary)
36 {
37         unary.expression->visit(*this);
38 }
39
40 void TraversingVisitor::visit(BinaryExpression &binary)
41 {
42         binary.left->visit(*this);
43         binary.right->visit(*this);
44 }
45
46 void TraversingVisitor::visit(FunctionCall &call)
47 {
48         for(NodeArray<Expression>::iterator i=call.arguments.begin(); i!=call.arguments.end(); ++i)
49                 (*i)->visit(*this);
50 }
51
52 void TraversingVisitor::visit(ExpressionStatement &expr)
53 {
54         expr.expression->visit(*this);
55 }
56
57 void TraversingVisitor::visit(InterfaceLayout &layout)
58 {
59         layout.layout.visit(*this);
60 }
61
62 void TraversingVisitor::visit(StructDeclaration &strct)
63 {
64         strct.members.visit(*this);
65 }
66
67 void TraversingVisitor::visit(VariableDeclaration &var)
68 {
69         if(var.layout)
70                 var.layout->visit(*this);
71         if(var.init_expression)
72                 var.init_expression->visit(*this);
73         if(var.array_size)
74                 var.array_size->visit(*this);
75 }
76
77 void TraversingVisitor::visit(InterfaceBlock &iface)
78 {
79         iface.members.visit(*this);
80 }
81
82 void TraversingVisitor::visit(FunctionDeclaration &func)
83 {
84         enter(func.body);
85         SetForScope<Block *> set_block(current_block, &func.body);
86         for(NodeArray<VariableDeclaration>::iterator i=func.parameters.begin(); i!=func.parameters.end(); ++i)
87                 (*i)->visit(*this);
88         func.body.visit(*this);
89 }
90
91 void TraversingVisitor::visit(Conditional &cond)
92 {
93         cond.condition->visit(*this);
94         cond.body.visit(*this);
95         cond.else_body.visit(*this);
96 }
97
98 void TraversingVisitor::visit(Iteration &iter)
99 {
100         enter(iter.body);
101         SetForScope<Block *> set_block(current_block, &iter.body);
102         if(iter.init_statement)
103                 iter.init_statement->visit(*this);
104         if(iter.condition)
105                 iter.condition->visit(*this);
106         if(iter.loop_expression)
107                 iter.loop_expression->visit(*this);
108         iter.body.visit(*this);
109 }
110
111 void TraversingVisitor::visit(Passthrough &pass)
112 {
113         if(pass.subscript)
114                 pass.subscript->visit(*this);
115 }
116
117 void TraversingVisitor::visit(Return &ret)
118 {
119         if(ret.expression)
120                 ret.expression->visit(*this);
121 }
122
123
124 NodeRemover::NodeRemover():
125         stage(0),
126         to_remove(0),
127         recursive_remove(false)
128 { }
129
130 void NodeRemover::apply(Stage &s, const set<Node *> &tr)
131 {
132         stage = &s;
133         to_remove = &tr;
134         s.content.visit(*this);
135 }
136
137 void NodeRemover::remove_variable(map<string, VariableDeclaration *> &vars, VariableDeclaration &decl)
138 {
139         map<string, VariableDeclaration *>::iterator i = vars.find(decl.name);
140         if(i!=vars.end() && i->second==&decl)
141                 vars.erase(i);
142 }
143
144 void NodeRemover::visit(Block &block)
145 {
146         SetForScope<Block *> set_block(current_block, &block);
147         for(NodeList<Statement>::iterator i=block.body.begin(); i!=block.body.end(); )
148         {
149                 (*i)->visit(*this);
150                 if(to_remove->count(i->get()))
151                         block.body.erase(i++);
152                 else
153                         ++i;
154         }
155 }
156
157 void NodeRemover::visit(StructDeclaration &strct)
158 {
159         if(to_remove->count(&strct))
160                 current_block->types.erase(strct.name);
161 }
162
163 void NodeRemover::visit(VariableDeclaration &var)
164 {
165         if(recursive_remove || to_remove->count(&var))
166         {
167                 remove_variable(current_block->variables, var);
168                 if(current_block->anonymous && current_block->parent)
169                         remove_variable(current_block->parent->variables, var);
170                 remove_variable(stage->in_variables, var);
171                 remove_variable(stage->out_variables, var);
172                 stage->locations.erase(var.name);
173                 if(var.linked_declaration)
174                         var.linked_declaration->linked_declaration = 0;
175         }
176         else if(var.init_expression && to_remove->count(var.init_expression.get()))
177                 var.init_expression = 0;
178 }
179
180 void NodeRemover::visit(InterfaceBlock &iface)
181 {
182         SetFlag set_recursive(recursive_remove, recursive_remove || to_remove->count(&iface));
183         TraversingVisitor::visit(iface);
184 }
185
186 void NodeRemover::visit(Iteration &iter)
187 {
188         if(to_remove->count(iter.init_statement.get()))
189                 iter.init_statement = 0;
190         TraversingVisitor::visit(iter);
191 }
192
193 } // namespace SL
194 } // namespace GL
195 } // namespace Msp