HomeIsabelle/Phabricator

Need to load a register for the ML stack on X86/64 if there are more than 5…

Description

Need to load a register for the ML stack on X86/64 if there are more than 5 arguments.

Details

Provenance
dcjmAuthored on Jan 29 2019, 9:25 PM
Parents
rPOLYML8f14f0ab5a08: Complete the conversion process. There is a temporary fix for the first…
Branches
Unknown
Tags
Unknown