HomeIsabelle/Phabricator

Add inline absolute 64-bit constants to the code-generator for 32-in-64. This…

Description

Add inline absolute 64-bit constants to the code-generator for 32-in-64. This is needed for callbacks
to work in 32-in-64 because the heap base register is not available.

Details

Provenance
dcjmAuthored on May 17 2019, 2:52 PM
Parents
rPOLYMLa1ba54bf3fb5: Fix argument area address in X64/Unix closures.
Branches
Unknown
Tags
Unknown