aboutsummaryrefslogtreecommitdiff
path: root/source/validate.h
diff options
context:
space:
mode:
authorAndrey Tuganov <andreyt@google.com>2017-09-18 16:49:11 -0400
committerDavid Neto <dneto@google.com>2017-09-26 14:22:37 -0400
commit64d5e5214f3f3decc1e503a76614612f24f58010 (patch)
tree4e581c280b92063e550d420644b03da3e0bc8129 /source/validate.h
parentdcf42433a63c9779cf1269a4e5f1caea3a887b63 (diff)
downloadspirv-tools-64d5e5214f3f3decc1e503a76614612f24f58010.tar.gz
Add bitwise operations validator pass
The pass checks correctness of operand types of all bitwise instructions (opcode range from SpvOpShiftRightLogical to SpvOpBitCount).
Diffstat (limited to 'source/validate.h')
-rw-r--r--source/validate.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/source/validate.h b/source/validate.h
index e5c47d5e..74771220 100644
--- a/source/validate.h
+++ b/source/validate.h
@@ -119,6 +119,10 @@ spv_result_t ArithmeticsPass(ValidationState_t& _,
spv_result_t LogicalsPass(ValidationState_t& _,
const spv_parsed_instruction_t* inst);
+/// Validates correctness of bitwise instructions.
+spv_result_t BitwisePass(ValidationState_t& _,
+ const spv_parsed_instruction_t* inst);
+
// Validates that capability declarations use operands allowed in the current
// context.
spv_result_t CapabilityPass(ValidationState_t& _,