HomeIsabelle/Phabricator

Reload r15, the heap pointer, after a call because a callback could have…

Description

Reload r15, the heap pointer, after a call because a callback could have changed it.

Details

Provenance
dcjmAuthored on Apr 22 2019, 1:53 PM
Parents
rPOLYMLa3227e4109f3: Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but…
Branches
Unknown
Tags
Unknown