On Mon, Feb 24, 2025 at 12:41 PM Florian Weimer <f...@deneb.enyo.de> wrote:
> > Surely not preserving floating point bit patterns in registers would > be a silicon bug? Indeed it would be. > That seems … quite unlikely. GCC 8 has seen > extensive use on AArch64, on a variety of implementations, and I don't > recall problems in this area. I don't follow AArch64 *that* closely, > admittedly, but I expect it would have caused quite a ruckus. > Yeah. The lack of discussion also led me to believe that even if this is an issue, it's definitely not a widely encountered one. (It's also possible that it's a red herring, although, well, as I said, forcing general regs only did fix it.) > > Do you use some sort of conservative garbage collector that > incorrectly skips scanning of floating point registers? > Great question, to have thought of that! Fortunately, we are not. Thank you for giving it some thought. Attila.