HomeIsabelle/Phabricator

Move code to check for RTS exceptions into the RTS caller for the X86. This…

Description

Move code to check for RTS exceptions into the RTS caller for the X86. This has already been done for the ARM.

Details

Provenance
dcjmAuthored on Jan 9 2022, 8:48 AM
Parents
rPOLYMLf12e7ed29c45: Use TBZ/TBNZ for tag test and branches.
Branches
Unknown
Tags
Unknown