HomeIsabelle/Phabricator

Use X0 to hold the top of the stack where possible. This avoids a lot of…

Description

Use X0 to hold the top of the stack where possible. This avoids a lot of pushing and popping and makes the code more readable.

Details

Provenance
dcjmAuthored on Feb 13 2021, 2:11 PM
Parents
rPOLYML5dd033ec3f28: Fix stack check limit.
Branches
Unknown
Tags
Unknown