Avoid checking def-use dominance for OpPhi value operands
authorDavid Neto <dneto@google.com>
Fri, 29 Jul 2016 21:53:46 +0000 (17:53 -0400)
committerDavid Neto <dneto@google.com>
Sat, 30 Jul 2016 00:00:38 +0000 (20:00 -0400)
commit1408aea260d6675fb78ea66db18785055cdcc3d9
treeb58ef4565de52f55241c6c680970b877af33101b
parent64ff3c6dc1596f94d8d0e047b3211c2831838268
Avoid checking def-use dominance for OpPhi value operands

The def-use dominance checker doesn't have enough info to know
that a particular use is in an OpPhi, so skip tracking those uses
for now.  Add a TODO to do a proper OpPhi variable-argument check
in the future.

Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/286
source/validate_id.cpp
test/Validate.SSA.cpp