Changeset 40139 in vbox for trunk/src/VBox/VMM/testcase

Timestamp:

Feb 15, 2012 9:10:19 PM (13 years ago)

Author:

vboxsync

Message:

tstX86-1: FDIV m64r -> #PF tests.

File:

• trunk/src/VBox/VMM/testcase/tstX86-1A.asm (modified) (7 diffs)

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

@@ -1645 +1645 @@
         call    SaveFPUAndGRegsToStack
         %1
-        call    CompareFPUAndGRegsOnStack
+        call    CompareFPUAndGRegsOnStackIgnoreOpAndIp
         leave
 
@@ -1671 +1671 @@
         arch_fxrstor [xSP + 1024]
         %2
-        call    CompareFPUAndGRegsOnStack
+        call    CompareFPUAndGRegsOnStackIgnoreOpAndIp
         ;arch_fxrstor [xSP + 1024]
         leave
@@ -1791 +1791 @@
         lea     xDI, [xSI + 1024]
 
+        cld
+        repe cmpsb
+        je      .ok
+
+        ;int3
+        lea     xAX, [xSP + xS*3]
+        xchg    xAX, xSI
+        sub     xAX, xSI
+
+        push    xDX
+        mov     xDX, 1000000
+        mul     xDX
+        pop     xDX
+        jmp     .return
+.ok:
+        xor     eax, eax
+.return:
+        pop     xCX
+        pop     xDI
+        pop     xSI
+        lea     xSP, [xSP + (1024 - xS)]
+        or      eax, eax
+        ret
+
+;;
+; Same as CompareFPUAndGRegsOnStack, except that it ignores the FOP and FPUIP
+; registers.
+;
+; @uses     Stack, flags and eax/rax.
+; @returns  eax is zero on success, eax is 1000000 * offset on failure.
+;           ZF reflects the eax value to save a couple of instructions...
+;
+CompareFPUAndGRegsOnStackIgnoreOpAndIp:
+        lea     xSP, [xSP - (1024 - xS)]
+        call    SaveFPUAndGRegsToStack
+
+        push    xSI
+        push    xDI
+        push    xCX
+
+        mov     xCX, 640
+        lea     xSI, [xSP + xS*3]
+        lea     xDI, [xSI + 1024]
+
         mov     word [xSI + X86FXSTATE.FOP], 0          ; ignore
+        mov     word [xDI + X86FXSTATE.FOP], 0          ; ignore
         mov     dword [xSI + X86FXSTATE.FPUIP], 0       ; ignore
-        mov     dword [xDI + X86FXSTATE.FPUDP], 0       ; ignore
+        mov     dword [xDI + X86FXSTATE.FPUIP], 0       ; ignore
 
         cld
@@ -2359 +2404 @@
 
 ;;
+; Checks that the FPU and GReg state is completely unchanged after an instruction
+; resulting in a CPU trap.
+;
+; @param        1       The trap number.
+; @param        2+      The instruction which should trap.
+;
+%macro FpuCheckCpuTrapUnchangedState 2+
+        call    SaveFPUAndGRegsToStack
+        ShouldTrap %1, %2
+        call    CompareFPUAndGRegsOnStack
+        jz      %%ok
+        or      eax, __LINE__
+        jmp     .return
+%%ok:
+%endmacro
+
+
+;;
 ; Initialize the FPU and set CW to %1.
 ;
@@ -2378 +2441 @@
         SAVE_ALL_PROLOGUE
         sub     xSP, 2048
-
-        ; Make xBX (preserved accross calls) point to the invalid page.
-        mov     xBX, [REF_EXTERN(g_pbEfExecPage)]
-        add     xBX, PAGE_SIZE
 
         ;
@@ -2461 +2520 @@
 
         ; ## Unmasked exceptions. ##
-%if 1
         ; Stack underflow - TOP and ST0 unmodified.
         FpuInitWithCW X86_FCW_PC_64 | X86_FCW_RC_NEAREST
@@ -2523 +2581 @@
         FxSaveCheckFSW xSP, X86_FSW_DE | X86_FSW_ES | X86_FSW_B, X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3
         FxSaveCheckSt0ValueConst xSP, REF(g_r80_One)
-%endif
+
+        ;;; @todo exception priority checks.
+
 
 
         ; ## A couple of variations on the #PF theme. ##
+
+        FpuInitWithCW X86_FCW_PC_64 | X86_FCW_RC_NEAREST
+        mov     xBX, [REF_EXTERN(g_pbEfExecPage)]
+        FpuCheckCpuTrapUnchangedState X86_XCPT_PF, fdiv qword [xBX + PAGE_SIZE]
+
+        ; Check that a pending FPU exception takes precedence over a #PF.
+        fninit
+        fdiv    qword [REF(g_r64_One)]
+        fstcw   [xSP]
+        and      word [xSP], ~(X86_FCW_IM)
+        fldcw   [xSP]
+        mov     xBX, [REF_EXTERN(g_pbEfExecPage)]
+        ShouldTrap X86_XCPT_MF, fdiv qword [xBX + PAGE_SIZE]
 
 .success: