X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fcore%2Fmodule.h;h=26895ee0ba2fe9355e397026b5a068c3f7985fe4;hb=e1be82a4dfce8d90358c506f65be09da4dc9d5ec;hp=4d819dacd5265bd83dc05077d0788698d93e7824;hpb=7af200475facc657a0bbffaa17520d3ec9d809af;p=libs%2Fgl.git diff --git a/source/core/module.h b/source/core/module.h index 4d819dac..26895ee0 100644 --- a/source/core/module.h +++ b/source/core/module.h @@ -1,10 +1,12 @@ #ifndef MSP_GL_MODULE_H_ #define MSP_GL_MODULE_H_ +#include #include +#include #include #include "datatype.h" -#include "gl.h" +#include "module_backend.h" #include "glsl/compiler.h" #include "glsl/sourcemap.h" @@ -20,6 +22,14 @@ public: class Resources; +/** +Base class for shader modules. Internal representation depends on the +concrete type. + +Modules can be loaded from files. + +Applications normally use the Program class to access shaders. +*/ class Module { public: @@ -30,19 +40,35 @@ public: }; protected: - Module() { } + Module() = default; public: - virtual ~Module() { } + virtual ~Module() = default; virtual Format get_format() const = 0; + /** Sets the module's content from GLSL source code. */ void set_source(const std::string &); - void load_source(IO::Base &, Resources *, const std::string &); + + /** Loads GLSL source from a file or other I/O object. Any import + statements are resolved using res. */ + void load_source(IO::Base &, Resources *res, const std::string &name); + + /** Loads GLSL source from a file or other I/O object. Only builtin + shader fragments can be imported. */ void load_source(IO::Base &, const std::string &); + private: virtual void compile(SL::Compiler &) = 0; + + SL::Features create_features() const; + +public: + virtual void set_debug_name(const std::string &) { } }; +/** +A shader module in GLSL source code format. +*/ class GlslModule: public Module { private: @@ -60,8 +86,19 @@ public: const SL::SourceMap &get_source_map() const { return source_map; } }; -class SpirVModule: public Module +/** +A shader module in SPIR-V binary format. + +When the module's contents are set from GLSL source, it will be automatically +compiled to SPIR-V. Pre-compiled SPIR-V modules can also be loaded. + +Afterwards reflection data is available, providing information about variables +forming the module's interface. +*/ +class SpirVModule: public Module, public SpirVModuleBackend { + friend SpirVModuleBackend; + public: enum Stage { @@ -75,93 +112,119 @@ public: UNIFORM_CONSTANT = 0, INPUT = 1, UNIFORM = 2, - OUTPUT = 3 + OUTPUT = 3, + PUSH_CONSTANT = 9 + }; + + enum BuiltinSemantic + { + NOT_BUILTIN = -1, + POSITION = 0, + CLIP_DISTANCE = 3, + LAYER = 9, + FRAG_DEPTH = 22 }; + struct Constant; struct Structure; struct Variable; struct EntryPoint { std::string name; - Stage stage; + unsigned id = 0; + Stage stage = VERTEX; std::vector globals; - - EntryPoint(); }; struct StructMember { std::string name; - DataType type; - const Structure *struct_type; - unsigned offset; - unsigned array_size; - unsigned array_stride; - unsigned matrix_stride; - - StructMember(); + DataType type = VOID; + const Structure *struct_type = 0; + unsigned offset = 0; + unsigned array_size = 0; + unsigned array_stride = 0; + unsigned matrix_stride = 0; + BuiltinSemantic builtin = NOT_BUILTIN; }; struct Structure { std::string name; + unsigned id = 0; + unsigned size = 0; std::vector members; - unsigned size; }; struct Variable { std::string name; - StorageClass storage; - DataType type; - const Structure *struct_type; - unsigned array_size; - int location; - int descriptor_set; - int binding; - - Variable(); + unsigned id = 0; + DataType type = VOID; + const Structure *struct_type = 0; + StorageClass storage = static_cast(-1); + unsigned array_size = 0; + int location = -1; + unsigned descriptor_set = 0; + int binding = -1; + BuiltinSemantic builtin = NOT_BUILTIN; bool operator==(const Variable &) const; }; - struct SpecConstant + struct Constant { std::string name; - unsigned constant_id; - DataType type; + unsigned id = 0; + int constant_id = -1; + DataType type = VOID; + union + { + int i_value = 0; + float f_value; + }; + }; + + struct InstructionBlock + { + unsigned id = 0; + bool negate_condition = false; + const Constant *condition = 0; + std::vector accessed_variables; + std::vector successors; }; private: struct TypeInfo { - DataType type; - const Structure *struct_type; - unsigned array_size; - unsigned array_stride; - StorageClass storage; - - TypeInfo(); + DataType type = VOID; + const Structure *struct_type = 0; + unsigned array_size = 0; + unsigned array_stride = 0; + StorageClass storage = static_cast(-1); }; struct Reflection { - typedef std::vector::const_iterator CodeIterator; + typedef std::vector::const_iterator CodeIterator; std::map names; - std::map constants; + std::map constants; std::map types; std::map entry_points; std::map structs; std::map variables; - std::map spec_constants; + std::map blocks; + std::map access_chain_bases; + Constant true_condition; + InstructionBlock *current_block = 0; - static UInt32 get_opcode(UInt32); + static std::uint32_t get_opcode(std::uint32_t); static CodeIterator get_op_end(const CodeIterator &); static std::string read_string(CodeIterator &, const CodeIterator &); - void reflect_code(const std::vector &); + void reflect_code(const std::vector &); void reflect_name(CodeIterator); void reflect_member_name(CodeIterator); void reflect_entry_point(CodeIterator); @@ -177,38 +240,50 @@ private: void reflect_struct_type(CodeIterator); void reflect_pointer_type(CodeIterator); void reflect_constant(CodeIterator); - void reflect_spec_constant_bool(CodeIterator); - void reflect_spec_constant(CodeIterator); void reflect_variable(CodeIterator); + void reflect_access(CodeIterator); + void reflect_access_chain(CodeIterator); void reflect_decorate(CodeIterator); void reflect_member_decorate(CodeIterator); + void reflect_label(CodeIterator); + void reflect_branch(CodeIterator); + void reflect_branch_conditional(CodeIterator); }; - std::vector code; + std::vector code; std::vector entry_points; std::vector structs; std::vector variables; - std::vector spec_constants; - -public: - SpirVModule() { } - SpirVModule(const SpirVModule &); - SpirVModule &operator=(const SpirVModule &); -private: - void remap_pointers_from(const SpirVModule &); + std::vector spec_constants; + std::vector blocks; + bool specializable = false; public: virtual Format get_format() const { return SPIR_V; } + /** Loads a SPIR-V binary from a file or other I/O object. */ void load_code(IO::Base &); private: virtual void compile(SL::Compiler &); + void reflect(); public: - const std::vector &get_code() const { return code; } + const std::vector &get_code() const { return code; } const std::vector &get_entry_points() const { return entry_points; } const std::vector &get_variables() const { return variables; } - const std::vector &get_spec_constants() const { return spec_constants; } + const std::vector &get_spec_constants() const { return spec_constants; } + const std::vector &get_blocks() const { return blocks; } + bool is_specializable() const { return specializable; } + + /** Creates a new module which is a specialized version of this one. */ + SpirVModule *specialize(const std::map &) const; + +private: + std::vector collect_visited_blocks(const std::map &) const; + void collect_visited_blocks(unsigned, std::vector &) const; + +public: + void set_debug_name(const std::string &n) { SpirVModuleBackend::set_debug_name(n); } }; } // namespace GL