x86 ассемблер: Shift умножение с 64 битным ответом

Question

NOTICE: This question does relate to my homework/classwork. The textbook is poorly written so I can't really rely on it. 

Я использую Linux x86 ассемблер, и я пытаюсь выяснить, как умножить два 32-разрядных чисел вместе с помощью сдвига операнда. Мне также нужно найти способ хранения 64-битного ответа на два отдельных регистра, так как каждый регистр имеет всего 32 бита. Я знаю, что переход налево один раз эквивалентен умножению на два, а смещение вправо - на два, но на этот раз я уверен. Любая помощь будет оценена, объяснения более чем ответы.

Answer 1

Я думаю, что это нужно сделать, это:

mult: 
     #save all caller-saved regs 
     #move arg1 to %edi, arg2 to %esi 

     xorl %eax, %eax   #\ 
     xorl %edx, %edx   #--clear a 64-bit accumulator 
     movl $31, %ecx   #set up shift-count 

.L1: movl %edi, %ebx   #copy of arg1 
     xorl %ebp, %ebp   #zero scratch-register 
     shll %cl, %ebx   #isolate bit from arg1 
     sarl $31, %ebx   #and turn into mask 
     andl %esi, %ebx   #AND arg2 with bitmask 
     xorl $31, %ecx   #invert shift-count 
     shldl %cl, %ebx, %ebp #shift upper bits into scratch-reg 
     shll %cl, %ebx   #adjust lower bits 
     addl %ebx, %eax   #\ 
     addl %ebp, %edx   #-- accumulate results 
     xorl $31, %ecx   #restore shift-count 
     decl %ecx    #change shift to next bit 
     jno .L1      #if ecx == -1, done! 

     #restore caller-saved regs 
     #done, return value in edx:eax 

Обратите внимание, что это относится аргументы, как беззнаковое.