Move optimization of some cases of (A & C1)|(B & C2) from instcombine to instsimplify...