> It is possible that GCC already does that and maybe that's the reason > for the patch? (Arnaud?) That almost certainly is the direct reason. But ARM should be strongly encouraged to document it in the ARM ARM if it becomes some kind of de facto standard (assuming it's not there already). Cheers. Tim.