Implement dominator checking in the verifier, so that we check that all
defintiions dominate their uses

llvm-svn: 3214
2 files changed
tree: eca769c9288bdfbad3712fe76cc6fdc0b9f8cf10
  1. llvm/