aboutsummaryrefslogtreecommitdiff
path: root/source/validate.h
diff options
context:
space:
mode:
authorEhsan Nasiri <ehsann@google.com>2016-11-04 18:31:21 -0400
committerDavid Neto <dneto@google.com>2016-11-08 17:48:30 -0500
commit6c899a52f9ce673e9530bcaa4da27ff24d10c0e9 (patch)
tree41ee7a08b7012f243203650cb013615d21a2b892 /source/validate.h
parent4f57e140bf078bc27e1c5826929a3aa6fe46de93 (diff)
downloadspirv-tools-6c899a52f9ce673e9530bcaa4da27ff24d10c0e9.tar.gz
Adding validation for vector data rule.
Number of components in a vector can be 2 or 3 or 4. If Vector16 capability is used, 8 and 16 components are also allowed. Also added unit tests for vector data rule.
Diffstat (limited to 'source/validate.h')
-rw-r--r--source/validate.h6
1 files changed, 6 insertions, 0 deletions
diff --git a/source/validate.h b/source/validate.h
index a19e911a..258b0ebb 100644
--- a/source/validate.h
+++ b/source/validate.h
@@ -141,6 +141,12 @@ spv_result_t CfgPass(ValidationState_t& _,
/// Performs Id and SSA validation of a module
spv_result_t IdPass(ValidationState_t& _, const spv_parsed_instruction_t* inst);
+/// Performs validation of the Data Rules subsection of 2.16.1 Universal
+/// Validation Rules.
+/// TODO(ehsann): add more comments here as more validation code is added.
+spv_result_t DataRulesPass(ValidationState_t& _,
+ const spv_parsed_instruction_t* inst);
+
/// Performs instruction validation.
spv_result_t InstructionPass(ValidationState_t& _,
const spv_parsed_instruction_t* inst);