SMOL-V: like Vulkan/Khronos SPIR-V, but smaller.

Overview

SMOL-V encodes Vulkan/Khronos SPIR-V format programs into a form that is smoller, and is more compressible. Normally no changes to the programs are done; they decode into exactly same program as what was encoded. Optionally, debug information can be removed too.

SPIR-V is a very verbose format, several times larger than same programs expressed in other shader formats (e.g. DX11 bytecode, GLSL, DX9 bytecode etc.). The SSA-form with ever increasing IDs is not very appreciated by regular data compressors either. SMOL-V does several things to improve this:

Many words, especially ones that most often have small values, are encoded using "varint" scheme (1-5 bytes per word, with just one byte for values in 0..127 range).
Some IDs used in the program are delta-encoded, relative to previously seen IDs (e.g. Result IDs). Often instructions reference things that were computed just before, so this results in small deltas. These values are also encoded using "varint" scheme.
Reordering instruction opcodes so that the most common ones are the smallest values, for smaller varint encoding.
Encoding several instructions in a more compact form, e.g. the "typical <=4 component swizzle" shape of a VectorShuffle instruction, or sequences of MemberDecorate instructions.

A somewhat similar utility is spirv-remap from glslang.

See this blog post for more information about how I did SMOL-V.

Usage

Add source/smolv.h and source/smolv.cpp to your C++ project build. It might require C++11 or somesuch; I only tested with Visual Studio 2017 and Mac Xcode 9.4. There's a Travis-CI set up for this project, that builds on Windows (VS2017), Mac (Xcode 10.1) and Linux (gcc 4.8).

smolv::Encode and smolv::Decode is the basic functionality. See smolv.h.

Other functions are for development/statistics purposes, to figure out frequencies and distributions of the instructions.

There's a test + compression benchmarking suite in testing/testmain.cpp, using that needs adding other files under testing/external to the build too (3rd party code: glslang remapper, Zstd, LZ4, miniz).

Changelog

See Changelog.

Limitations / TODO

SPIR-V where the words got stored in big-endian layout is not supported yet.
The whole thing might not work on Big-Endian CPUs. It might, but I'm not 100% sure.
Not much prevention is done against malformed/corrupted inputs, TODO.
Out of memory cases are not handled. The code will either throw exception or crash, depending on your compilation flags.

License

Code itself: Public Domain or MIT, pick whichever works better for you.

There is 3rd party code under the testing framework (testing/external); it is not required for using SMOL-V. Most of that code (glslang, LZ4, Zstd, sokol_time.h) is BSD or zlib-licensed, and taken from github repositories of the respective projects. miniz is public domain.

There are SPIR-V binary shader dumps under tests/spirv-dumps for compression testing; these are not required for using SMOL-V. Not sure how to appropriately "license" them (but hey they are kinda useless by themselves out of context), so I'll go with this: "Binary shader dumps under 'tests' folder are only to be used for SMOL-V testing". Details on them:

tests/spirv-dumps/shadertoy - several most popular shaders from Shadertoy, converted to Vulkan SPIR-V via glslang. Copyrights by their individual authors (filename matches last component of shadertoy URL).
tests/spirv-dumps/unity - various Unity shaders, produced through a HLSL -> DX11 bytecode -> HLSLcc -> glslang toolchain.

Results

As of 2018 October 29, results on 342 shaders (under tests/spirv-dumps) are:

Compressed with <none>:
Raw        4869.9KB 100.0%
Remapper   4541.4KB  93.3%
SmolV      1629.5KB  33.5%

Compressed with zlib:
Raw        1213.3KB  24.9%
Remapper   1079.7KB  22.2%
SmolV       602.1KB  12.4%

Compressed with LZ4 HC:
Raw        1343.4KB  27.6%
Remapper   1148.1KB  23.6%
SmolV       606.3KB  12.5%

Compressed with Zstandard:
Raw         899.3KB  18.5%
Remapper    742.1KB  15.2%
SmolV       445.6KB   9.1%

Compressed with Zstandard 20:
Raw         589.7KB  12.1%
Remapper    508.9KB  10.5%
SmolV       348.0KB   7.1%

"Raw" is just raw SPIR-V, with no extra processing.
"Remapper" is spirv-remap from glslang, with debug info stripping.
SmolV is what you're looking at, with debug info stripping too.
zlib, LZ4HC and Zstd are general compression algorithms at default settings (Zstd20 is Zstd compression with almost max setting of 20).
Compression is done on the whole blob of all the test programs (not individually for each program).