Nicolas Pitre wrote:
Your remark for the first example is wrong. GCC has to store r8 (or any other register for that matter) in order to keep the stack pointer 64-bit aligned, as required by EABI.
Nicolas, Thanks for letting me know this. I've marked this example as wrong in wiki.