On 2018-08-03 14:00, Houder wrote: [snip]
As far as I tell, it is neither the machine nor "fenv" that devices to switch from x87 FPU to SSE ...
s/devices/decides/ Sorry.
On 2018-08-03 14:00, Houder wrote: [snip]
As far as I tell, it is neither the machine nor "fenv" that devices to switch from x87 FPU to SSE ...
s/devices/decides/ Sorry.