tree 0880d6953a3b837ef6baa78f1c10a8cfe9138476
parent 213fb8f11eed6754a3b62ecd835cdfd3eb6f18ff
author Chandler Carruth <chandlerc@gmail.com> 1389605184 +0000
committer Chandler Carruth <chandlerc@gmail.com> 1389605184 +0000

[cleanup] Move the Dominators.h and Verifier.h headers into the IR
directory. These passes are already defined in the IR library, and it
doesn't make any sense to have the headers in Analysis.

Long term, I think there is going to be a much better way to divide
these matters. The dominators code should be fully separated into the
abstract graph algorithm and have that put in Support where it becomes
obvious that evn Clang's CFGBlock's can use it. Then the verifier can
manually construct dominance information from the Support-driven
interface while the Analysis library can provide a pass which both
caches, reconstructs, and supports a nice update API.

But those are very long term, and so I don't want to leave the really
confusing structure until that day arrives.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199082 91177308-0d34-0410-b5e6-96231b3b80d8