@chjara the encodings are messy for code density reasons, and it suffers a little because of its weird heritage (original version of ARM7TDMI would 'decompress' Thumb into regular ARM instructions first)
but i don't think its *that* bad, cleaner than the old 32bit ARM in a lot of ways