HomeIsabelle/Phabricator

When optimising short byte equality and short moves use the immutable version…

Description

When optimising short byte equality and short moves use the immutable version of the loads and stores.

Details

Provenance
dcjmAuthored on Dec 19 2021, 2:33 PM
Parents
rPOLYML7edc11b00012: Fix addition when combining an index with a constant offset.
Branches
Unknown
Tags
Unknown