X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fglsl%2Fcompiler.cpp;h=e46e5401a8fbe452e8175cc622545d7f52caf6f7;hb=a60a60fe29850ef8a5dc291ed70741eeb95d9e0b;hp=66a487fbccd4b7a63f2575295ecc03fcbfcddf5a;hpb=50ab5ca2babc8d9592903da6072a13b381ed6656;p=libs%2Fgl.git diff --git a/source/glsl/compiler.cpp b/source/glsl/compiler.cpp index 66a487fb..e46e5401 100644 --- a/source/glsl/compiler.cpp +++ b/source/glsl/compiler.cpp @@ -166,7 +166,8 @@ string Compiler::get_diagnostics() const string combined; for(list::const_iterator i=module->stages.begin(); i!=module->stages.end(); ++i) for(vector::const_iterator j=i->diagnostics.begin(); j!=i->diagnostics.end(); ++j) - append(combined, "\n", format("%s:%d: %s", module->source_map.get_name(j->source), j->line, j->message)); + if(j->source!=INTERNAL_SOURCE) + append(combined, "\n", format("%s:%d: %s", module->source_map.get_name(j->source), j->line, j->message)); return combined; } @@ -174,7 +175,10 @@ void Compiler::append_module(Module &mod, DataFile::Collection *res) { module->source_map.merge_from(mod.source_map); - vector imports = NodeGatherer().apply(mod.shared); + vector imports; + for(NodeList::const_iterator i=mod.shared.content.body.begin(); i!=mod.shared.content.body.end(); ++i) + if(Import *imp = dynamic_cast(i->get())) + imports.push_back(imp); for(vector::iterator i=imports.begin(); i!=imports.end(); ++i) import(res, (*i)->module); NodeRemover().apply(mod.shared, set(imports.begin(), imports.end())); @@ -240,22 +244,46 @@ void Compiler::generate(Stage &stage, Mode mode) inject_block(stage.content, builtins->content); // Initial resolving pass - BlockHierarchyResolver().apply(stage); - TypeResolver().apply(stage); - FunctionResolver().apply(stage); - VariableResolver().apply(stage); + resolve(stage); /* All variables local to a stage have been resolved. Resolve non-local variables through interfaces. */ InterfaceGenerator().apply(stage); - TypeResolver().apply(stage); - VariableResolver().apply(stage); - ExpressionResolver().apply(stage); + resolve(stage, RESOLVE_BLOCKS|RESOLVE_TYPES|RESOLVE_VARIABLES); - FunctionResolver().apply(stage); ConstantSpecializer().apply(stage, (mode==PROGRAM && specialized ? &spec_values : 0)); if(mode==PROGRAM) + { LegacyConverter().apply(stage, features); + resolve(stage, RESOLVE_VARIABLES|RESOLVE_FUNCTIONS); + } +} + +template +bool Compiler::resolve(Stage &stage, unsigned &flags, unsigned bit) +{ + if(!(flags&bit)) + return false; + + flags &= ~bit; + return T().apply(stage); +} + +void Compiler::resolve(Stage &stage, unsigned flags) +{ + while(flags) + { + if(resolve(stage, flags, RESOLVE_BLOCKS)) + ; + else if(resolve(stage, flags, RESOLVE_TYPES)) + flags |= RESOLVE_BLOCKS|RESOLVE_VARIABLES|RESOLVE_EXPRESSIONS; + else if(resolve(stage, flags, RESOLVE_VARIABLES)) + flags |= RESOLVE_EXPRESSIONS; + else if(resolve(stage, flags, RESOLVE_FUNCTIONS)) + flags |= RESOLVE_EXPRESSIONS; + else if(resolve(stage, flags, RESOLVE_EXPRESSIONS)) + flags |= RESOLVE_VARIABLES; + } } bool Compiler::validate(Stage &stage) @@ -276,14 +304,16 @@ Compiler::OptimizeResult Compiler::optimize(Stage &stage) { ConstantConditionEliminator().apply(stage); - bool any_inlined = FunctionInliner().apply(stage); - any_inlined |= ExpressionInliner().apply(stage); - if(any_inlined) + bool any_inlined = false; + if(FunctionInliner().apply(stage)) + { + resolve(stage, RESOLVE_TYPES|RESOLVE_VARIABLES|RESOLVE_EXPRESSIONS); + any_inlined = true; + } + if(ExpressionInliner().apply(stage)) { - TypeResolver().apply(stage); - VariableResolver().apply(stage); - FunctionResolver().apply(stage); - ExpressionResolver().apply(stage); + resolve(stage, RESOLVE_VARIABLES|RESOLVE_FUNCTIONS|RESOLVE_EXPRESSIONS); + any_inlined = true; } /* Removing variables or functions may cause things from the previous stage