На 32-битных int-ы превратят в long-и, и все равно грохнут edx (надо быть очень теоретически подкованным, чтобы понять зачем делается эта глупость). А пример можно легко подправить: пусть все переменные будут long-ми. Прикиньте, какие нужны коды, чтобы компилятор не потерял старшую часть произведения.