On 12/27/2006 04:04 PM, Bruce Momjian wrote:
Interesting. I didn't know that, but in the float4pl() function,
because the overflow tests and result is float4, what value is there to
doing things as double --- as soon as the float4 maximum is exceeded, we
throw an error?
This is useful for underflows.
r1 is zero and underflow is lost.
r2 is not zero and underflow is detected.
In float4mul() and float4div(), the computation should be double precision.
In float4pl() and float4mi(), it depends on the ability of the hardware
to generate denormalized numbers. If denormalized numbers are generated,
float vs double makes no difference. If denormalized numbers are not
generated (zero is generated), then double computation is safer.
Another way to detect underflows, overflows and other junk is to use FPU
status flags after each computation. Performance will likely suffer.
float4 arg1 = PG_GETARG_FLOAT4(0);
float4 arg2 = PG_GETARG_FLOAT4(1);
result = arg1 * arg2;
if (fe_exceptions) handle_exceptions(fe_exceptions); //??
Yet another way to detect exceptions is to remove all CheckFloat4Val(),
CheckFloat8Val(), isnan(), unmask FPU exceptions and install an exception
Might have portability difficulties. Comparisons of NaNs must be done in
non-IEEE way (FPU does not compare NaNs, it generates exceptions).
---------------------------(end of broadcast)---------------------------
TIP 6: explain analyze is your friend