https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101053 --- Comment #3 from Gilles Gouaillardet <gilles.gouaillardet at gmail dot com> --- Thanks for the clarification about which registers have to be preserved. I will dig this a bit more from now