HomeIsabelle/Phabricator

Shorten branches where possible. Include ldaxr/stlxr in with the…

Description

Shorten branches where possible. Include ldaxr/stlxr in with the loadStoreExclusive instructions.

Details

Provenance
dcjmAuthored on Mar 11 2021, 1:09 PM
Parents
rPOLYMLa0b5f1bc47e4: Replace assembly coded compare and exchange with GCC intrinsic which works on…
Branches
Unknown
Tags
Unknown