https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81563
--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- Author: aldyh Date: Wed Sep 13 15:48:15 2017 New Revision: 252099 URL: https://gcc.gnu.org/viewcvs?rev=252099&root=gcc&view=rev Log: x86: Properly check saved register CFA offset X86 prologue saves register at CFA offset. Since its location on stack is computed as CFA - its CFA_OFFSET, CFA_OFFSET points the end of the saved register area on stack. This patch updates sp_valid_at and fp_valid_at to properly check saved register CFA offset. gcc/ PR target/81563 * config/i386/i386.c (sp_valid_at): Properly check CFA offset. (fp_valid_at): Likewise. gcc/testsuite/ PR target/81563 * gcc.target/i386/pr81563.c: New test Added: branches/range-gen2/gcc/testsuite/gcc.target/i386/pr81563.c Modified: branches/range-gen2/gcc/ChangeLog branches/range-gen2/gcc/config/i386/i386.c branches/range-gen2/gcc/testsuite/ChangeLog
