Add 2 new predicates: isPowerOf2OrZero and WillNotOverflowUnsignedShl.
Finish instcombine/muldivrem.opt