[参考译文] 编译器/DRA786：如果使用优化(-O2或更高版本)、C 编译器会生成不正确的代码

[引用 USER="Manfred Becker"]使用 LDW 指令将数据读取到 B9寄存器与使用 FADDSP[/QUERP]中的 B9寄存器之间只有一个 NOP

这可能是有意的。  注释中的<0、44>(及类似内容)表示此代码位于软件流水线循环内。  此类循环中的代码可以按顺序安排。  在这种特定情况下、这意味着编译器打算读取 B9的旧值、即使新值正在传播。  您不能这样做、因为可能会发生中断。  但是、在软件流水线循环内、中断被禁用。   

那么、到目前为止、该代码看起来不是错误的。  但是，Nan 意味着有问题。  可能是由于用户代码或编译器中的错误。  这并不常见、但我看到编译器优化发现了源代码中的问题。   

将示波器范围缩小到如下所示的范围是否实际：这些是函数的输入、这是未使用优化时看到的输出、这是使用-O2时看到的输出。  希望这是实用的、您可以按照文章 How to Submit a Compiler Test Case中的说明进行操作。

谢谢、此致、

乔治

乔治

我对编译器生成的循环代码进行了更多分析。 管道循环内核代码使用条件指令来排除此循环第一次迭代的部分指令。 在第一次循环迭代期间会使用未初始化的寄存器数据、从而在 FADCR、FAUCR 和/或 FMCR 寄存器中设置 NaN 等警告标志。 实际上、在第一个循环迭代期间生成的无效结果不会存储到存储器中、因为相关的存储指令也有条件地执行、并且存储指令的条件仍然为 false。 这意味着、优化的环路生成的输出是正确的、但遗憾的是、浮点配置寄存器内的警告标志会被置位。

如果将构建选项"-opt_for_speed=3"与-O2或-O3结合使用、即使对于从不 v8.2.x 或 v8.3.x 编译器版本、我也会看到相同的行为。

客户在音频处理环路末尾测试浮点配置寄存器的多个警告标志、以检测可能导致音频数据故障的计算问题、只是为了在向放大器发送无效数据之前有机会将音频静音。 如果查看上述设置这些警告标志的机制、这是否意味着 FADCR、FAUCR 和 FMCR 不能用于此类错误检测？

此致、

曼弗雷德