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

Timestamp:

Sep 27, 2022 9:24:35 AM (2 years ago)

Author:

vboxsync

Message:

VMM/IEM: Rough implementation for fyl2x and fyl2xp1 instructions in IEM, bugref:9898

File:

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

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

@@ -7327 +7327 @@
     pFpuResTwo->FSW = fFsw;
 }
-
+#endif /* IEM_WITHOUT_ASSEMBLY */
+
+#if defined(IEM_WITHOUT_ASSEMBLY)
+
+static uint16_t iemAImpl_fyl2x_r80_by_r80_normal(PCRTFLOAT80U pr80Val1, PCRTFLOAT80U pr80Val2, PRTFLOAT80U pr80Result, uint16_t fFcw, uint16_t fFsw)
+{
+    softfloat_state_t SoftState = SOFTFLOAT_STATE_INIT_DEFAULTS();
+    extFloat80_t y = iemFpuSoftF80FromIprt(pr80Val1);
+    extFloat80_t x = iemFpuSoftF80FromIprt(pr80Val2);
+    extFloat80_t v;
+    (void)fFcw;
+
+    v = extF80_ylog2x(y, x, &SoftState);
+    iemFpuSoftF80ToIprt(pr80Result, v);
+
+    return fFsw;
+}
 
 IEM_DECL_IMPL_DEF(void, iemAImpl_fyl2x_r80_by_r80,(PCX86FXSTATE pFpuState, PIEMFPURESULT pFpuRes,
                                                    PCRTFLOAT80U pr80Val1, PCRTFLOAT80U pr80Val2))
 {
-    RT_NOREF(pFpuState, pFpuRes, pr80Val1, pr80Val2);
-    AssertReleaseFailed();
-}
-
+    uint16_t const fFcw = pFpuState->FCW;
+    uint16_t fFsw       = pFpuState->FSW & (X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3);
+
+    if (RTFLOAT80U_IS_NORMAL(pr80Val1) && RTFLOAT80U_IS_NORMAL(pr80Val2) && !pr80Val2->s.fSign)
+    {
+        fFsw |= iemAImpl_fyl2x_r80_by_r80_normal(pr80Val1, pr80Val2, &pFpuRes->r80Result, fFcw, fFsw);
+
+        fFsw |= X86_FSW_PE | (7 << X86_FSW_TOP_SHIFT);
+        if (!(fFcw & X86_FCW_PM))
+            fFsw |= X86_FSW_ES | X86_FSW_B;
+    }
+    else
+    {
+        fFsw |= X86_FSW_IE;
+
+        if (!(fFcw & X86_FCW_IM))
+        {
+            pFpuRes->r80Result = *pr80Val2;
+            fFsw |= X86_FSW_ES | X86_FSW_B | (6 << X86_FSW_TOP_SHIFT);
+        }
+        else
+        {
+            pFpuRes->r80Result = g_r80Indefinite;
+            fFsw |= (7 << X86_FSW_TOP_SHIFT);
+        }
+    }
+
+    pFpuRes->FSW = fFsw;
+}
 #endif /* IEM_WITHOUT_ASSEMBLY */
 
@@ -7352 +7393 @@
 #if defined(IEM_WITHOUT_ASSEMBLY)
 
+static uint16_t iemAImpl_fyl2xp1_r80_by_r80_normal(PCRTFLOAT80U pr80Val1, PCRTFLOAT80U pr80Val2, PRTFLOAT80U pr80Result, uint16_t fFcw, uint16_t fFsw)
+{
+    softfloat_state_t SoftState = SOFTFLOAT_STATE_INIT_DEFAULTS();
+    extFloat80_t y = iemFpuSoftF80FromIprt(pr80Val1);
+    extFloat80_t x = iemFpuSoftF80FromIprt(pr80Val2);
+    extFloat80_t v;
+    (void)fFcw;
+
+    v = extF80_ylog2xp1(y, x, &SoftState);
+    iemFpuSoftF80ToIprt(pr80Result, v);
+
+    return fFsw;
+}
+
 IEM_DECL_IMPL_DEF(void, iemAImpl_fyl2xp1_r80_by_r80,(PCX86FXSTATE pFpuState, PIEMFPURESULT pFpuRes,
                                                      PCRTFLOAT80U pr80Val1, PCRTFLOAT80U pr80Val2))
 {
-    RT_NOREF(pFpuState, pFpuRes, pr80Val1, pr80Val2);
-    AssertReleaseFailed();
+    uint16_t const fFcw = pFpuState->FCW;
+    uint16_t fFsw       = pFpuState->FSW & (X86_FSW_C0 | X86_FSW_C2 | X86_FSW_C3);
+
+    if (RTFLOAT80U_IS_NORMAL(pr80Val1) && RTFLOAT80U_IS_NORMAL(pr80Val2) && pr80Val2->s.uExponent < RTFLOAT80U_EXP_BIAS)
+    {
+        fFsw = iemAImpl_fyl2xp1_r80_by_r80_normal(pr80Val1, pr80Val2, &pFpuRes->r80Result, fFcw, fFsw);
+
+        fFsw |= X86_FSW_PE | (7 << X86_FSW_TOP_SHIFT);
+        if (!(fFcw & X86_FCW_PM))
+            fFsw |= X86_FSW_ES | X86_FSW_B;
+    }
+    else
+    {
+        fFsw |= X86_FSW_IE;
+
+        if (!(fFcw & X86_FCW_IM))
+        {
+            pFpuRes->r80Result = *pr80Val2;
+            fFsw |= X86_FSW_ES | X86_FSW_B | (6 << X86_FSW_TOP_SHIFT);
+        }
+        else
+        {
+            pFpuRes->r80Result = g_r80Indefinite;
+            fFsw |= (7 << X86_FSW_TOP_SHIFT);
+        }
+    }
+
+    pFpuRes->FSW = fFsw;
 }