sign extend simplification