diff options
author | Ehsan Nasiri <ehsann@google.com> | 2016-11-04 18:31:21 -0400 |
---|---|---|
committer | David Neto <dneto@google.com> | 2016-11-08 17:48:30 -0500 |
commit | 6c899a52f9ce673e9530bcaa4da27ff24d10c0e9 (patch) | |
tree | 41ee7a08b7012f243203650cb013615d21a2b892 /source/validate.h | |
parent | 4f57e140bf078bc27e1c5826929a3aa6fe46de93 (diff) | |
download | spirv-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.h | 6 |
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); |