Add validation pass for conversion instructions
authorAndrey Tuganov <andreyt@google.com>
Thu, 28 Sep 2017 18:53:24 +0000 (14:53 -0400)
committerDavid Neto <dneto@google.com>
Fri, 20 Oct 2017 17:51:24 +0000 (13:51 -0400)
commit39e25fd8ab6f40f43d0bd8877e5a64156add4f72
tree0e09b18590c3a1355e8a226de8f7d923a23607fa
parentbb7802b18cbf91fb8e2585f5db4d8db65c4c67f7
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.
Android.mk
source/CMakeLists.txt
source/val/validation_state.cpp
source/val/validation_state.h
source/validate.cpp
source/validate.h
source/validate_conversion.cpp [new file with mode: 0644]
test/val/CMakeLists.txt
test/val/val_conversion_test.cpp [new file with mode: 0644]
test/val/val_id_test.cpp