[spirv] Update SPIRV-Headers & SPIRV-Tools (#1404)

2018-07-05 15:28:32 -04:00 · 2018-07-05 15:28:32 -04:00 · a2dc672b9d
--- a/external/SPIRV-Headers
+++ b/external/SPIRV-Headers
@ -1 +1 @@
-Subproject commit 87a720a5a7ba8fb2ede50fef57e5d936e5e45e97
+Subproject commit ff684ffc6a35d2a58f0f63108877d0064ea33feb
--- a/external/SPIRV-Tools
+++ b/external/SPIRV-Tools
@ -1 +1 @@
-Subproject commit 465f2815cb1e011d926419c34333ea98dfa6b72e
+Subproject commit 9ecbcf5fc87db00d3d6275522c735b5667007647