-#include <algorithm>
#include <cstring>
#include <set>
+#include <msp/core/algorithm.h>
#include <msp/core/hash.h>
#include <msp/core/maputils.h>
+#include <msp/core/raii.h>
#include <msp/gl/extensions/arb_es2_compatibility.h>
#include <msp/gl/extensions/arb_fragment_shader.h>
#include <msp/gl/extensions/arb_gl_spirv.h>
#include <msp/gl/extensions/arb_geometry_shader4.h>
+#include <msp/gl/extensions/arb_separate_shader_objects.h>
#include <msp/gl/extensions/arb_shader_objects.h>
#include <msp/gl/extensions/arb_uniform_buffer_object.h>
#include <msp/gl/extensions/arb_vertex_shader.h>
#include <msp/gl/extensions/ext_gpu_shader4.h>
+#include <msp/gl/extensions/khr_debug.h>
#include <msp/gl/extensions/nv_non_square_matrices.h>
#include <msp/io/print.h>
#include <msp/strings/format.h>
init();
}
-Program::Program(const std::string &source)
+Program::Program(const string &source)
{
init();
static Require _req(ARB_shader_objects);
id = glCreateProgram();
+ fill(stage_ids, stage_ids+MAX_STAGES, 0);
module = 0;
+ transient = 0;
linked = false;
}
Program::~Program()
{
- for(vector<unsigned>::iterator i=stage_ids.begin(); i!=stage_ids.end(); ++i)
- glDeleteShader(*i);
+ for(unsigned i=0; i<MAX_STAGES; ++i)
+ if(stage_ids[i])
+ glDeleteShader(stage_ids[i]);
glDeleteProgram(id);
}
void Program::add_stages(const Module &mod, const map<string, int> &spec_values)
{
- if(!stage_ids.empty())
+ if(has_stages())
throw invalid_operation("Program::add_stages");
switch(mod.get_format())
}
}
-unsigned Program::add_stage(GLenum type)
+bool Program::has_stages() const
{
+ for(unsigned i=0; i<MAX_STAGES; ++i)
+ if(stage_ids[i])
+ return true;
+ return false;
+}
+
+unsigned Program::add_stage(Stage type)
+{
+ GLenum gl_type;
switch(type)
{
- case GL_VERTEX_SHADER: { static Require _req(ARB_vertex_shader); } break;
- case GL_GEOMETRY_SHADER: { static Require _req(ARB_geometry_shader4); } break;
- case GL_FRAGMENT_SHADER: { static Require _req(ARB_fragment_shader); } break;
+ case VERTEX: { static Require _req(ARB_vertex_shader); gl_type = GL_VERTEX_SHADER; } break;
+ case GEOMETRY: { static Require _req(ARB_geometry_shader4); gl_type = GL_GEOMETRY_SHADER; } break;
+ case FRAGMENT: { static Require _req(ARB_fragment_shader); gl_type = GL_FRAGMENT_SHADER; } break;
default: throw invalid_argument("Program::add_stage");
}
- unsigned stage_id = glCreateShader(type);
- stage_ids.push_back(stage_id);
+ if(stage_ids[type])
+ throw invalid_operation("Program::add_stage");
+
+ unsigned stage_id = glCreateShader(gl_type);
+ stage_ids[type] = stage_id;
glAttachShader(id, stage_id);
+#ifdef DEBUG
+ if(!debug_name.empty() && KHR_debug)
+ set_stage_debug_name(stage_id, type);
+#endif
+
return stage_id;
}
unsigned stage_id = 0;
switch(*i)
{
- case SL::Stage::VERTEX: stage_id = add_stage(GL_VERTEX_SHADER); break;
- case SL::Stage::GEOMETRY: stage_id = add_stage(GL_GEOMETRY_SHADER); break;
- case SL::Stage::FRAGMENT: stage_id = add_stage(GL_FRAGMENT_SHADER); break;
+ case SL::Stage::VERTEX: stage_id = add_stage(VERTEX); break;
+ case SL::Stage::GEOMETRY: stage_id = add_stage(GEOMETRY); break;
+ case SL::Stage::FRAGMENT: stage_id = add_stage(FRAGMENT); break;
default: throw invalid_operation("Program::add_glsl_stages");
}
compile_glsl_stage(stage_id);
}
+
+ if(!transient)
+ transient = new TransientData;
+ transient->textures = compiler.get_texture_bindings();
+ transient->blocks = compiler.get_uniform_block_bindings();
}
void Program::compile_glsl_stage(unsigned stage_id)
module = &mod;
const vector<SpirVModule::EntryPoint> &entry_points = mod.get_entry_points();
- std::set<SpirVModule::Stage> stages;
+ unsigned n_stages = 0;
+ unsigned used_stage_ids[MAX_STAGES];
for(vector<SpirVModule::EntryPoint>::const_iterator i=entry_points.begin(); i!=entry_points.end(); ++i)
{
- if(stages.count(i->stage))
- throw invalid_argument("Program::add_spirv_stages");
-
+ unsigned stage_id = 0;
switch(i->stage)
{
- case SpirVModule::VERTEX: add_stage(GL_VERTEX_SHADER); break;
- case SpirVModule::GEOMETRY: add_stage(GL_GEOMETRY_SHADER); break;
- case SpirVModule::FRAGMENT: add_stage(GL_FRAGMENT_SHADER); break;
+ case SpirVModule::VERTEX: stage_id = add_stage(VERTEX); break;
+ case SpirVModule::GEOMETRY: stage_id = add_stage(GEOMETRY); break;
+ case SpirVModule::FRAGMENT: stage_id = add_stage(FRAGMENT); break;
default: throw invalid_operation("Program::add_spirv_stages");
}
- stages.insert(i->stage);
+ used_stage_ids[n_stages++] = stage_id;
}
const vector<UInt32> &code = mod.get_code();
- glShaderBinary(stage_ids.size(), &stage_ids[0], GL_SHADER_BINARY_FORMAT_SPIR_V, &code[0], code.size()*4);
+ glShaderBinary(n_stages, used_stage_ids, GL_SHADER_BINARY_FORMAT_SPIR_V, &code[0], code.size()*4);
- const vector<SpirVModule::SpecConstant> &spec_consts = mod.get_spec_constants();
+ if(!spec_values.empty() && !transient)
+ transient = new TransientData;
+
+ const vector<SpirVModule::Constant> &spec_consts = mod.get_spec_constants();
vector<unsigned> spec_id_array;
vector<unsigned> spec_value_array;
spec_id_array.reserve(spec_consts.size());
spec_value_array.reserve(spec_consts.size());
- for(vector<SpirVModule::SpecConstant>::const_iterator i=spec_consts.begin(); i!=spec_consts.end(); ++i)
+ for(vector<SpirVModule::Constant>::const_iterator i=spec_consts.begin(); i!=spec_consts.end(); ++i)
{
map<string, int>::const_iterator j = spec_values.find(i->name);
if(j!=spec_values.end())
{
spec_id_array.push_back(i->constant_id);
spec_value_array.push_back(j->second);
+ transient->spec_values[i->constant_id] = j->second;
}
}
vector<SpirVModule::EntryPoint>::const_iterator j=entry_points.begin();
- for(vector<unsigned>::const_iterator i=stage_ids.begin(); i!=stage_ids.end(); ++i, ++j)
- glSpecializeShader(*i, j->name.c_str(), spec_id_array.size(), &spec_id_array[0], &spec_value_array[0]);
+ for(unsigned i=0; i<MAX_STAGES; ++i)
+ if(stage_ids[i])
+ glSpecializeShader(stage_ids[i], j->name.c_str(), spec_id_array.size(), &spec_id_array[0], &spec_value_array[0]);
}
#pragma GCC diagnostic push
unsigned shader_id = shader.steal_id();
if(!shader_id)
throw invalid_argument("Program::attach_shader");
- stage_ids.push_back(shader_id);
+
+ int type;
+ glGetShaderiv(shader_id, GL_SHADER_TYPE, &type);
+ switch(type)
+ {
+ case GL_VERTEX_SHADER: stage_ids[VERTEX] = shader_id; break;
+ case GL_GEOMETRY_SHADER: stage_ids[GEOMETRY] = shader_id; break;
+ case GL_FRAGMENT_SHADER: stage_ids[FRAGMENT] = shader_id; break;
+ }
+
+ glAttachShader(id, shader_id);
compile_glsl_stage(shader_id);
}
void Program::link()
{
- if(stage_ids.empty())
+ if(!has_stages())
throw invalid_operation("Program::link");
uniforms.clear();
{
query_uniforms();
query_attributes();
+ if(transient)
+ {
+ for(unsigned i=0; i<uniform_blocks.size(); ++i)
+ {
+ map<string, unsigned>::const_iterator j = transient->blocks.find(uniform_blocks[i].name);
+ if(j!=transient->blocks.end())
+ {
+ glUniformBlockBinding(id, i, j->second);
+ uniform_blocks[i].bind_point = j->second;
+ }
+ }
+
+ if(!ARB_separate_shader_objects)
+ glUseProgram(id);
+ for(map<string, unsigned>::const_iterator i=transient->textures.begin(); i!=transient->textures.end(); ++i)
+ {
+ int location = get_uniform_location(i->first);
+ if(location>=0)
+ {
+ if(ARB_separate_shader_objects)
+ glProgramUniform1i(id, location, i->second);
+ else
+ glUniform1i(location, i->second);
+ }
+ }
+ }
}
else if(module->get_format()==Module::SPIR_V)
{
collect_attributes();
}
- for(UniformMap::const_iterator i=uniforms.begin(); i!=uniforms.end(); ++i)
- require_type(i->second.type);
- for(AttributeMap::const_iterator i=attributes.begin(); i!=attributes.end(); ++i)
- require_type(i->second.type);
+ delete transient;
+ transient = 0;
+
+ for(vector<UniformInfo>::const_iterator i=uniforms.begin(); i!=uniforms.end(); ++i)
+ require_type(i->type);
+ for(vector<AttributeInfo>::const_iterator i=attributes.begin(); i!=attributes.end(); ++i)
+ require_type(i->type);
}
void Program::query_uniforms()
{
unsigned count = get_program_i(id, GL_ACTIVE_UNIFORMS);
- vector<UniformInfo *> uniforms_by_index(count);
+ uniforms.reserve(count);
+ vector<string> uniform_names(count);
for(unsigned i=0; i<count; ++i)
{
char name[128];
if(len>3 && !strcmp(name+len-3, "[0]"))
name[len-3] = 0;
- UniformInfo &info = uniforms[name];
+ uniforms.push_back(UniformInfo());
+ UniformInfo &info = uniforms.back();
info.name = name;
+ info.tag = name;
info.array_size = size;
info.type = from_gl_type(type);
- uniforms_by_index[i] = &info;
+ uniform_names[i] = name;
}
}
+ sort_member(uniforms, &UniformInfo::tag);
+
if(ARB_uniform_buffer_object)
+ {
+ vector<UniformInfo *> uniforms_by_index(count);
+ for(unsigned i=0; i<count; ++i)
+ if(!uniform_names[i].empty())
+ // The element is already known to be present
+ uniforms_by_index[i] = &*lower_bound_member(uniforms, Tag(uniform_names[i]), &UniformInfo::tag);
query_uniform_blocks(uniforms_by_index);
+ }
- UniformBlockInfo &default_block = uniform_blocks[string()];
+ uniform_blocks.push_back(UniformBlockInfo());
+ UniformBlockInfo &default_block = uniform_blocks.back();
- for(UniformMap::iterator i=uniforms.begin(); i!=uniforms.end(); ++i)
- if(!i->second.block)
+ for(vector<UniformInfo>::iterator i=uniforms.begin(); i!=uniforms.end(); ++i)
+ if(!i->block)
{
- i->second.location = glGetUniformLocation(id, i->second.name.c_str());
- i->second.block = &default_block;
- default_block.uniforms.push_back(&i->second);
+ i->location = glGetUniformLocation(id, i->name.c_str());
+ i->block = &default_block;
+ default_block.uniforms.push_back(&*i);
+
+ if(is_image(i->type) && i->location>=0)
+ glGetUniformiv(id, i->location, &i->binding);
}
default_block.layout_hash = compute_layout_hash(default_block.uniforms);
void Program::query_uniform_blocks(const vector<UniformInfo *> &uniforms_by_index)
{
- std::set<unsigned> used_bind_points;
unsigned count = get_program_i(id, GL_ACTIVE_UNIFORM_BLOCKS);
+ // Reserve an extra index for the default block
+ uniform_blocks.reserve(count+1);
for(unsigned i=0; i<count; ++i)
{
char name[128];
int len;
glGetActiveUniformBlockName(id, i, sizeof(name), &len, name);
- UniformBlockInfo &info = uniform_blocks[name];
+ uniform_blocks.push_back(UniformBlockInfo());
+ UniformBlockInfo &info = uniform_blocks.back();
info.name = name;
int value;
glGetActiveUniformBlockiv(id, i, GL_UNIFORM_BLOCK_DATA_SIZE, &value);
info.data_size = value;
+ glGetActiveUniformBlockiv(id, i, GL_UNIFORM_BLOCK_BINDING, &value);
+ info.bind_point = value;
+
glGetActiveUniformBlockiv(id, i, GL_UNIFORM_BLOCK_ACTIVE_UNIFORMS, &value);
vector<int> indices(value);
glGetActiveUniformBlockiv(id, i, GL_UNIFORM_BLOCK_ACTIVE_UNIFORM_INDICES, &indices[0]);
uniforms_by_index[query_indices[j]]->matrix_stride = values[j];
}
- sort(info.uniforms.begin(), info.uniforms.end(), uniform_location_compare);
+ sort(info.uniforms, uniform_location_compare);
info.layout_hash = compute_layout_hash(info.uniforms);
- unsigned n_bindings = BufferRange::get_n_uniform_buffer_bindings();
- info.bind_point = info.layout_hash%n_bindings;
- while(used_bind_points.count(info.bind_point))
- info.bind_point = (info.bind_point+1)%n_bindings;
- glUniformBlockBinding(id, i, info.bind_point);
- used_bind_points.insert(info.bind_point);
}
}
void Program::query_attributes()
{
unsigned count = get_program_i(id, GL_ACTIVE_ATTRIBUTES);
+ attributes.reserve(count);
for(unsigned i=0; i<count; ++i)
{
char name[128];
if(len>3 && !strcmp(name+len-3, "[0]"))
name[len-3] = 0;
- AttributeInfo &info = attributes[name];
+ attributes.push_back(AttributeInfo());
+ AttributeInfo &info = attributes.back();
info.name = name;
info.location = glGetAttribLocation(id, name);
info.array_size = size;
{
const SpirVModule &mod = static_cast<const SpirVModule &>(*module);
- UniformBlockInfo &default_block = uniform_blocks[string()];
+ // Prepare the default block
+ uniform_blocks.push_back(UniformBlockInfo());
+ vector<vector<string> > block_uniform_names(1);
const vector<SpirVModule::Variable> &variables = mod.get_variables();
for(vector<SpirVModule::Variable>::const_iterator i=variables.begin(); i!=variables.end(); ++i)
{
if(i->storage==SpirVModule::UNIFORM && i->struct_type)
{
- UniformBlockInfo &info = uniform_blocks[i->struct_type->name];
+ uniform_blocks.push_back(UniformBlockInfo());
+ UniformBlockInfo &info = uniform_blocks.back();
info.name = i->struct_type->name;
info.bind_point = i->binding;
info.data_size = i->struct_type->size;
string prefix;
if(!i->name.empty())
prefix = i->struct_type->name+".";
- collect_block_uniforms(info, *i->struct_type, prefix, 0);
-
- info.layout_hash = compute_layout_hash(info.uniforms);
+ block_uniform_names.push_back(vector<string>());
+ collect_block_uniforms(*i->struct_type, prefix, 0, block_uniform_names.back());
}
else if(i->storage==SpirVModule::UNIFORM_CONSTANT && i->location>=0)
{
- UniformInfo &info = uniforms[i->name];
+ block_uniform_names[0].push_back(i->name);
+ uniforms.push_back(UniformInfo());
+ UniformInfo &info = uniforms.back();
info.name = i->name;
- info.block = &default_block;
+ info.tag = i->name;
info.location = i->location;
+ info.binding = i->binding;
info.array_size = i->array_size;
info.type = i->type;
- default_block.uniforms.push_back(&info);
}
}
- default_block.layout_hash = compute_layout_hash(default_block.uniforms);
+ sort_member(uniforms, &UniformInfo::tag);
+
+ for(unsigned i=0; i<uniform_blocks.size(); ++i)
+ {
+ UniformBlockInfo &block = uniform_blocks[i];
+ const vector<string> &names = block_uniform_names[i];
+ for(vector<string>::const_iterator j=names.begin(); j!=names.end(); ++j)
+ {
+ // The element is already known to be present
+ UniformInfo &uni = *lower_bound_member(uniforms, Tag(*j), &UniformInfo::tag);
+ block.uniforms.push_back(&uni);
+ uni.block = █
+ }
+ sort(block.uniforms, uniform_location_compare);
+ block.layout_hash = compute_layout_hash(block.uniforms);
+ }
update_layout_hash();
}
-void Program::collect_block_uniforms(UniformBlockInfo &block, const SpirVModule::Structure &strct, const string &prefix, unsigned base_offset)
+void Program::collect_block_uniforms(const SpirVModule::Structure &strct, const string &prefix, unsigned base_offset, vector<string> &uniform_names)
{
for(vector<SpirVModule::StructMember>::const_iterator i=strct.members.begin(); i!=strct.members.end(); ++i)
{
unsigned offset = base_offset+i->offset;
if(i->struct_type)
{
- if(i->array_size)
+ unsigned array_size = i->array_size;
+ if(i->array_size_spec)
{
- for(unsigned j=0; j<i->array_size; ++j, offset+=i->array_stride)
- collect_block_uniforms(block, *i->struct_type, format("%s%s[%d].", prefix, i->name, j), offset);
+ array_size = i->array_size_spec->i_value;
+ if(transient)
+ {
+ map<unsigned, int>::const_iterator j = transient->spec_values.find(i->array_size_spec->constant_id);
+ if(j!=transient->spec_values.end())
+ array_size = j->second;
+ }
+ }
+
+ if(array_size)
+ {
+ for(unsigned j=0; j<array_size; ++j, offset+=i->array_stride)
+ collect_block_uniforms(*i->struct_type, format("%s%s[%d].", prefix, i->name, j), offset, uniform_names);
}
else
- collect_block_uniforms(block, *i->struct_type, prefix+i->name+".", offset);
+ collect_block_uniforms(*i->struct_type, prefix+i->name+".", offset, uniform_names);
}
else
{
string name = prefix+i->name;
- UniformInfo &info = uniforms[name];
+ uniform_names.push_back(name);
+ uniforms.push_back(UniformInfo());
+ UniformInfo &info = uniforms.back();
info.name = name;
- info.block = █
+ info.tag = name;
info.offset = offset;
info.array_size = i->array_size;
info.array_stride = i->array_stride;
info.matrix_stride = i->matrix_stride;
info.type = i->type;
- block.uniforms.push_back(&info);
}
}
}
for(vector<const SpirVModule::Variable *>::const_iterator j=i->globals.begin(); j!=i->globals.end(); ++j)
if((*j)->storage==SpirVModule::INPUT)
{
- AttributeInfo &info = attributes[(*j)->name];
+ attributes.push_back(AttributeInfo());
+ AttributeInfo &info = attributes.back();
info.name = (*j)->name;
info.location = (*j)->location;
info.array_size = (*j)->array_size;
void Program::update_layout_hash()
{
string layout_descriptor;
- for(UniformBlockMap::const_iterator i=uniform_blocks.begin(); i!=uniform_blocks.end(); ++i)
- layout_descriptor += format("%d:%x\n", i->second.bind_point, i->second.layout_hash);
+ for(vector<UniformBlockInfo>::const_iterator i=uniform_blocks.begin(); i!=uniform_blocks.end(); ++i)
+ layout_descriptor += format("%d:%x\n", i->bind_point, i->layout_hash);
uniform_layout_hash = hash32(layout_descriptor);
}
const Program::UniformBlockInfo &Program::get_uniform_block_info(const string &name) const
{
- return get_item(uniform_blocks, name);
+ for(vector<UniformBlockInfo>::const_iterator i=uniform_blocks.begin(); i!=uniform_blocks.end(); ++i)
+ if(i->name==name)
+ return *i;
+ throw key_error(name);
}
const Program::UniformInfo &Program::get_uniform_info(const string &name) const
{
- return get_item(uniforms, name);
+ vector<UniformInfo>::const_iterator i = lower_bound_member(uniforms, Tag(name), &UniformInfo::tag);
+ if(i==uniforms.end() || i->name!=name)
+ throw key_error(name);
+ return *i;
+}
+
+const Program::UniformInfo &Program::get_uniform_info(Tag tag) const
+{
+ vector<UniformInfo>::const_iterator i = lower_bound_member(uniforms, tag, &UniformInfo::tag);
+ if(i==uniforms.end() || i->tag!=tag)
+ throw key_error(tag);
+ return *i;
}
int Program::get_uniform_location(const string &name) const
if(name[name.size()-1]==']')
throw invalid_argument("Program::get_uniform_location");
- UniformMap::const_iterator i = uniforms.find(name);
- if(i==uniforms.end())
- return -1;
+ vector<UniformInfo>::const_iterator i = lower_bound_member(uniforms, Tag(name), &UniformInfo::tag);
+ return i!=uniforms.end() && i->name==name && i->block->bind_point<0 ? i->location : -1;
+}
+
+int Program::get_uniform_location(Tag tag) const
+{
+ vector<UniformInfo>::const_iterator i = lower_bound_member(uniforms, tag, &UniformInfo::tag);
+ return i!=uniforms.end() && i->tag==tag && i->block->bind_point<0 ? i->location : -1;
+}
- return i->second.block->bind_point<0 ? i->second.location : -1;
+int Program::get_uniform_binding(Tag tag) const
+{
+ vector<UniformInfo>::const_iterator i = lower_bound_member(uniforms, tag, &UniformInfo::tag);
+ return i!=uniforms.end() && i->tag==tag ? i->binding : -1;
}
const Program::AttributeInfo &Program::get_attribute_info(const string &name) const
{
- return get_item(attributes, name);
+ vector<AttributeInfo>::const_iterator i = lower_bound_member(attributes, name, &AttributeInfo::name);
+ if(i==attributes.end() || i->name!=name)
+ throw key_error(name);
+ return *i;
}
int Program::get_attribute_location(const string &name) const
if(name[name.size()-1]==']')
throw invalid_argument("Program::get_attribute_location");
- AttributeMap::const_iterator i = attributes.find(name);
- return i!=attributes.end() ? i->second.location : -1;
+ vector<AttributeInfo>::const_iterator i = lower_bound_member(attributes, name, &AttributeInfo::name);
+ return i!=attributes.end() && i->name==name ? i->location : -1;
}
-void Program::bind() const
+void Program::set_debug_name(const string &name)
{
- if(!linked)
- throw invalid_operation("Program::bind");
-
- if(!set_current(this))
- return;
-
- glUseProgram(id);
+#ifdef DEBUG
+ debug_name = name;
+ if(KHR_debug)
+ {
+ glObjectLabel(GL_PROGRAM, id, name.size(), name.c_str());
+ for(unsigned i=0; i<MAX_STAGES; ++i)
+ if(stage_ids[i])
+ set_stage_debug_name(stage_ids[i], static_cast<Stage>(i));
+ }
+#else
+ (void)name;
+#endif
}
-void Program::unbind()
+void Program::set_stage_debug_name(unsigned stage_id, Stage type)
{
- if(!set_current(0))
- return;
-
- glUseProgram(0);
+#ifdef DEBUG
+ static const char *const suffixes[] = { " [VS]", " [GS]", " [FS]" };
+ string name = debug_name+suffixes[type];
+ glObjectLabel(GL_SHADER, stage_id, name.size(), name.c_str());
+#else
+ (void)stage_id; (void)type;
+#endif
}
array_size(0),
array_stride(0),
matrix_stride(0),
- type(VOID)
+ type(VOID),
+ binding(-1)
{ }