Subject: Re: printf() using floating point ...
To: Chris G Demetriou <Chris_G_Demetriou@lagavulin.pdl.cs.cmu.edu>
From: Ignatios Souvatzis <is@Beverly.Rhein.DE>
Date: 06/15/1995 00:00:15
> > I believe the idea was to change the *kernel* to do lazy FP
> > saving. How will that change vfprintf?
> you have it backward:
> the idea was to change vfprintf, because, on some systems that do lazy
> FP saves, the current vfprintf causes FP context to be saved/restored
> even when no FP is actually _used_.
> it's worth noting that on some systems (e.g. most m68k systems), you
> CANNOT do lazy FP save and restore...
Hm, on 060 systems it is possible to switch the FPU off/on. But if I ever
support that, It would be the bottom priority project.