1 #include <msp/core/algorithm.h>
10 Program::Program(const Module &mod, const map<string, int> &spec_values)
12 add_stages(mod, spec_values);
15 void Program::add_stages(const Module &mod, const map<string, int> &spec_values)
18 throw invalid_operation("Program::add_stages");
20 reflect_data = ReflectData();
22 TransientData transient;
23 switch(mod.get_format())
26 add_glsl_stages(static_cast<const GlslModule &>(mod), spec_values, transient);
29 add_spirv_stages(static_cast<const SpirVModule &>(mod), spec_values, transient);
32 throw invalid_argument("Program::add_stages");
35 finalize(mod, transient);
37 if(mod.get_format()==Module::SPIR_V)
39 collect_uniforms(static_cast<const SpirVModule &>(mod), transient.spec_values);
40 collect_attributes(static_cast<const SpirVModule &>(mod));
45 for(ReflectData::UniformBlockInfo &b: reflect_data.uniform_blocks)
46 if(!b.data_size && !b.uniforms.empty())
48 const ReflectData::UniformInfo &uni = *b.uniforms.back();
49 b.data_size = uni.location*16+uni.array_size*get_type_size(uni.type);
52 for(const ReflectData::UniformInfo &u: reflect_data.uniforms)
54 for(const ReflectData::AttributeInfo &a: reflect_data.attributes)
58 void Program::collect_uniforms(const SpirVModule &mod, const map<unsigned, int> &spec_values)
60 // Prepare the default block
61 reflect_data.uniform_blocks.push_back(ReflectData::UniformBlockInfo());
62 vector<vector<string> > block_uniform_names(1);
64 for(const SpirVModule::Variable &v: mod.get_variables())
66 if(v.storage==SpirVModule::UNIFORM && v.struct_type)
68 reflect_data.uniform_blocks.push_back(ReflectData::UniformBlockInfo());
69 ReflectData::UniformBlockInfo &info = reflect_data.uniform_blocks.back();
70 info.name = v.struct_type->name;
71 info.bind_point = v.binding;
72 info.data_size = v.struct_type->size;
76 prefix = v.struct_type->name+".";
77 block_uniform_names.push_back(vector<string>());
78 collect_block_uniforms(*v.struct_type, prefix, 0, spec_values, block_uniform_names.back());
80 else if(v.storage==SpirVModule::UNIFORM_CONSTANT && v.location>=0)
82 block_uniform_names[0].push_back(v.name);
83 reflect_data.uniforms.push_back(ReflectData::UniformInfo());
84 ReflectData::UniformInfo &info = reflect_data.uniforms.back();
87 info.location = v.location;
88 info.binding = v.binding;
89 info.array_size = v.array_size;
94 sort_member(reflect_data.uniforms, &ReflectData::UniformInfo::tag);
96 for(unsigned i=0; i<reflect_data.uniform_blocks.size(); ++i)
98 ReflectData::UniformBlockInfo &block = reflect_data.uniform_blocks[i];
99 for(const string &n: block_uniform_names[i])
101 // The element is already known to be present
102 ReflectData::UniformInfo &uni = *lower_bound_member(reflect_data.uniforms, Tag(n), &ReflectData::UniformInfo::tag);
103 block.uniforms.push_back(&uni);
106 block.sort_uniforms();
107 block.update_layout_hash();
110 reflect_data.update_layout_hash();
113 void Program::collect_block_uniforms(const SpirVModule::Structure &strct, const string &prefix, unsigned base_offset, const map<unsigned, int> &spec_values, vector<string> &uniform_names)
115 for(const SpirVModule::StructMember &m: strct.members)
117 unsigned offset = base_offset+m.offset;
120 unsigned array_size = m.array_size;
121 if(m.array_size_spec)
123 array_size = m.array_size_spec->i_value;
124 auto j = spec_values.find(m.array_size_spec->constant_id);
125 if(j!=spec_values.end())
126 array_size = j->second;
131 for(unsigned j=0; j<array_size; ++j, offset+=m.array_stride)
132 collect_block_uniforms(*m.struct_type, format("%s%s[%d].", prefix, m.name, j), offset, spec_values, uniform_names);
135 collect_block_uniforms(*m.struct_type, prefix+m.name+".", offset, spec_values, uniform_names);
139 string name = prefix+m.name;
140 uniform_names.push_back(name);
141 reflect_data.uniforms.push_back(ReflectData::UniformInfo());
142 ReflectData::UniformInfo &info = reflect_data.uniforms.back();
145 info.offset = offset;
146 info.array_size = m.array_size;
147 info.array_stride = m.array_stride;
148 info.matrix_stride = m.matrix_stride;
154 void Program::collect_attributes(const SpirVModule &mod)
156 for(const SpirVModule::EntryPoint &e: mod.get_entry_points())
157 if(e.stage==SpirVModule::VERTEX && e.name=="main")
159 for(const SpirVModule::Variable *v: e.globals)
160 if(v->storage==SpirVModule::INPUT)
162 reflect_data.attributes.push_back(ReflectData::AttributeInfo());
163 ReflectData::AttributeInfo &info = reflect_data.attributes.back();
165 info.location = v->location;
166 info.array_size = v->array_size;
172 void Program::collect_builtins(const SpirVModule &mod)
174 for(const SpirVModule::Variable &v: mod.get_variables())
175 if(v.storage==SpirVModule::OUTPUT && v.struct_type)
176 collect_builtins(*v.struct_type);
179 void Program::collect_builtins(const SpirVModule::Structure &strct)
181 for(const SpirVModule::StructMember &m: strct.members)
182 if(m.builtin==SpirVModule::CLIP_DISTANCE)
183 reflect_data.n_clip_distances = m.array_size;
186 const ReflectData::UniformBlockInfo &Program::get_uniform_block_info(const string &name) const
188 auto i = find_member(reflect_data.uniform_blocks, name, &ReflectData::UniformBlockInfo::name);
189 if(i==reflect_data.uniform_blocks.end())
190 throw key_error(name);
194 const ReflectData::UniformInfo &Program::get_uniform_info(const string &name) const
196 auto i = lower_bound_member(reflect_data.uniforms, Tag(name), &ReflectData::UniformInfo::tag);
197 if(i==reflect_data.uniforms.end() || i->name!=name)
198 throw key_error(name);
202 const ReflectData::UniformInfo &Program::get_uniform_info(Tag tag) const
204 auto i = lower_bound_member(reflect_data.uniforms, tag, &ReflectData::UniformInfo::tag);
205 if(i==reflect_data.uniforms.end() || i->tag!=tag)
206 throw key_error(tag);
210 int Program::get_uniform_location(const string &name) const
212 if(name[name.size()-1]==']')
213 throw invalid_argument("Program::get_uniform_location");
215 auto i = lower_bound_member(reflect_data.uniforms, Tag(name), &ReflectData::UniformInfo::tag);
216 return i!=reflect_data.uniforms.end() && i->name==name && i->block->bind_point<0 ? i->location : -1;
219 int Program::get_uniform_location(Tag tag) const
221 auto i = lower_bound_member(reflect_data.uniforms, tag, &ReflectData::UniformInfo::tag);
222 return i!=reflect_data.uniforms.end() && i->tag==tag && i->block->bind_point<0 ? i->location : -1;
225 int Program::get_uniform_binding(Tag tag) const
227 auto i = lower_bound_member(reflect_data.uniforms, tag, &ReflectData::UniformInfo::tag);
228 return i!=reflect_data.uniforms.end() && i->tag==tag ? i->binding : -1;
231 const ReflectData::AttributeInfo &Program::get_attribute_info(const string &name) const
233 auto i = lower_bound_member(reflect_data.attributes, name, &ReflectData::AttributeInfo::name);
234 if(i==reflect_data.attributes.end() || i->name!=name)
235 throw key_error(name);
239 int Program::get_attribute_location(const string &name) const
241 if(name[name.size()-1]==']')
242 throw invalid_argument("Program::get_attribute_location");
244 auto i = lower_bound_member(reflect_data.attributes, name, &ReflectData::AttributeInfo::name);
245 return i!=reflect_data.attributes.end() && i->name==name ? i->location : -1;
249 Program::Loader::Loader(Program &p, Collection &c):
250 DataFile::CollectionObjectLoader<Program>(p, &c)
252 add("module", &Loader::module);
255 void Program::Loader::module(const string &n)
257 map<string, int> spec_values;
258 SpecializationLoader ldr(spec_values);
260 obj.add_stages(get_collection().get<Module>(n), spec_values);
264 DataFile::Loader::ActionMap Program::SpecializationLoader::shared_actions;
266 Program::SpecializationLoader::SpecializationLoader(map<string, int> &sv):
269 set_actions(shared_actions);
272 void Program::SpecializationLoader::init_actions()
274 add("specialize", &SpecializationLoader::specialize_bool);
275 add("specialize", &SpecializationLoader::specialize_int);
278 void Program::SpecializationLoader::specialize_bool(const string &name, bool value)
280 spec_values[name] = value;
283 void Program::SpecializationLoader::specialize_int(const string &name, int value)
285 spec_values[name] = value;