It took me some time to extract from the non-regression tests of plasmasm a short example.
from amoco.cas.mapper import mapper
from amoco.arch.x64 import env
machine = mapper()
machine[env.mem(env.rsp,size=64)] = env.lab('toto',size=64)
machine.M(env.mem(env.rsp,32))
worked well before commit dac8e00 and now fails with the following error:
Traceback (most recent call last):
File "(...)/amoco-machine-bug.py", line 5, in <module>
machine.M(env.mem(env.rsp+16,32))
File "(...)/amoco/amoco/cas/mapper.py", line 179, in M
res = self._Mem_read(k.a, k.length, k.endian)
File "(...)/amoco/amoco/cas/mapper.py", line 223, in _Mem_read
elif p._is_ext and p._subrefs.get("mmio_r",None):
AttributeError: 'slc' object has no attribute '_subrefs'