On Thu, 2022-01-06 at 14:20 +0000, Luke Kenneth Casson Leighton wrote: > it looks like this will have to be added: it is quite > a lot of work, to get LoadStore1 to support double-LD/STs. I can do part of that work