Validation code for control flow nesting depth.
authorEhsan Nasiri <ehsann@google.com>
Wed, 21 Dec 2016 19:39:01 +0000 (14:39 -0500)
committerDavid Neto <dneto@google.com>
Fri, 23 Dec 2016 19:14:50 +0000 (14:14 -0500)
commit6993fc413d8da97de1bb16a05159dc218f12f183
tree79a570d10e7af9b615511920d83dee4f2c0018e1
parent37422e9dba1a3a8cb8028b779dd546d43add6ef8
Validation code for control flow nesting depth.

According to Section 2.17 (Universal Limits) of the SPIR-V Spec, the
control flow nesting depth may not be larger than 1023.

This is checked only when we are required to have structured
control flow.  Otherwise it's not clear how to compute control
flow nesting depth.
source/val/function.cpp
source/val/function.h
source/validate_cfg.cpp
test/val/val_limits_test.cpp