@madewokherd oh no... which float-abi? it's a special kind of broken regarding AOT, which at some point became default on Debian.
@lewurm That's the one. I ran the tests with the optimization disabled, and it's still broken. I'm like 90% sure it's spilling doubles into 4-byte stack slots.