Update CHANGES
diff --git a/CHANGES b/CHANGES
index ef49902..3ad1e4f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,7 +1,10 @@
Revision history for SPIRV-Tools
-v2018.5-dev 2018-07-08
+v2018.5-dev 2018-09-07
- General:
+ - Support SPV_KHR_vulkan_memory_model
+ - Update Dim capabilities, to match SPIR-V 1.3 Rev 4
+ - Automated build bots no run tests for the VS2013 case
- Support Chromium GN build
- Use Kokoro bots:
- Disable Travis-CI bots
@@ -11,26 +14,48 @@
- Fixes for ClangTidy, and whitespace (passes 'git cl presumit --all -uf')
- Fix unused param compile warnings/errors when Effcee not present
- Avoid including time headers when timer functionality is disabled
+ - Avoid too-stringent warnings flags for Clang on Windows
+ - Internal refactoring
+ - Add hooks for automated fuzzing
+ - Add testing of command line executables
- #1688: Use binary mode on stdin; fixes "spirv-dis <foo.spv" on Windows
- Optimizer
+ - The optimizer validates the module before it begins
- Add API to register passes by string name
- Fold a vector shuffle feeding a vector shuffle
- Add -combine-access-chains transform
- Refactor how IRContext is handled by passes
- Improve bookkeeping for instruction result type and result id
+ - Fix over-duplication of decorations
+ - Fix handling of exits from selections in dead-branch elimination, and dead code
+ elimination.
+ - Fix handling of certain kinds of flow control in merge-return
+ Fixes:
- #1721: Fix size bug when folding vector shuffles
- #1722: Fix size infinite loop when folding vector shuffles
- #1724: Fix finding a constant of a specific type
- #1727: Dead branch elim: Reorder blocks if needed to satisfy dominance rule
- #1729: Handle VariablePointers cases in various optimizations
- #1731: Fix vector shuffle with literal id indicating undef value
+ - #1736: Fix handling of decorations and phis in merge-return
+ - #1787: Fix handling of decorations related to access chains
+ - #1865: Avoid leaking memory for SPIR-V constant values
- Validator
- Improve error messages
+ - Avoid platform-dependent traversal ordering, to ensure consistent messages
- Use libspirv::Instruction where possible
- Add option to skip all block layout checks
+ - Validate all type IDs
+ - Validate uses of OpFunction
+ - Validate uses of OpTypeFunction
+ - Disallow a struct containing its own type https://crbug.com/874372
- #1685: Vulkan permits non-monotonic offsets for block members
- #1697: Enforce block layout rules even when using relaxed block layout option
- #1719: Fix line number for vector shuffle valiation error
+ - #1789: Avoid assertion failure when validating some functions
+ - #1800: Fix validation of OpCopyMemorySized
+ - #1822: Stop enforcing struct member offset montonicity
+ - #1831: Disallow void members in structs
v2018.4 2018-07-08
- General: