782c782
< }}, IsNonSpeculative, IsQuiesce);
---
> }}, IsNonSpeculative, IsQuiesce, IsUnverifiable);
785c785
< }}, IsNonSpeculative);
---
> }}, IsNonSpeculative, IsUnverifiable);
797a798,800
> 0x31: loadsymbol({{
> AlphaPseudo::loadsymbol(xc->tcBase());
> }}, No_OpClass, IsNonSpeculative);