HomeIsabelle/Phabricator

Use ldp and stp for adjacent loads and stores where possible.