Factorize common code out of the InstructionSimplify shift logic. Add in