If that's the case then I've been misunderstanding Thumb all this time. My understanding was that Thumb instructions are slightly less efficient than ARM. The real benefit of Thumb is that the compiled binaries are smaller and thus take less memory space and require less swapping.