E
ожидается что оба вернут одинаковый каноничный
Size: a a a
2020 February 09
M
Вообще то NaN это целый диапазон, а еще у него может быть знак, а еще бит в позиции 1 << 53 (для double) означает сигнальный это sNaN или qNaN
E
так я про это же)
M
Обычно в тестах ожидают NaN (любой) + могут еще чекнуть статусный регистр FPU (overflow, underflow, inexact и т д)
E
у нас тут перенесли все исходники в монорепу новую и я потиху переношу свои микрооптимизации старые, которые не замержили в старых репах
E
и вот ща переносил Math.Pow(x, 2)
M
и вот ща переносил Math.Pow(x, 2)
Ну тот же LLVM переписывает это на x * x не взирая на NaN
E
ну да, я обычно так и отмазываюсь)
FO
MaxGraey
Ну тот же LLVM переписывает это на x * x не взирая на NaN
А x ** 2E+00?
E
https://github.com/dotnet/runtime/pull/31978 вот пр в новой репе мой :)
FO
MaxGraey
Ну тот же LLVM переписывает это на x * x не взирая на NaN
А 2.718281828459045 ** ( expr ) переводит в exp( expr )?
M
А 2.718281828459045 ** ( expr ) переводит в exp( expr )?
да
FO
MaxGraey
да
😳
FO
А как? 😳
FO
И какой там трешхолд на "правильную" экспоненту?
M
у LLVM есть спечиальный pass для этого, который переписывает вызовы стандартной библиотеки
E
не факт кстати
E
вернее Макс прав, а вот то что оно распознает самописанную константу с каким-то отклонением - не факт)
M
он там много чего умеет, например log(sqrt(x)) —> 0.5 * log(x)