legalize >64bit shifts of non-32-multiple amounts
handle >64bit trunc and zext