do GCC или аналогичные компиляторы выполняют оптимизацию, направленную на улучшение численной стабильности операций с плавающей запятой.
Известно, что, казалось бы, простые операции, такие как сложение или вычисление нормы вектора, численно нестабильны, если реализованы очевидным образом, и, с другой стороны, компиляторы иногда разрушают обходные пути для этих проблем ради скорости оптимизация.
Каков современный уровень оптимизации вывода компилятора для числовых стабильных вычислений? Что-нибудь лучше, чем в ожидании?