diff options
| author | H.J. Lu <hongjiu.lu@intel.com> | 2017-10-23 15:49:19 +0000 |
|---|---|---|
| committer | H.J. Lu <hjl@gcc.gnu.org> | 2017-10-23 08:49:19 -0700 |
| commit | 66f4014d4bf82b7f92c99d18513cc6dc947b9ece (patch) | |
| tree | b03b077bc7d4720a368b1b76eaead92c84a2e610 | |
| parent | df41dbaf7eae8dcb0841b62647f7504ed13a1d64 (diff) | |
| download | gcc-66f4014d4bf82b7f92c99d18513cc6dc947b9ece.zip gcc-66f4014d4bf82b7f92c99d18513cc6dc947b9ece.tar.gz gcc-66f4014d4bf82b7f92c99d18513cc6dc947b9ece.tar.bz2 | |
i386: Skip DF_REF_INSN if DF_REF_INSN_INFO is false
We should check DF_REF_INSN_INFO before accessing DF_REF_INSN.
gcc/
PR target/82673
* config/i386/i386.c (ix86_finalize_stack_frame_flags): Skip
DF_REF_INSN if DF_REF_INSN_INFO is false.
gcc/testsuite/
PR target/82673
* gcc.target/i386/pr82673.c: New test.
From-SVN: r254013
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/config/i386/i386.c | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr82673.c | 12 |
4 files changed, 28 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index be73972..ab759ab 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-10-23 H.J. Lu <hongjiu.lu@intel.com> + + PR target/82673 + * config/i386/i386.c (ix86_finalize_stack_frame_flags): Skip + DF_REF_INSN if DF_REF_INSN_INFO is false. + 2017-10-23 Jan Hubicka <hubicka@ucw.cz> * i386.c (dimode_scalar_chain::compute_convert_gain): Use diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index b182cc6..3fafcfe 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -12692,10 +12692,13 @@ ix86_finalize_stack_frame_flags (void) for (ref = DF_REG_USE_CHAIN (HARD_FRAME_POINTER_REGNUM); ref; ref = next) { - rtx_insn *insn = DF_REF_INSN (ref); + next = DF_REF_NEXT_REG (ref); + if (!DF_REF_INSN_INFO (ref)) + continue; + /* Make sure the next ref is for a different instruction, so that we're not affected by the rescan. */ - next = DF_REF_NEXT_REG (ref); + rtx_insn *insn = DF_REF_INSN (ref); while (next && DF_REF_INSN (next) == insn) next = DF_REF_NEXT_REG (next); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3aadb9e..f4c0948 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-10-23 H.J. Lu <hongjiu.lu@intel.com> + + PR target/82673 + * gcc.target/i386/pr82673.c: New test. + 2017-10-23 Jakub Jelinek <jakub@redhat.com> * lib/scanasm.exp (dg-function-on-line): Accept optional column info. diff --git a/gcc/testsuite/gcc.target/i386/pr82673.c b/gcc/testsuite/gcc.target/i386/pr82673.c new file mode 100644 index 0000000..50eb5a3 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr82673.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O0 -fno-omit-frame-pointer -fvar-tracking-assignments" } */ + +register long *B asm ("ebp"); + +long y = 20; + +void +bar (void) /* { dg-error "frame pointer required, but reserved" } */ +{ + B = &y; +} /* { dg-error "bp cannot be used in asm here" } */ |