add, sub, div, sqrt, mul, and float->integer conversions, should all have a third optional argument, to allow changing a rounding mode (nearest, toward plus infinity, towards minus infinity, to zero, out of zero, exact - last one excepting when result is not exact).
Default would be nearest and would generally create no overhead in code at all.
If the rounding is non standard / non default, it can translate to explicit rounding in instructions (AVX512 does that), or manipulate SSE control registers (preferably in optimized way to not switch there and back too much), to get proper behavior.
Hi,
add, sub, div, sqrt, mul, and float->integer conversions, should all have a third optional argument, to allow changing a rounding mode (nearest, toward plus infinity, towards minus infinity, to zero, out of zero, exact - last one excepting when result is not exact).
Default would be nearest and would generally create no overhead in code at all.
If the rounding is non standard / non default, it can translate to explicit rounding in instructions (AVX512 does that), or manipulate SSE control registers (preferably in optimized way to not switch there and back too much), to get proper behavior.