I started to write this post during 2013 autumn, some changes come since, they are in bold in the text.
Some references:
* ARM Compiler toolchain Assembler Reference on ARM documentations site.
* GCC ARM Options, that is also in the gcc manpage.
Translation not finished, work in progress
Continue reading