On 18/01/2016 12:04, Peter Maydell wrote: >> > >> > where the '1x' encodings of bits 22:23 (marked as reserved in the ARMv8 >> > ARM) would cause an abort as far as I can see. > Isn't this handled by Decoder::DecodeAddSubImmediate(), which checks > bit 23?
Yes, that's right. Paolo > In any case if we're worried it would be easy to set up a trivial > test loop that just feeds all 2^32 integers to the disassembler.