1 | ; $Id: U8M-I8M-x86-32.asm 75129 2018-10-28 17:00:27Z vboxsync $
|
---|
2 | ;; @file
|
---|
3 | ; BS3Kit - 32-bit Watcom C/C++, 64-bit unsigned integer division.
|
---|
4 | ;
|
---|
5 |
|
---|
6 | ;
|
---|
7 | ; Copyright (C) 2007-2017 Oracle Corporation
|
---|
8 | ;
|
---|
9 | ; This file is part of VirtualBox Open Source Edition (OSE), as
|
---|
10 | ; available from http://www.virtualbox.org. This file is free software;
|
---|
11 | ; you can redistribute it and/or modify it under the terms of the GNU
|
---|
12 | ; General Public License (GPL) as published by the Free Software
|
---|
13 | ; Foundation, in version 2 as it comes in the "COPYING" file of the
|
---|
14 | ; VirtualBox OSE distribution. VirtualBox OSE is distributed in the
|
---|
15 | ; hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
|
---|
16 | ;
|
---|
17 | ; The contents of this file may alternatively be used under the terms
|
---|
18 | ; of the Common Development and Distribution License Version 1.0
|
---|
19 | ; (CDDL) only, as it comes in the "COPYING.CDDL" file of the
|
---|
20 | ; VirtualBox OSE distribution, in which case the provisions of the
|
---|
21 | ; CDDL are applicable instead of those of the GPL.
|
---|
22 | ;
|
---|
23 | ; You may elect to license modified versions of this file under the
|
---|
24 | ; terms and conditions of either the GPL or the CDDL or both.
|
---|
25 | ;
|
---|
26 |
|
---|
27 | %include "iprt/asmdefs.mac"
|
---|
28 |
|
---|
29 |
|
---|
30 | BEGINCODE
|
---|
31 |
|
---|
32 |
|
---|
33 | ;;
|
---|
34 | ; 64-bit signed & unsigned integer multiplication.
|
---|
35 | ;
|
---|
36 | ; @returns EDX:EAX product
|
---|
37 | ; @param EDX:EAX Factor #1.
|
---|
38 | ; @param ECX:EBX Factor #2.
|
---|
39 | ; @uses ECX, EBX
|
---|
40 | ;
|
---|
41 | global __U8M
|
---|
42 | __U8M:
|
---|
43 | global __I8M
|
---|
44 | __I8M:
|
---|
45 | ;
|
---|
46 | ; See if this is a pure 32-bit multiplication. We might get lucky.
|
---|
47 | ;
|
---|
48 | test edx, edx
|
---|
49 | jnz .complicated
|
---|
50 | test ecx, ecx
|
---|
51 | jnz .complicated
|
---|
52 |
|
---|
53 | mul ebx ; eax * ebx -> edx:eax
|
---|
54 | ret
|
---|
55 |
|
---|
56 | .complicated:
|
---|
57 | push eax
|
---|
58 | push edx
|
---|
59 |
|
---|
60 | ; ecx = F1.lo * F2.hi (edx contains overflow here can be ignored)
|
---|
61 | mul ecx
|
---|
62 | mov ecx, eax
|
---|
63 |
|
---|
64 | ; ecx += F1.hi * F2.lo (edx can be ignored again)
|
---|
65 | pop eax
|
---|
66 | mul ebx
|
---|
67 | add ecx, eax
|
---|
68 |
|
---|
69 | ; edx:eax = F1.lo * F2.lo
|
---|
70 | pop eax
|
---|
71 | mul ebx
|
---|
72 |
|
---|
73 | ; Add ecx to the high part (edx).
|
---|
74 | add edx, ecx
|
---|
75 |
|
---|
76 | ret
|
---|
77 |
|
---|