commit edb52647bdab1484e8b5d13c393c2fbd77c28a03
author Aliya Pazylbekova <aliyap@google.com> Fri Feb 24 20:43:28 2017 -0500
committer David Neto <dneto@google.com> Tue Mar 07 09:51:16 2017 -0500
tree 1e7fb5f95152fc0e3dd809c346f2f85669790b7d
parent 11fbe5dc1f764d99e27a7049e2cbcd59915846c5

Validate that SpecId decoration target is a OpSpecConstant instruction
on a scalar

Fixes: https://github.com/KhronosGroup/SPIRV-Tools/issues/275

source/opcode.cpp

diff --git a/source/opcode.cpp b/source/opcode.cpp
index d0f1ef1..9f51b95 100644
--- a/source/opcode.cpp
+++ b/source/opcode.cpp
@@ -207,6 +207,17 @@
   return opcode == SpvOpUndef || spvOpcodeIsConstant(opcode);
 }
 
+bool spvOpcodeIsScalarSpecConstant(const SpvOp opcode) {
+  switch (opcode) {
+    case SpvOpSpecConstantTrue:
+    case SpvOpSpecConstantFalse:
+    case SpvOpSpecConstant:
+      return true;
+    default:
+      return false;
+  }
+}
+
 int32_t spvOpcodeIsComposite(const SpvOp opcode) {
   switch (opcode) {
     case SpvOpTypeVector: