+38
−16
+2
−2
Loading
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.