[Bug rtl-optimization/32372] New: [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[Bug rtl-optimization/32372] New: [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[tbm at cyrius dot com]

I'm getting the following ICE with trunk on x86_64.  It compiles fine
on ia64 and powerpc.

(sid)2653:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/gcc -c -O2
mplayer-mpegvideo.c
mplayer-mpegvideo.c: In function 'MPV_encode_init':
mplayer-mpegvideo.c:21: internal compiler error: in df_refs_verify, at
df-scan.c:4065
Please submit a full bug report,

Testcase:


typedef struct AVCodecContext
{
  int flags;
  void *priv_data;
  char codec_name[32];
}
AVCodecContext;
typedef struct ScanTable
{
  int obmc;
  int umvplus;
  int h263_aic;
}
MpegEncContext;
MPV_encode_init (AVCodecContext *avctx)
{
  MpegEncContext *s = avctx->priv_data;
  s->umvplus = (avctx->flags & 0x02000000) ? 1 : 0;
  s->h263_aic = (avctx->flags & 0x01000000) ? 1 : 0;
  s->h263_aic = s->obmc || s->umvplus;
}


-- 
           Summary: [4.3 Regression] ICE in df_refs_verify, at df-
                    scan.c:4065
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
GCC target triplet: x86_64-linux-gnu


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.0


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[zadeck at naturalbridge dot com]

------- Comment #1 from zadeck at naturalbridge dot com  2007-06-18 12:33 -------
I believe that the failure is due to a an insn illegally sharing with a
reg_equal note.  Insn 8 is modified in regmove.  When this happens, the
reg_equal note in insn 22 magically changes.  That reg_equal note was changed
last in cse.


-- 

zadeck at naturalbridge dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|zadeck at naturalbridge dot |bonzini at gnu dot org
                   |com                         |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-06-18 12:33:52
               date|                            |


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[zadeck at naturalbridge dot com]

------- Comment #2 from zadeck at naturalbridge dot com  2007-06-18 12:35 -------
s/cse/cse1/


-- 


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[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=32372

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[bonzini at gnu dot org]

------- Comment #3 from bonzini at gnu dot org  2007-06-29 19:26 -------
CCing Honza, he had a patch for this bug.


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[zadeck at naturalbridge dot com]

------- Comment #4 from zadeck at naturalbridge dot com  2007-06-29 19:34 -------
there is a rumor being circulated by bonzini that one of honza's unsharing
patches fixes this.  However, this fails on the current truck.

One positive note is that if you add in honza's illegal sharing detector, it
triggers that rather than the verify error.


-- 


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[hubicka at gcc dot gnu dot org]

------- Comment #5 from hubicka at gcc dot gnu dot org  2007-06-29 20:13 -------
Subject: Bug 32372

Author: hubicka
Date: Fri Jun 29 20:13:41 2007
New Revision: 126122

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126122
Log:

        PR middle-end/32372
        * cse.c (cse_insn): Avoid invalid sharing in between register note and
        the insn pattern.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr32372.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cse.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[hubicka at gcc dot gnu dot org]

------- Comment #6 from hubicka at gcc dot gnu dot org  2007-06-29 20:15 -------
Paolo's rumor is correct, Indeed. I somehow lost track in patches that was or
wasn't approved or tested. I've comited the fix now.


-- 

hubicka at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug rtl-optimization/32372] [4.3 Regression] ICE in df_refs_verify, at df-scan.c:4065

[zadeck at naturalbridge dot com]

------- Comment #7 from zadeck at naturalbridge dot com  2007-06-29 21:02 -------
Subject: Re:  [4.3 Regression] ICE in df_refs_verify,
 at df-scan.c:4065

hubicka at gcc dot gnu dot org wrote:
> ------- Comment #6 from hubicka at gcc dot gnu dot org  2007-06-29 20:15 -------
> Paolo's rumor is correct, Indeed. I somehow lost track in patches that was or
> wasn't approved or tested. I've comited the fix now.
>
>
>   
thanks


-- 


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