Distinguish CPU architecture and model.
fleroviux opened this issue · comments
We should distinguish between CPU model (ARM7TDMI-S or ARM946E-S e.g.) and architecture (ARMv4T or ARMv5TE).
For example the unaligned LDRSH edge-case is documented as ARMv4T edge-case but it's actually unpredictable and specific to the ARM7TDMI-S.