Changeset 39996 in vbox

Timestamp:

Feb 4, 2012 3:55:51 PM (13 years ago)

Author:

vboxsync

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

76107

Message:

tstX86-1: fxrstor (on intel) will #PF before committing any register changes.

File:

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

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

@@ -1010 +1010 @@
 BEGINPROC   x861_Test3
         SAVE_ALL_PROLOGUE
-%if 0
         call    x861_LoadUniqueRegValuesSSE
         mov     xDI, REF_GLOBAL(g_pbEfExecPage)
@@ -1141 +1140 @@
         ShouldTrap X86_XCPT_GP, fxrstor [xDI + 14]
         ShouldTrap X86_XCPT_GP, fxrstor [xDI + 15]
-%endif
 
         ; Lets check what a FP in fxsave changes ... nothing on intel.
@@ -1158 +1156 @@
         mov     ecx, 512 / 4
         lea     xDI, [xSI + 512]
+        cld
         repz cmpsd
-        mov     eax, ebx
+        lea     xAX, [xBX + 20000]
         jnz     .return
 
         add     ebx, 16
         cmp     ebx, 512
-        jb      .fxsave_pf_effect_loop
-
+        jbe     .fxsave_pf_effect_loop
+
+        ; Lets check that a FP in fxrstor does not have any effect on the FPU or SSE state.
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        mov     ecx, PAGE_SIZE / 4
+        mov     eax, 0ffaa33cch
+        cld
+        rep stosd
+
+        call    x861_LoadUniqueRegValuesSSE
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        fxsave  [xDI]
+
+        call    x861_ClearRegistersSSE
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        fxsave  [xDI + 512]
+
+        mov     ebx, 16
+.fxrstor_pf_effect_loop:
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        mov     xSI, xDI
+        lea     xDI, [xDI + PAGE_SIZE - 512 + xBX]
+        mov     ecx, 512
+        sub     ecx, ebx
+        cld
+        rep movsb                       ; copy unique state to end of page.
+
+        push    xBX
+        call    x861_ClearRegistersSSE
+        pop     xBX
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        ShouldTrap X86_XCPT_PF, fxrstor  [xDI + PAGE_SIZE - 512 + xBX] ; try load unique state
+
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        lea     xSI, [xDI + 512]        ; point it to the clean state, which is what we expect.
+        lea     xDI, [xDI + 1024]
+        fxsave  [xDI]                   ; save whatever the fpu state currently is.
+        mov     ecx, 512 / 4
+        cld
+        repe cmpsd
+        lea     xAX, [xBX + 40000]
+        jnz     .return                 ; it shouldn't be modified by faulting fxrstor, i.e. a clean state.
+
+        add     ebx, 16
+        cmp     ebx, 512
+        jb      .fxrstor_pf_effect_loop
 
 .success: