X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fcore%2Fmodule.h;h=855d51957e8f9adb30a6e903d333186ebe5dbb25;hb=99ca354f18119f82f1adeca100cd665a8f640317;hp=ad11f00ba4e3470966b12f883490aa1baf1a9665;hpb=0e61ac01ae99391c6b1301a9bf8de62fe651dac3;p=libs%2Fgl.git

diff --git a/source/core/module.h b/source/core/module.h
index ad11f00b..855d5195 100644
--- a/source/core/module.h
+++ b/source/core/module.h
@@ -6,6 +6,7 @@
 #include <vector>
 #include <msp/io/base.h>
 #include "datatype.h"
+#include "module_backend.h"
 #include "glsl/compiler.h"
 #include "glsl/sourcemap.h"
 
@@ -91,8 +92,10 @@ 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
+class SpirVModule: public Module, public SpirVModuleBackend
 {
+	friend SpirVModuleBackend;
+
 public:
 	enum Stage
 	{
@@ -176,6 +179,14 @@ public:
 		};
 	};
 
+	struct InstructionBlock
+	{
+		const Constant *condition = 0;
+		bool negate_condition = false;
+		std::vector<const Variable *> accessed_variables;
+		std::vector<const InstructionBlock *> successors;
+	};
+
 private:
 	struct TypeInfo
 	{
@@ -196,6 +207,10 @@ private:
 		std::map<unsigned, EntryPoint> entry_points;
 		std::map<unsigned, Structure> structs;
 		std::map<unsigned, Variable> variables;
+		std::map<unsigned, InstructionBlock> blocks;
+		std::map<unsigned, unsigned> access_chain_bases;
+		Constant true_condition;
+		InstructionBlock *current_block = 0;
 
 		static std::uint32_t get_opcode(std::uint32_t);
 		static CodeIterator get_op_end(const CodeIterator &);
@@ -218,8 +233,13 @@ private:
 		void reflect_pointer_type(CodeIterator);
 		void reflect_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<std::uint32_t> code;
@@ -227,13 +247,7 @@ private:
 	std::vector<Structure> structs;
 	std::vector<Variable> variables;
 	std::vector<Constant> spec_constants;
-
-public:
-	SpirVModule() = default;
-	SpirVModule(const SpirVModule &);
-	SpirVModule &operator=(const SpirVModule &);
-private:
-	void remap_pointers_from(const SpirVModule &);
+	std::vector<InstructionBlock> blocks;
 
 public:
 	virtual Format get_format() const { return SPIR_V; }
@@ -249,6 +263,7 @@ public:
 	const std::vector<EntryPoint> &get_entry_points() const { return entry_points; }
 	const std::vector<Variable> &get_variables() const { return variables; }
 	const std::vector<Constant> &get_spec_constants() const { return spec_constants; }
+	const std::vector<InstructionBlock> &get_blocks() const { return blocks; }
 };
 
 } // namespace GL