I am working on an ARM7TDMI - I thought this supported the full Thumb 2 instruction set. Perhaps the compiler does not support Thumb 2...