HomeIsabelle/Phabricator

Fix passing structures of size 8-16 bytes in SysV X86/64. Fixes #162.

Description

Fix passing structures of size 8-16 bytes in SysV X86/64. Fixes #162.

Details

Provenance
dcjmAuthored on Mon, Oct 11, 6:38 PM
Parents
rPOLYMLcf6f86a6874c: Add regression test for print fix for functor argument.
Branches
Unknown
Tags
Unknown
References
HEAD -> master