So the manual does specify what happens on unaligned reads and writes, but a couple of things are missing:
1. Do unaligned reads return *sensible* values or garbage?
2. At what stage during its operation does TESTSET raise a software exception?
And on a somewhat related note, is a simulator allowed to just not perform an unaligned write or return any value(s) for an unaligned read? Assuming both unaligned reads and writes result in garbage, this seems like it would adhere to the documentation (leaving old values in place could be seen as garbage).