Question: Why is such complex code emitted for dividing a signed integer by a power of two?