-
Raymond Toy authored
In alloc(), save the fpu state on entry to the function and restore it just before returning. While we're at it, use the __attribute__ option to get a 16-byte aligned area where we can save the fpu state. And also set optimization to -O2 for linux.
d51dabf0