*/
class SpirVModule: public Module, public SpirVModuleBackend
{
+ friend SpirVModuleBackend;
+
public:
enum Stage
{
struct EntryPoint
{
std::string name;
+ unsigned id = 0;
Stage stage = VERTEX;
std::vector<const Variable *> globals;
};
struct Structure
{
std::string name;
- std::vector<StructMember> members;
+ unsigned id = 0;
unsigned size = 0;
+ std::vector<StructMember> members;
};
struct Variable
{
std::string name;
- StorageClass storage = static_cast<StorageClass>(-1);
+ unsigned id = 0;
DataType type = VOID;
const Structure *struct_type = 0;
+ StorageClass storage = static_cast<StorageClass>(-1);
unsigned array_size = 0;
int location = -1;
unsigned descriptor_set = 0;
struct Constant
{
std::string name;
+ unsigned id = 0;
int constant_id = -1;
DataType type = VOID;
union
};
};
+ struct InstructionBlock
+ {
+ unsigned id = 0;
+ bool negate_condition = false;
+ const Constant *condition = 0;
+ std::vector<const Variable *> accessed_variables;
+ std::vector<const InstructionBlock *> successors;
+ };
+
private:
struct TypeInfo
{
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 &);
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;
std::vector<Structure> structs;
std::vector<Variable> variables;
std::vector<Constant> spec_constants;
+ std::vector<InstructionBlock> blocks;
public:
virtual Format get_format() const { return SPIR_V; }
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; }
+
+ /** Creates a new module which is a specialized version of this one. */
+ SpirVModule *specialize(const std::map<std::string, int> &) const;
+
+private:
+ std::vector<const InstructionBlock *> collect_visited_blocks(const std::map<unsigned, int> &) const;
+ void collect_visited_blocks(unsigned, std::vector<std::uint8_t> &) const;
};
} // namespace GL