summary refs log tree commit diff stats
path: root/results/scraper/fex/4191
diff options
context:
space:
mode:
Diffstat (limited to 'results/scraper/fex/4191')
-rw-r--r--results/scraper/fex/419112
1 files changed, 12 insertions, 0 deletions
diff --git a/results/scraper/fex/4191 b/results/scraper/fex/4191
new file mode 100644
index 00000000..dfa6f6e6
--- /dev/null
+++ b/results/scraper/fex/4191
@@ -0,0 +1,12 @@
+Double check x87 precision correctness
+x86 manual had a couple statements that caught my eye.

+

+

+> The Precision control (PC) field comprises bits [9:8] of the x87 control word (“x87 Control Word Register (FCW)” on page 292). This field specifies the precision of floating-point calculations for the FADDx, FSUBx, FMULx, FDIVx, and FSQRT instructions, as shown in Table 6-11.

+

+I think we modify precision on more than those instructions listed. Might need to check that.

+

+Also:

+> x87 computations are carried out in double-extended-precision format, so that the transcendental functions provide results accurate to within one unit in the last place (ulp) for each of the floating- point data types.

+

+Might want to double check that we have the transcendental accuracy correct.
\ No newline at end of file