x2 is the result of shifting x1 one bit toward the most-significant bit, filling the vacated least-significant bit with zero.