HomeIsabelle/Phabricator

String length words ARE tagged when loaded using LoadStoreUntaggedUnsigned so…

Description

String length words ARE tagged when loaded using LoadStoreUntaggedUnsigned so we use EqualWord not pointer equality.

Details

Provenance
dcjmAuthored on Dec 27 2021, 9:25 AM
Parents
rPOLYML21abaa89ce11: Fix store allocation profiling.
Branches
Unknown
Tags
Unknown