Add combine: X sdiv (1 << Y) -> X udiv (1 << Y) when X doesn't have the