[Bug target/24683] New: [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[Bug target/24683] New: [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

Compiling kdenetwork3 we get

/abuild/buildsystem.f198.rguenther/usr/lib64/gcc/x86_64-suse-linux/4.1.0/cc1plus
-fpreprocessed hash.3.1.ii -quiet -dumpbase hash.cpp -mtune=k8 -ansi
-auxbase-strip .libs/libiris_xmpp_core_la-hash.o -O2 -O2 -Wno-long-long -Wundef
-Wcast-align -Wconversion -Wchar-subscripts -Wall -W -Wpointer-arith -Wall
-Wformat-security -Wmissing-format-attribute -Wno-non-virtual-dtor -ansi
-version -fmessage-length=0 -fno-exceptions -fno-check-new -fno-common
-fvisibility=hidden -fPIC -o hash.s
hash.3.1.ii:38: error: unrecognizable insn:                                    
           (insn:HI 58 57 53 0 (set (reg/f:DI 69)                              
                              (plus:DI (reg/f:DI 70)                           
                                             (const_int 4294967233
[0xffffffc1]))) -1 (insn_list:REG_DEP_TRUE 57 (nil))        
(expr_list:REG_DEAD (reg/f:DI 70)                                              
               (expr_list:REG_EQUAL (const:DI (plus:DI (symbol_ref/f:DI
("*.LC0") [flags 0x2] <string_cst 0x2a95abefc0>)                               
                                                         (const_int 4294967233
[0xffffffc1])))                                              (nil))))          
                                                            hash.3.1.ii:38:
internal compiler error: in extract_insn, at recog.c:2084                 
Please submit a full bug report,                                               
           with preprocessed source if appropriate.                            
                      See <URL:http://www.suse.de/feedback> for instructions.


-- 
           Summary: [4.1 Regression] ICE in in extract_insn, at recog.c:2084
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: critical
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug target/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2005-11-05 12:13 -------
Created an attachment (id=10152)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10152&action=view)
reduced testcase

testcase


-- 


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

[Bug target/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-11-05 14:17 -------
Isn't this a dup of bug 20928.  (I will try with a GCC after that patch to
double check).


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug target/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2005-11-05 14:25 -------
I doubt, the compiler is from Nov 4, while the patch looks like comitted at
latest Oct 31.  But I haven't re-checked against mainline HEAD.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |---


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

[Bug target/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2005-11-05 15:07 -------
Fails also with "4.1.0 20051026" and with last night's compiler.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug rtl-optimization/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2005-11-05 15:13 -------
This is another loop.c bug.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|target                      |rtl-optimization


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

[Bug rtl-optimization/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2005-11-05 15:50 -------
Confirmed (reduced C or C++ testcase):
int* block;
void final(){
  unsigned int i, j;
  unsigned char* data = (unsigned char *)"\0";
  for (i = 0; i < 8;i++)
    for ( ;j + 63 < 1;j += 64)
      block = (int*)  &data[j];
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-05 15:50:10
               date|                            |


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

[Bug rtl-optimization/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2005-11-05 15:56 -------
Here is a reduced testcase without an uninitialized variable:
int* block;
void final(unsigned int j){
  unsigned int i;
  unsigned char* data = (unsigned char *)"\0";
  for (i = 0; i < 8;i++)
    for (;j + 63 < 1;j += 64)
      block = (int*)  &data[j];
}


-- 


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

[Bug rtl-optimization/24683] [4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2005-11-05 16:00 -------
Honza, can you look at this?  Thanks.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/24683] [4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2005-11-05 16:01 -------
The reduced testcase in comment #7 fails also in 4.0.3 and 4.0.2.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.0                       |4.1.0 4.0.3 4.0.2
      Known to work|4.0.3                       |3.4.0
            Summary|[4.1 Regression] ICE in in  |[4.0/4.1 Regression] ICE in
                   |extract_insn, at            |in extract_insn, at
                   |recog.c:2084                |recog.c:2084
   Target Milestone|4.1.0                       |4.0.3


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2005-11-05 16:10 -------
And here is a testcase which fails in 3.4.5 and above:
int* block;
void final(unsigned int j){
  int * lsm_tmp1;
  unsigned char * data;
  unsigned int i;
  data = (unsigned char *) "";
  lsm_tmp1 = block;
  i = 0;
  do {
    if (j == 4294967233)
    {
      lsm_tmp1 = (int *) (data + 4294967233);
      j = 1;
    }
    i = i + 1;
  } while (i != 8);
  block = lsm_tmp1;
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.0 4.0.3 4.0.2           |4.1.0 4.0.3 4.0.2 3.4.5
      Known to work|3.4.0                       |3.3.6
            Summary|[4.0/4.1 Regression] ICE in |[3.4/4.0/4.1 Regression] ICE
                   |in extract_insn, at         |in in extract_insn, at
                   |recog.c:2084                |recog.c:2084


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
 GCC target triplet|x86_64-unknown-linux-gnu    |x86_64-*-linux-gnu


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[steven at gcc dot gnu dot org]

------- Comment #11 from steven at gcc dot gnu dot org  2005-11-05 16:34 -------
Comment #5 is not helpful.  Why is this a loop.c bug, you think?  In my
backtrace we bail out from regmove.  It would be far more helpful if you'd add
some explanation for why you think this is a loop.c bug.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[steven at gcc dot gnu dot org]

------- Comment #12 from steven at gcc dot gnu dot org  2005-11-05 16:55 -------
Breakpoint 4, emit_move_insn (x=0x2a95a69320, y=0x2a9594c820) at expr.c:3140
3140      enum machine_mode mode = GET_MODE (x);
(gdb) p debug_rtx(x)
(reg:DI 68)
$10 = void
(gdb) p debug_rtx(y)
(const:DI (plus:DI (symbol_ref/f:DI ("*.LC0") [flags 0x2] <string_cst
0x2a95a62510>)
        (const_int 4294967233 [0xffffffc1])))
$11 = void
(gdb) bt
#0  emit_move_insn (x=0x2a95a69320, y=0x2a9594c820) at expr.c:3140
#1  0x0000000000a6e5a9 in move_movables (loop=0xe72f80, movables=0xe766d8,
threshold=93,
    insn_count=9) at loop.c:2365
#2  0x0000000000a6c59a in scan_loop (loop=0xe72f80, flags=0) at loop.c:1522
#3  0x0000000000a6a1a1 in loop_optimize (f=0x2a9589b940, dumpfile=0x0, flags=0)
at loop.c:909
#4  0x0000000000a81e30 in rest_of_handle_loop_optimize () at loop.c:11784
#5  0x0000000000946f77 in execute_one_pass (pass=0xd9ae80) at passes.c:827


A bit further down:

3185      last_insn = emit_move_insn_1 (x, y);
(gdb) disab 4
(gdb) next
3187      if (y_cst && REG_P (x)
(gdb) p debug_rtx(last_insn)
(insn 60 59 0 (set (reg:DI 68)
        (plus:DI (reg/f:DI 69)
            (const_int 4294967233 [0xffffffc1]))) -1 (nil)
    (nil))
$12 = void
(gdb) p recog_memoized (last_insn)
$13 = -1
(gdb) next       
3191        set_unique_reg_note (last_insn, REG_EQUAL, y_cst);
(gdb)
3193      return last_insn;
(gdb)
3194    }

So there's your wrong instruction, produced by emit_move_insn itself... :-(


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[steven at gcc dot gnu dot org]

------- Comment #13 from steven at gcc dot gnu dot org  2005-11-05 16:59 -------
ICE on a primary platform, in a popular package.


-- 

steven at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2005-11-05 17:26 -------
(In reply to comment #13)
> ICE on a primary platform, in a popular package.

As I mentioned in another bug, I think Mark should be the only one which
changes the Priority.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #15 from pinskia at gcc dot gnu dot org  2005-11-05 17:31 -------
(In reply to comment #14)
> (In reply to comment #13)
> > ICE on a primary platform, in a popular package.
> As I mentioned in another bug, I think Mark should be the only one which
> changes the Priority.

I should note that Mark agreed with me (though it was via a private email).


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #16 from pinskia at gcc dot gnu dot org  2005-11-05 17:47 -------
And here is one which also fails in 3.3.6:
int final(int j){
  unsigned int i = 0;
  do {
    if (j)
      j = (__SIZE_TYPE__)&""[4294967233];
    i = i + 1;
  } while (i != 8);
  return j;
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.0 4.0.3 4.0.2 3.4.5     |4.1.0 4.0.3 4.0.2 3.4.5
                   |                            |3.3.6
      Known to work|3.3.6                       |


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[pinskia at gcc dot gnu dot org]

------- Comment #17 from pinskia at gcc dot gnu dot org  2005-11-05 17:48 -------
(In reply to comment #16)
> And here is one which also fails in 3.3.6:
Hmm but passes in 4.0.3.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[rguenth at gcc dot gnu dot org]

------- Comment #18 from rguenth at gcc dot gnu dot org  2005-11-05 17:50 -------
Note that the original problem, ICE in kdenetwork3 only happens with mainline.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[ian at airs dot com]

------- Comment #19 from ian at airs dot com  2005-11-07 02:26 -------
Created an attachment (id=10160)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10160&action=view)
Patch

I'm testing this patch.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[ian at airs dot com]

------- Comment #20 from ian at airs dot com  2005-11-07 18:41 -------
By the way, Richard, I just want to note that while this is obviously a
compiler bug, it is only being triggered for the original test case because of
the uninitialized variable i in sha1_update:

      void sha1_update(SHA1_CONTEXT* context, unsigned char* data, Q_UINT32
len)  {
     Q_UINT32 i, j;
     if((j + len) > 63) {
     for ( ;
  i + 63 < len;
  i += 64) {      transform(context->state, &data[i]);     }
    }
    }

I don't know if that was a consequence of your test case reduction or not.


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[mueller at kde dot org]

------- Comment #21 from mueller at kde dot org  2005-11-07 18:45 -------
its an error in the testcase, the original code initializes i: 

          if((j + len) > 63) {
562                         memcpy(&context->buffer[j], data, (i = 64-j));
563                         transform(context->state, context->buffer);
564                         for ( ; i + 63 < len; i += 64) {
565                                 transform(context->state, &data[i]);
566                         }


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[ian at gcc dot gnu dot org]

------- Comment #22 from ian at gcc dot gnu dot org  2005-11-07 18:52 -------
Subject: Bug 24683

Author: ian
Date: Mon Nov  7 18:52:24 2005
New Revision: 106601

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106601
Log:
./:
        PR rtl-optimization/24683
        * config/i386/i386.c (legitimize_pic_address): If constant operand
        to PLUS is too large, put it in a register.
testsuite/:
        PR rtl-optimization/24683
        * gcc.dg/pr24683.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr24683.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/i386/i386.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[ian at gcc dot gnu dot org]

------- Comment #23 from ian at gcc dot gnu dot org  2005-11-07 18:55 -------
Subject: Bug 24683

Author: ian
Date: Mon Nov  7 18:55:03 2005
New Revision: 106602

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106602
Log:
./:
        PR rtl-optimization/24683
        * config/i386/i386.c (legitimize_pic_address): If constant operand
        to PLUS is too large, put it in a register.
testsuite/:
        PR rtl-optimization/24683
        * gcc.dg/pr24683.c: New test.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/gcc.dg/pr24683.c
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/config/i386/i386.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/24683] [3.4/4.0/4.1 Regression] ICE in in extract_insn, at recog.c:2084

[ian at airs dot com]

------- Comment #24 from ian at airs dot com  2005-11-07 18:58 -------
Fixed on 4.0 branch and on mainline.

The 3.4 branch breaks in a slightly different way.  I'm not going to worry
about it since you can only create this problem by building implausible
addresses that include offsets of more than 2GB.


-- 

ian at airs dot com changed:

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


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