Implement translation of sxt instruction