> Well, if changing fpscr and fpscr_values at the same time was your > only concern, you could just call __set_fpscr. That puts the burden > of preserving the SZ / PR bit in fpscr on the caller, though. > (i.e. read the current value of fpscr, modify the bits you want changed, > place that changed value into r4, and call __set_fpscr).
Perhaps a helper function in libgcc that has the API I originally suggested, which calls __set_fpscr and preserves the right bits?
