Changeset 105323 in vbox for trunk/src/VBox/ValidationKit

Timestamp:

Jul 15, 2024 10:59:29 AM (7 months ago)

Author:

vboxsync

Message:

ValidationKit/bootsectors: bugref:10658 SIMD FP testcase: [v]mulpd.

File:

• trunk/src/VBox/ValidationKit/bootsectors/bs3-cpu-instr-4.c32 (modified) (1 diff)

trunk/src/VBox/ValidationKit/bootsectors/bs3-cpu-instr-4.c32

@@ -3652 +3652 @@
           { { /*src2     */ { BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(1) } },
             { /*src1     */ { BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MIN(0), BS3_FP64_DENORMAL_MAX(1), BS3_FP64_DENORMAL_MIN(1) } },
-            { /* =>      */ { BS3_FP64_ZERO(0),         BS3_FP64_ZERO(0),         BS3_FP64_ZERO(1),         BS3_FP64_ZERO(0)         } },
+            { /* =>      */ { BS3_FP64_ZERO(0),         BS3_FP64_ZERO(0),         BS3_FP64_INF(1),          BS3_FP64_INF(0)          } },
               /*mask     */ ~X86_MXCSR_XCPT_MASK,
               /*daz,fz,rc*/ 0, X86_MXCSR_FZ, X86_MXCSR_RC_ZERO,
               /*flags    */ X86_MXCSR_DE, X86_MXCSR_DE },
+          { { /*src2     */ { BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MAX(1) } },
+            { /*src1     */ { BS3_FP64_DENORMAL_MAX(0), BS3_FP64_DENORMAL_MIN(0), BS3_FP64_DENORMAL_MAX(1), BS3_FP64_DENORMAL_MIN(1) } },
+            { /* =>      */ { BS3_FP64_ZERO(0),         BS3_FP64_ZERO(0),         BS3_FP64_ZERO(1),         BS3_FP64_ZERO(0)         } },
+              /*mask     */ X86_MXCSR_XCPT_MASK,
+              /*daz,fz,rc*/ 0, X86_MXCSR_FZ, X86_MXCSR_RC_ZERO,
+              /*flags    */ X86_MXCSR_DE | X86_MXCSR_UE | X86_MXCSR_PE, X86_MXCSR_DE | X86_MXCSR_UE | X86_MXCSR_PE },
+    /*
+     * Overflow, Precision.
+     */
+    /*26*/{ { /*src2     */ { BS3_FP64_NORMAL_VAL_3(1), BS3_FP64_ONE(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MAX(0) } },
+            { /*src1     */ { BS3_FP64_ONE(0),          BS3_FP64_ONE(0), BS3_FP64_ONE(0),        BS3_FP64_NORMAL_MAX(0) } },
+            { /* =>      */ { BS3_FP64_NORMAL_VAL_3(1), BS3_FP64_ONE(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_INF(0),       } },
+              /*mask     */ X86_MXCSR_XCPT_MASK,
+              /*daz,fz,rc*/ 0, 0, X86_MXCSR_RC_NEAREST,
+              /*flags    */ 0, X86_MXCSR_OE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_VAL_3(1), BS3_FP64_ONE(0) } },
+            { /*src1     */ { BS3_FP64_ONE(0),        BS3_FP64_NORMAL_MAX(0), BS3_FP64_ONE(0),          BS3_FP64_ONE(0) } },
+            { /* =>      */ { BS3_FP64_NORMAL_MAX(0), BS3_FP64_INF(0),        BS3_FP64_NORMAL_VAL_3(1), BS3_FP64_ONE(0) } },
+              /*mask     */ ~X86_MXCSR_XCPT_MASK,
+              /*daz,fz,rc*/ 0, 0, X86_MXCSR_RC_NEAREST,
+              /*flags    */ X86_MXCSR_OE | X86_MXCSR_PE, X86_MXCSR_OE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_VAL_3(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MAX(1), BS3_FP64_ONE(0),         } },
+            { /*src1     */ { BS3_FP64_ONE(0),          BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MAX(1), BS3_FP64_NORMAL_VAL_1(0) } },
+            { /* =>      */ { BS3_FP64_NORMAL_VAL_3(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_VAL_1(0) } },
+              /*mask     */ ~(X86_MXCSR_OE | X86_MXCSR_PE),
+              /*daz,fz,rc*/ X86_MXCSR_DAZ, X86_MXCSR_FZ, X86_MXCSR_RC_ZERO,
+              /*flags    */ X86_MXCSR_OE | X86_MXCSR_PE, X86_MXCSR_OE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MIN(1), BS3_FP64_NORMAL_MIN(1),                                                 BS3_FP64_NORMAL_MAX(0) } },
+            { /*src1     */ { BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_MIN(1), BS3_FP64_NORMAL_MAX(1),                                                 BS3_FP64_NORMAL_MAX(0) } },
+            { /* =>      */ { BS3_FP64_INF(0),        BS3_FP64_ZERO(0),       BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX, RTFLOAT64U_EXP_BIAS + 1), BS3_FP64_INF(0)        } },
+              /*mask     */ X86_MXCSR_OM | X86_MXCSR_UM | X86_MXCSR_PM,
+              /*daz,fz,rc*/ X86_MXCSR_DAZ, X86_MXCSR_FZ, X86_MXCSR_RC_NEAREST,
+              /*flags    */ X86_MXCSR_OE | X86_MXCSR_UE | X86_MXCSR_PE, X86_MXCSR_OE | X86_MXCSR_UE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_VAL_3(0), BS3_FP64_ONE(1),          BS3_FP64_NORMAL_MAX(1), BS3_FP64_NORMAL_MIN(0)                                                 } },
+            { /*src1     */ { BS3_FP64_ONE(0),          BS3_FP64_NORMAL_VAL_2(1), BS3_FP64_NORMAL_MAX(1), BS3_FP64_NORMAL_MAX(1)                                                 } },
+            { /* =>      */ { BS3_FP64_NORMAL_VAL_3(0), BS3_FP64_NORMAL_VAL_2(0), BS3_FP64_NORMAL_MAX(0), BS3_FP64_VAL(1, BS3_FP64_FRACTION_NORMAL_MAX, RTFLOAT64U_EXP_BIAS + 1) } },
+              /*mask     */ ~(X86_MXCSR_OE | X86_MXCSR_PE),
+              /*daz,fz,rc*/ 0, 0, X86_MXCSR_RC_ZERO,
+              /*flags    */ 0, X86_MXCSR_OE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_SAFE_INT_MIN(0),                                             BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_SAFE_INT_MAX(1),                          BS3_FP64_NORMAL_SAFE_INT_MIN(0)                      } },
+            { /*src1     */ { BS3_FP64_NORMAL_SAFE_INT_MAX(0),                                             BS3_FP64_NORMAL_MAX(1), BS3_FP64_NORMAL_SAFE_INT_MAX(1),                          BS3_FP64_NORMAL_SAFE_INT_MAX(0)                      } },
+            { /* =>      */ { BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX, RTFLOAT64U_FRACTION_BITS + 1), BS3_FP64_NORMAL_MAX(1), BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX - 1, 0x468), BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX, 0x035) } },
+              /*mask     */ X86_MXCSR_XCPT_MASK,
+              /*daz,fz,rc*/ 0, 0, X86_MXCSR_RC_ZERO,
+              /*flags    */ X86_MXCSR_OE | X86_MXCSR_PE, X86_MXCSR_OE | X86_MXCSR_PE },
+          { { /*src2     */ { BS3_FP64_NORMAL_SAFE_INT_MIN(0),                                             BS3_FP64_NORMAL_MAX(0), BS3_FP64_NORMAL_SAFE_INT_MAX(1),                          BS3_FP64_NORMAL_SAFE_INT_MIN(0)                      } },
+            { /*src1     */ { BS3_FP64_NORMAL_SAFE_INT_MAX(0),                                             BS3_FP64_NORMAL_MAX(1), BS3_FP64_NORMAL_SAFE_INT_MAX(1),                          BS3_FP64_NORMAL_SAFE_INT_MAX(0)                      } },
+            { /* =>      */ { BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX, RTFLOAT64U_FRACTION_BITS + 1), BS3_FP64_INF(1),        BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX - 1, 0x468), BS3_FP64_VAL(0, BS3_FP64_FRACTION_NORMAL_MAX, 0x035) } },
+              /*mask     */ X86_MXCSR_XCPT_MASK,
+              /*daz,fz,rc*/ X86_MXCSR_DAZ, X86_MXCSR_FZ, X86_MXCSR_RC_DOWN,
+              /*flags    */ X86_MXCSR_OE | X86_MXCSR_PE, X86_MXCSR_OE | X86_MXCSR_PE },
     };