diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-02-02 10:04:57 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-02-02 10:04:57 +0100 |
| commit | 903e49f52065e9547a6e534d1bedbc980f77a5b1 (patch) | |
| tree | 92c9b3206689c92f9d9f399ae8e148476cabef1b | |
| parent | 13c931c93961cdaa85b6fe77f455bae1c9b19b98 (diff) | |
| download | gcc-903e49f52065e9547a6e534d1bedbc980f77a5b1.zip gcc-903e49f52065e9547a6e534d1bedbc980f77a5b1.tar.gz gcc-903e49f52065e9547a6e534d1bedbc980f77a5b1.tar.bz2 | |
re PR target/52086 (ICE caused by wrong peephole2 for QImode mem += reg followed by test)
PR target/52086
* config/i386/i386.md (*addqi_2 peephole with SImode addition): Check
that operands[2] is either immediate, or q_regs_operand.
* gcc.dg/pr52086.c: New test.
From-SVN: r183830
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/config/i386/i386.md | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr52086.c | 21 |
4 files changed, 32 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 26beb11..055e97e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2012-02-02 Jakub Jelinek <jakub@redhat.com> + PR target/52086 + * config/i386/i386.md (*addqi_2 peephole with SImode addition): Check + that operands[2] is either immediate, or q_regs_operand. + PR tree-optimization/52073 * tree-vect-stmts.c (vect_mark_relevant): When checking uses of a pattern stmt for pattern uses, ignore uses outside of the loop. diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 286088f..6e2c123 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -1,6 +1,6 @@ ;; GCC machine description for IA-32 and x86-64. ;; Copyright (C) 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, -;; 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 +;; 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012 ;; Free Software Foundation, Inc. ;; Mostly by William Schelter. ;; x86_64 support added by Jan Hubicka @@ -17232,6 +17232,9 @@ && REG_P (operands[0]) && REG_P (operands[4]) && REGNO (operands[0]) == REGNO (operands[4]) && peep2_reg_dead_p (4, operands[0]) + && (<MODE>mode != QImode + || immediate_operand (operands[2], SImode) + || q_regs_operand (operands[2], SImode)) && !reg_overlap_mentioned_p (operands[0], operands[1]) && ix86_match_ccmode (peep2_next_insn (3), (GET_CODE (operands[3]) == PLUS diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a6f4fc2..bad0b70 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2012-02-02 Jakub Jelinek <jakub@redhat.com> + PR target/52086 + * gcc.dg/pr52086.c: New test. + PR tree-optimization/52073 * gcc.c-torture/compile/pr52073.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr52086.c b/gcc/testsuite/gcc.dg/pr52086.c new file mode 100644 index 0000000..a12e1ce --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr52086.c @@ -0,0 +1,21 @@ +/* PR target/52086 */ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ +/* { dg-additional-options "-fpic" { target fpic } } */ + +struct S { char a; char b[100]; }; +int bar (void); +int baz (int); + +void +foo (struct S *x) +{ + if (bar () & 1) + { + char c = bar (); + baz (4); + x->a += c; + while (x->a) + x->b[c] = bar (); + } +} |