Add validation checks for Execution Model
authorAndrey Tuganov <andreyt@google.com>
Thu, 23 Nov 2017 17:11:15 +0000 (12:11 -0500)
committerDavid Neto <dneto@google.com>
Fri, 24 Nov 2017 04:38:03 +0000 (23:38 -0500)
commit3e08a3f71896c1c15bdcbd42a9ba28ddd0075427
treedd2fc0db90d073dcbb7bdb232cb4219157827156
parentd9129f00a57d788a0cbc185b441381f4dfaeaf89
Add validation checks for Execution Model

Currently checks that these instructions are called from entry points
with Fragment execution model.
OpImageImplicit*
OpImageQueryLod
OpKill
source/val/function.cpp
source/val/function.h
source/val/validation_state.cpp
source/val/validation_state.h
source/validate_cfg.cpp
source/validate_id.cpp
source/validate_image.cpp
test/val/val_image_test.cpp