Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C)

if both A op B and A op C simplify.  This fires fairly often but doesn't
make that much difference.  On gcc-as-one-file it removes two "and"s and
turns one branch into a select.

llvm-svn: 122399