diff options
| author | Andrey Tuganov <andreyt@google.com> | 2017-09-28 14:53:24 -0400 |
|---|---|---|
| committer | David Neto <dneto@google.com> | 2017-10-20 13:51:24 -0400 |
| commit | 39e25fd8ab6f40f43d0bd8877e5a64156add4f72 (patch) | |
| tree | 0e09b18590c3a1355e8a226de8f7d923a23607fa /source/validate.h | |
| parent | bb7802b18cbf91fb8e2585f5db4d8db65c4c67f7 (diff) | |
| download | spirv-tools-39e25fd8ab6f40f43d0bd8877e5a64156add4f72.tar.gz | |
Add validation pass for conversion instructions
The pass checks correctness of operands of instruction in opcode range
OpConvertFToU - OpBitset.
Disabled invalid tests
Disabled UConvert validation until Vulkan CTS can catch up.
Add validate_conversion to Android.mk
Also remove duplicate entry in CMakeLists.txt.
Diffstat (limited to 'source/validate.h')
| -rw-r--r-- | source/validate.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/validate.h b/source/validate.h index 74771220..2e088d94 100644 --- a/source/validate.h +++ b/source/validate.h @@ -115,6 +115,10 @@ spv_result_t TypeUniquePass(ValidationState_t& _, spv_result_t ArithmeticsPass(ValidationState_t& _, const spv_parsed_instruction_t* inst); +/// Validates correctness of conversion instructions. +spv_result_t ConversionPass(ValidationState_t& _, + const spv_parsed_instruction_t* inst); + /// Validates correctness of logical instructions. spv_result_t LogicalsPass(ValidationState_t& _, const spv_parsed_instruction_t* inst); |