According to the ARMv7 documentation, R0-R12 are general-purpose registers and R13, R14 and R15 are the SP, LR and PC. I've seen in some questions in the ARM forum, StackOverflow or other sites that R11 is often used as frame pointer (ARM forum, pp, StackOverflow, Microsoft), however I can't find any official documentation, from ARM or GCC, declaring the use of this register. Some people also said it was in the AAPCS, however, the only information available in this document about R11 is that it is a variable register.
If anybody could help locate an official document stating the usage of these registers, including R11 as the frame pointer, I'd be truly grateful.