Properly(?) implement set_vx_to_vx_shl_1