Add validate logicals pass to the validator
authorAndrey Tuganov <andreyt@google.com>
Thu, 7 Sep 2017 21:27:57 +0000 (17:27 -0400)
committerDavid Neto <dneto@google.com>
Wed, 20 Sep 2017 14:37:12 +0000 (10:37 -0400)
commitcf85ad1429de560eb1569cf6b36ba5a4ae5ff4be
treedd5912d0b86f483ba0a6bfcf303e44edc179005b
parent4e3cc2f57fa6c10831af1e578cd8e176f919b31e
Add validate logicals pass to the validator

New pass checks operands of all instructions listed under
3.32.15. Relational and Logical Instructions
source/CMakeLists.txt
source/validate.cpp
source/validate.h
source/validate_logicals.cpp [new file with mode: 0644]
test/val/CMakeLists.txt
test/val/val_cfg_test.cpp
test/val/val_id_test.cpp
test/val/val_logicals_test.cpp [new file with mode: 0644]
test/val/val_ssa_test.cpp