https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83735
--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> ---
push comes from
13174 if (!int_registers_saved)
13175 {
13176 /* If saving registers via PUSH, do so now. */
13177 if (!frame.save_regs_using_mov)
13178 {
13179 ix86_emit_save_regs ();
13180 int_registers_saved = true;
13181 gcc_assert (m->fs.sp_offset == frame.reg_save_offset);
13182 }
13183
(gdb)
