Validator structured flow checks: back-edge, constructs
authorUmar Arshad <umar@arrayfire.com>
Sat, 4 Jun 2016 01:24:24 +0000 (21:24 -0400)
committerDavid Neto <dneto@google.com>
Wed, 22 Jun 2016 15:51:19 +0000 (11:51 -0400)
commitf61db0bcc6717b4b60a7e38e7c3c58ad02110aa8
treebd4286e2bfc1bc81fc15d45bdd6db6df4263d602
parent7cdf39c8f1802b493053b7c04dde924b61248a8e
Validator structured flow checks: back-edge, constructs

Skip structured control flow chekcs for non-shader capability.

Fix infinite loop in dominator algorithm when there's an
unreachable block.
source/val/BasicBlock.cpp
source/val/BasicBlock.h
source/val/Construct.cpp
source/val/Construct.h
source/val/Function.cpp
source/val/Function.h
source/val/ValidationState.h
source/validate.h
source/validate_cfg.cpp
test/Validate.CFG.cpp
test/ValidateFixtures.cpp