github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-27 17:01:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Skipped subnorms in special cases, renamed denorm to subnorm

Browse source
This commit is contained in:
David Harris 2025-04-29 07:33:26 -07:00
parent 00d29a272b
commit 4b04dc0a25
9 changed files with 3804 additions and 3804 deletions
Download patch file Download diff file Expand all files Collapse all files

1152
examples/exercises/fma16/tests/baby_torture.tv
View file

File diff suppressed because it is too large Load diff

24
examples/exercises/fma16/tests/fadd_2.tv
View file

@ -2,11 +2,11 @@
0400_3c00_0400_04_0800_0 // 0.000061 + 0.000061 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 0
// skip zero: 0400_3c00_8400_04_0000_0 // 0.000061 + -0.000061 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
0400_3c00_0600_04_0900_0 // 0.000061 + 0.000092 = 0.000153 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_3c00_8600_04_8200_0 // 0.000061 + -0.000092 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3c00_8600_04_8200_0 // 0.000061 + -0.000092 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
0400_3c00_0401_04_0800_1 // 0.000061 + 0.000061 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0400_3c00_8401_04_8001_0 // 0.000061 + -0.000061 = -0.000000 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3c00_8401_04_8001_0 // 0.000061 + -0.000061 = -0.000000 NV: 0 OF: 0 UF: 0 NX: 0
0400_3c00_07ff_04_09ff_1 // 0.000061 + 0.000122 = 0.000183 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0400_3c00_87ff_04_83ff_0 // 0.000061 + -0.000122 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3c00_87ff_04_83ff_0 // 0.000061 + -0.000122 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0400_3c00_3800_04_3800_1 // 0.000061 + 0.500000 = 0.500000 NV: 0 OF: 0 UF: 0 NX: 1
0400_3c00_b800_04_b7ff_1 // 0.000061 + -0.500000 = -0.499756 NV: 0 OF: 0 UF: 0 NX: 1
0400_3c00_3a00_04_3a00_1 // 0.000061 + 0.750000 = 0.750000 NV: 0 OF: 0 UF: 0 NX: 1
@ -48,13 +48,13 @@
// Skip inf: 0400_3c00_7bff_04_7bff_1 // 0.000061 + 65504.000000 = 65504.000000 NV: 0 OF: 0 UF: 0 NX: 1
0400_3c00_fbff_04_fbfe_1 // 0.000061 + -65504.000000 = -65472.000000 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_0400_04_0900_0 // 0.000092 + 0.000061 = 0.000153 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0600_3c00_8400_04_0200_0 // 0.000092 + -0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_3c00_8400_04_0200_0 // 0.000092 + -0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
0600_3c00_0600_04_0a00_0 // 0.000092 + 0.000092 = 0.000183 NV: 0 OF: 0 UF: 0 NX: 0
// skip zero: 0600_3c00_8600_04_0000_0 // 0.000092 + -0.000092 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
0600_3c00_0401_04_0900_1 // 0.000092 + 0.000061 = 0.000153 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0600_3c00_8401_04_01ff_0 // 0.000092 + -0.000061 = 0.000030 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_3c00_8401_04_01ff_0 // 0.000092 + -0.000061 = 0.000030 NV: 0 OF: 0 UF: 0 NX: 0
0600_3c00_07ff_04_0aff_1 // 0.000092 + 0.000122 = 0.000214 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0600_3c00_87ff_04_81ff_0 // 0.000092 + -0.000122 = -0.000030 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_3c00_87ff_04_81ff_0 // 0.000092 + -0.000122 = -0.000030 NV: 0 OF: 0 UF: 0 NX: 0
0600_3c00_3800_04_3800_1 // 0.000092 + 0.500000 = 0.500000 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_b800_04_b7ff_1 // 0.000092 + -0.500000 = -0.499756 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_3a00_04_3a00_1 // 0.000092 + 0.750000 = 0.750000 NV: 0 OF: 0 UF: 0 NX: 1
@ -96,13 +96,13 @@
// Skip inf: 0600_3c00_7bff_04_7bff_1 // 0.000092 + 65504.000000 = 65504.000000 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_fbff_04_fbfe_1 // 0.000092 + -65504.000000 = -65472.000000 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_0400_04_0800_1 // 0.000061 + 0.000061 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0401_3c00_8400_04_0001_0 // 0.000061 + -0.000061 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0401_3c00_8400_04_0001_0 // 0.000061 + -0.000061 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
0401_3c00_0600_04_0900_1 // 0.000061 + 0.000092 = 0.000153 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 0401_3c00_8600_04_81ff_0 // 0.000061 + -0.000092 = -0.000030 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0401_3c00_8600_04_81ff_0 // 0.000061 + -0.000092 = -0.000030 NV: 0 OF: 0 UF: 0 NX: 0
0401_3c00_0401_04_0801_0 // 0.000061 + 0.000061 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 0
// skip zero: 0401_3c00_8401_04_0000_0 // 0.000061 + -0.000061 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
0401_3c00_07ff_04_0a00_0 // 0.000061 + 0.000122 = 0.000183 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0401_3c00_87ff_04_83fe_0 // 0.000061 + -0.000122 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0401_3c00_87ff_04_83fe_0 // 0.000061 + -0.000122 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0401_3c00_3800_04_3800_1 // 0.000061 + 0.500000 = 0.500000 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_b800_04_b7ff_1 // 0.000061 + -0.500000 = -0.499756 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_3a00_04_3a00_1 // 0.000061 + 0.750000 = 0.750000 NV: 0 OF: 0 UF: 0 NX: 1
@ -144,11 +144,11 @@
// Skip inf: 0401_3c00_7bff_04_7bff_1 // 0.000061 + 65504.000000 = 65504.000000 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_fbff_04_fbfe_1 // 0.000061 + -65504.000000 = -65472.000000 NV: 0 OF: 0 UF: 0 NX: 1
07ff_3c00_0400_04_09ff_1 // 0.000122 + 0.000061 = 0.000183 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 07ff_3c00_8400_04_03ff_0 // 0.000122 + -0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 07ff_3c00_8400_04_03ff_0 // 0.000122 + -0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
07ff_3c00_0600_04_0aff_1 // 0.000122 + 0.000092 = 0.000214 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 07ff_3c00_8600_04_01ff_0 // 0.000122 + -0.000092 = 0.000030 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 07ff_3c00_8600_04_01ff_0 // 0.000122 + -0.000092 = 0.000030 NV: 0 OF: 0 UF: 0 NX: 0
07ff_3c00_0401_04_0a00_0 // 0.000122 + 0.000061 = 0.000183 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 07ff_3c00_8401_04_03fe_0 // 0.000122 + -0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 07ff_3c00_8401_04_03fe_0 // 0.000122 + -0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
07ff_3c00_07ff_04_0bff_0 // 0.000122 + 0.000122 = 0.000244 NV: 0 OF: 0 UF: 0 NX: 0
// skip zero: 07ff_3c00_87ff_04_0000_0 // 0.000122 + -0.000122 = 0.000000 NV: 0 OF: 0 UF: 0 NX: 0
07ff_3c00_3800_04_3800_1 // 0.000122 + 0.500000 = 0.500000 NV: 0 OF: 0 UF: 0 NX: 1

424
examples/exercises/fma16/tests/fma_2.tv
View file

File diff suppressed because it is too large Load diff

1472
examples/exercises/fma16/tests/fma_special_rm.tv
View file

File diff suppressed because it is too large Load diff

1472
examples/exercises/fma16/tests/fma_special_rne.tv
View file

File diff suppressed because it is too large Load diff

1472
examples/exercises/fma16/tests/fma_special_rp.tv
View file

File diff suppressed because it is too large Load diff

1472
examples/exercises/fma16/tests/fma_special_rz.tv
View file

File diff suppressed because it is too large Load diff

40
examples/exercises/fma16/tests/fmul_1.tv
View file

@ -3,10 +3,10 @@
// skip zero: 0400_0600_0000_08_0000_3 // 0.000061 * 0.000092 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0400_0401_0000_08_0000_3 // 0.000061 * 0.000061 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0400_07ff_0000_08_0000_3 // 0.000061 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_3800_0000_08_0200_0 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_3a00_0000_08_0300_0 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_3801_0000_08_0200_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_3bff_0000_08_03ff_3 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_3800_0000_08_0200_0 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3a00_0000_08_0300_0 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3801_0000_08_0200_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_3bff_0000_08_03ff_3 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
0400_3c00_0000_08_0400_0 // 0.000061 * 1.000000 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0400_3e00_0000_08_0600_0 // 0.000061 * 1.500000 = 0.000092 NV: 0 OF: 0 UF: 0 NX: 0
0400_3c01_0000_08_0401_0 // 0.000061 * 1.000977 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
@ -27,9 +27,9 @@
// skip zero: 0600_0600_0000_08_0000_3 // 0.000092 * 0.000092 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0600_0401_0000_08_0000_3 // 0.000092 * 0.000061 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0600_07ff_0000_08_0000_3 // 0.000092 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0600_3800_0000_08_0300_0 // 0.000092 * 0.500000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_3800_0000_08_0300_0 // 0.000092 * 0.500000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
0600_3a00_0000_08_0480_0 // 0.000092 * 0.750000 = 0.000069 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0600_3801_0000_08_0300_3 // 0.000092 * 0.500488 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0600_3801_0000_08_0300_3 // 0.000092 * 0.500488 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
0600_3bff_0000_08_05ff_1 // 0.000092 * 0.999512 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_0000_08_0600_0 // 0.000092 * 1.000000 = 0.000092 NV: 0 OF: 0 UF: 0 NX: 0
0600_3e00_0000_08_0880_0 // 0.000092 * 1.500000 = 0.000137 NV: 0 OF: 0 UF: 0 NX: 0
@ -51,9 +51,9 @@
// skip zero: 0401_0600_0000_08_0000_3 // 0.000061 * 0.000092 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0401_0401_0000_08_0000_3 // 0.000061 * 0.000061 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0401_07ff_0000_08_0000_3 // 0.000061 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3800_0000_08_0200_3 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3a00_0000_08_0300_3 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3801_0000_08_0201_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3800_0000_08_0200_3 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3a00_0000_08_0300_3 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3801_0000_08_0201_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
0401_3bff_0000_08_0400_1 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_0000_08_0401_0 // 0.000061 * 1.000000 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0401_3e00_0000_08_0601_1 // 0.000061 * 1.500000 = 0.000092 NV: 0 OF: 0 UF: 0 NX: 1
@ -75,7 +75,7 @@
// skip zero: 07ff_0600_0000_08_0000_3 // 0.000122 * 0.000092 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 07ff_0401_0000_08_0000_3 // 0.000122 * 0.000061 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 07ff_07ff_0000_08_0000_3 // 0.000122 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 07ff_3800_0000_08_03ff_3 // 0.000122 * 0.500000 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 07ff_3800_0000_08_03ff_3 // 0.000122 * 0.500000 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
07ff_3a00_0000_08_05ff_1 // 0.000122 * 0.750000 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
07ff_3801_0000_08_0400_1 // 0.000122 * 0.500488 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
07ff_3bff_0000_08_07fe_1 // 0.000122 * 0.999512 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 1
@ -95,10 +95,10 @@
07ff_7a00_0000_08_45ff_1 // 0.000122 * 49152.000000 = 5.996094 NV: 0 OF: 0 UF: 0 NX: 1
07ff_7801_0000_08_4400_1 // 0.000122 * 32800.000000 = 4.000000 NV: 0 OF: 0 UF: 0 NX: 1
07ff_7bff_0000_08_47fe_1 // 0.000122 * 65504.000000 = 7.992188 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3800_0400_0000_08_0200_0 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_0600_0000_08_0300_0 // 0.500000 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_0401_0000_08_0200_3 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3800_07ff_0000_08_03ff_3 // 0.500000 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_0400_0000_08_0200_0 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_0600_0000_08_0300_0 // 0.500000 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_0401_0000_08_0200_3 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_07ff_0000_08_03ff_3 // 0.500000 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
3800_3800_0000_08_3400_0 // 0.500000 * 0.500000 = 0.250000 NV: 0 OF: 0 UF: 0 NX: 0
3800_3a00_0000_08_3600_0 // 0.500000 * 0.750000 = 0.375000 NV: 0 OF: 0 UF: 0 NX: 0
3800_3801_0000_08_3401_0 // 0.500000 * 0.500488 = 0.250244 NV: 0 OF: 0 UF: 0 NX: 0
@ -119,9 +119,9 @@
3800_7a00_0000_08_7600_0 // 0.500000 * 49152.000000 = 24576.000000 NV: 0 OF: 0 UF: 0 NX: 0
3800_7801_0000_08_7401_0 // 0.500000 * 32800.000000 = 16400.000000 NV: 0 OF: 0 UF: 0 NX: 0
3800_7bff_0000_08_77ff_0 // 0.500000 * 65504.000000 = 32752.000000 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3a00_0400_0000_08_0300_0 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3a00_0400_0000_08_0300_0 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
3a00_0600_0000_08_0480_0 // 0.750000 * 0.000092 = 0.000069 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3a00_0401_0000_08_0300_3 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3a00_0401_0000_08_0300_3 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
3a00_07ff_0000_08_05ff_1 // 0.750000 * 0.000122 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3a00_3800_0000_08_3600_0 // 0.750000 * 0.500000 = 0.375000 NV: 0 OF: 0 UF: 0 NX: 0
3a00_3a00_0000_08_3880_0 // 0.750000 * 0.750000 = 0.562500 NV: 0 OF: 0 UF: 0 NX: 0
@ -143,9 +143,9 @@
3a00_7a00_0000_08_7880_0 // 0.750000 * 49152.000000 = 36864.000000 NV: 0 OF: 0 UF: 0 NX: 0
3a00_7801_0000_08_7601_1 // 0.750000 * 32800.000000 = 24592.000000 NV: 0 OF: 0 UF: 0 NX: 1
3a00_7bff_0000_08_79ff_1 // 0.750000 * 65504.000000 = 49120.000000 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3801_0400_0000_08_0200_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_0600_0000_08_0300_3 // 0.500488 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_0401_0000_08_0201_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0400_0000_08_0200_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0600_0000_08_0300_3 // 0.500488 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0401_0000_08_0201_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
3801_07ff_0000_08_0400_1 // 0.500488 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
3801_3800_0000_08_3401_0 // 0.500488 * 0.500000 = 0.250244 NV: 0 OF: 0 UF: 0 NX: 0
3801_3a00_0000_08_3601_1 // 0.500488 * 0.750000 = 0.375244 NV: 0 OF: 0 UF: 0 NX: 1
@ -167,7 +167,7 @@
3801_7a00_0000_08_7601_1 // 0.500488 * 49152.000000 = 24592.000000 NV: 0 OF: 0 UF: 0 NX: 1
3801_7801_0000_08_7402_1 // 0.500488 * 32800.000000 = 16416.000000 NV: 0 OF: 0 UF: 0 NX: 1
3801_7bff_0000_08_7800_1 // 0.500488 * 65504.000000 = 32768.000000 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3bff_0400_0000_08_03ff_3 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3bff_0400_0000_08_03ff_3 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
3bff_0600_0000_08_05ff_1 // 0.999512 * 0.000092 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3bff_0401_0000_08_0400_1 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
3bff_07ff_0000_08_07fe_1 // 0.999512 * 0.000122 = 0.000122 NV: 0 OF: 0 UF: 0 NX: 1

80
examples/exercises/fma16/tests/fmul_2.tv
View file

@ -7,14 +7,14 @@
// skip zero: 0400_8401_0000_08_8000_3 // 0.000061 * -0.000061 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0400_07ff_0000_08_0000_3 // 0.000061 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0400_87ff_0000_08_8000_3 // 0.000061 * -0.000122 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_3800_0000_08_0200_0 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_b800_0000_08_8200_0 // 0.000061 * -0.500000 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_3a00_0000_08_0300_0 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_ba00_0000_08_8300_0 // 0.000061 * -0.750000 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0400_3801_0000_08_0200_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_b801_0000_08_8200_3 // 0.000061 * -0.500488 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_3bff_0000_08_03ff_3 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0400_bbff_0000_08_83ff_3 // 0.000061 * -0.999512 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_3800_0000_08_0200_0 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_b800_0000_08_8200_0 // 0.000061 * -0.500000 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3a00_0000_08_0300_0 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_ba00_0000_08_8300_0 // 0.000061 * -0.750000 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0400_3801_0000_08_0200_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_b801_0000_08_8200_3 // 0.000061 * -0.500488 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_3bff_0000_08_03ff_3 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0400_bbff_0000_08_83ff_3 // 0.000061 * -0.999512 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
0400_3c00_0000_08_0400_0 // 0.000061 * 1.000000 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0400_bc00_0000_08_8400_0 // 0.000061 * -1.000000 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 0
0400_3e00_0000_08_0600_0 // 0.000061 * 1.500000 = 0.000092 NV: 0 OF: 0 UF: 0 NX: 0
@ -55,12 +55,12 @@
// skip zero: 0600_8401_0000_08_8000_3 // 0.000092 * -0.000061 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0600_07ff_0000_08_0000_3 // 0.000092 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0600_87ff_0000_08_8000_3 // 0.000092 * -0.000122 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0600_3800_0000_08_0300_0 // 0.000092 * 0.500000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0600_b800_0000_08_8300_0 // 0.000092 * -0.500000 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_3800_0000_08_0300_0 // 0.000092 * 0.500000 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 0600_b800_0000_08_8300_0 // 0.000092 * -0.500000 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
0600_3a00_0000_08_0480_0 // 0.000092 * 0.750000 = 0.000069 NV: 0 OF: 0 UF: 0 NX: 0
0600_ba00_0000_08_8480_0 // 0.000092 * -0.750000 = -0.000069 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 0600_3801_0000_08_0300_3 // 0.000092 * 0.500488 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0600_b801_0000_08_8300_3 // 0.000092 * -0.500488 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0600_3801_0000_08_0300_3 // 0.000092 * 0.500488 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0600_b801_0000_08_8300_3 // 0.000092 * -0.500488 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
0600_3bff_0000_08_05ff_1 // 0.000092 * 0.999512 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
0600_bbff_0000_08_85ff_1 // 0.000092 * -0.999512 = -0.000091 NV: 0 OF: 0 UF: 0 NX: 1
0600_3c00_0000_08_0600_0 // 0.000092 * 1.000000 = 0.000092 NV: 0 OF: 0 UF: 0 NX: 0
@ -103,12 +103,12 @@
// skip zero: 0401_8401_0000_08_8000_3 // 0.000061 * -0.000061 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0401_07ff_0000_08_0000_3 // 0.000061 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 0401_87ff_0000_08_8000_3 // 0.000061 * -0.000122 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3800_0000_08_0200_3 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_b800_0000_08_8200_3 // 0.000061 * -0.500000 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3a00_0000_08_0300_3 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_ba00_0000_08_8300_3 // 0.000061 * -0.750000 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_3801_0000_08_0201_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 0401_b801_0000_08_8201_3 // 0.000061 * -0.500488 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3800_0000_08_0200_3 // 0.000061 * 0.500000 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_b800_0000_08_8200_3 // 0.000061 * -0.500000 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3a00_0000_08_0300_3 // 0.000061 * 0.750000 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_ba00_0000_08_8300_3 // 0.000061 * -0.750000 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_3801_0000_08_0201_3 // 0.000061 * 0.500488 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 0401_b801_0000_08_8201_3 // 0.000061 * -0.500488 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
0401_3bff_0000_08_0400_1 // 0.000061 * 0.999512 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
0401_bbff_0000_08_8400_1 // 0.000061 * -0.999512 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 1
0401_3c00_0000_08_0401_0 // 0.000061 * 1.000000 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 0
@ -151,8 +151,8 @@
// skip zero: 07ff_8401_0000_08_8000_3 // 0.000122 * -0.000061 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 07ff_07ff_0000_08_0000_3 // 0.000122 * 0.000122 = 0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip zero: 07ff_87ff_0000_08_8000_3 // 0.000122 * -0.000122 = -0.000000 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 07ff_3800_0000_08_03ff_3 // 0.000122 * 0.500000 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 07ff_b800_0000_08_83ff_3 // 0.000122 * -0.500000 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 07ff_3800_0000_08_03ff_3 // 0.000122 * 0.500000 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 07ff_b800_0000_08_83ff_3 // 0.000122 * -0.500000 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
07ff_3a00_0000_08_05ff_1 // 0.000122 * 0.750000 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
07ff_ba00_0000_08_85ff_1 // 0.000122 * -0.750000 = -0.000091 NV: 0 OF: 0 UF: 0 NX: 1
07ff_3801_0000_08_0400_1 // 0.000122 * 0.500488 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
@ -191,14 +191,14 @@
07ff_f801_0000_08_c400_1 // 0.000122 * -32800.000000 = -4.000000 NV: 0 OF: 0 UF: 0 NX: 1
07ff_7bff_0000_08_47fe_1 // 0.000122 * 65504.000000 = 7.992188 NV: 0 OF: 0 UF: 0 NX: 1
07ff_fbff_0000_08_c7fe_1 // 0.000122 * -65504.000000 = -7.992188 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3800_0400_0000_08_0200_0 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_8400_0000_08_8200_0 // 0.500000 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_0600_0000_08_0300_0 // 0.500000 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_8600_0000_08_8300_0 // 0.500000 * -0.000092 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3800_0401_0000_08_0200_3 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3800_8401_0000_08_8200_3 // 0.500000 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3800_07ff_0000_08_03ff_3 // 0.500000 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3800_87ff_0000_08_83ff_3 // 0.500000 * -0.000122 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_0400_0000_08_0200_0 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_8400_0000_08_8200_0 // 0.500000 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_0600_0000_08_0300_0 // 0.500000 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_8600_0000_08_8300_0 // 0.500000 * -0.000092 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3800_0401_0000_08_0200_3 // 0.500000 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_8401_0000_08_8200_3 // 0.500000 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_07ff_0000_08_03ff_3 // 0.500000 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3800_87ff_0000_08_83ff_3 // 0.500000 * -0.000122 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
3800_3800_0000_08_3400_0 // 0.500000 * 0.500000 = 0.250000 NV: 0 OF: 0 UF: 0 NX: 0
3800_b800_0000_08_b400_0 // 0.500000 * -0.500000 = -0.250000 NV: 0 OF: 0 UF: 0 NX: 0
3800_3a00_0000_08_3600_0 // 0.500000 * 0.750000 = 0.375000 NV: 0 OF: 0 UF: 0 NX: 0
@ -239,12 +239,12 @@
3800_f801_0000_08_f401_0 // 0.500000 * -32800.000000 = -16400.000000 NV: 0 OF: 0 UF: 0 NX: 0
3800_7bff_0000_08_77ff_0 // 0.500000 * 65504.000000 = 32752.000000 NV: 0 OF: 0 UF: 0 NX: 0
3800_fbff_0000_08_f7ff_0 // 0.500000 * -65504.000000 = -32752.000000 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3a00_0400_0000_08_0300_0 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3a00_8400_0000_08_8300_0 // 0.750000 * -0.000061 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3a00_0400_0000_08_0300_0 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 0 NX: 0
// skip subnorm: 3a00_8400_0000_08_8300_0 // 0.750000 * -0.000061 = -0.000046 NV: 0 OF: 0 UF: 0 NX: 0
3a00_0600_0000_08_0480_0 // 0.750000 * 0.000092 = 0.000069 NV: 0 OF: 0 UF: 0 NX: 0
3a00_8600_0000_08_8480_0 // 0.750000 * -0.000092 = -0.000069 NV: 0 OF: 0 UF: 0 NX: 0
// skip denorm: 3a00_0401_0000_08_0300_3 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3a00_8401_0000_08_8300_3 // 0.750000 * -0.000061 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3a00_0401_0000_08_0300_3 // 0.750000 * 0.000061 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3a00_8401_0000_08_8300_3 // 0.750000 * -0.000061 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
3a00_07ff_0000_08_05ff_1 // 0.750000 * 0.000122 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3a00_87ff_0000_08_85ff_1 // 0.750000 * -0.000122 = -0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3a00_3800_0000_08_3600_0 // 0.750000 * 0.500000 = 0.375000 NV: 0 OF: 0 UF: 0 NX: 0
@ -287,12 +287,12 @@
3a00_f801_0000_08_f601_1 // 0.750000 * -32800.000000 = -24592.000000 NV: 0 OF: 0 UF: 0 NX: 1
3a00_7bff_0000_08_79ff_1 // 0.750000 * 65504.000000 = 49120.000000 NV: 0 OF: 0 UF: 0 NX: 1
3a00_fbff_0000_08_f9ff_1 // 0.750000 * -65504.000000 = -49120.000000 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3801_0400_0000_08_0200_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_8400_0000_08_8200_3 // 0.500488 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_0600_0000_08_0300_3 // 0.500488 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_8600_0000_08_8300_3 // 0.500488 * -0.000092 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_0401_0000_08_0201_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3801_8401_0000_08_8201_3 // 0.500488 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0400_0000_08_0200_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_8400_0000_08_8200_3 // 0.500488 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0600_0000_08_0300_3 // 0.500488 * 0.000092 = 0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_8600_0000_08_8300_3 // 0.500488 * -0.000092 = -0.000046 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_0401_0000_08_0201_3 // 0.500488 * 0.000061 = 0.000031 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3801_8401_0000_08_8201_3 // 0.500488 * -0.000061 = -0.000031 NV: 0 OF: 0 UF: 1 NX: 1
3801_07ff_0000_08_0400_1 // 0.500488 * 0.000122 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1
3801_87ff_0000_08_8400_1 // 0.500488 * -0.000122 = -0.000061 NV: 0 OF: 0 UF: 0 NX: 1
3801_3800_0000_08_3401_0 // 0.500488 * 0.500000 = 0.250244 NV: 0 OF: 0 UF: 0 NX: 0
@ -335,8 +335,8 @@
3801_f801_0000_08_f402_1 // 0.500488 * -32800.000000 = -16416.000000 NV: 0 OF: 0 UF: 0 NX: 1
3801_7bff_0000_08_7800_1 // 0.500488 * 65504.000000 = 32768.000000 NV: 0 OF: 0 UF: 0 NX: 1
3801_fbff_0000_08_f800_1 // 0.500488 * -65504.000000 = -32768.000000 NV: 0 OF: 0 UF: 0 NX: 1
// skip denorm: 3bff_0400_0000_08_03ff_3 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip denorm: 3bff_8400_0000_08_83ff_3 // 0.999512 * -0.000061 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3bff_0400_0000_08_03ff_3 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 1 NX: 1
// skip subnorm: 3bff_8400_0000_08_83ff_3 // 0.999512 * -0.000061 = -0.000061 NV: 0 OF: 0 UF: 1 NX: 1
3bff_0600_0000_08_05ff_1 // 0.999512 * 0.000092 = 0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3bff_8600_0000_08_85ff_1 // 0.999512 * -0.000092 = -0.000091 NV: 0 OF: 0 UF: 0 NX: 1
3bff_0401_0000_08_0400_1 // 0.999512 * 0.000061 = 0.000061 NV: 0 OF: 0 UF: 0 NX: 1