c++ - ARM64 浮点精度的奇怪问题
问题描述
我在 ARM64 上遇到了一个非常奇怪的浮点精度问题。我有一段非常简单的 C++ 代码,看起来像这样:
float sx = some_float_number_1;
float sy = some_float_number_2;
float ex = some_float_number_3;
float ey = some_float_number_4;
float px = ex;
float py = ey;
float d1 = (ex - sx) * (py - sy);
float d2 = (px - sx) * (ey - sy);
float d = d1 - d2;
float t = (ex - sx) * (py - sy) - (px - sx) * (ey - sy);
//32-bit output: d == t == 0
//64-bit output: d == 0, t != 0
理论上,d 应该等于 t 并且等于 0,而这正是 32 位 ARM 上发生的情况。但是由于某些奇怪的原因,在 64 位 ARM 上 t 的输出不等于 0,而 d 仍然正确。我从来没有见过这样的错误,所以我不知道是什么导致了这种问题。
编辑:更多信息
- 如果您没有注意到,d 和 t 的输出都应该是 0,因为 (ex - sx) * (py - sy) 等于 (px - sx) * (ey - sy)
- 此问题仅在输入的小数部分不等于 0 时发生。
- 我使用的编译器是包含在 Android NDK r15c 包中的 Clang。
EDIT2:这是反汇编
4c: 52933348 mov w8, #0x999a // #39322
50: 72a82828 movk w8, #0x4141, lsl #16
54: b90683e8 str w8, [sp,#1664]
58: 52933348 mov w8, #0x999a // #39322
5c: 72a82728 movk w8, #0x4139, lsl #16
60: b9067fe8 str w8, [sp,#1660]
64: 52933348 mov w8, #0x999a // #39322
68: 72a838a8 movk w8, #0x41c5, lsl #16
6c: b9067be8 str w8, [sp,#1656]
70: 529999a8 mov w8, #0xcccd // #52429
74: 72a855e8 movk w8, #0x42af, lsl #16
78: b90677e8 str w8, [sp,#1652]
7c: bd467be0 ldr s0, [sp,#1656]
80: bd0673e0 str s0, [sp,#1648]
84: bd4677e0 ldr s0, [sp,#1652]
88: bd066fe0 str s0, [sp,#1644]
8c: bd467be0 ldr s0, [sp,#1656]
90: bd4683e1 ldr s1, [sp,#1664]
94: 1e213800 fsub s0, s0, s1
98: bd466fe1 ldr s1, [sp,#1644]
9c: bd467fe2 ldr s2, [sp,#1660]
a0: 1e223821 fsub s1, s1, s2
a4: 1e210800 fmul s0, s0, s1
a8: bd066be0 str s0, [sp,#1640]
ac: bd4673e0 ldr s0, [sp,#1648]
b0: bd4683e1 ldr s1, [sp,#1664]
b4: 1e213800 fsub s0, s0, s1
b8: bd4677e1 ldr s1, [sp,#1652]
bc: bd467fe2 ldr s2, [sp,#1660]
c0: 1e223821 fsub s1, s1, s2
c4: 1e210800 fmul s0, s0, s1
c8: bd0667e0 str s0, [sp,#1636]
cc: bd466be0 ldr s0, [sp,#1640]
d0: bd4667e1 ldr s1, [sp,#1636]
d4: 1e213800 fsub s0, s0, s1
d8: bd0663e0 str s0, [sp,#1632]
dc: bd467be0 ldr s0, [sp,#1656]
e0: bd4683e1 ldr s1, [sp,#1664]
e4: 1e213800 fsub s0, s0, s1
e8: bd466fe2 ldr s2, [sp,#1644]
ec: bd467fe3 ldr s3, [sp,#1660]
f0: 1e233842 fsub s2, s2, s3
f4: bd4673e4 ldr s4, [sp,#1648]
f8: 1e243821 fsub s1, s1, s4
fc: bd4677e4 ldr s4, [sp,#1652]
100: 1e233883 fsub s3, s4, s3
104: 1e230821 fmul s1, s1, s3
108: 1f020400 fmadd s0, s0, s2, s1
10c: bd065fe0 str s0, [sp,#1628]
解决方案
C++ 标准允许实现以比名义类型更精确的精度评估浮点表达式。它要求实现在将值分配给对象时丢弃多余的精度。
因此,在分配给d1
和d2
时,多余的精度被丢弃并且对 没有贡献d1 - d2
,但是,在 中(ex - sx) * (py - sy) - (px - sx) * (ey - sy)
,多余的精度参与了评估。请注意,C++ 不仅允许在求值中过度精确,而且允许将其用于表达式的部分而不是其他部分。
特别是,评估表达式的一种常见方法a*b - c*d
是-c*d
使用乘法指令(不使用超额精度)进行计算,然后a*b - c*d
使用融合乘加指令进行计算,该指令使用有效的无限精度进行乘法运算。
您的编译器可能有一个开关来禁用此行为并始终使用标称精度。
推荐阅读
- javascript - Visio javascript API - 无法读取/提取形状数据
- reactjs - 有没有办法在 React 中显示结构的 Solidity 数组?
- postgresql - 在 api Repository Typeorm 上使用 between 查询日期
- java - AppCompatActivity 在当前状态为 RESUMED 时尝试注册
- reactjs - 将所有现有选项卡转换为 vscode 中的空格
- angular - 如何通知客户过时的内容?
- firebase - 试图在 SwiftUI 中获取所有 Firebase 用户,但只获取一个,而不是登录用户?
- python - Firebase Cloud Function 在将数据发送到 Pub/Sub 主题时创建错误消息
- ios - 如何在演示期间更改 ViewController 的 NavigationBar 动画方式
- flutter - 如何在 Flutter web 中隐藏“Bearer token”?