https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110419
--- Comment #10 from Mikael Morin <mikael at gcc dot gnu.org> --- The three previous dumps are generated with the example in comment #4. The problem seems to turn around the val function needing to take the address of the c argument, which is passed by value. On powerpc, the value is available in a register. I guess the ABI specifies how this case is supposed to work?