Add PredicateSimplifier pass. Collapses equal variables into one form
and simplifies expressions. This implements the optimization described
in PR807.

llvm-svn: 29947
GitOrigin-RevId: b2e8ae17005df7958af16fd9a1773fcf00e0ec03
8 files changed