Changeset 48170 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Aug 29, 2013 7:12:35 PM (11 years ago)

Author:

vboxsync

Message:

IEM: Implemented 64-bit inc, dec, not and neg for 32-bit hosts.

File:

• trunk/src/VBox/VMM/VMMAll/IEMAllAImplC.cpp (modified) (3 diffs)

trunk/src/VBox/VMM/VMMAll/IEMAllAImplC.cpp

@@ -756 +756 @@
 /* Unary operands. */
 
-IEM_DECL_IMPL_DEF(void, iemAImpl_inc_u64,(uint64_t  *puDst,  uint32_t *pEFlags))
-{
-    AssertFailed();
-}
-
-
-IEM_DECL_IMPL_DEF(void, iemAImpl_dec_u64,(uint64_t  *puDst,  uint32_t *pEFlags))
-{
-    AssertFailed();
-}
-
-
-IEM_DECL_IMPL_DEF(void, iemAImpl_not_u64,(uint64_t  *puDst,  uint32_t *pEFlags))
-{
-    AssertFailed();
-}
-
-
-IEM_DECL_IMPL_DEF(void, iemAImpl_neg_u64,(uint64_t  *puDst,  uint32_t *pEFlags))
-{
-    AssertFailed();
+IEM_DECL_IMPL_DEF(void, iemAImpl_inc_u64,(uint64_t  *puDst,  uint32_t *pfEFlags))
+{
+    uint64_t uDst    = *puDst;
+    uint64_t uResult = uDst + 1;
+    *puDst = uResult;
+
+    /*
+     * Calc EFLAGS.
+     * CF is NOT modified for hysterical raisins (allegedly for carrying and
+     * borrowing in arithmetic loops on intel 8008).
+     */
+    uint32_t fEfl = *pfEFlags & ~(X86_EFL_STATUS_BITS & ~X86_EFL_CF);
+    fEfl |= g_afParity[uResult & 0xff];
+    fEfl |= ((uint32_t)uResult ^ (uint32_t)uDst) & X86_EFL_AF;
+    fEfl |= X86_EFL_CALC_ZF(uResult);
+    fEfl |= X86_EFL_CALC_SF(uResult, 64);
+    fEfl |= (((uDst ^ RT_BIT_64(63)) & uResult) >> (64 - X86_EFL_OF_BIT)) & X86_EFL_OF;
+    *pfEFlags = fEfl;
+}
+
+
+IEM_DECL_IMPL_DEF(void, iemAImpl_dec_u64,(uint64_t  *puDst,  uint32_t *pfEFlags))
+{
+    uint64_t uDst    = *puDst;
+    uint64_t uResult = uDst - 1;
+    *puDst = uResult;
+
+    /*
+     * Calc EFLAGS.
+     * CF is NOT modified for hysterical raisins (allegedly for carrying and
+     * borrowing in arithmetic loops on intel 8008).
+     */
+    uint32_t fEfl = *pfEFlags & ~(X86_EFL_STATUS_BITS & ~X86_EFL_CF);
+    fEfl |= g_afParity[uResult & 0xff];
+    fEfl |= ((uint32_t)uResult ^ (uint32_t)uDst) & X86_EFL_AF;
+    fEfl |= X86_EFL_CALC_ZF(uResult);
+    fEfl |= X86_EFL_CALC_SF(uResult, 64);
+    fEfl |= ((uDst & (uResult ^ RT_BIT_64(63))) >> (64 - X86_EFL_OF_BIT)) & X86_EFL_OF;
+    *pfEFlags = fEfl;
+}
+
+
+IEM_DECL_IMPL_DEF(void, iemAImpl_not_u64,(uint64_t  *puDst,  uint32_t *pfEFlags))
+{
+    uint64_t uDst    = *puDst;
+    uint64_t uResult = ~uDst;
+    *puDst = uResult;
+    /* EFLAGS are not modified. */
+}
+
+
+IEM_DECL_IMPL_DEF(void, iemAImpl_neg_u64,(uint64_t  *puDst,  uint32_t *pfEFlags))
+{
+    uint64_t uDst    = 0;
+    uint64_t uSrc    = *puDst;
+    uint64_t uResult = uDst - uSrc;
+    *puDst = uResult;
+
+    /* Calc EFLAGS. */
+    uint32_t fEfl = *pfEFlags & ~X86_EFL_STATUS_BITS;
+    fEfl |= (uSrc != 0) << X86_EFL_CF_BIT;
+    fEfl |= g_afParity[uResult & 0xff];
+    fEfl |= ((uint32_t)uResult ^ (uint32_t)uDst) & X86_EFL_AF;
+    fEfl |= X86_EFL_CALC_ZF(uResult);
+    fEfl |= X86_EFL_CALC_SF(uResult, 64);
+    fEfl |= ((uSrc & uResult) >> (64 - X86_EFL_OF_BIT)) & X86_EFL_OF;
+    *pfEFlags = fEfl;
 }
 
@@ -949 +995 @@
 
 
-IEM_DECL_IMPL_DEF(void, iemAImpl_arpl,(uint16_t *pu16Dst, uint16_t u16Src, uint32_t *pEFlags))
+IEM_DECL_IMPL_DEF(void, iemAImpl_arpl,(uint16_t *pu16Dst, uint16_t u16Src, uint32_t *pfEFlags))
 {
     if ((*pu16Dst & X86_SEL_RPL) < (u16Src & X86_SEL_RPL))
@@ -956 +1002 @@
         *pu16Dst |= u16Src & X86_SEL_RPL;
 
-        *pEFlags |= X86_EFL_ZF;
+        *pfEFlags |= X86_EFL_ZF;
     }
     else
-        *pEFlags &= ~X86_EFL_ZF;
-}
-
+        *pfEFlags &= ~X86_EFL_ZF;
+}
+