Changeset 39993 in vbox for trunk/src/VBox

Timestamp:

Feb 3, 2012 7:30:47 PM (13 years ago)

Author:

vboxsync

Message:

tstX86-1: Some fxsave and fxrstor tests.

Location:

trunk/src/VBox/VMM

Files:

• VMMAll/IEMAllInstructions.cpp.h (modified) (1 diff)
• testcase/tstX86-1.cpp (modified) (3 diffs)
• testcase/tstX86-1A.asm (modified) (4 diffs)

trunk/src/VBox/VMM/VMMAll/IEMAllInstructions.cpp.h

@@ -3266 +3266 @@
 
 /** Opcode 0x0f 0xae. */
-FNIEMOP_STUB(iemOp_Grp15); /** @todo next up: fxrstor */
+FNIEMOP_DEF(iemOp_Grp15)
+{
+    uint8_t bRm; IEM_OPCODE_GET_NEXT_U8(&bRm);
+    IEMOP_HLP_NO_LOCK_PREFIX(); /** @todo should probably not be raised until we've fetched all the opcode bytes? */
+    if ((bRm & X86_MODRM_MOD_MASK) != (3 << X86_MODRM_MOD_SHIFT))
+    {
+        ////
+    }
+    else
+    {
+
+        if (pIemCpu->offOpcode == 2 || )
+        {
+        }
+        pIemCpu->
+        switch (pIemCpu->fPrefixes & (IEM_OP_PRF_REPZ | IEM_OP_PRF_REPNZ | IEM_OP_PRF_SIZE_OP))
+        {
+            case IEM_OP_PRF_SIZE_OP:
+
+
+            case IEM_OP_PRF_REPZ:
+        }
+    }
+
+
+
+    if ((bRm & X86_MODRM_REG_MASK) != (0 << X86_MODRM_REG_SHIFT)) /* only mov Eb,Ib in this group. */
+        return IEMOP_RAISE_INVALID_LOCK_PREFIX();
+    IEMOP_MNEMONIC("mov Eb,Ib");
+
+    if ((bRm & X86_MODRM_MOD_MASK) == (3 << X86_MODRM_MOD_SHIFT))
+    {
+        /* register access */
+        uint8_t u8Imm; IEM_OPCODE_GET_NEXT_U8(&u8Imm);
+        IEM_MC_BEGIN(0, 0);
+        IEM_MC_STORE_GREG_U8((bRm & X86_MODRM_RM_MASK) | pIemCpu->uRexB, u8Imm);
+        IEM_MC_ADVANCE_RIP();
+        IEM_MC_END();
+    }
+    else
+    {
+        /* memory access. */
+        IEM_MC_BEGIN(0, 1);
+        IEM_MC_LOCAL(RTGCPTR, GCPtrEffDst);
+        IEM_MC_CALC_RM_EFF_ADDR(GCPtrEffDst, bRm);
+        uint8_t u8Imm; IEM_OPCODE_GET_NEXT_U8(&u8Imm);
+        IEM_MC_STORE_MEM_U8(pIemCpu->iEffSeg, GCPtrEffDst, u8Imm);
+        IEM_MC_ADVANCE_RIP();
+        IEM_MC_END();
+    }
+    return VINF_SUCCESS;
+}
 
 

trunk/src/VBox/VMM/testcase/tstX86-1.cpp

@@ -67 +67 @@
 DECLASM(int32_t) x861_Test1(void);
 DECLASM(int32_t) x861_Test2(void);
+DECLASM(int32_t) x861_Test3(void);
 
 
@@ -159 +160 @@
 #endif
 
+
 int main()
 {
@@ -198 +200 @@
          * Do the testing.
          */
-        RTTestSub(hTest, "part 1");
-        int32_t rc = x861_Test1();
+        int32_t rc;
+#if 1
+        RTTestSub(hTest, "Misc 1");
+        rc = x861_Test1();
         if (rc != 0)
             RTTestFailed(hTest, "x861_Test1 -> %d", rc);
 
-        RTTestSub(hTest, "part 2");
+        RTTestSub(hTest, "Prefixes and groups");
         rc = x861_Test2();
         if (rc != 0)
             RTTestFailed(hTest, "x861_Test2 -> %d", rc);
+
+#endif
+        RTTestSub(hTest, "fxsave / fxrstor and #PFs");
+        rc = x861_Test3();
+        if (rc != 0)
+            RTTestFailed(hTest, "x861_Test3 -> %d", rc);
     }
 

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

@@ -54 +54 @@
 ;   Defined Constants And Macros                                              ;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-%define X86_XCPT_UD 6
-%define X86_XCPT_GP 13
-%define X86_XCPT_PF 14
+%define X86_XCPT_UD     6
+%define X86_XCPT_GP     13
+%define X86_XCPT_PF     14
+
+%define PAGE_SIZE       0x1000
 
 ;; Reference a global variable
@@ -75 +77 @@
 %%trap_end:
         mov     eax, __LINE__
-        jmp     .failed
+        jmp     .return
 BEGINDATA
 %%trapinfo: istruc TRAPINFO
@@ -930 +932 @@
         SAVE_ALL_EPILOGUE
         ret
-.failed2:
-        mov     eax, -1
-.failed:
-        jmp     .return
 
 .check_xmm0_zero_and_mm0_nz:
@@ -1007 +1005 @@
 
 ;;
+; Tests how much fxsave and fxrstor actually accesses of their 512 memory
+; operand.
+;
+BEGINPROC   x861_Test3
+        SAVE_ALL_PROLOGUE
+
+        call    x861_LoadUniqueRegValuesSSE
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+
+        ; Check testcase preconditions.
+        fxsave  [xDI]
+        fxrstor [xDI]
+
+        add     xDI, PAGE_SIZE - 512
+        mov     xSI, xDI
+        fxsave  [xDI]
+        fxrstor [xDI]
+
+        ; 464:511 are available to software use.  Check that they are left
+        ; untouched by fxsave.
+        mov     eax, 0aabbccddh
+        mov     ecx, 512 / 4
+        cld
+        rep stosd
+        mov     xDI, xSI
+        fxsave  [xDI]
+
+        mov     ebx, 512
+.chech_software_area_loop:
+        cmp     [xDI + xBX - 4], eax
+        jne     .chech_software_area_done
+        sub     ebx, 4
+        jmp     .chech_software_area_loop
+.chech_software_area_done:
+        cmp     ebx, 464
+        mov     eax, __LINE__
+        ja      .return
+
+        ; Check that a save + restore + save cycle yield the same results.
+        mov     xBX, REF_GLOBAL(g_pbEfExecPage)
+        mov     xDI, xBX
+        mov     eax, 066778899h
+        mov     ecx, 512 * 2 / 4
+        cld
+        rep stosd
+        fxsave  [xBX]
+
+        call    x861_ClearRegistersSSE
+        mov     xBX, REF_GLOBAL(g_pbEfExecPage)
+        fxrstor [xBX]
+
+        fxsave  [xBX + 512]
+        mov     xSI, xBX
+        lea     xDI, [xBX + 512]
+        mov     ecx, 512
+        cld
+        repe cmpsb
+        mov     eax, __LINE__
+        jnz     .return
+
+
+        ; 464:511 are available to software use.  Let see how carefully access
+        ; to the full 512 bytes are checked...
+        call    x861_LoadUniqueRegValuesSSE
+        mov     xDI, REF_GLOBAL(g_pbEfExecPage)
+        add     xDI, PAGE_SIZE - 512
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 16]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 32]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 48]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 64]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 80]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 96]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 128]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 144]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 160]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 176]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 192]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 208]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 224]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 240]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 256]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 384]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 432]
+        ShouldTrap X86_XCPT_PF, fxsave  [xDI + 496]
+
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 16]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 32]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 48]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 64]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 80]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 96]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 128]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 144]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 160]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 176]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 192]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 208]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 224]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 240]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 256]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 384]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 432]
+        ShouldTrap X86_XCPT_PF, fxrstor [xDI + 496]
+
+        ; Unaligned accesses will cause #GP(0). This takes precedence over #PF.
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 1]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 2]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 3]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 4]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 5]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 6]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 7]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 8]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 9]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 10]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 11]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 12]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 13]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 14]
+        ShouldTrap X86_XCPT_GP, fxsave  [xDI + 15]
+
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 1]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 2]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 3]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 4]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 5]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 6]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 7]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 8]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 9]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 10]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 11]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 12]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 13]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 14]
+        ShouldTrap X86_XCPT_GP, fxrstor [xDI + 15]
+
+
+.success:
+        xor     eax, eax
+.return:
+        SAVE_ALL_EPILOGUE
+        ret
+ENDPROC     x861_Test3
+
+
+;;
 ; Terminate the trap info array with a NIL entry.
 BEGINDATA