| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775 |
- /*
- * 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(4100) // error C4100: 'inclusionDepth' : unreferenced formal parameter
- BX_PRAGMA_DIAGNOSTIC_IGNORED_MSVC(4265) // error C4265: 'spv::spirvbin_t': class has virtual functions, but destructor is not virtual
- BX_PRAGMA_DIAGNOSTIC_IGNORED_CLANG_GCC("-Wshadow") // warning: declaration of 'userData' shadows a member of 'glslang::TShader::Includer::IncludeResult'
- #include <ShaderLang.h>
- #include <ResourceLimits.h>
- #include <SPIRV/SPVRemapper.h>
- #include <SPIRV/GlslangToSpv.h>
- BX_PRAGMA_DIAGNOSTIC_POP()
- namespace bgfx
- {
- static bx::DefaultAllocator 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 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;
- }
- #define DBG(...)
- 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 != bx::strCmp(id.var.name.c_str(), "gl_PerVertex") )
- {
- DBG("%3d: %s %d %s\n"
- , it->first
- , id.var.name.c_str()
- , id.var.location
- , getName(id.var.storageClass)
- );
- DBG("{\n");
- for (uint32_t ii = 0; ii < num; ++ii)
- {
- const SpvReflection::Id::Variable& var = id.members[ii];
- DBG("\t\t%s %s %d %s\n"
- , spvx.getTypeName(var.type).c_str()
- , var.name.c_str()
- , var.offset
- , getName(var.storageClass)
- );
- BX_UNUSED(var);
- }
- DBG("}\n");
- }
- }
- }
- }
- struct DebugOutputWriter : public bx::WriterI
- {
- virtual int32_t write(const void* _data, int32_t _size, bx::Error*) override
- {
- char* out = (char*)alloca(_size + 1);
- bx::memCopy(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;
- case 'v': return EShLangVertex;
- default: return EShLangCount;
- }
- }
- // static void printError(spv_message_level_t, const char*, const spv_position_t&, const char* _message)
- // {
- // fprintf(stderr, "%s\n", _message);
- // }
- static bool compile(const bx::CommandLine& _cmdLine, uint32_t _version, const std::string& _code, bx::WriterI* _writer)
- {
- BX_UNUSED(_cmdLine, _version, _code, _writer);
- const char* type = _cmdLine.findOption('\0', "type");
- if (NULL == type)
- {
- fprintf(stderr, "Error: Shader type must be specified.\n");
- return false;
- }
- glslang::InitializeProcess();
- glslang::TProgram* program = new glslang::TProgram;
- EShLanguage stage = getLang(type[0]);
- if (EShLangCount == stage)
- {
- fprintf(stderr, "Error: Unknown shader type %s.\n", type);
- return false;
- }
- glslang::TShader* shader = new glslang::TShader(stage);
- EShMessages messages = EShMessages(0
- | EShMsgDefault
- | EShMsgReadHlsl
- | EShMsgVulkanRules
- | EShMsgSpvRules
- );
- shader->setEntryPoint("main");
- const char* shaderStrings[] = { _code.c_str() };
- shader->setStrings(
- shaderStrings
- , BX_COUNTOF(shaderStrings)
- );
- 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 = bx::strFind(log, INT32_MAX, "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();
- {
- uint16_t count = (uint16_t)program->getNumLiveUniformVariables();
- bx::write(_writer, count);
- uint32_t fragmentBit = type[0] == 'f' ? BGFX_UNIFORM_FRAGMENTBIT : 0;
- for (uint16_t ii = 0; ii < count; ++ii)
- {
- Uniform un;
- un.name = program->getUniformName(ii);
- switch (program->getUniformType(ii))
- {
- case 0x1404: // GL_INT:
- un.type = UniformType::Int1;
- break;
- case 0x8B52: // GL_FLOAT_VEC4:
- un.type = UniformType::Vec4;
- break;
- case 0x8B5B: // GL_FLOAT_MAT3:
- un.type = UniformType::Mat3;
- break;
- case 0x8B5C: // GL_FLOAT_MAT4:
- un.type = UniformType::Mat4;
- break;
- default:
- un.type = UniformType::End;
- break;
- }
- un.num = uint8_t(program->getUniformArraySize(ii) );
- un.regIndex = 0;
- un.regCount = un.num;
- uint8_t nameSize = (uint8_t)un.name.size();
- bx::write(_writer, nameSize);
- bx::write(_writer, un.name.c_str(), nameSize);
- bx::write(_writer, uint8_t(un.type | fragmentBit));
- bx::write(_writer, un.num);
- bx::write(_writer, un.regIndex);
- bx::write(_writer, un.regCount);
- BX_TRACE("%s, %s, %d, %d, %d"
- , un.name.c_str()
- , getUniformTypeName(un.type)
- , un.num
- , un.regIndex
- , un.regCount
- );
- }
- }
- if (g_verbose)
- {
- 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)
- {
- uint32_t shaderSize = (uint32_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(const bx::CommandLine& _cmdLine, uint32_t _version, const std::string& _code, bx::WriterI* _writer)
- {
- return spirv::compile(_cmdLine, _version, _code, _writer);
- }
- } // namespace bgfx
|