Changeset 40069 in vbox

Timestamp:

Feb 10, 2012 6:05:02 PM (13 years ago)

Author:

vboxsync

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

76203

Message:

Floating point testing.

Location:

trunk

Files:

• include/VBox/err.mac (modified) (5 diffs)
• include/iprt/err.mac (modified) (4 diffs)
• include/iprt/x86.h (modified) (1 diff)
• include/iprt/x86.mac (modified) (1 diff)
• src/VBox/VMM/testcase/tstX86-1A.asm (modified) (4 diffs)

trunk/include/VBox/err.mac

@@ -170 +170 @@
 %define VERR_PGM_INVALID_LARGE_PAGE_RANGE    (-1645)
 %define VERR_PGM_PHYS_PAGE_BALLOONED    (-1646)
-%define VINF_PGM_SHARED_MODULE_ALREADY_REGISTERED    (1647)
-%define VERR_PGM_SHARED_MODULE_NOT_FOUND    (-1648)
-%define VINF_PGM_SHARED_MODULE_COLLISION    (1649)
-%define VERR_PGM_SHARED_MODULE_REGISTRATION_INCONSISTENCY    (-1650)
 %define VERR_PGM_MAP_MMIO2_ALIAS_MMIO    (-1651)
 %define VERR_PGM_MAPPINGS_DISABLED    (-1652)
@@ -495 +491 @@
 %define VERR_PDM_BAD_PCI_CONFIG    (-2887)
 %define VERR_PDM_DEV_IPE_1    (-2888)
+%define VERR_PDM_MISCONFIGURED_DRV_TRANSFORMATION    (-2889)
+%define VERR_PDM_CANNOT_TRANSFORM_REMOVED_DRIVER    (-2890)
 %define VERR_HGCM_SERVICE_NOT_FOUND    (-2900)
 %define VINF_HGCM_CLIENT_REJECTED    2901
@@ -552 +550 @@
 %define VERR_VD_DISCARD_ALIGNMENT_NOT_MET    (-3277)
 %define VERR_VD_DISCARD_NOT_SUPPORTED    (-3278)
+%define VERR_VD_IMAGE_CORRUPTED    (-3279)
+%define VERR_VD_IMAGE_REPAIR_NOT_SUPPORTED    (-3280)
+%define VERR_VD_IMAGE_REPAIR_IMPOSSIBLE    (-3281)
 %define VERR_VBGL_NOT_INITIALIZED    (-3300)
 %define VERR_VBGL_INVALID_ADDR    (-3301)
@@ -618 +619 @@
 %define VERR_GMM_ALLOC_PAGES_IPE    (-3820)
 %define VERR_GMM_ACTUAL_PAGES_IPE    (-3821)
+%define VERR_GMM_MODULE_NAME_TOO_LONG    (-3822)
+%define VERR_GMM_MODULE_VERSION_TOO_LONG    (-3823)
+%define VERR_GMM_TOO_MANY_REGIONS    (-3824)
+%define VERR_GMM_TOO_MANY_PER_VM_MODULES    (-3825)
+%define VERR_GMM_TOO_MANY_GLOBAL_MODULES    (-3826)
+%define VINF_GMM_SHARED_MODULE_ALREADY_REGISTERED    (3827)
+%define VERR_GMM_SHARED_MODULE_ADDRESS_CLASH    (-3828)
+%define VERR_GMM_SHARED_MODULE_NOT_FOUND    (-3829)
+%define VERR_GMM_BAD_SHARED_MODULE_SIZE    (-3830)
+%define VERR_GMM_SHARED_MODULE_BAD_REGIONS_SIZE    (-3831)
 %define VERR_GVM_TOO_MANY_VMS    (-3900)
 %define VINF_GVM_NOT_BLOCKED    3901
@@ -705 +716 @@
 %define VERR_GVMM_IPE_1    (-5203)
 %define VERR_GVMM_IPE_2    (-5204)
+%define VERR_IEM_INSTR_NOT_IMPLEMENTED    (-5300)
+%define VERR_IEM_ASPECT_NOT_IMPLEMENTED    (-5391)
+%define VERR_IEM_IPE_1    (-5392)
+%define VERR_IEM_IPE_2    (-5393)
 %define VERR_EXTPACK_UNSUPPORTED_HOST_UNINSTALL    (-6000)
 %define VERR_EXTPACK_VBOX_VERSION_MISMATCH    (-6001)

trunk/include/iprt/err.mac

@@ -117 +117 @@
 %define VERR_MISSING    (-99)
 %define VERR_UNEXPECTED_EXCEPTION    (-22400)
+%define VERR_BUFFER_UNDERFLOW    (-22401)
+%define VINF_BUFFER_UNDERFLOW    22401
+%define VERR_UNEVEN_INPUT    (-22402)
 %define VERR_FILE_IO_ERROR    (-100)
 %define VERR_OPEN_FAILED    (-101)
@@ -202 +205 @@
 %define VERR_PIPE_NOT_CONNECTED    (-305)
 %define VERR_MORE_DATA    (-306)
+%define VERR_PIPE_NOT_READ    (-307)
+%define VERR_PIPE_NOT_WRITE    (-308)
 %define VERR_SEM_ERROR    (-350)
 %define VERR_TOO_MANY_SEMAPHORES    (-351)
@@ -391 +396 @@
 %define VERR_MANIFEST_DIGEST_MISMATCH    (-902)
 %define VERR_MANIFEST_FILE_MISMATCH    (-903)
+%define VERR_MANIFEST_ATTR_NOT_FOUND    (-904)
+%define VERR_MANIFEST_ATTR_TYPE_MISMATCH    (-905)
+%define VERR_MANIFEST_ATTR_TYPE_NOT_FOUND    (-906)
 %define VERR_TAR_CHKSUM_MISMATCH    (-925)
 %define VERR_TAR_END_OF_FILE    (-926)
@@ -439 +447 @@
 %define VERR_DVM_MAP_NO_VOLUME    (-22201)
 %define VERR_LOG_REVISION_MISMATCH    (-22300)
+%define VERR_SYS_CANNOT_POWER_OFF    (-22400)
+%define VINF_SYS_MAY_POWER_OFF    (22401)
+%define VERR_SYS_SHUTDOWN_FAILED    (-22402)
+%define VERR_FILESYSTEM_CORRUPT    (-22500)

trunk/include/iprt/x86.h

@@ -2100 +2100 @@
 /** FPU busy. */
 #define X86_FSW_B           RT_BIT(15)
+/** @} */
+
+
+/** @name FPU control word flags.
+ * @{ */
+/** Exception Mask: Invalid operation.  */
+#define X86_FCW_IM          RT_BIT(0)
+/** Exception Mask: Denormalized operand.  */
+#define X86_FCW_DM          RT_BIT(1)
+/** Exception Mask: Zero divide.  */
+#define X86_FCW_ZM          RT_BIT(2)
+/** Exception Mask: Overflow.  */
+#define X86_FCW_OM          RT_BIT(3)
+/** Exception Mask: Underflow.  */
+#define X86_FCW_UM          RT_BIT(4)
+/** Exception Mask: Precision.  */
+#define X86_FCW_PM          RT_BIT(5)
+/** Precision control mask. */
+#define X86_FCW_PC_MASK     UINT16_C(0x0300)
+/** Precision control: 24-bit. */
+#define X86_FCW_PC_24       UINT16_C(0x0000)
+/** Precision control: Reserved. */
+#define X86_FCW_PC_RSVD     UINT16_C(0x0100)
+/** Precision control: 53-bit. */
+#define X86_FCW_PC_53       UINT16_C(0x0200)
+/** Precision control: 64-bit. */
+#define X86_FCW_PC_64       UINT16_C(0x0300)
+/** Rounding control mask. */
+#define X86_FCW_RC_MASK     UINT16_C(0x0c00)
+/** Rounding control: To nearest. */
+#define X86_FCW_RC_NEAREST  UINT16_C(0x0000)
+/** Rounding control: Down. */
+#define X86_FCW_RC_DOWN     UINT16_C(0x0400)
+/** Rounding control: Up. */
+#define X86_FCW_RC_UP       UINT16_C(0x0800)
+/** Rounding control: Towards zero. */
+#define X86_FCW_RC_ZERO     UINT16_C(0x0c00)
 /** @} */
 

trunk/include/iprt/x86.mac

@@ -474 +474 @@
 %define X86_FSW_C3          RT_BIT(14)
 %define X86_FSW_B           RT_BIT(15)
+%define X86_FCW_IM          RT_BIT(0)
+%define X86_FCW_DM          RT_BIT(1)
+%define X86_FCW_ZM          RT_BIT(2)
+%define X86_FCW_OM          RT_BIT(3)
+%define X86_FCW_UM          RT_BIT(4)
+%define X86_FCW_PM          RT_BIT(5)
+%define X86_FCW_PC_MASK     0x0300
+%define X86_FCW_PC_24       0x0000
+%define X86_FCW_PC_RSVD     0x0100
+%define X86_FCW_PC_53       0x0200
+%define X86_FCW_PC_64       0x0300
+%define X86_FCW_RC_MASK     0x0c00
+%define X86_FCW_RC_NEAREST  0x0000
+%define X86_FCW_RC_DOWN     0x0400
+%define X86_FCW_RC_UP       0x0800
+%define X86_FCW_RC_ZERO     0x0c00
 %if HC_ARCH_BITS == 64
 %else

trunk/src/VBox/VMM/testcase/tstX86-1A.asm

@@ -95 +95 @@
 BEGINCODE
 %%resume:
+%endmacro
+
+
+;;
+; Macro for recording a FPU instruction trapping on a following fwait.
+;
+; Uses stack.
+;
+; @param        1       The status flags that are expected to be set afterwards.
+; @param        2       C0..C3 to mask out in case undefined.
+; @param        3+      The instruction which should trap.
+; @uses         eax
+;
+%macro FpuShouldTrap 3+
+        fnclex
+        %3
+%%trap:
+        fwait
+%%trap_end:
+        mov     eax, __LINE__
+        jmp     .return
+BEGINDATA
+%%trapinfo: istruc TRAPINFO
+        at TRAPINFO.uTrapPC,    RTCCPTR_DEF     %%trap
+        at TRAPINFO.uResumePC,  RTCCPTR_DEF     %%resume
+        at TRAPINFO.u8TrapNo,   db              X86_XCPT_MF
+        at TRAPINFO.cbInstr,    db              (%%trap_end - %%trap)
+iend
+BEGINCODE
+%%resume:
+        FpuCheckFSW ((%1) | X86_FSW_B | X86_FSW_ES), %2
+        fnclex
+%endmacro
+
+;;
+; Macro for recording a FPU instruction trapping on a following fwait.
+;
+; Uses stack.
+;
+; @param        1       The status flags that are expected to be set afterwards.
+; @param        2       C0..C3 to mask out in case undefined.
+; @uses         eax
+;
+%macro FpuCheckFSW 2
+%%resume:
+        fnstsw  ax
+        and     eax, ~X86_FSW_TOP_MASK & ~(%2)
+        cmp     eax, (%1)
+        je      %%ok
+        int3
+        lea     eax, [eax + __LINE__ * 100000]
+        jmp     .return
+%%ok:
+        fnstsw  ax
+%endmacro
+
+
+;;
+; Checks that ST0 has a certain value
+;
+; @uses tword at [xSP]
+;
+%macro CheckSt0Value 3
+        fstp    tword [xSP]
+        fld     tword [xSP]
+        cmp     dword [xSP], %1
+        je      %%ok1
+%%bad:
+        mov     eax, __LINE__
+        jmp     .return
+%%ok1:
+        cmp     dword [xSP + 4], %2
+        jne     %%bad
+        cmp     word  [xSP + 8], %3
+        jne     %%bad
 %endmacro
 
@@ -1338 +1413 @@
 ; Tests some floating point exceptions and such.
 ;
+;
+;
 BEGINPROC   x861_Test6
         SAVE_ALL_PROLOGUE
-        sub     xSP, 1024
-
+        sub     xSP, 2048
+
+        ; Load some pointers.
+        lea     xSI, REF(.r32V1)
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        add     xDI, PAGE_SIZE          ; invalid page.
+
+        ;
+        ; Check denormal numbers.
+        ; Turns out the number is loaded onto the stack even if an exception is triggered.
+        ;
+        fninit
+        mov     dword [xSP], X86_FCW_PC_64 | X86_FCW_RC_NEAREST
+        fldcw   [xSP]
+        FpuShouldTrap  X86_FSW_DE, 0, fld dword REF(.r32D0)
+        CheckSt0Value 0x00000000, 0x80000000, 0x3f7f
+
+        mov     dword [xSP], X86_FCW_PC_64 | X86_FCW_RC_NEAREST | X86_FCW_DM
+        fldcw   [xSP]
+        fld     dword REF(.r32D0)
+        fwait
+        FpuCheckFSW X86_FSW_DE, 0
+        CheckSt0Value 0x00000000, 0x80000000, 0x3f7f
+
+        ;
         ; stack overflow
+        ;
         fninit
-        ;mov     dword [xSP], 037fh
-        mov     dword [xSP], 0300h
+        mov     dword [xSP], X86_FCW_PC_64 | X86_FCW_RC_NEAREST
         fldcw   [xSP]
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
-        fld dword REF(.r32V1)
+        fld     qword REF(.r64V1)
+        fld     dword [xSI]
+        fld     dword [xSI]
+        fld     dword [xSI]
+        fld     dword [xSI]
+        fld     dword [xSI]
+        fld     dword [xSI]
+        fld     tword REF(.r80V1)
         fwait
 
-        fld dword REF(.r32V1)
-        ShouldTrap X86_XCPT_MF, fwait
-        fnstenv [xSP]
-        and     word [xSP + 4], ~07fh
-        fldenv  [xSP]
-
-        fld dword REF(.r32V1)
-        ShouldTrap X86_XCPT_MF, fwait
+        FpuShouldTrap  X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3, \
+                fld     dword [xSI]
+        CheckSt0Value 0x00000000, 0x80000000, 0x4002
+
+        FpuShouldTrap  X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3, \
+                fld     dword [xSI]
+        CheckSt0Value 0x00000000, 0x80000000, 0x4002
+
+        ; stack overflow vs #PF.
+        ShouldTrap X86_XCPT_PF, fld     dword [xDI]
+        fwait
+
+        ; stack overflow vs denormal number
+        FpuShouldTrap  X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3, \
+                fld     dword [xSI]
+        CheckSt0Value 0x00000000, 0x80000000, 0x4002
+
+        ;
+        ; Mask the overflow exception. We should get QNaN now regardless of
+        ; what we try to push (provided the memory is valid).
+        ;
+        mov     dword [xSP], X86_FCW_PC_64 | X86_FCW_RC_NEAREST | X86_FCW_IM
+        fldcw   [xSP]
+
+        fld     dword [xSI]
+        FpuCheckFSW X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3
+        fnclex
+        CheckSt0Value 0x00000000, 0xc0000000, 0xffff
+
+        fld     qword REF(.r64V1)
+        FpuCheckFSW X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3
+        fnclex
+        CheckSt0Value 0x00000000, 0xc0000000, 0xffff
+
+        ; This is includes denormal values.
+        fld     dword REF(.r32D0)
+        fwait
+        FpuCheckFSW X86_FSW_IE | X86_FSW_SF | X86_FSW_C1, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3
+        CheckSt0Value 0x00000000, 0xc0000000, 0xffff
+        fnclex
 
 
@@ -1370 +1502 @@
         xor     eax, eax
 .return:
-        add     xSP, 1024
+        add     xSP, 2048
         SAVE_ALL_EPILOGUE
         ret
@@ -1377 +1509 @@
 .r64V1: dq 6.4
 .r80V1: dt 8.0
+
+; Denormal numbers.
+.r32D0: dd 0200000h
 
 ENDPROC     x861_Test6