- ;; Multiply n1 by n2 giving the product n3.
- ;; [rsp{8}] * [rsp+8{8}]
- ;; dd00 = [rsp+4{4}]*[rsp+12{4}] ignored
- ;; needs checking !!
- ;;
- ;; 0cc0 = [rsp{4}]*[rsp+12{4}]
- mov eax, dword [rsp]
- imul dword [rsp+12]
- mov ebx,eax
- ;; 0bb0 = [rsp+4{4}]*[rsp+8{4}]
- mov eax, dword [rsp+4]
- imul dword [rsp+8]
- add ebx, eax
- ;; 00aa = [rsp{4}]*[rsp+8{4}]
- mov eax, dword [rsp]
- imul dword [rsp+8]
- add ebx, edx
- shl rbx,32
- mov eax,eax ; ensure zero-extending eax
- add rax, rbx