https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77359
--- Comment #11 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- But does that really match the Abi? On s390 (31 bit) we have an 8 byte aligned stack pointer, but the size of a stack slot is just 4 bytes, so the offset from the stack pointer may just be a multiple of 4. The same may be the case on other targets.
