[Bug tree-optimization/27872] New: Internal compiler error in verify_loop_structure

[Bug tree-optimization/27872] New: Internal compiler error in verify_loop_structure

[canqun at nudt dot edu dot cn]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1270 bytes --]

This testcase will cause an internel error when compiled with options "-O3
-fprefetch-loop-arrays" on IA-64 + Linux.

      SUBROUTINE EBJFT()
      dimension  nmw(140)

      if(k.eq.0) goto 10
      go to 30
  10  continue

      do 20 l=1, 140
  20    nmw(l)= 0.0D0

  30  continue
      go to (10)lsn

      do 40 j=1, 140
        nmwj=nmw(j)
  40  continue
      write(*,*) nmwj

      end

The error message is:

prefetch-err.f: In function ‘ebjft�
prefetch-err.f:3: error: edge from 50 to 36 should be marked irreducible
prefetch-err.f:3: internal compiler error: in verify_loop_structure, at
cfgloop.c:1268
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: Internal compiler error in verify_loop_structure
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: canqun at nudt dot edu dot cn
 GCC build triplet: ia64-unkown-linux
  GCC host triplet: ia64-unkown-linux
GCC target triplet: ia64-unkown-linux


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |normal
          Component|tree-optimization           |rtl-optimization
           Keywords|                            |ice-on-valid-code


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-06-03 21:26 -------
Can you try the patch linked from PR 27735 to see if this fixes this bug also?


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |27735


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[rakdver at gcc dot gnu dot org]

------- Comment #2 from rakdver at gcc dot gnu dot org  2006-06-05 15:19 -------
(In reply to comment #1)
> Can you try the patch linked from PR 27735 to see if this fixes this bug also?

No, this is unrelated (the ice here is from tree_unroll_loop, never gets to
unswitching).


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|27735                       |
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-05 15:19:46
               date|                            |


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[rakdver at gcc dot gnu dot org]

------- Comment #3 from rakdver at gcc dot gnu dot org  2006-06-06 09:02 -------
Patch: http://gcc.gnu.org/ml/gcc-patches/2006-06/msg00284.html


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |06/msg00284.html
           Keywords|                            |patch


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[rakdver at gcc dot gnu dot org]

------- Comment #4 from rakdver at gcc dot gnu dot org  2006-06-08 08:20 -------
Subject: Bug 27872

Author: rakdver
Date: Thu Jun  8 08:19:50 2006
New Revision: 114482

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114482
Log:
        PR tree-optimization/27872
        * tree-ssa-loop-manip.c (tree_unroll_loop): Set EDGE_IRREDUCIBLE_LOOP
        flag on the new exit edge of the unrolled loop.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-loop-manip.c


-- 


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

[Bug rtl-optimization/27872] Internal compiler error in verify_loop_structure

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-06-08 15:31 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.2.0


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