https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85669
--- Comment #35 from Douglas Mencken <dougmencken at gmail dot com> --- (In reply to Wilco from comment #33) > So functions must preserve 16-byte alignment, but can they rely on the stack > being always 16-byte aligned on entry? I bet yes when it’s not some hardcoded-by-hand assembly with its own rules. So you may be sure that you get r1 with zeroes in last four bits of it on “bl” or like