On 12/28/22 17:51, gaosong wrote:
A related question though: does the manual mention whether the fpu instructions only modify the lower 64 bits, or do the high 64-bits become zeroed, nanboxed, or unspecified?Only modify the lower 64bits, the high 64-bits is unpecified.
These two options are mutually exclusive. If upper 64 bits unmodified, then they *are* specified to be the previous contents.
r~
