database/sqlite
1
0
Fork 0
mirror of https://github.com/sqlite/sqlite.git synced 2025-11-11 01:42:22 +03:00
Code Activity

Completely unwind the enhanced precision sum() from [a915f15a916af698] so

Browse Source 
as not to offend UBSAN and OSS-Fuzz.

FossilOrigin-Name: 85be05b66ef975f02a3e7b2984bcab97d9280c7f3b6ee1e16718de549f240d46
This commit is contained in:
drh
2023-06-30 14:01:09 +00:00
parent dd8b12a6c5
commit 48114d08cf
6 changed files with 63 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
src/util.c
View File

@@ -1750,49 +1750,3 @@ int sqlite3VListNameToNum(VList *pIn, const char *zName, int nName){
|| defined(SQLITE_ENABLE_STMT_SCANSTATUS)
# include "hwtime.h"
#endif
/***************************************************************************
** Double-Double arithmetic.
**
** Reference:
** T. J. Dekker, "A Floating-Point Technique for Extending the
** Available Precision". 1971-07-26.
*/
/* Compute z = (i64)x */
void sqlite3DDFromInt(i64 x, double *z){
if( x > -4503599627370496L && x < 4503599627370496 ){
z[0] = (double)x;
z[1] = 0.0;
}else{
i64 y = x % 2048;
z[0] = (double)(x - y);
z[1] = (double)(x - (i64)z[0]);
}
}
/* Compute z = x + y */
void sqlite3DDAdd(double x, double xx, double y, double yy, double *z){
double r, s;
r = x + y;
if( fabs(x)>fabs(y) ){
s = x - r + y + yy + xx;
}else{
s = y - r + x + xx + yy;
}
z[0] = r+s;
z[1] = r - z[0] + s;
}
/* Compute z = x - y */
void sqlite3DDSub(double x, double xx, double y, double yy, double *z){
double r, s;
r = x - y;
if( fabs(x)>fabs(y) ){
s = x - r - y - yy + xx;
}else{
s = -y - r + x + xx - yy;
}
z[0] = r+s;
z[1] = r - z[0] + s;
}