HomeIsabelle/Phabricator

Must not use X30 for the result of AllocateMemoryFixed/Variable because it…

Description

Must not use X30 for the result of AllocateMemoryFixed/Variable because it won't be right if we trap.

Details

Provenance
dcjmAuthored on Dec 26 2021, 8:41 PM
Parents
rPOLYML1c2ae6594828: Fix typos in immutable load function names.
Branches
Unknown
Tags
Unknown