Make the order of operations explicit for the error term of Dekker

double-precision multiply.

FossilOrigin-Name: 28f57b34e6b11184a36e363a985e7531bddd7be48a5e039a670e5acf748eedda

diff --git a/manifest b/manifest
index ff444b1784dd0706e5fc12057b67e469532dce29..5a1b0a1e43802561d98f1533824c13eb5236cb6c 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Simplification\sof\sthe\sdekkerMul2()\ssubroutine.
-D 2023-07-05T14:42:50.334
+C Make\sthe\sorder\sof\soperations\sexplicit\sfor\sthe\serror\sterm\sof\sDekker\ndouble-precision\smultiply.
+D 2023-07-05T15:34:30.576
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -705,7 +705,7 @@ F src/trigger.c ad6ab9452715fa9a8075442e15196022275b414b9141b566af8cdb7a1605f2b0
 F src/update.c 0aa36561167a7c40d01163238c297297962f31a15a8d742216b3c37cdf25f731
 F src/upsert.c 5303dc6c518fa7d4b280ec65170f465c7a70b7ac2b22491598f6d0b4875b3145
 F src/utf.c ee39565f0843775cc2c81135751ddd93eceb91a673ea2c57f61c76f288b041a0
-F src/util.c 04958d3937d7db7ae2d0ee18506c384596dfa909cc0c4a1347bf79081c107b5b
+F src/util.c 059f3d7f7f1b893717c2878dc874dc870d6bae8e2f279dbd48770e08fbd4df00
 F src/vacuum.c 604fcdaebe76f3497c855afcbf91b8fa5046b32de3045bab89cc008d68e40104
 F src/vdbe.c 74282a947234513872a83b0bab1b8c644ece64b3e27b053ef17677c8ff9c81e0
 F src/vdbe.h 41485521f68e9437fdb7ec4a90f9d86ab294e9bb8281e33b235915e29122cfc0
@@ -2043,8 +2043,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 9a36f269451d8832f68e223ac3995493704364e7fd0cc772989c96e863a08d29
-R aad77d965a4f588fb4cf332c1c0a5021
+P bfe6432a46fd41bfadf4516a73b4e2523d9b453c3e4486fe6df7e1d25275dfb3
+R 8b204c49eabe422861e3cb4961a4552e
 U drh
-Z 45d04598133329d93f0fdb912f74ae6c
+Z d0275ad4a7f94a6a298c9f4a0ef255ba
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index df6f400280191959c7513264898a80c83c25dbc1..9c981817279c3a98bd1bb36fbac5fd692d150ec1 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-bfe6432a46fd41bfadf4516a73b4e2523d9b453c3e4486fe6df7e1d25275dfb3
\ No newline at end of file
+28f57b34e6b11184a36e363a985e7531bddd7be48a5e039a670e5acf748eedda
\ No newline at end of file

diff --git a/src/util.c b/src/util.c
index 899abce72b11c7216b41e1492bce3bd97baecce3..e15e037fbdf183d80a835cf99a0baceb4ccfc25f 100644 (file)
--- a/src/util.c
+++ b/src/util.c
@@ -409,7 +409,8 @@ static void dekkerMul2(double *x, double y, double yy){
   cc = p - c + q + tx*ty;
   cc = x[0]*yy + x[1]*y + cc;
   x[0] = c + cc;
-  x[1] = c - x[0] + cc;
+  x[1] = c - x[0];
+  x[1] += cc;
 }
 
 /*