Changeset 98493 in vbox for trunk/src/VBox/Runtime/common/compiler

Timestamp:

Feb 7, 2023 3:39:28 PM (2 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

155759

Message:

IPRT/vcc: Working on 64-bit integer support routines for the 32-bit Visual C++ compilers. bugref:10261

Location:

trunk/src/VBox/Runtime/common/compiler/vcc

Files:

• Makefile.kup (added)
• RTVccUInt64Div.cpp (added)
• x86-alldvrm.asm (copied) (copied from trunk/src/VBox/Runtime/common/math/watcom/I8D-x86-32.asm ) (6 diffs)
• x86-allshl.asm (added)
• x86-allshr.asm (added)
• x86-aulldiv.asm (added)
• x86-aulldvrm.asm (added)
• x86-aullrem.asm (added)
• x86-aullshr.asm (added)

trunk/src/VBox/Runtime/common/compiler/vcc/x86-alldvrm.asm

@@ -1 +1 @@
 ; $Id$
 ;; @file
-; BS3Kit - 32-bit Watcom C/C++, 64-bit signed integer division.
+; IPRT - Visual C++ Compiler - signed 64-bit division support, x86.
 ;
 
 ;
-; Copyright (C) 2007-2023 Oracle and/or its affiliates.
+; Copyright (C) 2023 Oracle and/or its affiliates.
 ;
 ; This file is part of VirtualBox base platform packages, as
@@ -35 +35 @@
 ;
 
+
+;*********************************************************************************************************************************
+;*  Header Files                                                                                                                 *
+;*********************************************************************************************************************************
 %include "iprt/asmdefs.mac"
 
 
-BEGINCODE
-
-extern __U8D
+;*********************************************************************************************************************************
+;*  External Symbols                                                                                                             *
+;*********************************************************************************************************************************
+extern __aulldvrm
 
 
 ;;
-; 64-bit signed integer division.
+; Division of signed 64-bit values, returning both the quotient and reminder.
 ;
-; @returns  EDX:EAX Quotient, ECX:EBX Remainder.
-; @param    EDX:EAX     Dividend.
-; @param    ECX:EBX     Divisor
+; @returns  EDX:EAX Quotient, EBX:ECX Remainder.
+; @param    [esp+04h] [ebp+08h]     Dividend (64-bit)
+; @param    [esp+0ch] [ebp+10h]     Divisor (64-bit)
 ;
-global __I8D
-__I8D:
+; @note     The remainder registers are swapped compared to Watcom's I8D and U8D.
+;
+BEGINPROC_RAW   __alldvrm
         ;
-        ; We use __U8D to do the work, we take care of the signedness.
+        ; Load high parts so we can examine them for negativity.
+        ;
+        mov     edx, [esp + 08h]            ; dividend_hi
+        mov     ecx, [esp + 10h]            ; divisor_hi
+
+        ;
+        ; We use __aullrem to do the work, we take care of the signedness.
         ;
         or      edx, edx
@@ -60 +72 @@
         or      ecx, ecx
         js      .negative_divisor_positive_dividend
-        jmp     __U8D
+
+        ; Both positive, so same as unsigned division.
+        jmp     __aulldvrm
 
 
+        ;
+        ; The rest of the code sets up a stack frame using EBP as it makes
+        ; calls rather than tail jumps.
+        ;
+
 .negative_divisor_positive_dividend:
-        ; negate the divisor, do unsigned division, and negate the quotient.
+        push    ebp
+        mov     ebp, esp
+
+        ; Load the low values to as we will be pushing them and probably negating them.
+        mov     eax, dword [ebp + 08h]      ; dividend_lo
+        mov     ebx, dword [ebp + 10h]      ; divisor_lo
+
+        ; negate the divisor, do unsigned division(, and negate the quotient).
         neg     ecx
         neg     ebx
         sbb     ecx, 0
 
-        call    __U8D
+        push    ecx
+        push    ebx
+        push    edx
+        push    eax
+        call    __aulldvrm                  ; cleans up the the stack.
 
         neg     edx
         neg     eax
         sbb     edx, 0
-        ret
+
+        leave
+        ret     10h
 
 .negative_dividend:
+        push    ebp
+        mov     ebp, esp
+
+        ; Load the low values to as we will be pushing them and probably negating them.
+        mov     eax, dword [ebp + 08h]      ; dividend_lo
+        mov     ebx, dword [ebp + 10h]      ; divisor_lo
+
         neg     edx
         neg     eax
@@ -86 +125 @@
 .negative_dividend_positive_divisor:
         ; negate the dividend (above), do unsigned division, and negate both quotient and remainder
-        call    __U8D
+
+        push    ecx
+        push    ebx
+        push    edx
+        push    eax
+        call    __aulldvrm                  ; cleans up the the stack.
 
         neg     edx
@@ -93 +137 @@
 
 .return_negated_remainder:
+        neg     ebx
         neg     ecx
-        neg     ebx
-        sbb     ecx, 0
-        ret
+        sbb     ebx, 0
+
+        leave
+        ret     10h
 
 .negative_dividend_negative_divisor:
@@ -104 +150 @@
         sbb     ecx, 0
 
-        call    __U8D
+        push    ecx
+        push    ebx
+        push    edx
+        push    eax
+        call    __aulldvrm                  ; cleans up the the stack.
+
         jmp     .return_negated_remainder
+ENDPROC_RAW     __alldvrm