Беззнаковое умножение алгоритмом Бута

Умножаю 2 числа алгоритмом Бута:

Код (Text):

1. W = 32
2. ; esi - множимое
3. ; edx - множитель
4. ; <edi:edx> - результат
5. ubooth:
6.         mov ecx, W-1
7.         xor edi, edi
8. L1:
9.         bt edx, 0
10.         jnc L2
11.         add edi, esi
12. L2:
13.         shrd edx, edi, 31
14.         shr edi, 1
15.         loop L1
16.         ret

Не могу въехать, в чём ошибка. Подскажите, пожалуйста.

 

На Itanium'е хорошо - там есть команда shrp.
А на X86 запутался что-то в сдвигах.

P.S. MUL не предлагать

 

Код (Text):

1. W = 32
2. ; esi - множимое
3. ; edx - множитель
4. ; <edi:edx> - результат
5. ubooth:
6.         mov ecx, W        ; <---
7.         xor edi, edi
8. L1:
9.         bt edx, 0
10.         jnc L2
11.         add edi, esi
12. L2:
13.         shrd edx, edi, 1    ; <---
14.         shr edi, 1
15.         loop L1
16.         ret

 

diamond, благодарю.