0

不允许简化假定。保持严格的 IEEE 754 一致性。 

1

允许保守简化。产生的代码与 IEEE 754 不完全一致，但多数程序所产生的数值结果没有更改。 

在 -fsimple=1 的情况下，优化器可假定：

• 在进程初始化之后，IEEE 754 缺省舍入/捕获模式不发生改变。

• 除产生潜在浮点异常的计算不能删除外，产生不可视结果的计算都可以删除。

• 使用无穷大或 NaNs 作为操作数的计算需要将 NaNs 传送到它们的结果中，即 x*0 可以用零替换。

• 计算不依赖于零的符号。

  在 -fsimple=1 的情况下，不允许优化器不考虑舍入或异常进行完全优化。具体来讲，运行时将舍入模式保存为常量时，不能用产生不同结果的计算来替换浮点计算。

2

包括 -fsimple=1 的所有功能，还允许可能导致许多程序生成不同的数值结果（由于舍入的更改）的主动浮点优化。例如，允许优化器将指定循环中的所有 x/y 运算替换为 x*z，其中，要保证在循环 z=1/y 中至少对 x/y 求一次值，并且在执行该循环期间已知 y 和 z 的值为常量值。