Re: Thumb-2 performance discussion