Check definitions appear in dominator of use
authorUmar Arshad <umar@arrayfire.com>
Wed, 13 Jul 2016 22:57:52 +0000 (18:57 -0400)
committerDavid Neto <dneto@google.com>
Tue, 26 Jul 2016 20:09:16 +0000 (16:09 -0400)
commitefc782d743372b374796d5df3cb233291b686d52
tree5080dd7f1c397c6319b99f5fe9a6c3e5c4f82b61
parent66c94928a324efd7d3c2d10817e8fb599096302b
Check definitions appear in dominator of use

Also address use and def of ID in same instruction
CHANGES
source/validate.cpp
source/validate.h
source/validate_id.cpp
test/Validate.CFG.cpp
test/Validate.SSA.cpp