<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@saramg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>saramg</span></a></span> The 32-bit ABI passes all arguments on the stack, which means that calling order will be applied.</p><p>The reason you see the behaviour above is because the 64-bit ABI passes arguments in registers, and floating point and integer values are passed in different registers.</p>