1 #include <msp/core/raii.h>
2 #include <msp/strings/format.h>
11 Formatter::Formatter():
13 mode(Compiler::PROGRAM),
20 const string &Formatter::apply(Stage &s, Compiler::Mode m)
25 const Version &ver = s.required_features.glsl_version;
29 append(format("#version %d%02d", ver.major, ver.minor));
30 if(s.required_features.gl_api==OPENGL_ES2 && ver>=Version(3, 0))
35 if(s.required_features.arb_explicit_attrib_location)
36 append("#extension arb_explicit_attrib_location: require\n");
37 if(s.required_features.arb_gpu_shader5)
38 append("#extension arb_gpu_shader5: require\n");
39 if(s.required_features.arb_uniform_buffer_object)
40 append("#extension arb_uniform_buffer_object: require\n");
41 if(s.required_features.ext_gpu_shader4)
42 append("#extension ext_gpu_shader4: require\n");
43 if(s.required_features.ext_texture_array)
44 append("#extension ext_texture_array: require\n");
47 s.content.visit(*this);
52 void Formatter::append(const string &text)
55 for(string::const_iterator i=text.begin(); i!=text.end(); ++i)
60 void Formatter::append(char c)
67 void Formatter::set_source(unsigned index, unsigned line)
69 if(index!=source_index || (index && line!=source_line))
71 if(index==source_index && line==source_line+1)
76 if(mode==Compiler::PROGRAM && stage && stage->required_features.glsl_version<Version(3, 30))
78 formatted += format("#line %d %d\n", l, index);
85 void Formatter::visit(Literal &literal)
87 append(literal.token);
90 void Formatter::visit(ParenthesizedExpression &parexpr)
93 parexpr.expression->visit(*this);
97 void Formatter::visit(VariableReference &var)
102 void Formatter::visit(InterfaceBlockReference &iface)
107 void Formatter::visit(MemberAccess &memacc)
109 memacc.left->visit(*this);
110 append(format(".%s", memacc.member));
113 void Formatter::visit(UnaryExpression &unary)
117 unary.expression->visit(*this);
122 void Formatter::visit(BinaryExpression &binary)
124 binary.left->visit(*this);
126 binary.right->visit(*this);
127 append(binary.after);
130 void Formatter::visit(Assignment &assign)
132 assign.left->visit(*this);
133 append(format(" %s ", assign.oper));
134 assign.right->visit(*this);
137 void Formatter::visit(FunctionCall &call)
139 append(format("%s(", call.name));
140 for(NodeArray<Expression>::iterator i=call.arguments.begin(); i!=call.arguments.end(); ++i)
142 if(i!=call.arguments.begin())
149 void Formatter::visit(ExpressionStatement &expr)
151 expr.expression->visit(*this);
155 void Formatter::visit(Block &block)
157 unsigned brace_indent = indent;
158 bool use_braces = (block.use_braces || (indent && block.body.size()!=1));
160 append(format("%s{\n", string(brace_indent*2, ' ')));
162 SetForScope<unsigned> set(indent, indent+(indent>0 || use_braces));
163 string spaces(indent*2, ' ');
165 for(NodeList<Statement>::iterator i=block.body.begin(); i!=block.body.end(); ++i)
167 if((*i)->source==BUILTIN_SOURCE)
172 set_source((*i)->source, (*i)->line);
178 append(format("\n%s}", string(brace_indent*2, ' ')));
181 void Formatter::visit(Import &import)
183 append(format("import %s;", import.module));
186 void Formatter::visit(Precision &prec)
188 append(format("precision %s %s;", prec.precision, prec.type));
191 void Formatter::visit(Layout &layout)
194 for(vector<Layout::Qualifier>::const_iterator i=layout.qualifiers.begin(); i!=layout.qualifiers.end(); ++i)
196 if(i!=layout.qualifiers.begin())
200 append(format("=%d", i->value));
205 void Formatter::visit(InterfaceLayout &layout)
207 layout.layout.visit(*this);
208 append(format(" %s;", layout.interface));
211 void Formatter::visit(StructDeclaration &strct)
213 append(format("struct %s\n", strct.name));
214 strct.members.visit(*this);
218 void Formatter::visit(VariableDeclaration &var)
222 var.layout->visit(*this);
227 if(!var.interpolation.empty())
228 append(format("%s ", var.interpolation));
229 if(!var.sampling.empty())
230 append(format("%s ", var.sampling));
231 if(!var.interface.empty() && var.interface!=block_interface)
233 string interface = var.interface;
234 if(mode==Compiler::PROGRAM && stage && stage->required_features.glsl_version<Version(1, 30))
236 if(stage->type==Stage::VERTEX && var.interface=="in")
237 interface = "attribute";
238 else if((stage->type==Stage::VERTEX && var.interface=="out") || (stage->type==Stage::FRAGMENT && var.interface=="in"))
239 interface = "varying";
241 append(format("%s ", interface));
243 if(!var.precision.empty())
244 append(format("%s ", var.precision));
245 append(format("%s %s", var.type, var.name));
250 var.array_size->visit(*this);
253 if(var.init_expression)
256 var.init_expression->visit(*this);
262 void Formatter::visit(InterfaceBlock &iface)
264 SetForScope<string> set(block_interface, iface.interface);
265 append(format("%s %s\n", iface.interface, iface.name));
266 iface.members.visit(*this);
267 if(!iface.instance_name.empty())
270 append(iface.instance_name);
277 void Formatter::visit(FunctionDeclaration &func)
279 append(format("%s %s(", func.return_type, func.name));
280 for(NodeArray<VariableDeclaration>::iterator i=func.parameters.begin(); i!=func.parameters.end(); ++i)
282 if(i!=func.parameters.begin())
284 SetFlag set(parameter_list);
288 if(func.definition==&func)
291 func.body.visit(*this);
297 void Formatter::visit(Conditional &cond)
300 cond.condition->visit(*this);
303 cond.body.visit(*this);
304 if(!cond.else_body.body.empty())
306 Conditional *else_cond = dynamic_cast<Conditional *>(cond.else_body.body.front().get());
307 if(cond.else_body.body.size()==1 && else_cond)
310 set_source(else_cond->source, else_cond->line);
311 append(format("%selse ", string(indent*2, ' ')));
312 else_cond->visit(*this);
316 append(format("\n%selse\n", string(indent*2, ' ')));
317 cond.else_body.visit(*this);
322 void Formatter::visit(Iteration &iter)
324 if(!iter.init_statement && iter.condition && !iter.loop_expression)
327 iter.condition->visit(*this);
333 if(iter.init_statement)
334 iter.init_statement->visit(*this);
340 iter.condition->visit(*this);
343 if(iter.loop_expression)
346 iter.loop_expression->visit(*this);
351 if(iter.body.body.empty())
356 iter.body.visit(*this);
360 void Formatter::visit(Passthrough &pass)
362 append("passthrough");
366 pass.subscript->visit(*this);
372 void Formatter::visit(Return &ret)
378 ret.expression->visit(*this);
383 void Formatter::visit(Jump &jump)
385 append(jump.keyword);