mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-27 05:40:06 +00:00
324 lines
15 KiB
Plaintext
324 lines
15 KiB
Plaintext
Revision history for SPIRV-Tools
|
|
|
|
v2017.3-dev 2017-12-15
|
|
- Start v2017.3-dev
|
|
- General:
|
|
- Generate a SPIRV-Tools.pc file for pkg-config
|
|
- Optimizer:
|
|
- Add Private-to-Function variable conversion for modules with logical
|
|
addressing
|
|
- Add --legalize-hlsl option to run transforms used to transform intermediate
|
|
code generated by HLSL to SPIR-V for Vulkan compilers. Those compilers
|
|
normally run these transforms automatically. This option is used for developing
|
|
those transforms.
|
|
- Validator:
|
|
- Check upper bits of literal numbers that aren't a multiple of 32-bits wide.
|
|
- More validation of primitive instructions
|
|
- Fixes:
|
|
#1100: Validator: Image operand Sample can be used with OpImageSparseFetch,
|
|
OpImageSparseRead
|
|
#1108: Remove duplicates transform was incorrectly removing non-duplicate
|
|
decorations.
|
|
#1111: Optimizer's type manager could reference deleted memory
|
|
|
|
v2017.2 2017-12-15
|
|
- General:
|
|
- Support OpenCL 1.2, 2.0 target environments, including embedded profiles
|
|
- Add CONTRIBUTING.md
|
|
- Fix exit status code for spirv-link
|
|
- Disassember: Enable emitting ANSI colour codes to a string
|
|
- Library avoids polluting global namespace. The libraries can export C and C++
|
|
symbols starting with "spv", or in a C++ namespace. Add a test for this.
|
|
- Linux release builds include debug information, for easier profiling
|
|
- Build bots no longer test VisualStudio 2013
|
|
- Testing dependency RE2 requires VisualStudio 2015 or later
|
|
- Build bots check code formatting
|
|
- Optimizer:
|
|
- Add --skip-validation to spirv-opt
|
|
- Add dominance tree analysis
|
|
- Add generic value propagation engine
|
|
- Add global redundancy elimination within a function
|
|
- Add scalar replacement of function-scope variables of composite type
|
|
- Aggressive dead code elimination: Remove empty loops
|
|
- Killing an instruction notifies the IRContext
|
|
- IRContext::KillInst deletes the instruction
|
|
- Move CFG analysis to IRContext
|
|
- Add constant manager
|
|
- Fix: Don't consider derivative instructions as combinators.
|
|
- Fix: Don't delete an instruction twice in local dead-code-elimination
|
|
- Fix: Don't consider derivative instructions as combinators.
|
|
- Validator:
|
|
- Finish checking of image instructions (Section 3.32.10)
|
|
- Check sparse image instructions
|
|
- Check OpTypeImage, OpTypeSampleImage
|
|
- Check composite instructions (Section 3.32.12)
|
|
- Check atomic instructions (Section 3.32.18)
|
|
- Check OpEmitStreamVertex, OpEndStreamPrimitive instructions
|
|
- Re-enable validation of OpCopyObject
|
|
- OpKill, image ImplicitLod and QueryLod instructions can only be used in Fragment
|
|
shaders.
|
|
- Fixes for image instruction validation:
|
|
- Lod image operand only usable with ExplicitLod and OpImageFetch
|
|
- ExplicitLod Lod image operand must be float scalar
|
|
- OpImageFectch Lod image operand must be int scalar
|
|
- OpImageGather component operand must be 32-bits (integer scalar)
|
|
- OpImageQuerySizeLod Lod must be integer scalar
|
|
- Fixes:
|
|
#622: Remove names and decorations when inlining
|
|
#989: Aggressive dead code elim: Don't optimize away live breaks from a loop
|
|
#991: Fix validation of SPV_AMD_shader_ballot
|
|
#1004: Use after free of an instruction, in remove-duplicates transform
|
|
#1007: OpImageRead not required to return 4-component vector
|
|
#1009: OpImageRead can return scalar int/float types
|
|
#1011: OpImageWrite should allow scalar int/float texel types
|
|
#1012: Fix validat Dref type check
|
|
#1017: Load-store elimination considers variable initializations
|
|
#1034: Fix Windows debug build: operator< should be a weak ordering
|
|
#1083: Inlining: Set parent (function) for each inlined basic block.
|
|
#1075: Aggressive dead code elimination: Was leaving dangling references to
|
|
removed blocks.
|
|
|
|
v2017.1 2017-11-23
|
|
- Update README with details on the public_spirv_tools_dev@khronos.org mailing list.
|
|
- General:
|
|
- Automatically deploy built artifacts to GitHub Releases
|
|
- Add a Linker (module combiner). Under development.
|
|
- Add Android.mk for Android NDK builds.
|
|
- Add the 'effcee' library as an optional dependency for use in tests.
|
|
Eventually it will be a required dependency, once downstream projects have
|
|
a chance to adjust. Requires 're2' library.
|
|
- Avoid static-duration variables of class type (with constructors).
|
|
- Hack around bugs in gcc-4.8.1 template handling
|
|
- Faster opcode lookup
|
|
- Validator:
|
|
- Recognize extensions listed on SPIR-V registry,
|
|
through #25 SPV_AMD_shader_fragment_mask
|
|
- Validator issues an info message when it sees an unrecognized extension.
|
|
- Type check basic arithmetic operations
|
|
- Type check carry/extended arithmetic operations
|
|
- Type check vector arithmetic operations
|
|
- Type check Relational and Logical instructions
|
|
- Type check Bit instructions
|
|
- Check type uniqueness rules
|
|
- Check conversion instructions
|
|
- Check image instructions
|
|
- Check derivative instructions
|
|
- Check OpVectorShuffle
|
|
- Check OpBranchConditional
|
|
- OpModuleProcessed is only allowed after debug names section and before annotations
|
|
section.
|
|
- Checks the right kind of return is called for each function (void or non-void).
|
|
- Add option to relax type check when storing structs (--relax-store-struct)
|
|
- Optimizer:
|
|
- Refactoring internal representation of the module, including:
|
|
- IRContext: owns a module and manages analyses
|
|
- Instructions are owned by intrusive lists, and have unique IDs
|
|
- BasicBlock owns its instruction list.
|
|
- DefUseManager: change representation of uses, for faster processing
|
|
on large modules.
|
|
- Add high level recipes: -O, -Os, and -Oconfig
|
|
Recipes for -O and -Os are under development.
|
|
- Add eliminate-dead-function transform
|
|
- Add strength reduction transform: For now, convert multiply by power of 2
|
|
to a bit shift.
|
|
- Add CFG cleanup transform
|
|
- Add removal of dead module-scope variables
|
|
- Add merge-return transform for modules without structured control flow
|
|
- Add redundancy elimination within a basic block (local value numbering)
|
|
- Extract-insert elimination:
|
|
- Recognize the case where the first instruction in the sequence is an
|
|
OpCompositeConstruct or OpConstantComposite
|
|
- Handle some cases of nested structs
|
|
- Dead branch elimination now can eliminate entire selection constructs
|
|
when all arms are dead.
|
|
- Compressing codec:
|
|
- Updated algorithm to 1.01, 1.02, 1.03
|
|
- Not built by default. Use -DSPIRV_BUILD_COMPRESSION=ON to build.
|
|
- Codec can be parameterized by a customized model.
|
|
- Fixes:
|
|
#728: Fix decoration of inlined functions
|
|
#798: spirv-as should fail when given unrecognized long option
|
|
#800: Inliner: Fix inlining function into header of multi-block loop
|
|
#824: Eliminate-local-multi-store: Fix a crash
|
|
#826: Elimiante-local-multi-store: Fix a crash
|
|
#827: Fix crash when compact-ids transform runs before another transform.
|
|
#834: Add Cmake option to build the compressing codec. Off by default.
|
|
#911: Fix classification of Line and NoLine instructions
|
|
|
|
v2017.0 2017-09-01
|
|
- Update README to describe that assembler, disassembler, and binary parser support
|
|
are based on grammar files from the SPIRV-Headers repository.
|
|
|
|
v2016.7 2017-09-01
|
|
- Add SPIR-V 1.2
|
|
- OpenCL 2.2 support is now based on SPIR-V 1.2
|
|
- Support AMD extensions in assembler, disassembler:
|
|
SPV_AMD_gcn_shader
|
|
SPV_AMD_shader_ballot
|
|
SPV_AMD_shader_explicit_vertex_parameter
|
|
SPV_AMD_shader_trinary_minmax
|
|
SPV_AMD_gpu_shader_half_float
|
|
SPV_AMD_texture_gather_bias_lod
|
|
SPV_AMD_gpu_shader_int16
|
|
- Optimizer: Add support for:
|
|
- Inline all function calls in entry points.
|
|
- Flatten decoration groups. Fixes #602
|
|
- Id compaction (minimize Id bound). Fixes #624
|
|
- Eliminate redundant composite insert followed by extract
|
|
- Simplify access chains to local variables
|
|
- Eliminate local variables with a single store, if possible
|
|
- Eliminate local variables with a several stores, if possible
|
|
- Eliminate loads and stores in same block to local variables
|
|
- Eliminate redundant insert/extract to composite values
|
|
- Aggressive dead instruction elimination
|
|
- Eliminate dead branches
|
|
- Merge blocks when the second can only be preceded by the first
|
|
- Eliminate ommon uniform loads
|
|
- Assembler: Add option to preserve numeric ids. Fixes #625
|
|
- Add build target spirv-tools-vimsyntax to generate spvasm.vim, a SPIR-V
|
|
assembly syntax file for Vim.
|
|
- Version string: Allow overriding of wall clock timestamp with contents
|
|
of environment variable SOURCE_DATE_EPOCH.
|
|
- Validator implements relaxed rules for SPV_KHR_16bit_storage.
|
|
- CMake installation rules use GNUInstallDirs. For example, libraries
|
|
will be installed into a lib64 directory if that's the norm for the
|
|
current system.
|
|
- Fixes:
|
|
#500: Parameterize validator limit checks
|
|
#508: Support compilation under CYGWIN
|
|
#517: Fix validation when continue (or case) contstruct is also the head of a
|
|
nested control construct.
|
|
#551: If a merge block is reachable, it must be *strictly* dominated by its
|
|
header.
|
|
#548: Validator: Error when the reserved OpImageSparseSampleProj* opcodes
|
|
are used.
|
|
#611: spvtools::Optimizer was failing to save the module to the output
|
|
binary vector when all passes succeded without changes.
|
|
#629: The inline-entry-points-all optimization could generate invalidly
|
|
structured code when the inlined function had early returns.
|
|
#697: Optimizer's Instruction::ForEachInId method was skipping semantics-id
|
|
and scope-id.
|
|
#755: Inliner: Fix inlining of callee with single Return appearing before
|
|
the end of the function.
|
|
#776: Fix dead branch elimination in presence of complex but dead control
|
|
flow.
|
|
#781: SPV_KHR_variable_pointers allows duplicate pointer types
|
|
#782: Inliner: Fix remapping of non-label forward references in callee
|
|
#787: Inliner: Fix remapping of inlined entry block when called from
|
|
single block loop.
|
|
#790: Inliner: Fix remapping of inlined entry block when callee has
|
|
multiple returns.
|
|
|
|
v2016.6 2016-12-13
|
|
- Published the C++ interface for assembling, disassembling, validation, and
|
|
optimization.
|
|
- Support SPV_KHR_shader_draw_parameters in assembler, disassembler, parser.
|
|
- Validator:
|
|
- Add validator API accepting raw binary words
|
|
- Increased coverage:
|
|
- Checks "Data rules" in Universal Validation Rules, section 2.16.1
|
|
- WIP: Universal Limits.
|
|
- The minimum mandated upper bounds are checked.
|
|
- TODO: Parameterize the validator to allow larger limits accepted by
|
|
a more than minimally capable implementation.
|
|
- OpSampledImage checks
|
|
- OpConstantComposite checks
|
|
- Id bound check
|
|
- Disasssembler:
|
|
- Generates friendly GLSL-based names for more builtin variables
|
|
- Generates friendly names for numeric OpConstant values
|
|
- Vendor tool info extracted from SPIR-V XML registry file.
|
|
- Fixes issues:
|
|
#429: Validator: Allow OpTypeForwardPointer and OpTypeStruct to reference
|
|
undefined IDs
|
|
#482: Validator: OpVariable initializer can be an ID of a module-scope variable
|
|
|
|
v2016.5 2016-09-16
|
|
- Support SPV_KHR_shader_ballot in assembler, disassembler, parser.
|
|
- Disassembler: Generate friendly names for built-in variables.
|
|
- Partial fixes:
|
|
#359: Add Emacs helper for automatically diassembling/assembling a SPIR-V
|
|
binary on file load/save.
|
|
- Fixes:
|
|
#414: Validator: Allow OpUndef for composite constants
|
|
#415: Validator: Phi can use its own value in some cases.
|
|
|
|
v2016.4 2016-09-01
|
|
- Relicensed under Apache 2.0
|
|
- Add optimization passes (in API and spirv-opt command)
|
|
- Fold spec constants defined with OpSpecConstantOp and
|
|
OpSpecConstantComposite to normal constants with fixed value(s).
|
|
- Fixes issues:
|
|
#318: Relicensed under Apache 2.0
|
|
|
|
v2016.3 2016-08-24
|
|
- Add target environment enums for OpenCL 2.1, OpenCL 2.2,
|
|
OpenGL 4.0, OpenGL 4.1, OpenGL 4.2, OpenGL 4.3, OpenGL 4.5.
|
|
- Add spirv-cfg, an experimental tool to dump the control flow graph
|
|
as a GraphiViz "dot" graph
|
|
- Add optimization pass: Eliminate dead constants.
|
|
- Add spirv-lesspipe.sh filter utility
|
|
- Fixes issues:
|
|
#288: Check def-use dominance rules for OpPhi (variable,parent) operands
|
|
#339: Allow OpUndef in types-constants-global-vars section, as required
|
|
by SPIR-V 1.0 Rev7, 1.1 Rev 3.
|
|
#340: Avoid race on mkdir during build
|
|
#365: Relax PointSize, ClipDistance, CullDistance capability check in all
|
|
environments not just Vulkan 1.0.
|
|
|
|
v2016.2 2016-08-05
|
|
- Validator is incomplete
|
|
- Checks ID use block is dominated by definition block
|
|
- Add optimization passes (in API and spirv-opt command)
|
|
- Strip debug info instructions
|
|
- Freeze spec constant to their default values
|
|
- Allow INotEqual as operation for OpSpecConstantOp
|
|
- Fixes bugs:
|
|
#270: validator: crash when continue construct is unreachable
|
|
#279: validator: infinite loop when analyzing some degenerate control
|
|
flow graphs
|
|
#286: validator: don't incorrectly generate def-use error for
|
|
(variable,parent) parameters to OpPhi
|
|
#290: disassembler: never generate bare % for an identifier
|
|
#295: validator: def-use dominance check should ignore unreachable uses
|
|
#276: validator: allow unreachable continue constructs
|
|
#297: validator: allow an unreachable block to branch to a reachable
|
|
merge block
|
|
|
|
v2016.1 2016-07-19
|
|
- Fix https://github.com/KhronosGroup/SPIRV-Tools/issues/261
|
|
Turn off ClipDistance and CullDistance capability checks for Vulkan.
|
|
- The disassembler can emit friendly names based on debug info (OpName
|
|
instructions), and will infer somewhat friendly names for most types.
|
|
This is turned on by default for the spirv-dis command line tool.
|
|
- Updated to support SPIR-V 1.1 rev 2
|
|
- Input StorageClass, Sampled1D capability, and SampledBuffer capability
|
|
do not require Shader capability anymore.
|
|
|
|
v2016.0 2016-07-04
|
|
|
|
- Adds v<year>.<index> versioning, with "-dev" indicating
|
|
work in progress. The intent is to more easly report
|
|
and summarize functionality when SPIRV-Tools is incorporated
|
|
in downstream projects.
|
|
|
|
- Summary of functionality (See the README.md for more):
|
|
- Supports SPIR-V 1.1 Rev 1
|
|
- Supports SPIR-V 1.0 Rev 5
|
|
- Supports GLSL std450 extended instructions 1.0 Rev 3
|
|
- Supports OpenCL extended instructions 1.0 Rev 2
|
|
- Assembler, disassembler are complete
|
|
- Supports floating point widths of 16, 32, 64 bits
|
|
- Supports integer widths up to 64 bits
|
|
- Validator is incomplete
|
|
- Checks capability requirements in most cases
|
|
- Checks module layout constraints
|
|
- Checks ID use-definition ordering constraints,
|
|
ignoring control flow
|
|
- Checks some control flow graph rules
|
|
- Optimizer is introduced, with few available transforms.
|
|
- Supported on Linux, OSX, Android, Windows
|
|
|
|
- Fixes bugs:
|
|
- #143: OpenCL pow and pown arguments
|