STORE
{ 0xf0000000U, 0x00000000U, /* xmem */ TRASHES | STORE | LOAD},
{ 0xfc000000U, 0x20000000U, /* st.d */ STORE | DOUBLE},
{ 0xf0000000U, 0x20000000U, /* store */ STORE},
if ((flags & STORE) && s1 == 31 /*stack pointer*/) {