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.