[Bug target/29329] New: [4.1 regression] internal consistency failure at -O2

[Bug target/29329] New: [4.1 regression] internal consistency failure at -O2

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/390694]

4.1 SVN 20060920, works with 4.2 and 4.0.4

$ gcc -c -fPIC -g -O2 -g tree234.i
tree234.c: In function 'delpos234_internal':
tree234.c:927: fatal error: internal consistency failure
compilation terminated.

compilation works with -O1

compilation with -O0:

$ gcc -c -fPIC -g -O0 -g tree234.i
/tmp/cco6vA7j.s: Assembler messages:
/tmp/cco6vA7j.s:172: Error: Rn must not overlap other operands -- `swpb
r3,r2,[r3]'


  Matthias


-- 
           Summary: [4.1 regression] internal consistency failure at -O2
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
GCC target triplet: arm-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug target/29329] [4.1 regression] internal consistency failure at -O2

[debian-gcc at lists dot debian dot org]

------- Comment #1 from debian-gcc at lists dot debian dot org  2006-10-03 09:46 -------
Created an attachment (id=12376)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12376&action=view)
preprocessed source


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug target/29329] [4.1 regression] internal consistency failure at -O2

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-10-08 02:10 -------
(In reply to comment #0)
> compilation with -O0:
> 
> $ gcc -c -fPIC -g -O0 -g tree234.i
> /tmp/cco6vA7j.s: Assembler messages:
> /tmp/cco6vA7j.s:172: Error: Rn must not overlap other operands -- `swpb
> r3,r2,[r3]'

That is a bug in the source:
 asm volatile(
   "# here \n\t"
   "swpb %0, %1, [%2] \n\t"
   : "=r" (val)
   : "r"(1), "r" (lock) : "memory"
 );

I don't know how to fix that in the inline-asm.  Maybe an early clobber can fix
that.  I doubt this is related to the ICE anyways.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure at -O2

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-10-08 02:40 -------
Reduced testcase:
struct node234_Tag
{
    int t1;
    int kids[4];
    void *elems[3];
};
void *add234_internal(struct node234_Tag *n, int ei)
{
  int j;
  for (j = ei; j < 2 && n->elems[j+1];)
    j++;
  n->kids[j+1] = 0;
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|target                      |rtl-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.1.2
      Known to work|                            |4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-10-08 02:40:57
               date|                            |
   Target Milestone|---                         |4.1.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure at -O2

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-11-01 12:27 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-10-08 02:40:57         |2006-11-01 12:27:34
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure at -O2

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2006-11-02 07:44 -------
The combiner drops a REG_DEAD note without updating liveness info.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |25514
      Known to work|4.2.0                       |4.0.4 4.2.0
            Summary|[4.1 regression] internal   |[4.1 regression] internal
                   |consistency failure at -O2  |consistency failure


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2007-01-05 07:31 -------
Still blocked by 25514.  Mark, we badly need a decision for the latter.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mark at codesourcery dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2007-01-21 22:32 -------
Subject: Bug 29329

Author: ebotcazou
Date: Sun Jan 21 22:32:39 2007
New Revision: 121037

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121037
Log:
        PR rtl-optimization/29329
        * combine.c (replaced_rhs_insn): Rename to i2mod.
        (replaced_rhs_value): Rename to i2mod_new_rhs.
        (i2mod_old_rhs): New global variable.
        (combine_instructions): Adjust for above change.  Save a copy of
        the old RHS into i2mod_old_rhs when the contents of a REG_EQUAL
        note are substituted in the second instruction.
        (distribute_notes) <REG_DEAD>: Adjust for above change.  Do not
        ditch the note if it pertains to the second eliminated register
        and this register is mentioned in i2mod_old_rhs.

        Revert:
        2006-09-12  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * combine.c (distribute_notes) <REG_DEAD>: Do not consider SETs past
        the insn to which the note was originally attached.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/20070121.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/combine.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2007-01-21 22:34 -------
Subject: Bug 29329

Author: ebotcazou
Date: Sun Jan 21 22:33:52 2007
New Revision: 121038

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121038
Log:
        PR rtl-optimization/29329
        * combine.c (replaced_rhs_insn): Rename to i2mod.
        (replaced_rhs_value): Rename to i2mod_new_rhs.
        (i2mod_old_rhs): New global variable.
        (combine_instructions): Adjust for above change.  Save a copy of
        the old RHS into i2mod_old_rhs when the contents of a REG_EQUAL
        note are substituted in the second instruction.
        (distribute_notes) <REG_DEAD>: Adjust for above change.  Do not
        ditch the note if it pertains to the second eliminated register
        and this register is mentioned in i2mod_old_rhs.

        Revert:
        2006-09-12  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * combine.c (distribute_notes) <REG_DEAD>: Do not consider SETs past
        the insn to which the note was originally attached.


Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/compile/20070121.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/combine.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #9 from ebotcazou at gcc dot gnu dot org  2007-01-21 22:35 -------
Subject: Bug 29329

Author: ebotcazou
Date: Sun Jan 21 22:34:57 2007
New Revision: 121039

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121039
Log:
        PR rtl-optimization/29329
        * combine.c (replaced_rhs_insn): Rename to i2mod.
        (replaced_rhs_value): Rename to i2mod_new_rhs.
        (i2mod_old_rhs): New global variable.
        (combine_instructions): Adjust for above change.  Save a copy of
        the old RHS into i2mod_old_rhs when the contents of a REG_EQUAL
        note are substituted in the second instruction.
        (distribute_notes) <REG_DEAD>: Adjust for above change.  Do not
        ditch the note if it pertains to the second eliminated register
        and this register is mentioned in i2mod_old_rhs.

        Revert:
        2006-09-12  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * combine.c (distribute_notes) <REG_DEAD>: Do not consider SETs past
        the insn to which the note was originally attached.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/compile/20070121.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/combine.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329

[Bug rtl-optimization/29329] [4.1 regression] internal consistency failure

[ebotcazou at gcc dot gnu dot org]

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2007-01-21 22:40 -------
At long last.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2007-
                   |                            |01/msg01746.html
             Status|ASSIGNED                    |RESOLVED
      Known to fail|4.1.2                       |4.1.1
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29329