Add initial support for IF-conversion. This patch implements the first 1/3,

which is the legality of the if-conversion transformation. The next step is to
implement the cost-model for the if-converted code as well as the
vectorization itself.

llvm-svn: 169152