summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp')
-rw-r--r--3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp719
1 files changed, 715 insertions, 4 deletions
diff --git a/3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp b/3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp
index 768ec54fbca..c730c75c17a 100644
--- a/3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp
+++ b/3rdparty/bgfx/tools/shaderc/shaderc_spirv.cpp
@@ -1,17 +1,728 @@
/*
- * Copyright 2011-2016 Branimir Karadzic. All rights reserved.
+ * Copyright 2011-2017 Branimir Karadzic. All rights reserved.
* License: https://github.com/bkaradzic/bgfx#license-bsd-2-clause
*/
#include "shaderc.h"
+BX_PRAGMA_DIAGNOSTIC_PUSH()
+BX_PRAGMA_DIAGNOSTIC_IGNORED_MSVC(4265) // error C4265: 'spv::spirvbin_t': class has virtual functions, but destructor is not virtual
+#include <ShaderLang.h>
+#include <ResourceLimits.h>
+#include <SPIRV/SPVRemapper.h>
+//#include <spirv-tools/libspirv.hpp>
+//#include <spirv-tools/optimizer.hpp>
+BX_PRAGMA_DIAGNOSTIC_POP()
+
namespace bgfx
{
- bool compileSPIRVShader(bx::CommandLine& _cmdLine, uint32_t _version, const std::string& _code, bx::WriterI* _writer)
+ static bx::CrtAllocator s_allocator;
+ bx::AllocatorI* g_allocator = &s_allocator;
+
+ struct TinyStlAllocator
+ {
+ static void* static_allocate(size_t _bytes);
+ static void static_deallocate(void* _ptr, size_t /*_bytes*/);
+ };
+
+ void* TinyStlAllocator::static_allocate(size_t _bytes)
+ {
+ return BX_ALLOC(g_allocator, _bytes);
+ }
+
+ void TinyStlAllocator::static_deallocate(void* _ptr, size_t /*_bytes*/)
+ {
+ if (NULL != _ptr)
+ {
+ BX_FREE(g_allocator, _ptr);
+ }
+ }
+} // namespace bgfx
+
+#define TINYSTL_ALLOCATOR bgfx::TinyStlAllocator
+#include <tinystl/allocator.h>
+#include <tinystl/string.h>
+#include <tinystl/unordered_map.h>
+#include <tinystl/vector.h>
+namespace stl = tinystl;
+
+#include "../../src/shader_spirv.h"
+
+namespace glslang
+{
+ void GlslangToSpv(const glslang::TIntermediate& _intermediate, std::vector<uint32_t>& _spirv);
+
+} // namespace glslang
+
+namespace bgfx { namespace spirv
+{
+ const TBuiltInResource resourceLimits =
+ {
+ 32, // MaxLights
+ 6, // MaxClipPlanes
+ 32, // MaxTextureUnits
+ 32, // MaxTextureCoords
+ 64, // MaxVertexAttribs
+ 4096, // MaxVertexUniformComponents
+ 64, // MaxVaryingFloats
+ 32, // MaxVertexTextureImageUnits
+ 80, // MaxCombinedTextureImageUnits
+ 32, // MaxTextureImageUnits
+ 4096, // MaxFragmentUniformComponents
+ 32, // MaxDrawBuffers
+ 128, // MaxVertexUniformVectors
+ 8, // MaxVaryingVectors
+ 16, // MaxFragmentUniformVectors
+ 16, // MaxVertexOutputVectors
+ 15, // MaxFragmentInputVectors
+ -8, // MinProgramTexelOffset
+ 7, // MaxProgramTexelOffset
+ 8, // MaxClipDistances
+ 65535, // MaxComputeWorkGroupCountX
+ 65535, // MaxComputeWorkGroupCountY
+ 65535, // MaxComputeWorkGroupCountZ
+ 1024, // MaxComputeWorkGroupSizeX
+ 1024, // MaxComputeWorkGroupSizeY
+ 64, // MaxComputeWorkGroupSizeZ
+ 1024, // MaxComputeUniformComponents
+ 16, // MaxComputeTextureImageUnits
+ 8, // MaxComputeImageUniforms
+ 8, // MaxComputeAtomicCounters
+ 1, // MaxComputeAtomicCounterBuffers
+ 60, // MaxVaryingComponents
+ 64, // MaxVertexOutputComponents
+ 64, // MaxGeometryInputComponents
+ 128, // MaxGeometryOutputComponents
+ 128, // MaxFragmentInputComponents
+ 8, // MaxImageUnits
+ 8, // MaxCombinedImageUnitsAndFragmentOutputs
+ 8, // MaxCombinedShaderOutputResources
+ 0, // MaxImageSamples
+ 0, // MaxVertexImageUniforms
+ 0, // MaxTessControlImageUniforms
+ 0, // MaxTessEvaluationImageUniforms
+ 0, // MaxGeometryImageUniforms
+ 8, // MaxFragmentImageUniforms
+ 8, // MaxCombinedImageUniforms
+ 16, // MaxGeometryTextureImageUnits
+ 256, // MaxGeometryOutputVertices
+ 1024, // MaxGeometryTotalOutputComponents
+ 1024, // MaxGeometryUniformComponents
+ 64, // MaxGeometryVaryingComponents
+ 128, // MaxTessControlInputComponents
+ 128, // MaxTessControlOutputComponents
+ 16, // MaxTessControlTextureImageUnits
+ 1024, // MaxTessControlUniformComponents
+ 4096, // MaxTessControlTotalOutputComponents
+ 128, // MaxTessEvaluationInputComponents
+ 128, // MaxTessEvaluationOutputComponents
+ 16, // MaxTessEvaluationTextureImageUnits
+ 1024, // MaxTessEvaluationUniformComponents
+ 120, // MaxTessPatchComponents
+ 32, // MaxPatchVertices
+ 64, // MaxTessGenLevel
+ 16, // MaxViewports
+ 0, // MaxVertexAtomicCounters
+ 0, // MaxTessControlAtomicCounters
+ 0, // MaxTessEvaluationAtomicCounters
+ 0, // MaxGeometryAtomicCounters
+ 8, // MaxFragmentAtomicCounters
+ 8, // MaxCombinedAtomicCounters
+ 1, // MaxAtomicCounterBindings
+ 0, // MaxVertexAtomicCounterBuffers
+ 0, // MaxTessControlAtomicCounterBuffers
+ 0, // MaxTessEvaluationAtomicCounterBuffers
+ 0, // MaxGeometryAtomicCounterBuffers
+ 1, // MaxFragmentAtomicCounterBuffers
+ 1, // MaxCombinedAtomicCounterBuffers
+ 16384, // MaxAtomicCounterBufferSize
+ 4, // MaxTransformFeedbackBuffers
+ 64, // MaxTransformFeedbackInterleavedComponents
+ 8, // MaxCullDistances
+ 8, // MaxCombinedClipAndCullDistances
+ 4, // MaxSamples
+ { // limits
+ 1, // nonInductiveForLoops
+ 1, // whileLoops
+ 1, // doWhileLoops
+ 1, // generalUniformIndexing
+ 1, // generalAttributeMatrixVectorIndexing
+ 1, // generalVaryingIndexing
+ 1, // generalSamplerIndexing
+ 1, // generalVariableIndexing
+ 1, // generalConstantMatrixVectorIndexing
+ },
+ };
+
+ bool printAsm(uint32_t _offset, const SpvInstruction& _instruction, void* _userData)
+ {
+ BX_UNUSED(_userData);
+ char temp[512];
+ toString(temp, sizeof(temp), _instruction);
+ BX_TRACE("%5d: %s", _offset, temp);
+ return true;
+ }
+
+ struct SpvReflection
+ {
+ struct TypeId
+ {
+ enum Enum
+ {
+ Void,
+ Bool,
+ Int32,
+ Int64,
+ Uint32,
+ Uint64,
+ Float,
+ Double,
+
+ Vector,
+ Matrix,
+
+ Count
+ };
+
+ TypeId()
+ : baseType(Enum::Count)
+ , type(Enum::Count)
+ , numComponents(0)
+ {
+ }
+
+ Enum baseType;
+ Enum type;
+ uint32_t numComponents;
+
+ stl::string toString()
+ {
+ stl::string result;
+
+ switch (type)
+ {
+ case Float:
+ result.append("float");
+ break;
+
+ case Vector:
+ bx::stringPrintf(result, "vec%d"
+ , numComponents
+ );
+ break;
+
+ case Matrix:
+ bx::stringPrintf(result, "mat%d"
+ , numComponents
+ );
+
+ default:
+ break;
+ }
+
+ return result;
+ }
+ };
+
+ struct Id
+ {
+ struct Variable
+ {
+ Variable()
+ : decoration(SpvDecoration::Count)
+ , builtin(SpvBuiltin::Count)
+ , storageClass(SpvStorageClass::Count)
+ , location(UINT32_MAX)
+ , offset(UINT32_MAX)
+ , type(UINT32_MAX)
+ {
+ }
+
+ stl::string name;
+ SpvDecoration::Enum decoration;
+ SpvBuiltin::Enum builtin;
+ SpvStorageClass::Enum storageClass;
+ uint32_t location;
+ uint32_t offset;
+ uint32_t type;
+ };
+
+ typedef stl::vector<Variable> MemberArray;
+
+ Variable var;
+ MemberArray members;
+ };
+
+ typedef stl::unordered_map<uint32_t, TypeId> TypeIdMap;
+ typedef stl::unordered_map<uint32_t, Id> IdMap;
+
+ TypeIdMap typeIdMap;
+ IdMap idMap;
+
+ stl::string getTypeName(uint32_t _typeId)
+ {
+ return getTypeId(_typeId).toString();
+ }
+
+ Id& getId(uint32_t _id)
+ {
+ IdMap::iterator it = idMap.find(_id);
+ if (it == idMap.end() )
+ {
+ Id id;
+ stl::pair<IdMap::iterator, bool> result = idMap.insert(stl::make_pair(_id, id) );
+ it = result.first;
+ }
+
+ return it->second;
+ }
+
+ Id::Variable& get(uint32_t _id, uint32_t _idx)
+ {
+ Id& id = getId(_id);
+ id.members.resize(bx::uint32_max(_idx+1, uint32_t(id.members.size() ) ) );
+ return id.members[_idx];
+ }
+
+ TypeId& getTypeId(uint32_t _id)
+ {
+ TypeIdMap::iterator it = typeIdMap.find(_id);
+ if (it == typeIdMap.end() )
+ {
+ TypeId id;
+ stl::pair<TypeIdMap::iterator, bool> result = typeIdMap.insert(stl::make_pair(_id, id) );
+ it = result.first;
+ }
+
+ return it->second;
+ }
+
+ void update(uint32_t _id, const stl::string& _name)
+ {
+ getId(_id).var.name = _name;
+ }
+
+ BX_NO_INLINE void update(Id::Variable& _variable, SpvDecoration::Enum _decoration, uint32_t _literal)
+ {
+ _variable.decoration = _decoration;
+ switch (_decoration)
+ {
+ case SpvDecoration::Location:
+ _variable.location = _literal;
+ break;
+
+ case SpvDecoration::Offset:
+ _variable.offset = _literal;
+ break;
+
+ case SpvDecoration::BuiltIn:
+ _variable.builtin = SpvBuiltin::Enum(_literal);
+ break;
+
+ default:
+ break;
+ }
+ }
+
+ BX_NO_INLINE void update(Id::Variable& _variable, uint32_t _type, SpvStorageClass::Enum _storageClass)
+ {
+ _variable.type = _type;
+ _variable.storageClass = _storageClass;
+ }
+
+ void update(uint32_t _id, SpvDecoration::Enum _decoration, uint32_t _literal)
+ {
+ update(getId(_id).var, _decoration, _literal);
+ }
+
+ void update(uint32_t _id, uint32_t _type, SpvStorageClass::Enum _storageClass)
+ {
+ update(getId(_id).var, _type, _storageClass);
+ }
+
+ void update(uint32_t _id, uint32_t _idx, const stl::string& _name)
+ {
+ Id::Variable& var = get(_id, _idx);
+ var.name = _name;
+ }
+
+ BX_NO_INLINE void update(uint32_t _id, uint32_t _idx, SpvDecoration::Enum _decoration, uint32_t _literal)
+ {
+ update(get(_id, _idx), _decoration, _literal);
+ }
+
+ void update(uint32_t _id, TypeId::Enum _type)
+ {
+ TypeId& type = getTypeId(_id);
+ type.type = _type;
+ }
+
+ void update(uint32_t _id, TypeId::Enum _type, uint32_t _baseTypeId, uint32_t _numComonents)
+ {
+ TypeId& type = getTypeId(_id);
+ type.type = _type;
+
+ type.baseType = getTypeId(_baseTypeId).type;
+ type.numComponents = _numComonents;
+ }
+ };
+
+ bool spvParse(uint32_t _offset, const SpvInstruction& _instruction, void* _userData)
+ {
+ BX_UNUSED(_offset);
+ SpvReflection* spv = (SpvReflection*)_userData;
+
+ switch (_instruction.opcode)
+ {
+ case SpvOpcode::Name:
+ spv->update(_instruction.result
+ , _instruction.operand[0].literalString
+ );
+ break;
+
+ case SpvOpcode::Decorate:
+ spv->update(_instruction.operand[0].data
+ , SpvDecoration::Enum(_instruction.operand[1].data)
+ , _instruction.operand[2].data
+ );
+ break;
+
+ case SpvOpcode::MemberName:
+ spv->update(_instruction.result
+ , _instruction.operand[0].data
+ , _instruction.operand[1].literalString
+ );
+ break;
+
+ case SpvOpcode::MemberDecorate:
+ spv->update(_instruction.operand[0].data
+ , _instruction.operand[1].data
+ , SpvDecoration::Enum(_instruction.operand[2].data)
+ , _instruction.operand[3].data
+ );
+ break;
+
+ case SpvOpcode::Variable:
+ spv->update(_instruction.result
+ , _instruction.type
+ , SpvStorageClass::Enum(_instruction.operand[0].data)
+ );
+ break;
+
+ case SpvOpcode::TypeVoid:
+ spv->update(_instruction.result, SpvReflection::TypeId::Void);
+ break;
+
+ case SpvOpcode::TypeBool:
+ spv->update(_instruction.result, SpvReflection::TypeId::Bool);
+ break;
+
+ case SpvOpcode::TypeInt:
+ spv->update(_instruction.result
+ , 32 == _instruction.operand[0].data
+ ? 0 == _instruction.operand[1].data
+ ? SpvReflection::TypeId::Uint32
+ : SpvReflection::TypeId::Int32
+ : 0 == _instruction.operand[1].data
+ ? SpvReflection::TypeId::Uint64
+ : SpvReflection::TypeId::Int64
+ );
+ break;
+
+ case SpvOpcode::TypeFloat:
+ spv->update(_instruction.result
+ , 32 == _instruction.operand[0].data
+ ? SpvReflection::TypeId::Float
+ : SpvReflection::TypeId::Double
+ );
+ break;
+
+ case SpvOpcode::TypeVector:
+ spv->update(_instruction.result
+ , SpvReflection::TypeId::Vector
+ , _instruction.operand[0].data
+ , _instruction.operand[1].data
+ );
+ break;
+
+ case SpvOpcode::TypeMatrix:
+ spv->update(_instruction.result
+ , SpvReflection::TypeId::Matrix
+ , _instruction.operand[0].data
+ , _instruction.operand[1].data
+ );
+ break;
+
+ case SpvOpcode::TypeImage:
+ case SpvOpcode::TypeSampler:
+ case SpvOpcode::TypeSampledImage:
+ break;
+
+ case SpvOpcode::TypeStruct:
+ for (uint32_t ii = 0, num = _instruction.numOperands; ii < num; ++ii)
+ {
+ SpvReflection::Id::Variable& var = spv->get(_instruction.result, ii);
+ var.type = _instruction.operand[ii].data;
+ }
+ break;
+
+ default:
+ break;
+ }
+
+ return true;
+ }
+
+ void disassemble(bx::WriterI* _writer, bx::ReaderSeekerI* _reader, bx::Error* _err)
+ {
+ BX_UNUSED(_writer);
+
+ uint32_t magic;
+ bx::peek(_reader, magic);
+
+ SpvReflection spvx;
+
+ if (magic == SPV_CHUNK_HEADER)
+ {
+ SpirV spirv;
+ read(_reader, spirv, _err);
+ parse(spirv.shader, spvParse, &spvx, _err);
+
+ for (SpvReflection::IdMap::const_iterator it = spvx.idMap.begin(), itEnd = spvx.idMap.end(); it != itEnd; ++it)
+ {
+ const SpvReflection::Id& id = it->second;
+ uint32_t num = uint32_t(id.members.size() );
+ if (0 < num
+ && 0 != strcmp(id.var.name.c_str(), "gl_PerVertex") )
+ {
+ printf("%3d: %s %d %s\n"
+ , it->first
+ , id.var.name.c_str()
+ , id.var.location
+ , getName(id.var.storageClass)
+ );
+ printf("{\n");
+ for (uint32_t ii = 0; ii < num; ++ii)
+ {
+ const SpvReflection::Id::Variable& var = id.members[ii];
+ printf("\t\t%s %s %d %s\n"
+ , spvx.getTypeName(var.type).c_str()
+ , var.name.c_str()
+ , var.offset
+ , getName(var.storageClass)
+ );
+ }
+ printf("}\n");
+ }
+ }
+
+ }
+ }
+
+ struct DebugOutputWriter : public bx::WriterI
+ {
+ virtual int32_t write(const void* _data, int32_t _size, bx::Error*) BX_OVERRIDE
+ {
+ char* out = (char*)alloca(_size + 1);
+ memcpy(out, _data, _size);
+ out[_size] = '\0';
+ printf("%s", out);
+ return _size;
+ }
+ };
+
+ static EShLanguage getLang(char _p)
+ {
+ switch (_p)
+ {
+ case 'c': return EShLangCompute;
+ case 'f': return EShLangFragment;
+ default: break;
+ }
+
+ return EShLangVertex;
+ }
+
+// static void printError(spv_message_level_t, const char*, const spv_position_t&, const char* _message)
+// {
+// fprintf(stderr, "%s\n", _message);
+// }
+
+ static bool compile(bx::CommandLine& _cmdLine, uint32_t _version, const std::string& _code, bx::WriterI* _writer)
{
BX_UNUSED(_cmdLine, _version, _code, _writer);
- fprintf(stderr, "SPIR-V compiler is not supported.\n");
- return false;
+
+ const char* profile = _cmdLine.findOption('p', "profile");
+ if (NULL == profile)
+ {
+ fprintf(stderr, "Error: Shader profile must be specified.\n");
+ return false;
+ }
+
+ glslang::InitializeProcess();
+
+ glslang::TProgram* program = new glslang::TProgram;
+
+ EShLanguage stage = getLang(profile[0]);
+ glslang::TShader* shader = new glslang::TShader(stage);
+
+ EShMessages messages = EShMessages(0
+ | EShMsgDefault
+ | EShMsgReadHlsl
+ | EShMsgVulkanRules
+ | EShMsgSpvRules
+ );
+
+ const char* shaderStrings[] = { _code.c_str() };
+ const char* shaderNames[] = { "" };
+
+ shader->setStringsWithLengthsAndNames(
+ shaderStrings
+ , NULL
+ , shaderNames
+ , BX_COUNTOF(shaderNames)
+ );
+ bool compiled = shader->parse(&resourceLimits
+ , 110
+ , false
+ , messages
+ );
+ bool linked = false;
+ bool validated = true;
+ bool optimized = true;
+
+ if (!compiled)
+ {
+ const char* log = shader->getInfoLog();
+ if (NULL != log)
+ {
+ int32_t source = 0;
+ int32_t line = 0;
+ int32_t column = 0;
+ int32_t start = 0;
+ int32_t end = INT32_MAX;
+
+ const char* err = strstr(log, "ERROR:");
+
+ bool found = false;
+
+ if (NULL != err)
+ {
+ found = 2 == sscanf(err, "ERROR: %u:%u: '", &source, &line);
+ if (found)
+ {
+ ++line;
+ }
+ }
+
+ if (found)
+ {
+ start = bx::uint32_imax(1, line-10);
+ end = start + 20;
+ }
+
+ printCode(_code.c_str(), line, start, end, column);
+
+ fprintf(stderr, "%s\n", log);
+ }
+ }
+ else
+ {
+ program->addShader(shader);
+ linked = true
+ && program->link(messages)
+ && program->mapIO()
+ ;
+
+ if (!linked)
+ {
+ const char* log = program->getInfoLog();
+ if (NULL != log)
+ {
+ fprintf(stderr, "%s\n", log);
+ }
+ }
+ else
+ {
+// program->buildReflection();
+// fprintf(stderr, "attributes %d, uniforms %d\n"
+// , program->getNumLiveAttributes()
+// , program->getNumLiveUniformVariables()
+// );
+// program->dumpReflection();
+
+ BX_UNUSED(spv::MemorySemanticsAllMemory);
+
+ glslang::TIntermediate* intermediate = program->getIntermediate(stage);
+ std::vector<uint32_t> spirv;
+ glslang::GlslangToSpv(*intermediate, spirv);
+ spv::spirvbin_t spvBin;
+ spvBin.remap(
+ spirv
+ , 0
+ | spv::spirvbin_t::DCE_ALL
+ | spv::spirvbin_t::OPT_ALL
+ | spv::spirvbin_t::MAP_ALL
+// | spv::spirvbin_t::STRIP
+ );
+
+ bx::Error err;
+ DebugOutputWriter writer;
+ bx::MemoryReader reader(spirv.data(), uint32_t(spirv.size()*4) );
+ disassemble(&writer, &reader, &err);
+
+#if 0
+ spvtools::SpirvTools tools(SPV_ENV_VULKAN_1_0);
+ tools.SetMessageConsumer(printError);
+ validated = tools.Validate(spirv);
+
+ if (!validated)
+ {
+ std::string out;
+ tools.Disassemble(spirv, &out);
+ printf("%s\n", out.c_str());
+ }
+
+ if (validated)
+ {
+ spvtools::Optimizer optm(SPV_ENV_VULKAN_1_0);
+ optm.SetMessageConsumer(printError);
+ optm
+ .RegisterPass(spvtools::CreateStripDebugInfoPass() )
+// .RegisterPass(spvtools::CreateSetSpecConstantDefaultValuePass({ {1, "42" } }) )
+ .RegisterPass(spvtools::CreateFreezeSpecConstantValuePass() )
+ .RegisterPass(spvtools::CreateFoldSpecConstantOpAndCompositePass() )
+ .RegisterPass(spvtools::CreateEliminateDeadConstantPass() )
+ .RegisterPass(spvtools::CreateUnifyConstantPass() )
+ ;
+ optimized = optm.Run(spirv.data(), spirv.size(), &spirv);
+ }
+#endif // 0
+
+ if (optimized)
+ {
+ uint16_t shaderSize = (uint16_t)spirv.size()*sizeof(uint32_t);
+ bx::write(_writer, shaderSize);
+ bx::write(_writer, spirv.data(), shaderSize);
+ uint8_t nul = 0;
+ bx::write(_writer, nul);
+ }
+ }
+ }
+
+ delete program;
+ delete shader;
+
+ glslang::FinalizeProcess();
+
+ return compiled && linked && validated && optimized;
+ }
+
+} // namespace spirv
+
+ bool compileSPIRVShader(bx::CommandLine& _cmdLine, uint32_t _version, const std::string& _code, bx::WriterI* _writer)
+ {
+ return spirv::compile(_cmdLine, _version, _code, _writer);
}
} // namespace bgfx