enum Mode
{
MODULE,
- PROGRAM
+ PROGRAM,
+ SPIRV
};
private:
REDO_PREVIOUS
};
+ enum ResolveFlags
+ {
+ RESOLVE_BLOCKS = 1,
+ RESOLVE_TYPES = 2,
+ RESOLVE_VARIABLES = 4,
+ RESOLVE_EXPRESSIONS = 8,
+ RESOLVE_FUNCTIONS = 16,
+ RESOLVE_ALL = 31
+ };
+
Features features;
Module *module;
std::vector<std::string> imported_names;
+ bool compiled;
bool specialized;
std::map<std::string, int> spec_values;
GLSL suitable for OpenGL or an external GLSL compiler. */
std::string get_stage_glsl(Stage::Type) const;
+ /** Returns a combined SPIR-V binary for all shader stages. The result is
+ suitable for use with OpenGL or Vulkan. */
+ std::vector<UInt32> get_combined_spirv() const;
+
/** Returns a map of vertex attribute locations. If the target GLSL version
supports interface layouts, the map is empty (locations are included in the
GLSL soucre). */
GLSL soucre). */
const std::map<std::string, unsigned> &get_fragment_outputs() const;
+ /** Returns a map of texture bindings. If the target GLSL version supports
+ bindings, the map is empty (bindings are included in the GLSL source). */
+ const std::map<std::string, unsigned> &get_texture_bindings() const;
+
+ /** Returns a map of uniform block bindings. If the target GLSL version
+ supports bindings, the map is empty (bindings are included in the GLSL
+ source). */
+ const std::map<std::string, unsigned> &get_uniform_block_bindings() const;
+
/** Returns the mapping of source indices to filenames. Can be used to
translate error messages. */
const SourceMap &get_source_map() const;
private:
/** Appends a module to the target, processing any imports found in it. */
- void append_module(Module &, DataFile::Collection *);
+ void append_module(const Module &, ModuleCache &);
/** Appends a single stage to the matching stage of the target. */
- void append_stage(Stage &);
+ void append_stage(const Stage &);
/// Imports a module by name and appends it to the target. */
- void import(DataFile::Collection *, const std::string &);
+ void import(ModuleCache &, const std::string &);
/** Generates any implicitly defines syntactic structures and resolves
variables. */
- void generate(Stage &, Mode);
+ void generate(Stage &);
+
+ template<typename T>
+ bool resolve(Stage &, unsigned &, unsigned);
+
+ /** Resolves various references between nodes. Flags can be specified to
+ request resolving particular aspects. Resolving may ripple into other
+ aspects as necessary. */
+ void resolve(Stage &, unsigned = RESOLVE_ALL);
+
+ /** Runs validators on a stage. Diagnostic messages are recorded in the
+ stage for later inspection. */
+ void validate(Stage &);
- /** Resolves references and expression types. */
- void resolve(Stage &);
+ /** Checks a stage's recorded diagnostics for errors. If any are found,
+ returns true. */
+ bool check_errors(Stage &);
- bool validate(Stage &);
+ static bool diagnostic_line_order(const Diagnostic &, const Diagnostic &);
/** Applies optimizations to a stage. The return value indicates which
stage should be optimized next. */