基于GCC的联想数学
我在C中创建了一个数据类型。我尝试了使用GCC的基于GCC的联想数学,c,gcc,floating-point,precision,C,Gcc,Floating Point,Precision,我在C中创建了一个数据类型。我尝试了使用GCC的-Ofast，发现它的速度非常快（例如，使用-O3的速度为1.5s，使用-Ofast的速度为0.3s），但结果是假的。我把这个问题归结为社交数学。我很惊讶这不起作用，因为我明确定义了操作的关联性。例如，在下面的代码中，我只使用了括号 static inline doublefloat two_sum(const float a, const float b) { float s = a + b; float v =
-Ofast-O3-Ofaststatic inline doublefloat two_sum(const float a, const float b) {
float s = a + b;
float v = s - a;
float e = (a - (s - v)) + (b - v);
return (doublefloat){s, e};
}
（a-（s-v））（（a+v）-s）-fassocialmath-fassocialmath/fp:fast/fp:precise-fassocialative math//test1.c
unsigned foosu(unsigned a, unsigned b, unsigned c) { return (a + c) - b; }
signed fooss(signed a, signed b, signed c) { return (a + c) - b; }
float foosf(float a, float b, float c) { return (a + c) - b; }
unsigned foomu(unsigned a, unsigned b, unsigned c) { return a*a*a*a*a*a; }
signed fooms(signed a, signed b, signed c) { return a*a*a*a*a*a; }
float foomf(float a, float b, float c) { return a*a*a*a*a*a; }
- 无符号：加法和乘法的代码相同（减少为三次乘法）
- 有符号：加法的代码不相同，但乘法的代码相同（减少为三次乘法）
- 浮点：与
的加法或乘法的代码不相同，但与-O3
的加法相同，乘法几乎相同，仅使用三次乘法-Ofast
- 如果一个操作是关联的，那么GCC将简化它，不管它选择什么，这样
就可以变成a-（b-c）（a+c）-b - 无符号加法和乘法是结合的
- 有符号加法不是关联的
- 有符号乘法是结合的
- 使用
时，整数和浮点的乘法简化为三次-fassocialative math
使浮点加法和乘法具有关联性-fassocialative math
（a-（s-v））（（a+v）-s）-fassocialmath-fasociative mathe=0；e=（a-…；x+y+z（x+y）+z-fassocialative math-fasociative math-f编译的编译单元中保留双加关联数学volatilevolatile（a-（s-v））（（a-s）-v）v=（a+b）-ab