HomeIsabelle/Phabricator

Implement passing floating point arguments in FP registers. This simplifies…

Description

Implement passing floating point arguments in FP registers. This simplifies RTS calls among other things.

Details

Provenance
dcjmAuthored on Jan 20 2022, 12:57 PM
Parents
rPOLYML66bad03abc62: Cache unboxing or reals and large-words.
Branches
Unknown
Tags
Unknown