HomeIsabelle/Phabricator

Change the saved C stack pointer so that it always points after the saved…
889c0506fe4dUnpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Change the saved C stack pointer so that it always points after the saved registers. It's no longer necessary to adjust for the stack frame size in RTS calls.

Details

Provenance
dcjmAuthored on Apr 16 2019, 9:25 AM
Parents
rPOLYML7d99fbd18911: Fix a couple of warnings.
Branches
Unknown
Tags
Unknown

Event Timeline