HomeIsabelle/Phabricator

Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but…

Description

Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but if we did ever use it we'd
have to save it on every call from C to ML.

Details

Provenance
dcjmAuthored on Apr 21 2019, 8:50 AM
Parents
rPOLYML293c3698a902: Change the Foreign structure to use compiled FFI calls.
Branches
Unknown
Tags
Unknown