[Bug rtl-optimization/24497] New: internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[Bug rtl-optimization/24497] New: internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pbrook at gcc dot gnu dot org]

long long foo(void)
{
  long long unsigned s=0;
  long long unsigned b;
  for (b = 0; b++, s == 0; )
    {
      s = b;
    }
  return s;
}

Compiled with -O2 -funroll-all-loops gives

internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

The problematic line is:

gcc_assert (rtx_equal_p (PATTERN (insn), PATTERN (orig_insn)));

And PATTERN(insn) is

(parallel [
        (set (reg/v:DI 32 [ b ])
            (plus:DI (reg/v:DI 32 [ b ])
                (const_int 1 [0x1])))
        (clobber (scratch:SI))
    ])

This fails because rtx_equal_p thinks the two (scratch:SI) are different
scratch registers, and returns 0.


-- 
           Summary: internal compiler error: in apply_opt_in_copies, at
                    loop-unroll.c:2122
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pbrook at gcc dot gnu dot org
GCC target triplet: m68k-elf


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pbrook at gcc dot gnu dot org]

------- Comment #1 from pbrook at gcc dot gnu dot org  2005-10-24 01:33 -------
Original testcase above is reduced from
gcc.c-torture/execute/920501-6.c


-- 


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-10-24 01:35 -------
I should mention why I marked this as a regression.  loop-unroll.c is new in
3.4.x.


-- 


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P5
   Target Milestone|---                         |4.1.0


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[kazu at gcc dot gnu dot org]

------- Comment #3 from kazu at gcc dot gnu dot org  2005-11-06 04:25 -------
Not reproducible using x86_64-pc-linux-gnu X m68k-none-elf.

Paul, is this still reproducible?

I also tried, gcc.c-torture/execute/920501-6.c, but I didn't get any ICE.


-- 

kazu at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pbrook at gcc dot gnu dot org]

------- Comment #4 from pbrook at gcc dot gnu dot org  2005-11-06 12:23 -------
Both still fail for me

Target: m68k-elf
Configured with: ../gcc/configure --prefix=/home/paul/arm --target=m68k-elf
--with-newlib --disable-shared --disable-threads --enable-languages=c,c++
Thread model: single
gcc version 4.1.0 20051106 (experimental)


-- 


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[janis at gcc dot gnu dot org]

------- Comment #5 from janis at gcc dot gnu dot org  2005-11-11 23:48 -------
A regression hunt using an m68k-elf cross compiler on powerpc-linux shows
that the test failure begins with this patch:

r87487 | rakdver | 2004-09-14 08:05:46 +0000 (Tue, 14 Sep 2004) | 17 lines

        * Makefile.in (loop-unroll.o): Add HASHTAB_H and RECOG_H dependency.
        * basic-block.h (struct reorder_block_def): Add copy_number field.
        * cfgloop.h (biv_p): Declare.
        * cfgloopmanip.c (duplicate_loop_to_header_edge): Set copy_number.
        * common.opt (fsplit-ivs-in-unroller): New flag.
        * loop-iv.c (biv_p): New function.
        * loop-unroll.c: Include hashtab.h and recog.h.
        (struct iv_to_split, struct split_ivs_info): New types.
        (analyze_ivs_to_split, si_info_start_duplication, split_ivs_in_copies,
        free_si_info, si_info_hash, si_info_eq, analyze_iv_to_split_insn,
        determine_split_iv_delta, get_ivts_expr, allocate_basic_variable,
        insert_base_initialization, split_iv): New functions.
        (peel_loop_completely, unroll_loop_constant_iterations,
        unroll_loop_runtime_iterations, peel_loop_simple, unroll_loop_stupid):
        Use them.
        * doc/invoke.texi (-fsplit-ivs-in-unroller): Document.

http://gcc.gnu.org/viewcvs?view=rev&rev=87487


-- 

janis at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pinskia at gcc dot gnu dot org]

-- 

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-12 05:48:22
               date|                            |


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug rtl-optimization/24497] [3.4/4.0/4.1 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[rakdver at gcc dot gnu dot org]

------- Comment #6 from rakdver at gcc dot gnu dot org  2005-11-18 10:31 -------
Subject: Bug 24497

Author: rakdver
Date: Fri Nov 18 10:31:45 2005
New Revision: 107171

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=107171
Log:
        PR rtl-optimization/24497
        * loop-unroll.c (apply_opt_in_copies): Do not verify equality of
        the copied insn.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/loop-unroll.c


-- 


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

[Bug rtl-optimization/24497] [3.4/4.0 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/24497] [3.4/4.0 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[steven at gcc dot gnu dot org]

------- Comment #7 from steven at gcc dot gnu dot org  2006-02-27 14:12 -------
Was this fixed with the patch in comment #6?


-- 


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

[Bug rtl-optimization/24497] [3.4/4.0 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.3                       |4.0.4


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

[Bug rtl-optimization/24497] [4.0 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2006-08-11 07:33 -------
Paul, could you update the status of this PR?  Thanks in advance.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|ASSIGNED                    |WAITING


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

[Bug rtl-optimization/24497] [4.0 Regression] internal compiler error: in apply_opt_in_copies, at loop-unroll.c:2122

[gdr at gcc dot gnu dot org]

------- Comment #9 from gdr at gcc dot gnu dot org  2007-02-03 15:47 -------
Fixed in GCC-4.1.0 and higher.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.0.4                       |4.1.0


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